Intelligent Backtracking in Plan-Based Deduction.

Stan Matwin Tomasz Pietrzykowski

Published in: IEEE Trans. Pattern Anal. Mach. Intell. (1985)

Keyphrases

plan recognition
search algorithm
constraint satisfaction
data sets
theorem proving
inference rules
decision support
context aware
intelligent systems
search space
real time
search tree
control system
database systems
ai planning
automated theorem proving
case based planning