Belief revision within fragments of propositional logic

DOI10.1016/J.JCSS.2013.08.002MaRDI QIDQ386044zbMATH OpenOpenAlexFDO

Authors Nadia Creignou, Odile Papini, Reinhard Pichler, Stefan Woltran

Publication date 13 December 2013

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jcss.2013.08.002

zbMATH Keywords

complexitybelief revisionfragments of propositional logicKM postulates

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Recommendations

• Belief update within propositional fragments
• Belief contraction within fragments of propositional logic
• Belief Update within Propositional Fragments
• Belief merging within fragments of propositional logic
• Belief merging within fragments of propositional logic

Cites work

• scientific article; zbMATH DE number 1269566 (Why is no real title available?)
• scientific article; zbMATH DE number 1149451 (Why is no real title available?)
• scientific article; zbMATH DE number 1537944 (Why is no real title available?)
• scientific article; zbMATH DE number 1878314 (Why is no real title available?)
• A Preference-Based Framework for Updating Logic Programs
• A model-theoretic approach to belief change in answer set programming
• An abductive framework for computing knowledge base updates
• Answer sets for consistent query answering in inconsistent databases
• Belief revision and update: Complexity of model checking
• Compilability and compact representations of revision of Horn knowledge bases
• Constraints, consistency and closure
• Dynamic updates of non-monotonic knowledge bases
• First order LUB approximations: characterization and algorithms
• Handbook of knowledge representation.
• Horn upper bounds and renaming
• Information fusion and revision in qualitative and quantitative settings. Steps towards a unified framework
• Knowledge compilation and theory approximation
• On properties of update sequences based on causal rejection
• On sentences which are true of direct unions of algebras
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• On the logic of theory change: Partial meet contraction and revision functions
• Prime implicates and relevant belief revision
• Propositional knowledge base revision and minimal change
• Semantical and computational aspects of Horn approximations
• The complexity of nested counterfactuals and iterated knowledge base revisions
• The complexity of satisfiability problems
• \(P^{NP[O(\log n)]}\) and sparse turing-complete sets for NP

Cited in

(15)

• Interrogative belief revision in modal logic
• A Unifying Perspective on Knowledge Updates
• The incremental satisfiability problem for a two conjunctive normal form
• Belief revision in Horn theories
• Merging in the Horn fragment
• Belief revision in non-classical logics
• scientific article; zbMATH DE number 1301760 (Why is no real title available?)
• Belief Update within Propositional Fragments
• Minimal change: relevance and recovery revisited
• DL-Lite ontology revision based on an alternative semantic characterization
• Belief merging within fragments of propositional logic
• Belief merging within fragments of propositional logic
• Belief contraction within fragments of propositional logic
• Filtered belief revision: syntax and semantics
• Belief update within propositional fragments

This page was built for publication: Belief revision within fragments of propositional logic

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