Horn clause contraction functions: belief set and belief base approaches (2010)
- Autores:
- Autor USP: WASSERMANN, RENATA - IME
- Unidade: IME
- Assunto: LÓGICA COMBINATÓRIA
- Idioma: Inglês
- Imprenta:
- Editora: AAAI Press
- Local: Menlo Park
- Data de publicação: 2010
- Fonte:
- Título: Proceedings
- Nome do evento: International Conference on the Principles of Knowledge Representation and Reasoning - KR
-
ABNT
DELGRANDE, Jaime P e WASSERMANN, Renata. Horn clause contraction functions: belief set and belief base approaches. 2010, Anais.. Menlo Park: AAAI Press, 2010. Disponível em: https://aaai.org/ocs/index.php/KR/KR2010/paper/viewFile/1359/1610. Acesso em: 16 abr. 2026. -
APA
Delgrande, J. P., & Wassermann, R. (2010). Horn clause contraction functions: belief set and belief base approaches. In Proceedings. Menlo Park: AAAI Press. Recuperado de https://aaai.org/ocs/index.php/KR/KR2010/paper/viewFile/1359/1610 -
NLM
Delgrande JP, Wassermann R. Horn clause contraction functions: belief set and belief base approaches [Internet]. Proceedings. 2010 ;[citado 2026 abr. 16 ] Available from: https://aaai.org/ocs/index.php/KR/KR2010/paper/viewFile/1359/1610 -
Vancouver
Delgrande JP, Wassermann R. Horn clause contraction functions: belief set and belief base approaches [Internet]. Proceedings. 2010 ;[citado 2026 abr. 16 ] Available from: https://aaai.org/ocs/index.php/KR/KR2010/paper/viewFile/1359/1610 - Belief revision and computer science
- Hyperintensional models and belief change
- Merging ontologies via kernel contraction
- On the link between partial meet, kernel, and infra contraction and its application to Horn logic
- Local diagnosis
- Approximate belief revision
- Generalized change and the meaning of rationality postulates
- Full acceptance via argumentation
- A contraction core for Horn belief change: preliminary report
- An argumentation machinery to reason over inconsistent ontologies
Como citar
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
