A Unifying Perspective on Knowledge Updates

DOI10.1007/978-3-642-33353-8_29zbMATH Open1362.68268OpenAlexW149878941MaRDI QIDQ2915086

João Leite, Martin Slota

Publication date: 21 September 2012

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-33353-8_29

Mathematics Subject Classification ID

Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the logic of theory change: Partial meet contraction and revision functions
• Strong equivalence made easy: nested expressions and weight constraints
• An abductive framework for computing knowledge base updates
• The Description Logic Handbook
• Reconciling description logics and rules
• Propositional belief base update and minimal change
• On Instance-level Update and Erasure in Description Logic Ontologies
• Belief revision within fragments of propositional logic
• On properties of update sequences based on causal rejection
• Dynamic updates of non-monotonic knowledge bases
• A Preference-Based Framework for Updating Logic Programs
• Reversing the Levi identity
• Towards closed world reasoning in dynamic open worlds
• Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
• Revision programming
• The refinement extension principle for semantics of dynamic logic programming
• On Semantic Update Operators for Answer-Set Programs
• Back and Forth between Rules and SE-Models
• Splitting and updating hybrid knowledge bases
• Logic program-based updates

Cited In (3)

• On updates of hybrid knowledge bases composed of ontologies and rules
• On the limits of forgetting in answer set programming
• Forgetting in ASP: The Forgotten Properties

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• An abductive framework for computing knowledge base updates 👍 👎
• A glance at revision and updating in knowledge bases 👍 👎
• Dynamic updates of non-monotonic knowledge bases 👍 👎
• A Unified View of Belief Revision and Update 👍 👎
• Knowledge updates: Semantics and complexity issues 👍 👎
• Updating knowledge bases 👍 👎
• Updating knowledge using subsets 👍 👎

This page was built for publication: A Unifying Perspective on Knowledge Updates

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2915086)