Belief Update Within Propositional Fragments

DOI10.1007/978-3-319-20807-7_15zbMath1465.68237OpenAlexW1801043000MaRDI QIDQ3451174

Raida Ktari, Odile Papini, Nadia Creignou

Publication date: 10 November 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-20807-7_15

zbMATH Keywords

knowledge representationreasoningbelief changefragments of propositional logicbelief update

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Belief revision within fragments of propositional logic
• A unified model of qualitative belief change: a dynamical systems perspective
• Propositional knowledge base revision and minimal change
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• Semantical and computational aspects of Horn approximations
• Propositional belief base update and minimal change
• Inter-definability of Horn contraction and Horn revision
• Belief revision in Horn theories
• Horn Clause Contraction Functions
• Entrenchment-Based Horn Contraction
• On the logic of theory change: Partial meet contraction and revision functions
• A Unified View of Belief Revision and Update
• Prime implicates and relevant belief revision
• Merging in the Horn Fragment
• The complexity of satisfiability problems
• On sentences which are true of direct unions of algebras
• Belief revision and update: Complexity of model checking

This page was built for publication: Belief Update Within Propositional Fragments