Mixed Iterated Revisions: Rationale, Algorithms, and Complexity

DOI10.1145/3583071OpenAlexW4319736388MaRDI QIDQ6116365

Paolo Liberatore

Publication date: 18 July 2023

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3583071

zbMATH Keywords

computational complexityiterated belief revisiontranslation algorithm

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Iterated descriptor revision and the logic of Ramsey test conditionals
• Bounded revision: two-dimensional belief change between conservative and moderate revision
• The strong exponential hierarchy collapses
• The complexity of nested counterfactuals and iterated knowledge base revisions
• On strengthening the logic of iterated belief revision: proper ordinal interval operators
• Dynamic belief revision operators
• Revision by comparison
• Iterated belief revision, revised
• Two modellings for theory change
• The complexity of optimization problems
• More complicated questions about maxima and minima, and some closures of NP
• On truth-table reducibility to SAT
• Propositional knowledge base revision and minimal change
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• On the logic of iterated belief revision
• Reducing belief revision to circumscription (and vice versa)
• Recovery recovered
• On subtler belief revision policies
• Hypersequent calculi for Lewis' conditional logics with uniformity and reflexivity
• Severe withdrawal (and recovery)
• Iterated revision and minimal change of conditional beliefs
• Abduction to plausible causes: an event-based model of belief update
• From iterated revision to iterated contraction: extending the Harper identity
• Revision by comparison as a unifying framework: Severe withdrawal, irrevocable revision and irrefutable revision
• What kind of independence do we need for multiple iterated belief change?
• Kinetic Consistency and Relevance in Belief Revision
• Iterated Belief Change Due to Actions and Observations
• Belief Change with Uncertain Action Histories
• Reconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs
• Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators
• On the logic of theory change: Partial meet contraction and revision functions
• A brief note about Rott contraction
• Coherence and Conservatism in the Dynamics of Belief II: Iterated Belief Change without Dispositional Coherence
• A framework for iterated revision
• Irrevocable belief revision and epistemic entrenchment
• Belief Update within Propositional Fragments
• On Iterated Contraction: Syntactic Characterization, Representation Theorem and Limitations of the Levi Identity
• The complexity class θp2: Recent results and applications in AI and modal logic
• Belief Merging by Examples
• EPISTEMIC ENTRENCHMENT-BASED MULTIPLE CONTRACTIONS
• The complexity of satisfiability problems
• Irrevocable belief revision in dynamic doxastic logic
• Symmetry and belief revision
• Belief revision and update: Complexity of model checking

This page was built for publication: Mixed Iterated Revisions: Rationale, Algorithms, and Complexity