Belief revision within fragments of propositional logic

DOI10.1016/J.JCSS.2013.08.002zbMATH Open1433.03044OpenAlexW2122085722MaRDI QIDQ386044FDOQ386044

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

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

zbMATH Keywords

complexitybelief revisionfragments of propositional logicKM postulates

Mathematics Subject Classification ID

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

Cites Work

• On the logic of theory change: Partial meet contraction and revision functions
• An abductive framework for computing knowledge base updates
• The complexity of satisfiability problems
• Constraints, consistency and closure
• Knowledge compilation and theory approximation
• Answer sets for consistent query answering in inconsistent databases
• Handbook of knowledge representation.
• Propositional knowledge base revision and minimal change
• On sentences which are true of direct unions of algebras
• Title not available (Why is that?)
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• Semantical and computational aspects of Horn approximations
• First order LUB approximations: characterization and algorithms
• A model-theoretic approach to belief change in answer set programming
• Horn upper bounds and renaming
• Information fusion and revision in qualitative and quantitative settings. Steps towards a unified framework
• Title not available (Why is that?)
• Title not available (Why is that?)
• On properties of update sequences based on causal rejection
• Dynamic updates of non-monotonic knowledge bases
• Title not available (Why is that?)
• Prime implicates and relevant belief revision
• A Preference-Based Framework for Updating Logic Programs
• Compilability and compact representations of revision of Horn knowledge bases
• Belief revision and update: Complexity of model checking
• The complexity of nested counterfactuals and iterated knowledge base revisions
• \(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
• Title not available (Why is that?)
• 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)