lp2normal

MaRDI QIDQ37243swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-319-61660-5_20

Described by source

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

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