The following pages link to Loop formulas for circumscription (Q2457644):
Displaying 5 items.
- Stable models and circumscription (Q543596) (← links)
- ASSAT: computing answer sets of a logic program by SAT solvers (Q814607) (← links)
- On elementary loops of logic programs (Q2884258) (← links)
- Implementing Prioritized Circumscription by Computing Disjunctive Stable Models (Q3534658) (← links)
- Model enumeration in propositional circumscription via unsatisfiable core analysis (Q4592705) (← links)
