lp2normal
From MaRDI portal
Lp2normal
Cited in
(17)- Boosting Answer Set Optimization with Weighted Comparator Networks
- Paracoherent answer set computation
- Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3--6, 2017. Proceedings
- Witnesses for Answer Sets of Logic Programs
- ROSoClingo
- Harvey
- ArgueApply
- Catnap
- Moviola
- NoHR
- LP2ACYC
- LP2NORMAL2
- eclingo
- scientific article; zbMATH DE number 7455719 (Why is no real title available?)
- Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all?
- scientific article; zbMATH DE number 6747915 (Why is no real title available?)
- xclingo
This page was built for software: lp2normal