Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Foundations of Knowledge Representation and ReasoningLakemeyer Gerhard Lakemeyer; Bernhard NebelSpringer Berlin Heidelberg 1994Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
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. |
|
3 |
Material Type: Livro
|
Part-Whole Reasoning in an Object-Centered FrameworkPatrick LambrixSpringer Berlin Heidelberg 2000Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
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. |
|
5 |
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) |
|
6 |
Material Type: Livro
|
Qualitative Spatial Reasoning with Topological InformationJochen RenzSpringer Berlin Heidelberg 2002Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Livro
|
Non-Standard Inferences in Description LogicsRalf KüstersSpringer Berlin Heidelberg 2001Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Livro
|
AnaisSimpósio Brasileiro de Inteligência Artificial (9 1992 Rio de Janeiro) Sociedade Brasileira de Computação Comissão Especial de Inteligência ArtificialRio de Janeiro Sociedade Brasileira de Computação, Comissão Especial de Inteligência Artificial, Universidade Federal do Rio de Janeiro 1992Localização: EPBC - Esc. Politécnica-Bib Central (004.8 Si57i 9. ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Features and fluents the representation of knowledge about dynamical systemsErik SandewallOxford Clarendon Press New York Oxford University Press 1994-Localização: IME - Inst. Matemática e Estatística (QA860 S216f v.1 )(Acessar) |
|
10 |
Material Type: Livro
|
Advances in artificial intelligence 14th Brazilian Symposium on Artificial Intelligence, SBIA '98, Porto Alegre, Brazil, November 4-6, 1998 : proceedingsSimpósio Brasileiro de Inteligência Artificial (14 1998 Porto Alegre) Flávio Moreira de Oliveira; G Carbonell; J SiekmannBerlin Springer New York c1998Localização: EACH - Esc. Artes, Ciências e Humanidades (006.3 S612a 1998 ) e outros locais(Acessar) |