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

DOI10.1007/978-3-319-61660-5_20zbMath1491.68040OpenAlexW2725553666MaRDI QIDQ2401937

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

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

Related Items (6)

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 ⋮ Paracoherent answer set computation ⋮ Boosting Answer Set Optimization with Weighted Comparator Networks ⋮ lp2normal

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