Sciweavers

Share
JELIA
2000
Springer

Considerations on Updates of Logic Programs

9 years 5 months ago
Considerations on Updates of Logic Programs
Abstract. Among others, Alferes et al. (1998) presented an approach for updating logic programs with sets of rules based on dynamic logic programs. We syntactically redefine dynamic logic programs and investigate their semantical properties, looking at them from perspectives such as a belief revision and abstract consequence relation view. Since the approach does not respect minimality of change, we refine its stable model semantics and present minimal stable models and strict stable models. We also compare the update approach to related work, and find that is equivalent to a class of inheritance programs independently defined by Buccafurri et al. (1999).
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 2000
Where JELIA
Authors Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
Comments (0)
books