Lp2normal — A normalization tool for extended logic programs

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Standard

Lp2normal — A normalization tool for extended logic programs. / Bomanson, Jori.

Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings. Springer-Verlag, 2017. p. 222-228 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10377 ).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Harvard

Bomanson, J 2017, Lp2normal — A normalization tool for extended logic programs. in Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10377 , Springer-Verlag, pp. 222-228, International Conference on Logic Programming and Nonmonotonic Reasoning, Espoo, Finland, 03/07/2017. https://doi.org/10.1007/978-3-319-61660-5_20

APA

Bomanson, J. (2017). Lp2normal — A normalization tool for extended logic programs. In Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings (pp. 222-228). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10377 ). Springer-Verlag. https://doi.org/10.1007/978-3-319-61660-5_20

Vancouver

Bomanson J. Lp2normal — A normalization tool for extended logic programs. In Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings. Springer-Verlag. 2017. p. 222-228. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-61660-5_20

Author

Bomanson, Jori. / Lp2normal — A normalization tool for extended logic programs. Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings. Springer-Verlag, 2017. pp. 222-228 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Bibtex - Download

@inproceedings{1a6b40731fbe4039a1a068e597fdb570,
title = "Lp2normal — A normalization tool for extended logic programs",
abstract = "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.",
author = "Jori Bomanson",
year = "2017",
doi = "10.1007/978-3-319-61660-5_20",
language = "English",
isbn = "9783319616599",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "222--228",
booktitle = "Logic Programming and Nonmonotonic Reasoning",

}

RIS - Download

TY - GEN

T1 - Lp2normal — A normalization tool for extended logic programs

AU - Bomanson, Jori

PY - 2017

Y1 - 2017

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85025172277&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-61660-5_20

DO - 10.1007/978-3-319-61660-5_20

M3 - Conference contribution

SN - 9783319616599

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 222

EP - 228

BT - Logic Programming and Nonmonotonic Reasoning

PB - Springer-Verlag

ER -

ID: 14469161