@inproceedings{48b1605705654e95a2211e591c677b0b,
title = "An embedding of input-output logic in deontic logic programs",
abstract = "Parametrized logic programs, for which a syntax and natural declarative semantics have been recently defined, are very expressive logic programs under the stable model semantics (also usually called answer set programs) in which complex formulas of a given parameter logic are allowed to appear in the body and head of rules. The choice of the parameter logic depends largely on the domain of the problem to be modeled. In this paper we show how input-output logic can be embedded into parametrized logic programs, by choosing deontic logic as the parameter logic. This embedding not only shows how to recast input-out logic in this extension of answer set programming, but also sheds light on how to extend input-output logic with some interesting non-monotonic features.",
author = "Ricardo Gon{\c c}alves and Alferes, {Jos{\'e} J{\'u}lio}",
year = "2012",
month = aug,
day = "15",
doi = "10.1007/978-3-642-31570-1_5",
language = "English",
isbn = "978-3-642-31569-5",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "61--75",
editor = "T. {\AA}gotnes and J. Broersen and D. Elgesem",
booktitle = "Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Proceedings",
address = "Germany",
note = "11th International Conference on Deontic Logic in Computer Science, DEON 2012 ; Conference date: 16-07-2012 Through 18-07-2012",
}