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 do periódico: Proceedings
- Conference titles: Non-Monotonic Reasoning 2010: International Workshop on Non-Monotonic Reasoning - NMR
-
ABNT
BOOTH, Richard; MEYER, Thomas; WASSERMANN, Renata. A contraction core for Horn belief change: preliminary report. Anais.. Toronto: SFU, 2010. -
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 ; -
Vancouver
Booth R, Meyer T, Wassermann R. A contraction core for Horn belief change: preliminary report. Proceedings. 2010 ; - Local change in ontologies with atomic decomposition
- On AGM for Non-Classical Logics
- Ontology repair through partial meet contraction
- Seminar on Ontology Research in Brazil, 6: proceedings
- Ontology stratification methods: a comparative study
- Belief revision and computer science
- Utilização de ontologia para busca em base de dados de Acórdãos do STF
- Local change
- Towards belief contraction without compactness
- On the uncomputability of partial meet contraction for linear-time temporal logic
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
