See this document in CiteSeerX!

On The Relationship Between Abduction And Deduction (1991)  (Make Corrections)  (117 citations)
Luca Console, Daniele THESEIDER DUPRE, Pietro TORASSO
Journal of Logic and Computation



  Home/Search   Context   Related

Links:   DBLP

 
View or download:
di.unito.it/~dtd/papers/jlc.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  di.unito.it/~dtd/papers/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(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