Pages that link to "Item:Q4659952"
From MaRDI portal
The following pages link to On Computing Belief Change Operations using Quantified Boolean Formulas (Q4659952):
Displaying 10 items.
- Implementation of belief change operators using BDDs (Q1602967) (← links)
- On operations of possibilistic belief structures (Q2200690) (← links)
- A general framework for computing maximal contractions (Q2418637) (← links)
- An algebraic approach to revising propositional rule-based knowledge bases (Q2425850) (← links)
- A QBF-based formalization of abstract argumentation semantics (Q2446545) (← links)
- Computational methods for database repair by signed formulae (Q2502158) (← links)
- Belief Base Change Operations for Answer Set Programming (Q2915080) (← links)
- Characterising equilibrium logic and nested logic programs: Reductions and complexity, (Q3181745) (← links)
- COBA 2.0: A Consistency-Based Belief Change System (Q3524920) (← links)
- (Q4784859) (← links)