Pages that link to "Item:Q1602967"
From MaRDI portal
The following pages link to Implementation of belief change operators using BDDs (Q1602967):
Displaying 5 items.
- Prime forms and minimal change in propositional belief bases (Q622590) (← links)
- Implementing semantic merging operators using binary decision diagrams (Q2379333) (← links)
- Belief Base Change Operations for Answer Set Programming (Q2915080) (← links)
- Symbolic Model Checking for Dynamic Epistemic Logic (Q3457719) (← links)
- On Computing Belief Change Operations using Quantified Boolean Formulas (Q4659952) (← links)