A contraction core for Horn belief change: preliminary report (2010)
- Authors:
- Autor USP: WASSERMANN, RENATA - IME
- Unidade: IME
- Assunto: LÓGICA MATEMÁTICA
- Language: Inglês
- Imprenta:
- Source:
- Título: Proceedings
- Conference titles: Non-Monotonic Reasoning 2010: International Workshop on Non-Monotonic Reasoning - NMR
-
ABNT
BOOTH, Richard e MEYER, Thomas e WASSERMANN, Renata. A contraction core for Horn belief change: preliminary report. 2010, Anais.. Toronto: SFU, 2010. . Acesso em: 14 mar. 2026. -
APA
Booth, R., Meyer, T., & Wassermann, R. (2010). A contraction core for Horn belief change: preliminary report. In Proceedings. Toronto: SFU. -
NLM
Booth R, Meyer T, Wassermann R. A contraction core for Horn belief change: preliminary report. Proceedings. 2010 ;[citado 2026 mar. 14 ] -
Vancouver
Booth R, Meyer T, Wassermann R. A contraction core for Horn belief change: preliminary report. Proceedings. 2010 ;[citado 2026 mar. 14 ] - Horn clause contraction functions: belief set and belief base approaches
- 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
- An argumentation machinery to reason over inconsistent ontologies
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
