On Computing Belief Change Operations using Quantified Boolean Formulas
From MaRDI portal
Publication:4659952
DOI10.1093/logcom/14.6.801zbMath1066.03028OpenAlexW2066173367MaRDI QIDQ4659952
Torsten Schaub, Stefan Woltran, James P. Delgrande, Hans Tompits
Publication date: 21 March 2005
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/14.6.801
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)
Related Items (6)
Characterising equilibrium logic and nested logic programs: Reductions and complexity, ⋮ A general framework for computing maximal contractions ⋮ An algebraic approach to revising propositional rule-based knowledge bases ⋮ COBA 2.0: A Consistency-Based Belief Change System ⋮ A QBF-based formalization of abstract argumentation semantics ⋮ Computational methods for database repair by signed formulae
This page was built for publication: On Computing Belief Change Operations using Quantified Boolean Formulas
