Abstract | ||
---|---|---|
This paper outlines a novel approach to the computation of answer sets in an evolving and interactive environment. Instead of recomputing the se- mantics of the entire program, our approach updates the answer sets after incre- mental 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. |
Year | Venue | Keywords |
---|---|---|
2005 | Answer Set Programming | answer set programming,rule based |
Field | DocType | Citations |
Theoretical computer science,Stable model semantics,Answer set programming,Semantics,Mathematics,Computation | Conference | 2 |
PageRank | References | Authors |
0.39 | 5 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Martin Brain | 1 | 279 | 22.41 |
Richard Watson | 2 | 175 | 9.91 |
Marina De Vos | 3 | 507 | 46.89 |