Sciweavers

Share
ASP
2005
Springer

An Interactive Approach to Answer Set Programming

10 years 15 days ago
An Interactive Approach to Answer Set Programming
This paper outlines a novel approach to the computation of answer sets in an evolving and interactive environment. Instead of recomputing the semantics of the entire program, our approach updates the answer sets after incremental changes to the rule base. This is intended for application domains in which the answer set program is developed or updated during the run time of the system but answer sets are required throughout. In this paper we focus on the theoretical background and presentation of the algorithm for handling the addition.
Martin Brain, Richard Watson, Marina De Vos
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where ASP
Authors Martin Brain, Richard Watson, Marina De Vos
Comments (0)
books