Coala: A Compiler from Action Languages to ASP

Abstract Action languages allow for compactly describing dynamic domains. They are usually implemented by compilation, e. g. , to Answer Set Programming. To this end, we developed a tool, called Coala, offering manifold compilation techniques for several action languages. We provide an overview of the salient and distinctive features of Coala as well as an experimental comparison of them.

Authors

• Martin Gebser
• Torsten Grote
• Torsten Schaub

Keywords

No keywords are indexed for this paper.