J. J. Alferes, F. Banti, A. Brogi, J. A. Leite  Home/Search
Context Related
| centria.di.fct.unl.pt/~j...lpnmr7.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: centria.di.fct.unl...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of di#erent semantics naturally raises the question of which are most adequate to model updates. A systematic approach to face this question is to identify general principles against which such semantics could be evaluated. In this paper we motivate and introduce a new such principle -- the refined extension principle -- which is complied with by the stable... (Update)
Cited by: More
The Well Supported Semantics for Multidimensional.. - Banti, Alferes.. (Correct)
Well Founded Semantics for Logic Program Updates - Banti, Alferes, Brogi (Correct)
From Logic Programs Updates to Action Description Updates - Alferes, Banti, Brogi (2004) (Correct)
Active bibliography (related documents): More All
0.5: The Refined Extension Principle for Semantics of.. - Alferes, Banti.. (Correct)
0.5: Prolegomena to Logic Programming for Non-Monotonic.. - Jürgen Dix.. (1997) (Correct)
0.4: A Language for Updates with Multiple Dimensions - Leite, Alferes, Pereira.. (Correct)
Similar documents based on text: More All
0.4: Dynamic Logic Programming - Alferes, Leite, Pereira, Przymusinski (1998) (Correct)
0.4: Multi-dimensional Logic Programming - Leite, Alferes, Pereira (2001) (Correct)
0.3: An Evolvable Rule-Based E-mail Agent - Alferes, Brogi, Leite, Pereira (Correct)
Related documents from co-citation: More All
3: Answer Sets in General Nonmonotonic Reasoning (context) - Lifschitz, Woo - 1992
3: Disjunctive logic programs with inheritance - Buccafurri, Faber et al. - 1999
3: Dynamic updates of non-monotonic knowledge bases - Alferes, Leite et al. - 2000
BibTeX entry: (Update)
J. J. Alferes, F. Banti, A. Brogi, and J. A. Leite. Semantics for dynamic logic programming: a principled based approach. In 7th Int. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR-7), volume 1730 of LNAI. Springer, 2004. http://citeseer.ist.psu.edu/alferes04semantics.html More
@misc{ alferes04semantics,
author = "J. Alferes and F. Banti and A. Brogi and J. Leite",
title = "Semantics for dynamic logic programming: a principled based approach",
text = "J. J. Alferes, F. Banti, A. Brogi, and J. A. Leite. Semantics for dynamic
logic programming: a principled based approach. In 7th Int. Conf. on Logic
Programming and Nonmonotonic Reasoning (LPNMR-7), volume 1730 of LNAI. Springer,
2004.",
year = "2004",
url = "citeseer.ist.psu.edu/alferes04semantics.html" }
Citations (may not include all citations):858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
663 Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes
324 A logic-based calculus of events (context) - Kowalski, Sergot - 1986
256 Representing actions and change by logic programs - Gelfond, Lifschitz - 1993
234 The well-founded semantics for general logic programs - Van Gelder, Ross et al. - 1991
180 Logic programming and negation: A survey - Apt, Bol - 1994
91 Available at http://www (context) - SMODELS - 2000
77 Answer sets in general non-monotonic reasoning (context) - Lifschitz, Woo - 1992
64 Dynamic updates of non-monotonic knowledge bases - Alferes, Leite et al. - 2000
60 Dynamic logic programming - Alferes, Leite et al. - 1998
37 Generalizing updates: From models to programs - Leite, Pereira - 1997
33 Disjunctive logic programs with inheritance - Buccafurri, Faber et al. - 1999
28 Updating extended logic programs through abduction - Sakama, Inoue
24 Updating logic programs - Zhang, Foo - 1998
23 On properties of update sequences based on causal rejection (context) - Eiter, Fink et al. - 2002
17 Iterated logic program updates - Leite, Pereira - 1998
13 Multi-dimensional dynamic knowledge representation - Leite, Alferes et al. - 2001
7 Linkoping Electronic Articles in Computer and Information Sc.. (context) - Levesque, Pirri et al. - 1998
6 volume 81 of Frontiers in Artificial Intelligence and Applic.. (context) - Leite, Bases - 2003
2 Weakly perfect model semantics (context) - Przymusinska, Przymusinski - 1988
Documents on the same site (http://centria.di.fct.unl.pt/~jleite/publications.html): More
Dynamic Logic Programming - Alferes, Leite, Pereira, Przymusinski (1998) (Correct)
Dynamic Updates of Non-Monotonic Knowledge Bases - Alferes, Leite, Pereira.. (2000) (Correct)
Hypothetical Reasoning: an application to Optical Music Recognition - Cardoso (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC