skip to main content
Idioma:
Refinado por: assunto: Logic, Symbolic And Mathematical remover assunto: Representação De Conhecimento remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Qualitative spatial and temporal reasoning
Qualitative spatial and temporal reasoning
Material Type:
Livro 		Adicionar ao Meu Espaço

Qualitative spatial and temporal reasoning

G erard Ligozat

London, UK ISTE Hoboken, N.J. Wiley 2012

Localização: IME - Inst. Matemática e Estatística    (QA860 L726q )(Acessar)

2
Artificial intelligence and symbolic computation International Conference, AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, proceedings
Artificial intelligence and symbolic computation International Conference, AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Artificial intelligence and symbolic computation International Conference, AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, proceedings

AISC'98 (Conference) (1998 Plattsburgh, N.Y.) Jacques Calmet; Jan Plaza; International Conference on Artificial Intelligence and Symbolic Mathematical Computation (4th 1998 Plattsburgh, N.Y.)

Carbonell, G, ed; Siekmann, J, ed Lecture Notes in Artificial Intelligence Berlin, Springer-Verlag, c1994-

Berlin London Springer c1998

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.1476 ) e outros locais(Acessar)

3
Change, choice and inference a study of belief revision and nonmonotonic reasoning
Change, choice and inference a study of belief revision and nonmonotonic reasoning
Material Type:
Livro 		Adicionar ao Meu Espaço

Change, choice and inference a study of belief revision and nonmonotonic reasoning

Hans Rott 1959-

Oxford Clarendon 2001

Localização: IME - Inst. Matemática e Estatística    (QA860 R851c )(Acessar)

4
Algorithms for uncertainty and defeasible reasoning
Algorithms for uncertainty and defeasible reasoning
Material Type:
Livro 		Adicionar ao Meu Espaço

Algorithms for uncertainty and defeasible reasoning

Dordrecht ; London Kluwer Academic Publishers c2000

Localização: EACH - Esc. Artes, Ciências e Humanidades    (518.1 A396 )(Acessar)

5
Reasoning about uncertainty
Reasoning about uncertainty
Material Type:
Livro 		Adicionar ao Meu Espaço

Reasoning about uncertainty

Joseph Y Halpern 1953

Cambridge, Mass London MIT 2005

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (303.483 H195r ) e outros locais(Acessar)

6
Logic and knowledge representation an introduction for systems analysts
Logic and knowledge representation an introduction for systems analysts
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic and knowledge representation an introduction for systems analysts

Alwyn Jones

London Pitman 1991

Localização: ICMC - Inst. Ciên. Mat. Computação    (68T25 J77l e.1 )(Acessar)

7
A textbook of belief dynamics theory change and database updating
A textbook of belief dynamics theory change and database updating
Material Type:
Livro 		Adicionar ao Meu Espaço

A textbook of belief dynamics theory change and database updating

Sven Ove Hansson 1951-

Dordrecht u.a. Kluwer 1999

Localização: IME - Inst. Matemática e Estatística    (QA9 H251t )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.