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
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

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

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
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.

5
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.

6
Local change
Local change
Material Type:
Artigo 		Adicionar ao Meu Espaço

Local change

Sven Ove Hansson Renata Wassermann

Studia Logica Dordrecht v. 70, n. 1, p. 49-76, 2002

Dordrecht 2002

Localização: IME - Inst. Matemática e Estatística    (PROD-1277132 )(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
On the uncomputability of partial meet contraction for linear-time temporal logic
On the uncomputability of partial meet contraction for linear-time temporal logic
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

On the uncomputability of partial meet contraction for linear-time temporal logic

Paulo T Guerra Renata Wassermann; Brazilian Logic Conference - EBL (18. (2017 Pirenópolis, Goiás)

South American Journal of Logic Campinas v. 4, n. 2, p. 385-406, 2018

Campinas 2018

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

9
Two AGM-style characterizations of model repair
Two AGM-style characterizations of model repair
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Two AGM-style characterizations of model repair

Paulo T Guerra Renata Wassermann; International Conference on Principles of Knowledge Representation and Reasoning - KR (16. 2018 Tempe, Arizona)

Proceedings Palo Alto : AAAI Press, 2018

Palo Alto AAAI Press 2018

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

10
Hyperintensional models and belief change
Hyperintensional models and belief change
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Hyperintensional models and belief change

Marlo Souza Renata Wassermann; Brazilian Conference on Intelligent Systems - BRACIS (11. 2022 Campinas, SP)

Proceedings Cham: Springer, 2022

Cham Springer 2022

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (5)

Data de Publicação 

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