Carlos Viegas Damasio, Wolfgang Nejdl, et al.  Home/Search
Context Related
| kbs.unihannover.de/pape...dnp94_krr.ps centria.di.fct.unl.pt/~l...REVISE.ps.gz kbs.unihannover.de/Arbe...dnp94_krr.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: kbs.unihannover.de/p...dnp94_krr (more) From: centria.di.fct.unl.pt/~l...Biblio (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we describe REVISE, an extended logic programming system for revising knowledge bases. REVISE is based on logic programming with explicit negation, plus a two-valued assumption revision to face contradiction , encompasses the notion of preference levels. Its reliance on logic programming allows efficient computation and declarativity, whilst its use of explicit negation, revision and preference levels enables modeling of a variety of problems including default reasoning, belief... (Update)
Context of citations to this paper: More
...Behaviour Differences Observed Behaviour System Model Diagnosis Actual System Figure 1. 1 Model based Diagnosis Pereira [DNP94], and Frohlich, Nejdl, and Schroeder [FNS94] A declarative representation of the diagnosis process including the preferences and strategies...
...database in order to regain consistency. There exist methods for removing inconsistencies in (non fuzzy) extended logic programs [DNP94, DPS97, AP96]. It should be examined whether these methods can be extended to fuzzy extended logic programs. In [Sch99] a (non fuzzy)...
Cited by: More
The Class of Preference Strategy Formulas - Schroeder, Nejdl (1995) (Correct)
A final frontier: Preferences for Strategies - Schroeder (Correct)
REVISE: Logic Programming and Diagnosis - Damasio, Pereira, Schroeder (1997) (Correct)
Active bibliography (related documents): More All
1.1: A Logic Programming System for Non-monotonic Reasoning - Alferes, Damásio.. (1995) (Correct)
0.5: Asking about Possibilities - Revision and Update Semantics for .. - Nejdl, Banagl (1994) (Correct)
0.5: Updating and Revising the Agents Mental State in Dialogues - Quaresma, Lopes (1997) (Correct)
Similar documents based on text: More All
0.8: Abduction Over 3-Valued Extended Logic - Programs Carlos Viegas (Correct)
0.6: A Frame-based Characterisation of the Paraconsistent.. - Alcantara, Damasio.. (Correct)
Related documents from co-citation: More All
7: Diagnosis and debugging as contradiction removal - Pereira, asio et al. - 1993
6: Unfounded sets and well-founded semantics for general logic programs (context) - Allen, Kenneth et al. - 1988
6: A logic programming system for non-monotonic reasoning - Alferes, asio et al. - 1995
BibTeX entry: (Update)
Carlos Viegas Dam'asio, Wolfgang Nejdl, and Lu'is Moniz Pereira. REVISE: An extended logic programming system for revising knowledge bases. In J. Doyle, E. Sandewall, and P. Torasso, editors, Knowledge Representation and Reasoning, pages 607-- 618, Bonn, Germany, May 1994. Morgan Kaufmann. http://citeseer.ist.psu.edu/viegasdamasio94revise.html More
@inproceedings{ damasio94revise,
author = "Carlos Viegas Damasio and Wolfgang Nejdl and Luis Moniz Pereira",
title = "{REVISE}: An Extended Logic Programming System for Revising Knowledge Bases",
booktitle = "Principles of Knowledge Representation and Reasoning",
pages = "607-618",
year = "1994",
url = "citeseer.ist.psu.edu/viegasdamasio94revise.html" }
Citations (may not include all citations):458 A theory of diagnosis from first principles (context) - Reiter - 1987
312 The well-founded semantics for general logic programs - Van Gelder, Ross et al. - 1991
224 preferential models and cumulative logics (context) - Kraus, Lehmann et al. - 1990
118 Readings in Model-Based Diagnosis (context) - Hamscher, Console et al. - 1992
110 Well founded semantics for logic programs with explicit nega.. (context) - Pereira, Alferes - 1992
88 Generalized stable models: A semantics for abduction (context) - Kakas, Mancarella - 1991
54 Diagnosis and debugging as contradiction removal - Pereira, Damasio et al. - 1993
54 Diagnosis and debugging as contradiction removal in logic pr.. - Pereira, Damasio et al. - 1993
46 Non--monotonic reasoning with logic programming - Pereira, Aparcio et al. - 1993
45 Semantic issues in deductive databases and logic programs - Przymusinska, Przymusinski - 1990
37 Focusing on probable diagnoses (context) - de Kleer - 1991
30 A correction to the algorithm in Reiter's theory of diagnosi.. - Greiner, Smith et al. - 1989
29 Choosing observations and actions in modelbased diagnosis-re.. (context) - Friedrich, Nejdl - 1992
15 Immortal: A model-based belief revision system (context) - Chou, Winslett - 1991
14 Debugging by diagnosing assumptions - Pereira, Damasio et al. - 1993
10 A general framework for reason maintenance (context) - McDermott - 1991
8 Systems: A systematic classification of logics of nonmonoton.. (context) - Nejdl - 1991
8 DIAMON: A model-based troubleshooter based on qualitative re.. - Lackinger, Nejdl - 1993
7 diagnosis and repair (context) - Nejdl - 1991
5 On updates and inconsistency repairing in knowledge bases - Wuthrich - 1993
5 Asking about possibilities --- revision and update semantics.. - Nejdl, Banagl - 1992
3 Diagnosis process dynamics: Putting diagnosis on the right t.. (context) - Bottcher, Dressler - 1994
3 Diagnosis process dynamics: Putting diagnosis on the right t.. (context) - Dressler, Bottcher - 1992
2 Semantics of Logic Programs with Explicit Negation (context) - Alferes - 1993
The graph only includes citing articles where the year of publication is known.
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