skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples

Resultados de 1 a 10 de 32  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: autor: Wassermann, R remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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.

2
Studies on non-prioritized multiple belief revision
Studies on non-prioritized multiple belief revision
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Studies on non-prioritized multiple belief revision

Resina, Fillipe Manoel Xavier

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

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

3
Base revision for ontology debugging
Base revision for ontology debugging
Material Type:
Artigo 		Adicionar ao Meu Espaço

Base revision for ontology debugging

Márcio Moretto Ribeiro Renata Wassermann

Journal of Logic and Computation Oxford v. 19, n. 5, p. 721-743, 2009

Oxford 2009

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

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

5
Belief contraction in non-classical logics as hyperintensional belief change
Belief contraction in non-classical logics as hyperintensional belief change
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Belief contraction in non-classical logics as hyperintensional belief change

Marlo Souza Renata Wassermann; International Conference on Principles of Knowledge Representation and Reasoning - KR (18. 2021 Online event)

Proceedings Vienna: IJCAI, 2021

Vienna IJCAI 2021

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

6
Pseudo-contractions in belief revision
Pseudo-contractions in belief revision
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Pseudo-contractions in belief revision

Santos, Yuri David

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

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

7
Pseudo-contraction operations for description logics
Pseudo-contraction operations for description logics
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Pseudo-contraction operations for description logics

Matos, Vinícius Bitencourt

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

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

8
Belief revision on computation tree logic
Belief revision on computation tree logic
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Belief revision on computation tree logic

Paulo T Guerra Renata Wassermann; International Joint Conference on Artificial Intelligence - IJCAI (22. 2011 Barcelona, Catalonia, Spain)

Proceedings Palo Alto : AAAI Press, 2011

Palo Alto AAAI Press 2011

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

9
Repairing ontologies via kernel pseudo-contraction
Repairing ontologies via kernel pseudo-contraction
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Repairing ontologies via kernel pseudo-contraction

Vinícius Bitencourt Matos Renata Wassermann; Federated Logic Conference -FLoC (8. 2022 Haifa, Israel); International Workshop on Non-Monotonic Reasoning Part of the Federated Logic Conference (FLoC 2022) (20. 2022 Haifa, Israel)

CEUR Workshop Proceedings Aachen v. 3197, p. 16-26, 2022

Aachen 2022

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

10
Revisão de modelos CTL
Revisão de modelos CTL
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Revisão de modelos CTL

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 2010-12-16

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

Resultados de 1 a 10 de 32  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. Disponível na Biblioteca (30)
  2. Recursos Online (5)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de2008  (5)
  2. 2008Até2010  (5)
  3. 2011Até2013  (5)
  4. 2014Até2018  (7)
  5. Após 2018  (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.