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

DOI10.1007/978-3-319-61660-5_20MaRDI QIDQ2401937zbMATH OpenOpenAlexFDO

Authors Jori Bomanson

Publication date 5 September 2017

Full work available at URL https://doi.org/10.1007/978-3-319-61660-5_20

Mathematics Subject Classification ID

Logic programming (68N17) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Improving the normalization of weight rules in answer set programs
• Normalizing cardinality rules using merging and sorting constructions
• Extending and implementing the stable model semantics

Cited in

(8)

• Paracoherent answer set computation
• Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all?
• Normalizing cardinality rules using merging and sorting constructions
• Improving the normalization of weight rules in answer set programs
• lp2normal
• Boosting Answer Set Optimization with Weighted Comparator Networks
• scientific article; zbMATH DE number 7455719 (Why is no real title available?)
• Witnesses for Answer Sets of Logic Programs

This page was built for publication: \textsc{lp2normal} -- a normalization tool for extended logic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2401937)