Abductive reasoning

Known as: Abductive validation, Retroduction, Inference to the best explanation 
Abductive reasoning (also called abduction, abductive inference or retroduction) is a form of logical inference which goes from an observation to a… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1935-2018
010020019352017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2006
Highly Cited
2006
We argue for the usefulness of abductive reasoning in the context of ontologies. We discuss several applicaton scenarios in which… (More)
Is this relevant?
Highly Cited
2000
Highly Cited
2000
This paper presents the framework of Abductive Constraint Logic Programming (ACLP), which integrates Abductive Logic Programming… (More)
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Abduction, or inference to the best explanation, is a form of inference that goes from data describing something to a hypothesis… (More)
Is this relevant?
Highly Cited
1998
Highly Cited
1998
We present SLDNFA, an extension of SLDNF-resolution for abductive reasoning on abductive logic programs. SLDNFA solves the… (More)
Is this relevant?
Review
1993
Review
1993
Abduction is a form of non-monotonic reasoning that has gained increasing interest in the last few years. The key idea behind it… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Abduction is an important form of nonmonotonic reasoning allowing one to find explanations for certain symptoms or manifestations… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
This paper investigates two di erent activities that involve making assumptions predicting what one expects to be true and… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
Of all the possible ways of computing abductive explanations, the ATMS procedure is one of the most popular. While this procedure… (More)
Is this relevant?
Highly Cited
1988
Highly Cited
1988
Hobbs, J.R., M.E. Stickel, D.E. Appelt and P. Martin, Interpretation as abduction, Artificial Intelligence 63 (1993) 69-142… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
1973
Highly Cited
1973
Abduction Is a basic form of l og i ca l inference, which is said to engender the use of p lans, perceptua l models, i n t u i t… (More)
Is this relevant?