F. Banti, J. J. Alferes, A. Brogi  Home/Search
Context
Related
| di.unipi.it/~brogi/pap...IBERAMIA04.pdf 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: di.unipi.it/~brogi...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Over the last years various semantics have been proposed for dealing with updates of logic programs by (other) logic programs. (Update)
Active bibliography (related documents): More All
0.9: From Logic Programs Updates to Action Description Updates - Alferes, Banti, Brogi (2004) (Correct)
0.8: The Well Supported Semantics for Multidimensional.. - Banti, Alferes.. (Correct)
0.3: Semantics for Dynamic Logic Programming: A.. - Alferes, Banti, Brogi.. (2004) (Correct)
Similar documents based on text: More All
0.3: Multi-dimensional Logic Programming - Leite, Alferes, Pereira (2001) (Correct)
0.3: An Evolvable Rule-Based E-mail Agent - Alferes, Brogi, Leite, Pereira (Correct)
0.3: An Evolving Agent with EVOLP - Alferes Brogi Leite (Correct)
BibTeX entry: (Update)
@misc{ banti-well,
author = "F. Banti and J. J. Alferes and A. Brogi",
title = "Well Founded Semantics for Logic Program Updates",
url = "citeseer.ist.psu.edu/727744.html" }
Citations (may not include all citations):270 Logic programs with classical negation (context) - Gelfond, Lifschitz - 1990
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
99 A classification theory of semantics of normal logic program.. - Dix - 1995
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
58 The alternating fixpoint of logic programs with negation (context) - Van Gelder - 1992
39 LUPS: A language for updating logic programs - Alferes, Pereira et al. - 2002
33 Disjunctive logic programs with inheritance - Buccafurri, Faber et al. - 1999
28 Updating extended logic programs through abduction - Sakama, Inoue - 1999
24 Updating logic programs - Zhang, Foo - 1998
17 Iterated logic program updates - Leite, Pereira - 1998
11 A survey on paraconsistent semantics for extended logic prog.. (context) - Damasio, Pereira
6 Universidade Nova de Lisboa (context) - Leite, updates et al. - 1997
6 volume 81 of Frontiers in Artificial Intelligence and Applic.. (context) - Leite, Bases - 2002
5 Default negation in the heads: why not (context) - Damasio, Pereira - 1996
3 Semantics for dynamic logic programming: a principled based .. - Alferes, Banti et al. - 2004
3 On properties of semantics based on causal rejection (context) - Eiter, Fink et al. - 2002
Documents on the same site (http://www.di.unipi.it/~brogi/publications.html): More
Computing Environment-Aware Agent Behaviours with.. - Alferes, Brio, Leite, .. (2002) (Correct)
On The Specification Of Software Adaptation - Brogi, Pimentel (2003) (Correct)
A Framework for Specifying and Verifying the Behaviour.. - Bracciali, Brogi, Turini (2004) (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