Coala: A compiler from action languages to ASP
File version
Author(s)
Grote, Torsten
Schaub, Torsten
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Tomi Janhunen Ilkka Niemelä
Date
Size
173692 bytes
File type(s)
application/pdf
Location
Helsinki, Finland
License
Abstract
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.
Journal Title
Conference Title
12th European Conference on Logics in Artificial Intelligence Proceedings
Book Title
Edition
Volume
6341
Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
© 2010 Springer Berlin/Heidelberg. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher.The original publication is available at www.springerlink.com
Item Access Status
Note
Access the data
Related item(s)
Subject
Computation Theory and Mathematics not elsewhere classified