selp
From MaRDI portal
Software:42720
No author found.
Related Items (8)
Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all? ⋮ About Epistemic Negation and World Views in Epistemic Logic Programs ⋮ On Uniform Equivalence of Epistemic Logic Programs ⋮ Unnamed Item ⋮ Solving Advanced Argumentation Problems with Answer Set Programming ⋮ selp: A Single-Shot Epistemic Logic Program Solver ⋮ A parallel memory-efficient epistemic logic program solver: harder, better, faster ⋮ Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs
This page was built for software: selp
