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
|
Foundations of Knowledge Representation and ReasoningLakemeyer Gerhard Lakemeyer; Bernhard NebelSpringer Berlin Heidelberg 1994Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Origins of Object KnowledgeSantos Hood Bruce MacFarlane Hood; Laurie SantosOxford Oxford University Press 2009Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
Part-Whole Reasoning in an Object-Centered FrameworkPatrick LambrixSpringer Berlin Heidelberg 2000Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
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. |
|
6 |
Material Type: Livro
|
Knowledge representation and reasoning under uncertainty logic at workMichael Masuch 1949-; László PólosBerlin New York Springer-Verlag c1994Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lnai v.808 e.1 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Qualitative Spatial Reasoning with Topological InformationJochen RenzSpringer Berlin Heidelberg 2002Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Livro
|
Non-Standard Inferences in Description LogicsRalf KüstersSpringer Berlin Heidelberg 2001Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Livro
|
The description logic handbook theory, implementation, and applicationsFranz Baader; Diego Calvanese; Deborah L McGuinness; D Nardi; Peter F Patel-SchneiderCambridge Cambridge University Press 2010Localização: IME - Inst. Matemática e Estatística (QA860.C3 B111d )(Acessar) |
|
10 |
Material Type: Livro
|
Spatial cognition II integrating abstract theories, empirical studies, formal methods, and practical applicationsC FreksaBerlin Springer c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1849 ) e outros locais(Acessar) |