Cplus2ASP is a system designed to perform a modular translation of action descriptions written for CCalc into answer set programs. The current work comprises a suite of tools that translate CCalc action descriptions, solve the translated ASP programs, and produce answer sets similar to the models output by CCalc. If you’re unfamiliar with CCalc, it’s an implementation of the action language C+ (an extension of causal logic) that is very useful for describing and reasoning about time- and state-based domains using relatively intuitive syntax. For more information, check out the CCalc website using the link in the side bar. Our goal is to combine the user-friendliness of the CCalc language with the speed of modern answer set solvers to capture the best of both worlds.
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Bartholomew, Michael; Lee, Joohyung: System \textscaspmt2smt: computing ASPMT theories by SMT solvers (2014)
- Babb, Joseph; Lee, Joohyung: Cplus2ASP: computing action language (\mathcalC+) in answer set programming (2013)
- Casolary, Michael; Lee, Joohyung: Representing the language of the causal calculator in answer set programming (2011)