Cplus 2ASP: Computing action language C+ in answer set programming

Joseph Babb, Joohyung Lee

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Scopus citations

Abstract

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.

Original languageEnglish (US)
Title of host publicationLogic Programming and Nonmonotonic Reasoning - 12th International Conference, LPNMR 2013, Proceedings
Pages122-134
Number of pages13
DOIs
StatePublished - Oct 22 2013
Event12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013 - Corunna, Spain
Duration: Sep 15 2013Sep 19 2013

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8148 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013
CountrySpain
CityCorunna
Period9/15/139/19/13

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Cplus 2ASP: Computing action language C+ in answer set programming'. Together they form a unique fingerprint.

  • Cite this

    Babb, J., & Lee, J. (2013). Cplus 2ASP: Computing action language C+ in answer set programming. In Logic Programming and Nonmonotonic Reasoning - 12th International Conference, LPNMR 2013, Proceedings (pp. 122-134). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8148 LNAI). https://doi.org/10.1007/978-3-642-40564-8_13