lp2normal

swMATH25505MaRDI QIDQ37243FDOQ37243

Author name not available (Why is that?)

Described by source

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

Cited In (7)

• 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
• Title not available (Why is that?)
• Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all?
• Title not available (Why is that?)

This page was built for software: lp2normal