skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover assunto: Representação De Conhecimento remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Philosophical Logic and Artificial Intelligence
Philosophical Logic and Artificial Intelligence
Philosophical Logic and Artificial Intelligence
Material Type:
Livro 		Adicionar ao Meu Espaço

Philosophical Logic and Artificial Intelligence

Richmond H. Thomason

Springer Netherlands 1989

Acesso online. A biblioteca também possui exemplares impressos.

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
Non-Standard Inferences in Description Logics
Non-Standard Inferences in Description Logics
Non-Standard Inferences in Description Logics
Material Type:
Livro 		Adicionar ao Meu Espaço

Non-Standard Inferences in Description Logics

Ralf Küsters

Springer Berlin Heidelberg 2001

Acesso online. A biblioteca também possui exemplares impressos.

4
Solving the frame problem a mathematical investigation of the common sense law of inertia
Solving the frame problem a mathematical investigation of the common sense law of inertia
Material Type:
Livro 		Adicionar ao Meu Espaço

Solving the frame problem a mathematical investigation of the common sense law of inertia

Murray Shanahan

Cambridge, Mass. MIT Press c1997

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

5
Nonmonotonic logics basic concepts, results, and techniques
Nonmonotonic logics basic concepts, results, and techniques
Material Type:
Livro 		Adicionar ao Meu Espaço

Nonmonotonic logics basic concepts, results, and techniques

Karl Schlechta

Berlin Springer New York c1997

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

6
Symbolic and quantitative approaches to reasoning with uncertainty 6th European conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001 : proceedings
Symbolic and quantitative approaches to reasoning with uncertainty 6th European conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Symbolic and quantitative approaches to reasoning with uncertainty 6th European conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001 : proceedings

European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (6th 2001 Toulouse, France) Salem Benferhat 1966-; Philippe Besnard

New York Springer c2001

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

7
Adaption and learning in multi-agent systems proceedings [of the] IJCAI'5 Workshop, held in Montreal, Canada, august 21, 1995
Adaption and learning in multi-agent systems proceedings [of the] IJCAI'5 Workshop, held in Montreal, Canada, august 21, 1995
Material Type:
Livro 		Adicionar ao Meu Espaço

Adaption and learning in multi-agent systems proceedings [of the] IJCAI'5 Workshop, held in Montreal, Canada, august 21, 1995

Workshop on Adaption and Learning in Multi-Agent Systems (1995 Montreal, CA) Gerhard Weib; International Joint Conference on Artificial Intelligence (14. 1995 Montreal, Ca)

Berlin Springer 1996

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

8
Cognitive technology instruments of mind : 4th International Conference, CT 2001, Coventry, UK, August 6-9, 2001 : proceedings
Cognitive technology instruments of mind : 4th International Conference, CT 2001, Coventry, UK, August 6-9, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Cognitive technology instruments of mind : 4th International Conference, CT 2001, Coventry, UK, August 6-9, 2001 : proceedings

International Conference on Cognitive Technology (4th 2001 Warwick, England) Meurig Beynon; Chrystopher L Nehaniv 1963-; Kerstin Dautenhahn

Berlin Springer New York c2001

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

9
Executable modal and temporal logics ijcai'93 workshop, chambery, france, august 28, 1993, proceedings
Executable modal and temporal logics ijcai'93 workshop, chambery, france, august 28, 1993, proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Executable modal and temporal logics ijcai'93 workshop, chambery, france, august 28, 1993, proceedings

Workshop on Executable Modal and Temporal Logics (1993 Chambery, Fr) Michael Fisher; Richard Owens; International Joint Conference on Artificial Intelligence (1993 Chambery, Fr)

Berlin Springer 1995

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

10
Handbook of Knowledge Representation
Handbook of Knowledge Representation
Handbook of Knowledge Representation
Material Type:
Livro 		Adicionar ao Meu Espaço

Handbook of Knowledge Representation

Frank van Lifschit Harmelen Vladim Lifschitz; Vladimir Lifschitz; Bruce Porter; Fra Van Harmelen; Frank Van Harmelen Lifschit

Elsevier 2008

Acesso online. A biblioteca também possui exemplares impressos.

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (10)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (38)
  2. Artigos  (6)
  3. Produções Acadêmicas  (2)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1993  (4)
  2. 1993Até1995  (5)
  3. 1996Até2000  (18)
  4. 2001Até2006  (9)
  5. Após 2006  (10)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.