@inproceedings{a28ba2cc29664d7f8fcf7bffdff2b1c5,
title = "Decidability and implementation of parametrized logic programs",
abstract = "Parametrized logic programs are very expressive logic programs that generalize normal logic programs under the stable model semantics, by allowing complex formulas of a parameter logic to appear in the body and head of rules. In this paper we study the decidability of these rich programs and propose an implementation that combines, in a modular way, a reasoner for the parameter logic with an answer set solver.",
author = "Ricardo Gon{\c c}alves and Alferes, {Jos{\'e} J{\'u}lio}",
year = "2013",
month = oct,
day = "22",
doi = "10.1007/978-3-642-40564-8_36",
language = "English",
isbn = "978-3-642-40563-1",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "361--373",
editor = "P. Cabalar and Son, {T. C.}",
booktitle = "Logic Programming and Nonmonotonic Reasoning - 12th International Conference, LPNMR 2013, Proceedings",
address = "Germany",
note = "12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013 ; Conference date: 15-09-2013 Through 19-09-2013",
}