The following pages link to (Q4784859):
Displaying 5 items.
- A consistency-based approach for belief change (Q814523) (← links)
- Implementation of belief change operators using BDDs (Q1602967) (← links)
- On deciding subsumption problems (Q1777407) (← links)
- A consistency-based framework for merging knowledge bases (Q2372196) (← links)
- On Computing Belief Change Operations using Quantified Boolean Formulas (Q4659952) (← links)