Intelligent Backtracking in Deduction Systems by Means of Extended Unification Graphs.

Werner Dilger Agnes Janson

Published in: J. Autom. Reason. (1986)

Keyphrases

intelligent systems
search algorithm
building blocks
theorem proving
adaptive systems
graph theory
inference rules
database
lower bound
management system
computer systems
knowledge based systems
learning systems