selp
From MaRDI portal
Software:42720
swMATH31006MaRDI QIDQ42720FDOQ42720
Author name not available (Why is that?)
Cited In (8)
- A parallel memory-efficient epistemic logic program solver: harder, better, faster
- Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs
- On Uniform Equivalence of Epistemic Logic Programs
- About Epistemic Negation and World Views in Epistemic Logic Programs
- Title not available (Why is that?)
- selp: A Single-Shot Epistemic Logic Program Solver
- Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all?
- Solving Advanced Argumentation Problems with Answer Set Programming
This page was built for software: selp
