TY - GEN
T1 - Cplus 2ASP
T2 - 12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013
AU - Babb, Joseph
AU - Lee, Joohyung
PY - 2013/10/22
Y1 - 2013/10/22
N2 - We present Version 2 of system Cplus2ASP, which implements the definite fragment of action language C+. Its input language is fully compatible with the language of the Causal Calculator Version 2, but the new system is significantly faster thanks to modern answer set solving techniques. The translation implemented in the system is a composition of several recent theoretical results. The system orchestrates a tool chain, consisting of f2lp, clingo, iclingo, and as2transition. Under the incremental execution mode, the system translates a C+ description into the input language of iclingo, exploiting its incremental grounding mechanism. The correctness of this execution is justified by the module theorem extended to programs with nested expressions. In addition, the input language of the system has many useful features, such as external atoms by means of Lua calls and the user interactive mode. The system supports extensible multi-modal translations for other action languages, such as B and BC, as well.
AB - We present Version 2 of system Cplus2ASP, which implements the definite fragment of action language C+. Its input language is fully compatible with the language of the Causal Calculator Version 2, but the new system is significantly faster thanks to modern answer set solving techniques. The translation implemented in the system is a composition of several recent theoretical results. The system orchestrates a tool chain, consisting of f2lp, clingo, iclingo, and as2transition. Under the incremental execution mode, the system translates a C+ description into the input language of iclingo, exploiting its incremental grounding mechanism. The correctness of this execution is justified by the module theorem extended to programs with nested expressions. In addition, the input language of the system has many useful features, such as external atoms by means of Lua calls and the user interactive mode. The system supports extensible multi-modal translations for other action languages, such as B and BC, as well.
UR - http://www.scopus.com/inward/record.url?scp=84885721670&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84885721670&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-40564-8_13
DO - 10.1007/978-3-642-40564-8_13
M3 - Conference contribution
AN - SCOPUS:84885721670
SN - 9783642405631
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 122
EP - 134
BT - Logic Programming and Nonmonotonic Reasoning - 12th International Conference, LPNMR 2013, Proceedings
Y2 - 15 September 2013 through 19 September 2013
ER -