Pages that link to "Item:Q4957201"
From MaRDI portal
The following pages link to selp: <i>A Single-Shot Epistemic Logic Program Solver</i> (Q4957201):
Displayed 6 items.
- A parallel memory-efficient epistemic logic program solver: harder, better, faster (Q2317970) (← links)
- Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all? (Q2667835) (← links)
- Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs (Q5019599) (← links)
- About Epistemic Negation and World Views in Epistemic Logic Programs (Q5108503) (← links)
- On Uniform Equivalence of Epistemic Logic Programs (Q5108505) (← links)
- Thirty years of Epistemic Specifications (Q6085582) (← links)