swMATH31006MaRDI QIDQ42720FDOQ42720
Author name not available (Why is that?)
Official website: https://dbai.tuwien.ac.at/proj/selp/
Cited In (21)
- 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
- GRAPPA
- htd
- Lpopt
- DIAMOND
- lp2normal
- GI-log
- EHEX
- ELPS
- ESmodels
- ESParser
- GISolver
- Wviews
- Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all?
- eclingo
- Solving Advanced Argumentation Problems with Answer Set Programming
- selp: a single-shot epistemic logic program solver
This page was built for software: selp
