dc.contributor.author | Gebser, Martin | |
dc.contributor.author | Grote, Torsten | |
dc.contributor.author | Kaminski, Roland | |
dc.contributor.author | Schaub, Torsten | |
dc.contributor.editor | James P. Delgrande, Wolfgang Faber | |
dc.date.accessioned | 2017-05-03T13:11:58Z | |
dc.date.available | 2017-05-03T13:11:58Z | |
dc.date.issued | 2011 | |
dc.date.modified | 2013-01-03T23:26:06Z | |
dc.identifier.refuri | http://sites.google.com/site/lpnmr11/ | |
dc.identifier.doi | 10.1007/978-3-642-20895-9_7 | |
dc.identifier.uri | http://hdl.handle.net/10072/42764 | |
dc.description.abstract | We 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.peerreviewed | Yes | |
dc.description.publicationstatus | Yes | |
dc.format.extent | 348307 bytes | |
dc.format.mimetype | application/pdf | |
dc.language | English | |
dc.language.iso | eng | |
dc.publisher | Springer | |
dc.publisher.place | Heidelberg | |
dc.publisher.uri | http://sites.google.com/site/lpnmr11/ | |
dc.relation.ispartofstudentpublication | N | |
dc.relation.ispartofconferencename | 11th international conference, LPNMR 2011 | |
dc.relation.ispartofconferencetitle | Logic Programming and Nonmonotonic Reasoning | |
dc.relation.ispartofdatefrom | 2011-05-16 | |
dc.relation.ispartofdateto | 2011-05-19 | |
dc.relation.ispartoflocation | Vancouver, Canada | |
dc.rights.retention | Y | |
dc.subject.fieldofresearchcode | 280301 | |
dc.title | Reactive answer set programming | |
dc.type | Conference output | |
dc.type.description | E1 - Conferences | |
dc.type.code | E - 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.issued | 2011 | |
gro.hasfulltext | Full Text | |
gro.griffith.author | Schaub, Torsten | |