Cplus2ASP: Computing Action Language C+ in Answer Set Programming

arXiv:2605.09528v1 Announce Type: new 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...