Backward chaining

Known as: Backwards reasoning, Chaining (disambiguation), Backward reasoning 
Backward chaining (or backward reasoning) is an inference method that can be described (in lay terms) as working backward from the goal(s). It is… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1977-2018
010203019772018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
In this paper we consider knowledge bases that organize information using ontologies. Specifically, we investigate reasoning over… (More)
  • figure 1
  • table II
  • table III
  • figure 2
  • table IV
Is this relevant?
2014
2014
In this paper we consider knowledge bases that organize information using ontologies. Specifically, we investigate reasoning over… (More)
  • table 1
  • table 2
Is this relevant?
2014
2014
In this study, we have designed and implemented a system that supports learners to use backward chaining to solve proof problems… (More)
  • figure 2
  • figure I
  • table 1
  • table 2
  • table 3
Is this relevant?
2012
2012
We address the issue of Ontology-Based Data Access which consists of exploiting the semantics expressed in ontologies while… (More)
  • figure 1
  • figure 2
  • table 1
Is this relevant?
2009
2009
Syllogistic reasoning is a form of deductive reasoning in which a logical conclusion is drawn from premises. Forward-chaining… (More)
  • table I
  • figure 1
  • table II
  • table III
  • figure 2
Is this relevant?
Highly Cited
2006
Highly Cited
2006
The inverse method is a generalization of resolution that can be applied to non-classical logics. We have recently shown how… (More)
  • figure 1
  • figure 2
Is this relevant?
2006
2006
Conceptual Graphs Rules were proposed as an extension of Simple Conceptual Graphs (CGs) to represent knowledge of form “if A then… (More)
Is this relevant?
2005
2005
This paper presents a backward-chaining version of GP. 
  • figure 1
  • table 2
Is this relevant?
1996
1996
Realistic production systems require an integrated combination of forward and backward reasoning to reflect appropriately the… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
Is this relevant?
1990
1990
The interest in stratified disjunctive data bases stems from the wish to extend the expressive power of definite deductive data… (More)
Is this relevant?