skip to main content
Idioma:

Resultados de 1 a 10 de 36  para Produção Intelectual da USP

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 3 4 next page
Mostrar Somente
Refinado por: Nome da Publicação: Proceedings remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Horn clause contraction functions belief set and belief base approaches
Horn clause contraction functions belief set and belief base approaches
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Horn clause contraction functions belief set and belief base approaches

Jaime P Delgrande Renata Wassermann; International Conference on the Principles of Knowledge Representation and Reasoning - KR (12. 2010 Toronto)

Proceedings Menlo Park : AAAI Press, 2010

Menlo Park AAAI Press 2010

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

2
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)

3
Using relevance to speed up inference some empirical results
Using relevance to speed up inference some empirical results
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Using relevance to speed up inference some empirical results

Joselyto Riani Renata Wassermann; Brazilian Symposium on Artificial Intelligence - SBIA (17. 2004 São Luis, MA)

Proceedings Berlin : Springer, 2004

Berlin Springer 2004

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

4
Abductive expansion of belief bases
Abductive expansion of belief bases
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Abductive expansion of belief bases

Wagner Fernandes Dias 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-1253524 ) e outros locais(Acessar)

5
Expressivity and control in limited reasoning
Expressivity and control in limited reasoning
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Expressivity and control in limited reasoning

Marcelo Finger Renata Wassermann; European Conference on Artificial Intelligence - ECAI (15. 2002 Lyon)

Proceedings Amsterdam : IOS Press, 2002

Amsterdam IOS Press 2002

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

6
A contraction core for Horn belief change preliminary report
A contraction core for Horn belief change preliminary report
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A contraction core for Horn belief change preliminary report

Richard Booth Thomas Meyer; Renata Wassermann; Non-Monotonic Reasoning 2010: International Workshop on Non-Monotonic Reasoning - NMR (13. 2010 Toronto)

Proceedings Toronto : SFU, 2010

Toronto SFU 2010

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

7
Full acceptance via argumentation
Full acceptance via argumentation
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Full acceptance via argumentation

Daniela Vasconcelos Carbogim Renata Wassermann; Ibero-American Conference on Artificial Intelligence - IBERAMIA (7. 2000 Atibaia, SP); Brazilian Symposium on Artificial Intelligence - SBIA (15. 2000 Atibaia, SP)

Proceedings New York : ACM, 2000

New York ACM 2000

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

8
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:
Artigo de Congresso 		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

Marcio Moretto Ribeiro Renata Wassermann; Bracis 2012 - Brazilian Conference on Intelligent Systems (2012 Curitiba)

Proceedings Porto Alegre : SBC, 2012

Porto Alegre SBC 2012

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

9
Iterated belief change the case of expansion into inconsistency
Iterated belief change the case of expansion into inconsistency
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Iterated belief change the case of expansion into inconsistency

Eduardo Fermé Renata Wassermann; Brazilian Conference on Intelligent Systems (BRACIS) (7. 2017 Uberlandia, BR)

Proceedings Piscataway : IEEE, 2018

Piscataway IEEE 2018

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

10
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)

Resultados de 1 a 10 de 36  para Produção Intelectual da USP

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (10)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (35)
  2. Livros  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2004  (6)
  2. 2004Até2009  (3)
  3. 2010Até2012  (8)
  4. 2013Até2016  (9)
  5. Após 2016  (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.