Show simple item record

dc.contributor.authorGebser, Martin
dc.contributor.authorGrote, Torsten
dc.contributor.authorSchaub, Torsten
dc.contributor.editorTomi Janhunen Ilkka Niemelä
dc.date.accessioned2017-05-03T12:26:08Z
dc.date.available2017-05-03T12:26:08Z
dc.date.issued2010
dc.date.modified2011-09-07T06:12:43Z
dc.identifier.refurihttp://jelia2010.tkk.fi/index.shtml
dc.identifier.doi10.1007/978-3-642-15675-5_32
dc.identifier.urihttp://hdl.handle.net/10072/37323
dc.description.abstractAbstract. 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.peerreviewedYes
dc.description.publicationstatusYes
dc.format.extent173692 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglish
dc.language.isoeng
dc.publisherSpringer
dc.publisher.placeGermany
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofconferencenameJELIA 2010: 12th European Conference on Logics in Artificial Intelligence
dc.relation.ispartofconferencetitle12th European Conference on Logics in Artificial Intelligence Proceedings
dc.relation.ispartofdatefrom2010-09-13
dc.relation.ispartofdateto2010-09-15
dc.relation.ispartoflocationHelsinki, Finland
dc.relation.ispartofpagefrom360
dc.relation.ispartofpageto364
dc.relation.ispartofvolume6341
dc.rights.retentionY
dc.subject.fieldofresearchComputation Theory and Mathematics not elsewhere classified
dc.subject.fieldofresearchcode080299
dc.titleCoala: A compiler from action languages to ASP
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - 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.issued2010
gro.hasfulltextFull Text
gro.griffith.authorSchaub, Torsten


Files in this item

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record