Pages that link to "Item:Q4957201"

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)