Pages that link to "Item:Q672705"
From MaRDI portal
The following pages link to Contributions to the stable model semantics of logic programs with negation (Q672705):
Displaying 10 items.
- A note on the stable model semantics for logic programs (Q1127348) (← links)
- On the relations between stable and well-founded semantics of logic programs (Q1200977) (← links)
- On the equivalence and range of applicability of graph-based representations of logic programs. (Q1853147) (← links)
- Non-monotonic extensions of logic programming. ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected papers (Q1894636) (← links)
- A comparative study of various model-theoretic treatments of negation: A history of formal negation (Q2715515) (← links)
- From here to there: Stable negation in logic programming (Q2715522) (← links)
- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties (Q2900469) (← links)
- Characterizations of stable model semantics for logic programs with arbitrary constraint atoms (Q3183130) (← links)
- P-stable models of strong kernel programs (Q3631321) (← links)
- RASP and ASP as a fragment of linear logic (Q4583307) (← links)
