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
- Title not available (Why is that?)
- 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
- 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
- selp: a single-shot epistemic logic program solver
This page was built for software: selp
