Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Reasoning and Revision in Hybrid Representation SystemsBernhard NebelSpringer Berlin Heidelberg 1990Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Tese de Doutorado
|
Computação Evolutiva para a Construção de Regras de Conhecimento com Propriedades EspecíficasPila, Adriano DonizeteBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2007-04-12Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Foundations of Knowledge Representation and ReasoningLakemeyer Gerhard Lakemeyer; Bernhard NebelSpringer Berlin Heidelberg 1994Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
Qualitative Representation of Spatial KnowledgeDaniel HernándezSpringer Berlin Heidelberg 1994Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Livro
|
Part-Whole Reasoning in an Object-Centered FrameworkPatrick LambrixSpringer Berlin Heidelberg 2000Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Livro
|
The robot in the garden telerobotics and telepistemology in the age of the InternetKen GoldbergCambridge, Mass. MIT Press c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68T75.20 R666rg e.1 ) e outros locais(Acessar) |
|
7 |
Material Type: Tese de Doutorado
|
Mechanical transformation of task heuristics into operational proceduresDavid J. Mostow 1952-c1981Localização: ICMC - Inst. Ciên. Mat. Computação (T M916m e.1 )(Acessar) |
|
8 |
Material Type: Dissertação de Mestrado
|
Extração de conhecimento de redes neurais artificiais.Martineli, EdmarBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 1999-08-20Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Livro
|
Qualitative Spatial Reasoning with Topological InformationJochen RenzSpringer Berlin Heidelberg 2002Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Livro
|
Non-Standard Inferences in Description LogicsRalf KüstersSpringer Berlin Heidelberg 2001Acesso online. A biblioteca também possui exemplares impressos. |