Cplus2ASP: Computing Action Language C+ in Answer Set Programming
Joseph Babb, Joohyung Lee

TL;DR
Cplus2ASP Version 2 is a faster system for translating and computing the definite fragment of action language C+ using answer set programming, integrating recent theoretical advances and supporting various features.
Contribution
The paper introduces a significantly faster implementation of Cplus2ASP that leverages modern answer set solving techniques and extends support to multiple action languages.
Findings
System is significantly faster than previous versions.
Supports features like external atoms and user interaction.
Extensible to other action languages like B and BC.
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…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
