José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski  Home/Search
Context Related
| centria.di.fct.unl.pt/~lmp...lups.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.pt/~l...Biblio (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Most of the work conducted so far in the field of logic programming has focused on representing static knowledge, i.e. knowledge that does not evolve with time. To overcome this limitation, in a recent paper, the authors introduced the concept of dynamic logic programming. There, they studied and defined the declarative and operational semantics of sequences of logic programs (or dynamic logic programs), P0 \Phi : : : \Phi Pn . Each such program contains knowledge about some given state,... (Update)
Cited by: More
Well Founded Semantics for Logic Program Updates - Banti, Alferes, Brogi (Correct)
From Logic Programs Updates to Action Description Updates - Alferes, Banti, Brogi (2004) (Correct)
Modelling the Future with Event Choice DATALOG - Guzzo, Sacca (2002) (Correct)
Similar documents (at the sentence level): More
47.2%: LUPS - a language for updating logic programs - Alferes, Pereira.. (2000) (Correct)
24.7%: Logic Programming Updating - a guided tour - Alferes, Pereira (Correct)
24.7%: Logic Programming Updating - a guided approach - Alferes, Pereira (2002) (Correct)
Active bibliography (related documents): More All
0.1: Dynamic Updates of Non-Monotonic Knowledge Bases - Alferes, Leite, Pereira.. (2000) (Correct)
0.0: Using Methods of Declarative Logic Programming for.. - Eiter, Sabbatini.. (2000) (Correct)
0.0: Revision Programming = Logic Programming + Integrity.. - Marek, Pivkina.. (1999) (Correct)
Similar documents based on text: More All
0.9: A Language for Multi-dimensional Updates - Leite, Alferes, Pereira.. (Correct)
0.9: A Language for Updates with Multiple Dimensions - Leite, Alferes, Pereira.. (Correct)
0.8: Dynamic Knowledge Representation and its Applications - Alferes, Pereira.. (2000) (Correct)
Related documents from co-citation: More All
30: Dynamic updates of non-monotonic knowledge bases - Alferes, Leite et al. - 2000
20: Answer Sets in General Nonmonotonic Reasoning (context) - Lifschitz, Woo - 1992
17: The Stable Model Semantics for Logic Programming - Gelfond - 1988
BibTeX entry: (Update)
J. J. Alferes, L. M. Pereira, H. Przymusinska, and T. Przymusinski. LUPS -- a language for updating logic programs. Technical report, June 1999. http://citeseer.ist.psu.edu/alferes99lups.html More
@inproceedings{ alferes99lups,
author = "Jose Julio Alferes and Luis Moniz Pereira and Halina Przymusinska and Teodor C. Przymusinski",
title = "{LUPS} - A Language for Updating Logic Programs",
booktitle = "Logic Programming and Non-monotonic Reasoning",
pages = "162-176",
year = "1999",
url = "citeseer.ist.psu.edu/alferes99lups.html" }
Citations (may not include all citations):858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
200 the difference between updating a knowledge base and revisin.. - Katsuno, Mendelzon - 1991
199 Reasoning about action using a possible models approach (context) - Winslett - 1988
77 Answer sets in general non-monotonic reasoning (context) - Gelfond, Lifschitz - 1992
60 Dynamic logic programming - Alferes, Leite et al. - 1998
50 Update by means of inference rules - Przymusinski, Turner - 1995
27 Revision specifications by means of programs - Marek, Truszczynski - 1994
20 Linkoping Electronic Articles in Computer and Information Sc.. (context) - Gelfond, Lifschitz - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://centria.di.fct.unl.pt/~lmp/publications/Biblio.html): More
Belief Revision in Non-Monotonic Reasoning and Logic Programming - Alferes, Pereira (1996) (Correct)
Updating Temporal Knowledge Bases with the Possible Causes.. - Li, Pereira (1996) (Correct)
Iterated Logic Program Updates - Leite, Pereira (1998) (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