Reactive answer set programming

Authors:
Martin Gebser;Torsten Grote;Roland Kaminski;Torsten Schaub
Affiliations:
Institut für Informatik, Universität Potsdam;Institut für Informatik, Universität Potsdam;Institut für Informatik, Universität Potsdam;Institut für Informatik, Universität Potsdam
Venue:
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Year:
2011

Citing 7
Cited 4

Extending and implementing the stable model semantics

Artificial Intelligence
Knowledge Representation, Reasoning, and Declarative Problem Solving

Knowledge Representation, Reasoning, and Declarative Problem Solving
Automated Planning: Theory & Practice

Automated Planning: Theory & Practice
Engineering an Incremental ASP Solver

ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Modular Equivalence for Normal Logic Programs

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Non-monotonic Reasoning Supporting Wireless Sensor Networks for Intelligent Monitoring: The SINDI System

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Artificial Intelligence: A Modern Approach

Artificial Intelligence: A Modern Approach

Potassco: The Potsdam Answer Set Solving Collection

AI Communications - Answer Set Programming
Gearing up for effective ASP planning

Correct Reasoning
D-flat: Declarative problem solving using tree decompositions and answer-set programming

Theory and Practice of Logic Programming
Module theorem for the general theory of stable models

Theory and Practice of Logic Programming

Quantified Score

Hi-index	0.00

Visualization

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.