(Enter summary)
Abstract: this paper is at analyzing from various points of view the relationships betwee (Update)
Cited by: More
Abduction with Hypotheses Confirmation - Alberti, Gavanelli, Lamma, Mello, .. (2004)
(Correct)
Using Strict Implication in Background Theories for.. - Jansen, Schreiber..
(Correct)
Formalizing Reasoning about Change: A Temporal Diagnosis Approach - Gamper, Nejdl (1995)
(Correct)
Similar documents (at the sentence level):
5.5%: Characterizing and Mechanizing Abductive Reasoning - Dupre (1994)
(Correct)
Active bibliography (related documents): More All
0.0: The Role of Abduction in Logic Programming - Kakas, Kowalski, Toni (1998)
(Correct)
0.0: Logic-Based Abductive Inference - Sheila A. McIlraith (1998)
(Correct)
0.0: Abductive Logic Programming - Kakas, Kowalski, Toni (1993)
(Correct)
Similar documents based on text: More All
0.5: A Spectrum of Definitions for Temporal Model-Based Diagnosis - Brusoni Console (1998)
(Correct)
0.5: Case-Based Reasoning in Diagnostic Problem Solving: Alternative.. - Torasso (2004)
(Correct)
0.4: On the Role of Abduction - Pietro Torasso (1995)
(Correct)
Related documents from co-citation: More All
49: Negation as Failure (context) - Clark - 1978
36: Abductive Logic Programming
- Kakas, Kowalski et al. - 1992
34: Foundations of Logic Programming (context) - Lloyd - 1987
BibTeX entry: (Update)
Console, L., Dupre, D. T., and Torasso, P., On the Relationship between Abduction and Deduction, Journal of Logic and Computation 1(5):661--690 (1991). http://citeseer.ist.psu.edu/console91relationship.html More
@article{ console91relationship,
author = "Luca Console and Daniele Theseider Dupre and Pietro Torasso",
title = "On the Relationship between Abduction and Deduction",
journal = "Journal of Logic and Computation",
volume = "1",
number = "5",
pages = "661-690",
year = "1991",
url = "citeseer.ist.psu.edu/console91relationship.html" }
Citations (may not include all citations):
435
Towards a Theory of Declarative Knowledge (context) - Apt, Blair et al. - 1988 ACM DBLP
253
A Logical Framework for Default Reasoning (context) - Poole - 1987 ACM DBLP
125
An Assumption-based TMS (context) - DeKleer - 1990 ACM DBLP
103
Prediction is Deduction but Explanation is Abduction
- Shanahan - 1983
90
Explanation and Prediction: An Architecture for Default and ..
- Poole ACM
88
Abductive Planning with Event Calculus (context) - Eshghi
87
Abductive and Default Reasoning: A Computational Core (context) - Selman, Levesque - 1987
68
Negation in Logic Programming (context) - Shepherdson - 1989 ACM DBLP
66
A Knowledge-level account of abduction (context) - Levesque DBLP
42
Nonmonotonic reasoning (context) - Reiter - 1983 ACM DBLP
41
Impediments to Universal Preference-Based Default Theories
- Doyle, Wellman - 1989 ACM DBLP
40
Representing Knowledge for Logic-based Diagnosis
- Poole - 1988 DBLP
1
A Completion Semantics for Object-level (context) - Console, Theseider et al.
1
Diagnostic expert systems based on a set covering (context) - Reggia, Nau et al.
1
Abductive Reasoning through Direct Deduc- , e tion from Comp.. (context) - Console, Theseider et al. - 1989
1
Theorist: A Logical Reasoning System for Defaults r and Diag.. (context) - Poole, Goebel et al. - 1989
1
Plausible Inference vs. Abduction (context) - DeJong - 1987
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.di.unito.it/~dtd/papers/): More
On the Dimensions of Temporal Model-Based Diagnosis - Console, Dupré
(Correct)
The Different Roles of Abstraction in Abductive Reasoning - Dupre, Rossotto
(Correct)
Characterizing Temporal Abductive Diagnosis - Brusoni, Console, Terenziani.. (1996)
(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