Coala: A Compiler from Action Languages to ASP

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.

• Type: Journal
• Year: 2010
• Where: JELIA
• Authors: Martin Gebser, Torsten Grote, Torsten Schaub
• Keywords: Answer Set, Artificial Intelligence, Compilation Techniques, Dynamic Domains, JELIA 2010