Pages that link to "Item:Q4036289"
From MaRDI portal
The following pages link to Tight, consistent, and computable completions for unrestricted logic programs (Q4036289):
Displaying 8 items.
- A formalization of programs in first-order logic with a discrete linear order (Q274400) (← links)
- Stable models and circumscription (Q543596) (← links)
- Bottom-up evaluation and query optimization of well-founded models (Q673130) (← links)
- Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator (Q1274764) (← links)
- What is failure? An approach to constructive negation (Q1346220) (← links)
- A logical semantics for depth-first Prolog with ground negation (Q1390936) (← links)
- Thirteen Definitions of a Stable Model (Q3586017) (← links)
- Twelve Definitions of a Stable Model (Q5504644) (← links)