Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Handbook of Knowledge RepresentationFrank van Lifschit Harmelen Vladim Lifschitz; Vladimir Lifschitz; Bruce Porter; Fra Van Harmelen; Frank Van Harmelen LifschitElsevier 2008Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Knowledge Representation and ReasoningRonald J. Brachman Hector J Levesque Hector Levesque; Hector Levesque; Ronald Levesque, Hector Brachman; Maurice PagnuccoMorgan Kaufmann 2004Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Non-Standard Inferences in Description LogicsRalf KüstersSpringer Berlin Heidelberg 2001Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
Solving the frame problem a mathematical investigation of the common sense law of inertiaMurray ShanahanCambridge, Mass. MIT Press c1997Localização: IME - Inst. Matemática e Estatística (QA860 S528s )(Acessar) |
|
5 |
Material Type: Livro
|
Spatial cognition an interdisciplinary approach to representing and processing spatial knowledgeC Freksa; Christopher Habel; Karl Friedrich WenderBerlin Springer New York c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1404 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Knowledge transformation for the semantic webBorys Omelayenko; Michel Klein 1942-Amsterdam IOS Press Washington, DC Tokyo Ohmsha 2003Localização: IME - Inst. Matemática e Estatística (QA860.C3 O55k )(Acessar) |
|
7 |
Material Type: Livro
|
Associative networks representation and use of knowledge by computersN. V Findler (Nicholas V.) 1930-New York Academic Press 1979Localização: IME - Inst. Matemática e Estatística (QA860.C3 F494a )(Acessar) |