lp2normal swMATH ID: 25505 Software Authors: Bomanson, Jori Description: lp2normal – a normalization tool for extended logic programs. Answer set programming (ASP) features a rich rule-based modeling language for encoding search problems. While normal rules form the simplest rule type in the language, various forms of extended rules have been introduced in order to ease modeling of complex conditions and constraints. Normalization means replacing such extended rules with identically functioning sets of normal rules. In this system description, we present lp2normal, which is a state-of-the-art normalizer that acts as a filter on ground logic programs produced by grounders, such as gringo. It provides options to translate away choice rules, cardinality rules, and weight rules, and to rewrite optimization statements using comparable techniques. The produced logic programs are suitable inputs to tools that lack support for extended rules, in particular. We give an overview of the normalization techniques currently supported by the tool and summarize its features. Moreover, we discuss the typical application scenarios of normalization, such as when implementing the search for answer sets using a back-end solver without direct support for cardinality constraints or pseudo-Boolean constraints. Homepage: https://link.springer.com/chapter/10.1007%2F978-3-319-61660-5_20 Related Software: Clingo; WASP; ASSAT; clasp; eclingo; selp; htd; Smodels; Cmodels; IDP3; ASPTools; ROSoClingo; Clingcon; Sat4j; DLV; Lparse; Pueblo; Gurobi; Potassco; SATzilla Cited in: 7 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year lp2normal – a normalization tool for extended logic programs. Zbl 1491.68040Bomanson, Jori 2017 all top 5 Cited by 12 Authors 3 Janhunen, Tomi 2 Bomanson, Jori 1 Amendola, Giovanni 1 Balduccini, Marcello 1 Bogaerts, Bart 1 De Wulf, Wolf 1 Dodaro, Carmine 1 Faber, Wolfgang 1 Gebser, Martin 1 Hecher, Markus 1 Ricca, Francesco 1 Rintanen, Jussi Cited in 3 Serials 2 Artificial Intelligence 1 Theory and Practice of Logic Programming 1 Lecture Notes in Computer Science Cited in 2 Fields 7 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) Citations by Year