Belief revision and update: Complexity of model checking

DOI10.1006/jcss.2000.1698zbMath0990.68108OpenAlexW1967138724MaRDI QIDQ5943121

Paolo Liberatore, Marco Schaerf

Publication date: 9 September 2001

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

Full work available at URL: https://doi.org/10.1006/jcss.2000.1698

zbMATH Keywords

formal modeling of common-sense reasoning

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

Related Items (12)

Belief Merging by Examples ⋮ Belief Update Within Propositional Fragments ⋮ Belief revision within fragments of propositional logic ⋮ A theory of change for prioritised resilient and evolvable software systems ⋮ Characterization of logic program revision as an extension of propositional revision ⋮ Toward credible belief base revision ⋮ Mixed Iterated Revisions: Rationale, Algorithms, and Complexity ⋮ An extension-based approach to belief revision in abstract argumentation ⋮ Knowledge updates: Semantics and complexity issues ⋮ Unnamed Item ⋮ On the complexity of inconsistency measurement ⋮ Knowledge assimilation in domains of actions: a possible causes approach

Cites Work

• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• The polynomial-time hierarchy
• On the logic of theory change: Partial meet contraction and revision functions
• Counterfactuals
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Belief revision and update: Complexity of model checking