A Unifying Perspective on Knowledge Updates
From MaRDI portal
Publication:2915086
DOI10.1007/978-3-642-33353-8_29zbMath1362.68268MaRDI QIDQ2915086
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
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
68T30: Knowledge representation
Related Items
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
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Belief revision within fragments of propositional logic
- Reversing the Levi identity
- Revision programming
- Propositional belief base update and minimal change
- The refinement extension principle for semantics of dynamic logic programming
- Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
- On Semantic Update Operators for Answer-Set Programs
- Back and Forth between Rules and SE-Models
- Splitting and updating hybrid knowledge bases
- On Instance-level Update and Erasure in Description Logic Ontologies
- Reconciling description logics and rules
- Towards closed world reasoning in dynamic open worlds
- On the logic of theory change: Partial meet contraction and revision functions
- On properties of update sequences based on causal rejection
- Dynamic updates of non-monotonic knowledge bases
- Strong equivalence made easy: nested expressions and weight constraints
- An abductive framework for computing knowledge base updates
- Logic program-based updates
- The Description Logic Handbook
- A Preference-Based Framework for Updating Logic Programs