selp
From MaRDI portal
Selp
Cited in
(21)- A parallel memory-efficient epistemic logic program solver: harder, better, faster
- Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all?
- GRAPPA
- htd
- Lpopt
- DIAMOND
- lp2normal
- GI-log
- Wviews
- EHEX
- GISolver
- ESmodels
- ESParser
- ELPS
- Solving Advanced Argumentation Problems with Answer Set Programming
- selp: a single-shot epistemic logic program solver
- Utilizing treewidth for quantitative reasoning on epistemic logic programs
- Epistemic logic programs: a different world view
- About epistemic negation and world views in epistemic logic programs
- On uniform equivalence of epistemic logic programs
- eclingo
This page was built for software: selp
