A Unifying Perspective on Knowledge Updates

DOI10.1007/978-3-642-33353-8_29MaRDI QIDQ2915086zbMATH OpenOpenAlexFDO

Authors Martin Slota, João Leite

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)

Recommendations

• A glance at revision and updating in knowledge bases
• Updating knowledge bases
• Publication:5751985
• A Unified View of Belief Revision and Update
• Updating knowledge using subsets
• Publication:4028812
• Knowledge updates: Semantics and complexity issues
• An abductive framework for computing knowledge base updates
• Dynamic updates of non-monotonic knowledge bases
• Publication:3988794

Cites work

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

Cited in

(7)

• Splitting and updating hybrid knowledge bases
• scientific article; zbMATH DE number 176246 (Why is no real title available?)
• A brief history of updates of answer-set programs
• Forgetting in answer set programming -- a survey
• Forgetting in ASP: the forgotten properties
• On updates of hybrid knowledge bases composed of ontologies and rules
• On the limits of forgetting in answer set programming

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)