Show simple item record

dc.contributor.authorGebser, Martin
dc.contributor.authorGrote, Torsten
dc.contributor.authorKaminski, Roland
dc.contributor.authorSchaub, Torsten
dc.contributor.editorJames P. Delgrande, Wolfgang Faber
dc.date.accessioned2017-05-03T13:11:58Z
dc.date.available2017-05-03T13:11:58Z
dc.date.issued2011
dc.date.modified2013-01-03T23:26:06Z
dc.identifier.refurihttp://sites.google.com/site/lpnmr11/
dc.identifier.doi10.1007/978-3-642-20895-9_7
dc.identifier.urihttp://hdl.handle.net/10072/42764
dc.description.abstractWe introduce the first approach to Reactive Answer Set Programming, aiming at reasoning about real-time dynamic systems running online in changing environments. We start by laying the theoretical foundations by appeal to module theory. With this, we elaborate upon the composition of the various offline and online programs in order to pave the way for stream-driven grounding and solving. Finally, we describe the implementation of a reactive ASP solver, oclingo.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.format.extent348307 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglish
dc.language.isoeng
dc.publisherSpringer
dc.publisher.placeHeidelberg
dc.publisher.urihttp://sites.google.com/site/lpnmr11/
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofconferencename11th international conference, LPNMR 2011
dc.relation.ispartofconferencetitleLogic Programming and Nonmonotonic Reasoning
dc.relation.ispartofdatefrom2011-05-16
dc.relation.ispartofdateto2011-05-19
dc.relation.ispartoflocationVancouver, Canada
dc.rights.retentionY
dc.subject.fieldofresearchcode280301
dc.titleReactive answer set programming
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
gro.rights.copyright© 2008 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.issued2011
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