Victor W. Marek, Miroslaw Truszczynski  Home/Search
Context Related
| uky.edu/cs/manuscripts/jelia94.ps 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: uky.edu/~marek/htmldid.d...pubsvm (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We propose a formalism for specifying revisions in knowledge bases and belief sets. This formalism extends logic programming with stable model semantics. Main objects of our system are revision programs consisting of revision rules. A revision rule expresses a specification of change or a constraint on a knowledge base. There are two types of revision rules. In-rules require that an element be in a knowledge base whenever some other elements are in the knowledge base and yet other elements... (Update)
Context of citations to this paper: More
...the system, etc. in order to incorporate changes in the outside world or changes in the knowledge about it [34, 112, 100, 88, 134, 90, 69, 70, 9, 10, 11, 12, 13]. The epistemic state and the intended belief set of the agent have thus to be continuously revised,...
...of database update. In a special case, a transaction program gives a revision program in the sense of Marek and Truszczynski [27]. This is an extended version of [21] The rest of this paper is organized as follows. In Section 2, we outline our extended abductive...
Cited by: More
Reasoning about Evolving Nonmonotonic Knowledge Bases - Eiter, al. (2002) (Correct)
On Updates of Logic Programs: Semantics and Properties - Eiter, Fink, al. (2002) (Correct)
Computing Extended Abduction Through Transaction Programs - Inoue, Sakama (1999) (Correct)
Active bibliography (related documents): More All
0.1: The Stable Models of a Predicate Logic Program - Marek, Nerode, Remmel (1992) (Correct)
0.0: Stable Models and an Alternative Logic Programming Paradigm - Marek, Truszczynski (1999) (Correct)
0.0: A Survey on Complexity Results for Non-monotonic Logics - Cadoli, Schaerf (1993) (Correct)
Similar documents based on text: More All
0.9: Annotated Revision Programs - Marek, Pivkina, Truszczy'nski (1999) (Correct)
0.5: Default Logic and Specification of Nonmonotonic Reasoning - Engelfriet, Marek.. (Correct)
0.4: Intelligent Computation of Presentation Documents - Oldham, Marek, Truszczynski (Correct)
Related documents from co-citation: More All
15: Update by means of inference rules - Przymusinski, Turner - 1995
14: Classical Negation in Logic Programs and Disjunctive Databases - Gelfond, Lifschitz - 1991
14: The Stable Model Semantics for Logic Programming - Gelfond - 1988
BibTeX entry: (Update)
W. Marek and M. Truszczy'nski. Revision specifications by means of programs. manuscript, 1994. http://citeseer.ist.psu.edu/article/marek94revision.html More
@incollection{ marek94revision,
author = "Victor Marek and Miros{\l}aw Truszczy\'nski",
title = "Revision Specifications by Means of Programs",
booktitle = "Logics in Artificial Intelligence",
publisher = "Springer-Verlag",
address = "Berlin",
editor = "Craig Mac{N}ish and Lu\'is Moniz Pereira and David Pearce",
pages = "122--136",
year = "1994",
url = "citeseer.ist.psu.edu/article/marek94revision.html" }
Citations (may not include all citations):981 Principles of Database and Knowledge-Base Systems (context) - Ullman - 1988
850 A logic for default reasoning (context) - Reiter - 1980
374 Classical negation in logic programs and disjunctive databas.. - Gelfond, Lifschitz - 1991
334 A truth maintenance system (context) - Doyle - 1979
192 Logic programming (context) - Apt - 1990
149 the logic of theory change: Partial meet contraction and rev.. (context) - Alchourr'on, Gardenfors et al. - 1985
124 Datalog extensions for database queries and updates (context) - Abiteboul, Vianu - 1991
72 Updating Logical Databases (context) - Winslett - 1990
59 A logic-based language for database updates (context) - Manchanda, Warren - 1988
44 Procedural languages for database queries and updates (context) - Abiteboul, Vianu - 1990
44 The stable semantics for logic programs (context) - Gelfond, Lifschitz - 1988
31 Stable semantics for logic programs and default theories (context) - Marek, Truszczy'nski - 1989
24 Annals of Mathematics and Artificial Intelligence (context) - Marek, Nerode et al. - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://al.cs.engr.uky.edu/~marek/htmldid.dir/pubsvm.html): More
Representation Theory for Default Logic - Marek, Treur, Truszczynski (1997) (Correct)
Experimenting with Nonmonotonic Reasoning - Cholewinski, Marek, Mikitiuk.. (1995) (Correct)
Logic Programming With Costs - Marek, Truszczynski (1999) (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