Pages that link to "Item:Q2307335"
From MaRDI portal
The following pages link to Autoepistemic equilibrium logic and epistemic specifications (Q2307335):
Displayed 4 items.
- Autoepistemic answer set programming (Q2046018) (← links)
- A parallel memory-efficient epistemic logic program solver: harder, better, faster (Q2317970) (← links)
- A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming (Q4988944) (← links)
- Thirty years of Epistemic Specifications (Q6085582) (← links)