Cited in
(21)- A parallel memory-efficient epistemic logic program solver: harder, better, faster
- scientific article; zbMATH DE number 7453102 (Why is no real title available?)
- Utilizing treewidth for quantitative reasoning on epistemic logic programs
- GRAPPA
- htd
- Lpopt
- DIAMOND
- lp2normal
- GI-log
- EHEX
- ELPS
- ESmodels
- ESParser
- GISolver
- Wviews
- On uniform equivalence of epistemic logic programs
- eclingo
- 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
