AINeutralarXiv – CS AI · 8h ago5/10
🧠
Cplus2ASP: Computing Action Language C+ in Answer Set Programming
Cplus2ASP Version 2 is a new system that translates action language C+ into answer set programming, offering significant performance improvements over the Causal Calculator through modern ASP solving techniques. The tool supports incremental execution, external atoms via Lua integration, and extensible translations for other action languages, making it relevant for automated reasoning and planning applications.