The following pages link to Stable models and circumscription (Q543596):
Displayed 7 items.
- Ordered completion for first-order logic programs on finite structures (Q420824) (← links)
- John McCarthy's legacy (Q543573) (← links)
- On elementary loops of logic programs (Q2884258) (← links)
- Lifschitz and Circumscription (Q2900534) (← links)
- Reformulating Action Language $\mathcal{C}$ + in Answer Set Programming (Q2900536) (← links)
- Connecting First-Order ASP and the Logic FO(ID) through Reducts (Q2900547) (← links)
- Well-Supported Semantics for Logic Programs with Generalized Rules (Q2900549) (← links)