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)

Semantic Scholar uses AI to extract papers important to this topic.

2017

2017

- Hui Shi, Kurt Maly, Steven J. Zeil
- 2017

In this paper we consider knowledge bases that organize information using ontologies. Specifically, we investigate reasoning overâ€¦Â (More)

Is this relevant?

2014

2014

- Hui Shi, Kurt Maly, Steven J. Zeil
- WIMS
- 2014

In this paper we consider knowledge bases that organize information using ontologies. Specifically, we investigate reasoning overâ€¦Â (More)

Is this relevant?

2014

2014

- Ryosuke Onda, Yuki Hirai, Keiichi Kaneko
- 2014 Third ICT International Student Projectâ€¦
- 2014

In this study, we have designed and implemented a system that supports learners to use backward chaining to solve proof problemsâ€¦Â (More)

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)

Is this relevant?

2009

2009

- Xiuqin Jia, Shengfu Lu, Ning Zhong, Yiyu Yao, Kuncheng Li, Yanhui Yang
- 2009 ICME International Conference on Complexâ€¦
- 2009

Syllogistic reasoning is a form of deductive reasoning in which a logical conclusion is drawn from premises. Forward-chainingâ€¦Â (More)

Is this relevant?

Highly Cited

2006

Highly Cited

2006

- Kaustuv Chaudhuri, Frank Pfenning, Greg Price
- Journal of Automated Reasoning
- 2006

The inverse method is a generalization of resolution that can be applied to non-classical logics. We have recently shown howâ€¦Â (More)

Is this relevant?

2006

2006

- Jean-FranÃ§ois Baget, Eric Salvat
- ICCS
- 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

- Riccardo Poli, William B. Langdon
- GECCO
- 2005

This paper presents a backward-chaining version of GP.Â

Is this relevant?

1996

1996

Realistic production systems require an integrated combination of forward and backward reasoning to reflect appropriately theâ€¦Â (More)

Is this relevant?

1990

1990

- VÃ©ronique Royer
- PODS
- 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?