Pages that link to "Item:Q2326721"
From MaRDI portal
The following pages link to Founded world views with autoepistemic equilibrium logic (Q2326721):
Displaying 7 items.
- Autoepistemic equilibrium logic and epistemic specifications (Q2307335) (← links)
- Splitting Epistemic Logic Programs (Q4957221) (← links)
- Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting (Q5108495) (← links)
- About Epistemic Negation and World Views in Epistemic Logic Programs (Q5108503) (← links)
- Revisiting Explicit Negation in Answer Set Programming (Q5108509) (← links)
- eclingo : A Solver for Epistemic Logic Programs (Q5140019) (← links)
- Thirty years of Epistemic Specifications (Q6085582) (← links)
