dc.contributor.author | Gebser, Martin | |
dc.contributor.author | Grote, Torsten | |
dc.contributor.author | Schaub, Torsten | |
dc.contributor.editor | Tomi Janhunen Ilkka Niemelä | |
dc.date.accessioned | 2017-05-03T12:26:08Z | |
dc.date.available | 2017-05-03T12:26:08Z | |
dc.date.issued | 2010 | |
dc.date.modified | 2011-09-07T06:12:43Z | |
dc.identifier.refuri | http://jelia2010.tkk.fi/index.shtml | |
dc.identifier.doi | 10.1007/978-3-642-15675-5_32 | |
dc.identifier.uri | http://hdl.handle.net/10072/37323 | |
dc.description.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. | |
dc.description.peerreviewed | Yes | |
dc.description.publicationstatus | Yes | |
dc.format.extent | 173692 bytes | |
dc.format.mimetype | application/pdf | |
dc.language | English | |
dc.language.iso | eng | |
dc.publisher | Springer | |
dc.publisher.place | Germany | |
dc.relation.ispartofstudentpublication | N | |
dc.relation.ispartofconferencename | JELIA 2010: 12th European Conference on Logics in Artificial Intelligence | |
dc.relation.ispartofconferencetitle | 12th European Conference on Logics in Artificial Intelligence Proceedings | |
dc.relation.ispartofdatefrom | 2010-09-13 | |
dc.relation.ispartofdateto | 2010-09-15 | |
dc.relation.ispartoflocation | Helsinki, Finland | |
dc.relation.ispartofpagefrom | 360 | |
dc.relation.ispartofpageto | 364 | |
dc.relation.ispartofvolume | 6341 | |
dc.rights.retention | Y | |
dc.subject.fieldofresearch | Computation Theory and Mathematics not elsewhere classified | |
dc.subject.fieldofresearchcode | 080299 | |
dc.title | Coala: A compiler from action languages to ASP | |
dc.type | Conference output | |
dc.type.description | E1 - Conferences | |
dc.type.code | E - Conference Publications | |
gro.rights.copyright | © 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 | |
gro.date.issued | 2010 | |
gro.hasfulltext | Full Text | |
gro.griffith.author | Schaub, Torsten | |