Pages that link to "Item:Q5108509"
From MaRDI portal
The following pages link to Revisiting Explicit Negation in Answer Set Programming (Q5108509):
Displaying 8 items.
- Evaluating epistemic negation in answer set programming (Q286399) (← links)
- Rewriting Guarded Negation Queries (Q2849901) (← links)
- Answer Synthesis for CLP Programs with Negation (Q4340538) (← links)
- A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction (Q5019604) (← links)
- Answer Set Programming without Unstratified Negation (Q5504649) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709989) (← links)
- Thirty years of Epistemic Specifications (Q6085582) (← links)
- Deontic equilibrium logic with explicit negation (Q6545559) (← links)