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…

Papers overview

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

2012

A new block extended backward differentiation formula suitable for the integration of stiff initial value problems is derived…

2009

We present a prototypical implementation of a library tool, the Semantic Data Library (SDL), which integrates the Jess (Java…

2008

2004

BZ‐Testing‐Tools (BZ‐TT) is a tool‐set for automated model‐based test case generation from B abstract machines and Z…

2004

The paper describes a question answering system for German called InSicht. All documents in the system are analyzed by a…

Review

2001

Review

2001

During the past several years, AI planning has made major steps forward in terms of the size and difficulty of problems that can…

1991

1991

The HOL system is being increasingly used for a variety of theorem-proving and verification tasks, and by specialists an a…

1989

A pattern-directed expert system for recognition of chromosomes has been developed. The system consists of six models. A frame…

1982

We argue that in domains where a strong notion of salience can be defined, it can be used to provide: (1) an elegant solution to…