Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer  Home/Search
Context Related
| kr.tuwien.ac.at/st...baitr9820.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: kr.tuwien.ac.at/staff/eiter/et... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents the Diagnosis Front-End of dlv, which is a knowledge representation system under development at the Technische Universitat Wien. (Update)
Cited by: More
circ2dlp --- Translating Circumscription into - Disjunctive Logic Programming (Correct)
On Programs with Linearly Ordered Multiple Preferences - Van Nieuwenborgh, Heymans, .. (2004) (Correct)
Capturing Parallel Circumscription with Disjunctive Logic.. - Janhunen, Oikarinen (2004) (Correct)
Similar documents (at the sentence level):
52.8%: The Diagnosis Frontend of the dlv System - Eiter, Faber, Leone, Pfeifer (1998) (Correct)
Active bibliography (related documents): More All
0.5: An Analysis of Multi-Agent Diagnosis - Roos, Teije, Bos, Witteveen (2001) (Correct)
0.4: Pattern recognition in the MAISA tool - Nenonen, Gustafsson (2000) (Correct)
0.3: Knowledge Base Reformation: Preparing First-Order.. - Prendinger, Ishizuka.. (Correct)
Similar documents based on text: More All
1.6: Using the dlv System for Planning and Diagnostic.. - Eiter, Faber, Leone.. (2000) (Correct)
1.4: Pushing Goal Derivation in DLP Computations - Faber, Leone, Pfeifer (1999) (Correct)
1.3: DLV - A System for Declarative Problem Solving - Eiter, Faber, Koch, Leone.. (2000) (Correct)
Related documents from co-citation: More All
7: Classical Negation in Logic Programs and Disjunctive Databases - Gelfond, Lifschitz - 1991
5: Abduction From Logic Programs: Semantics and Complexity - Eiter, Gottlob et al. - 1997
4: Logic programs with stable model semantics as a constraint programming paradigm (context) - Niemel - 1998
BibTeX entry: (Update)
T. Eiter, W. Faber, N. Leone, and G. Pfeifer. The Diagnosis Frontend of the dlv System. AI Communications { The European Journal on Articial Intelligence, 12(1-2):99-111, 1999. http://citeseer.ist.psu.edu/article/eiter99diagnosis.html More
@article{ eiter99diagnosis,
author = "Thomas Eiter and Wolfgang Faber and Nicola Leone and Gerald Pfeifer",
title = "The Diagnosis Frontend of the dlv System",
journal = "AI Communications",
volume = "12",
number = "1-2",
pages = "99-111",
year = "1999",
url = "citeseer.ist.psu.edu/article/eiter99diagnosis.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1984
1838 Foundations of Logic Programming (context) - Lloyd - 1987
858 The Stable Model Semantics for Logic Programming - Gelfond, Lifschitz - 1988
458 A Theory of Diagnosis From First Principles (context) - Reiter - 1987
374 Classical Negation in Logic Programs and Disjunctive Databas.. - Gelfond, Lifschitz - 1991
218 Logic Programming and Databases (context) - Ceri, Gottlob et al. - 1990
212 Abductive Logic Programming - Kakas, Kowalski et al. - 1993
189 Foundations of Disjunctive Logic Programming (context) - Lobo, Minker et al. - 1992
120 Stable Semantics for Disjunctive Programs - Przymusinski - 1991
117 the Relationship Between Abduction and Deduction - Console, Dupr et al. - 1991
109 Database Updates Through Abduction (context) - Kakas, Mancarella - 1990
90 Explanation and Prediction: An Architecture for Default and .. - Poole - 1989
90 Abductive Inference Models for Diagnostic Problem Solving (context) - Peng, Reggia - 1990
84 The KR System dlv: Progress Report (context) - Eiter, Leone et al. - 1998
82 Semantics of Logic Programs: Their Intuitions and Formal Pro.. - Dix - 1995
81 Normality and Faults in Logic-Based Diagnosis - Poole - 1989
65 Abduction versus closure in causal theories (context) - Konolige - 1992
64 A Deductive System for Nonmonotonic Reasoning - Eiter, Leone et al. - 1997
61 Disjunctive stable models: Unfounded sets (context) - Leone, Rullo et al. - 1997
53 ACM Transactions on Database Systems (context) - Eiter, Gottlob et al. - 1997
38 Abduction from Logic Programs: Semantics and Complexity - Eiter, Gottlob et al. - 1997
35 Strong and Weak Constraints in Disjunctive Datalog (context) - Buccafurri, Leone et al. - 1997
22 Diagnosing tree-structured systems - Stumptner, Wotawa
21 Transforming Abductive Logic Programs to Disjunctive Program.. - Inoue, Sakama - 1993
18 On Inde nite Data Bases and the Closed World Assumption (context) - Minker - 1982
17 the Equivalence between Disjunctive and Abductive Logic Prog.. - Sakama, Inoue - 1994
12 Model-Based Diagnosis using Causal Networks - Darwiche - 1995
11 Compiling Devices: A Structure-Based Approach - Darwiche - 1998
8 Progress Report on the Disjunctive Deductive Database System.. - Eiter, Leone et al. - 1998
5 Arti cial Intelligence (context) - de Kleer, Mackworth et al. - 1992
4 The Architecture of a Disjunctive Deductive Database System - Eiter, Leone et al. - 1997
4 Representing school timetabling in a disjunctive logic progr.. - Faber, Leone et al. - 1998
2 A spectrum of logical de nitions of model-based diagnosis (context) - Console, Torasso - 1991
http://www.dbai.tuwien.ac.at/proj/dlv/
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.kr.tuwien.ac.at/staff/eiter/et-archive/): More
On the Difference of Horn Theories (Extended Abstract) - Eiter, Ibaraki, Makino (Correct)
Complexity of Nested Circumscription and Abnormality Theories - Cadoli (2001) (Correct)
Complexity and Expressive Power of Logic Programming - Dantsin, Eiter, Gottlob.. (1997) (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