Over the last years various semantics have been proposed for dealing with updates of logic programs by (other) logic programs. Most of these semantics extend the stable models semantics of normal, extended (with explicit negation) or generalized (with default negation in rule heads) logic programs. In this paper we propose a well founded semantics for logic programs updates. We motivate our proposal with both practical and theoretical argumentations. Various theoretical results presented here show how our proposal is related to the stable model approach and how it extends the well founded semantics of normal and generalized logic programs. © Springer-Verlag Berlin Heidelberg 2004.
CITATION STYLE
Banti, F., Alferes, J. J., & Brogi, A. (2004). Well founded semantics for logic program updates. In Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (Vol. 3315, pp. 397–407). Springer Verlag. https://doi.org/10.1007/978-3-540-30498-2_40
Mendeley helps you to discover research relevant for your work.