Cplus 2 ASP : Computing Action Language C + in Answer Set Programming

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… (More)

3 Figures and Tables

Topics

  • Presentations referencing similar topics