Sciweavers

Share
IBERAMIA
2004
Springer

Well Founded Semantics for Logic Program Updates

9 years 11 months ago
Well Founded Semantics for Logic Program Updates
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.
Federico Banti, José Júlio Alferes,
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where IBERAMIA
Authors Federico Banti, José Júlio Alferes, Antonio Brogi
Comments (0)
books