A forward-chaining multiple-context reasoner and its application to logic design.

Yoshihiko Ohta Katsumi Inoue

Published in: TAI (1990)

Keyphrases

forward chaining
backward chaining
domain knowledge
general purpose
natural language
orders of magnitude