skip to main content
Idioma:
Mostrar Somente
Refinado por: assunto: Inteligência Artificial remover assunto: Revisão De Crenças remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A framework for empirical evaluation of belief change operators
A framework for empirical evaluation of belief change operators
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A framework for empirical evaluation of belief change operators

Renato U Lundberg Márcio Moretto Ribeiro; Renata Wassermann; Brazilian Symposium on Artificial Intelligence - SBIA (21 2012 Curitiba, PR)

Proceedings Berlin : Springer, 2012

Berlin Springer 2012

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

2
Revising specifications with CTL properties using bounded model checking
Revising specifications with CTL properties using bounded model checking
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Revising specifications with CTL properties using bounded model checking

Marcelo Finger Renata Wassermann; Brazilian Symposium on Artificial Intelligence - SBIA (19. 2008 Savador, BR)

Proceedings Berlin : Springer, 2008

Berlin Springer 2008

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

3
Revision of CTL models
Revision of CTL models
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Revision of CTL models

Paulo T Guerra Renata Wassermann; Ibero-American Conference on Artificial Intelligence - IBERAMIA (12. (2010 Bahía Blanca, Argentina)

Proceedings Berlin : Springer, 2010

Berlin Springer 2010

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

4
Attacking the complexity of prioritized inference preliminary report
Attacking the complexity of prioritized inference preliminary report
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Attacking the complexity of prioritized inference preliminary report

Renata Wassermann Samir Chopra; Brazilian Symposium on Artificial Intelligence - SBIA (16. 2002 Porto de Galinhas, Recife, BR)

Proceedings Berlin : Springer, 2002

Berlin Springer 2002

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

5
Revisão de crenças em lógicas de descrição e em outras lógicas não clássicas
Revisão de crenças em lógicas de descrição e em outras lógicas não clássicas
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Revisão de crenças em lógicas de descrição e em outras lógicas não clássicas

Ribeiro, Marcio Moretto

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

Acesso online

6
Belief change without compactness
Belief change without compactness
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Belief change without compactness

Santos, Jandson Santos Ribeiro

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

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

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

Buscando em bases de dados remotas. Favor aguardar.