skip to main content
Idioma:
Resultados 1 2 3 next page
Mostrar Somente
Refinado por: assunto: Lógica remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Tableaux for approximate reasoning
Tableaux for approximate reasoning
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Tableaux for approximate reasoning

Marcelo Finger Renata Wassermann

São Paulo IME-USP 2001

Localização: IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 2001 v.04 e.1 ) e outros locais(Acessar)

2
On structured belief bases
On structured belief bases
Material Type:
Livro 		Adicionar ao Meu Espaço

On structured belief bases

Renata Wassermann

Williams, Mary-Anne; Rott, Hans, ed Frontiers in belief revision Dordrecht : Springer, 2001

Dordrecht Springer 2001

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

3
Local diagnosis
Local diagnosis
Material Type:
Artigo 		Adicionar ao Meu Espaço

Local diagnosis

Renata Wassermann

Journal of Applied Non-Classical Logics Abingdon v. 11, n. 1-2, p. 107-129, 2001

Abingdon 2001

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

4
Towards efficient modelling of distributed knowledge using equational and order-sorted logic
Towards efficient modelling of distributed knowledge using equational and order-sorted logic
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Towards efficient modelling of distributed knowledge using equational and order-sorted logic

Renata Wassermann Flávio Soares Corrêa da Silva

São Paulo IME-USP 1994

Localização: IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 1994 v.11 e.1 ) e outros locais(Acessar)

5
Revisão de crenças temporais
Revisão de crenças temporais
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Revisão de crenças temporais

Oliveira, Paulo De Tarso Guerra

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2016-05-06

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

6
Tableaux for approximate reasoning
Tableaux for approximate reasoning
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Tableaux for approximate reasoning

Marcelo Finger Renata Wassermann; International Joint Conference on Artificial Intelligence - IJCAI (17. 2001 Seatle)

Proceedings Seatle : IJCAI, 2001

Seatle IJCAI 2001

Localização: IME - Inst. Matemática e Estatística    (PROD-1253528 ) e outros locais(Acessar)

7
Bringing AGM to computer science
Bringing AGM to computer science
Material Type:
Artigo 		Adicionar ao Meu Espaço

Bringing AGM to computer science

Renata Wassermann Márcio Moretto Ribeiro

South American Journal of Logic Campinas v. 1, n. 2, p. 447-459, 2015

Campinas 2015

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

8
Horn clause contraction functions
Horn clause contraction functions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Horn clause contraction functions

James P. Delgrande Renata Wassermann

Journal of Artificial Intelligence Research El Segundo v. 48, n. 1, p. 475-511, 2013

El Segundo 2013

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

9
Approximate belief revision
Approximate belief revision
Material Type:
Artigo 		Adicionar ao Meu Espaço

Approximate belief revision

Samir Chopra Rohit Parikh; Renata Wassermann

Logic Journal of the IGPL. Interest Group in Pure and Applied Logics Oxford v. 9, n. 6, p. 755-768, 2001

Oxford 2001

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

10
Approximate belief revision
Approximate belief revision
Material Type:
Artigo 		Adicionar ao Meu Espaço

Approximate belief revision

Samir Chopra Rohit Parikh; Renata Wassermann

Logic Journal of the IGPL. Interest Group in Pure and Applied Logics Oxford v. 9, n. 6, p. 755-768, 2001

Oxford 2001

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

Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (8)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (16)
  2. Produções Técnicas  (2)
  3. Livros  (2)
  4. Produções Acadêmicas  (1)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2006  (7)
  2. 2006Até2010  (2)
  3. 2011Até2012  (2)
  4. 2013Até2016  (3)
  5. Após 2016  (7)
  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.