Pages that link to "Item:Q2046018"
From MaRDI portal
The following pages link to Autoepistemic answer set programming (Q2046018):
Displaying 6 items.
- Evaluating epistemic negation in answer set programming (Q286399) (← links)
- Autoepistemic equilibrium logic and epistemic specifications (Q2307335) (← links)
- A parallel memory-efficient epistemic logic program solver: harder, better, faster (Q2317970) (← links)
- Thirty years of Epistemic Specifications (Q6085582) (← links)
- Deontic equilibrium logic with explicit negation (Q6545559) (← links)
- Refining the semantics of epistemic specifications (Q6647309) (← links)