Reducing belief revision to circumscription (and vice versa)
type: Item
instance of: scholarly article
title: Reducing belief revision to circumscription (and vice versa)
zbMATH Open document ID: 1017.03507
DOI: 10.1016/S0004-3702(97)00016-7
author: Paolo Liberatore
author: Marco Schaerf
published in: Artificial Intelligence
publication date: 2003-08-28T00:00:00Z
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T30
zbMATH DE Number: 1972316
zbMATH Keywords: Knowledge representation
zbMATH Keywords: Circumscription
zbMATH Keywords: Belief revision
zbMATH Keywords: Computational complexity
MaRDI profile type: Publication
cites work: On the logic of theory change: Partial meet contraction and revision functions
cites work: The complexity of model checking for circumscriptive formulae
cites work: The size of a revised knowledge base
cites work: Q4506459
cites work: On compact representations of propositional circumscription
cites work: An efficient method for eliminating varying predicates from a circumscription
cites work: The complexity of propositional closed world reasoning and circumscription
cites work: Linear-time algorithms for testing the satisfiability of propositional horn formulae
cites work: Eliminating the fixed predicates from a circumscription
cites work: On the complexity of propositional knowledge base revision, updates, and counterfactuals
cites work: Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete
cites work: Q5750466
cites work: Q3107917
cites work: Counterfactuals
cites work: A circumscriptive theorem prover
cites work: Q4198056
cites work: Results on translating defaults to circumscription
cites work: Q4385525
cites work: Q5751985
cites work: Q4028812
cites work: Propositional knowledge base revision and minimal change
cites work: Circumscription - a form of non-monotonic reasoning
cites work: Computing circumscriptive databases
cites work: An algorithm to compute circumscription
cites work: A logic for default reasoning
cites work: Q3198896
cites work: Q3995235
Wikidata QID: Q127156024
description: scientific article; zbMATH DE number 1972316