The following pages link to Stable models and circumscription (Q543596):
Displaying 5 items.
- Safe Formulas in the General Theory of Stable Models (Preliminary Report) (Q5504689) (← links)
- Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming (Q6063873) (← links)
- Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs (Q6063883) (← links)
- On Heuer's procedure for verifying strong equivalence (Q6545537) (← links)
- Logic programming (Q6602251) (← links)