Backward Chaining Evaluation in Stratified Disjunctive Theories.

Véronique Royer

Published in: PODS (1990)

Keyphrases

backward chaining
forward chaining
expert systems
knowledge base
inference process
defeasible logic
information systems
lower bound
domain independent
inference engine
rule based systems