A Unifying Perspective on Knowledge Updates
From MaRDI portal
Publication:2915086
DOI10.1007/978-3-642-33353-8_29zbMath1362.68268OpenAlexW149878941MaRDI 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
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)
Related Items (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
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
This page was built for publication: A Unifying Perspective on Knowledge Updates
