lp2normal

swMATH25505MaRDI QIDQ37243

No author found.

Described by source

• \textsc{lp2normal} -- a normalization tool for extended logic programs

Related Items (7)

Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3--6, 2017. Proceedings ⋮ Witnesses for Answer Sets of Logic Programs ⋮ Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all? ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Paracoherent answer set computation ⋮ Boosting Answer Set Optimization with Weighted Comparator Networks

This page was built for software: lp2normal