Deduction Plans: A Basis for Intelligent Backtracking.

Philip T. Cox Tomasz Pietrzykowski

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

Keyphrases

intelligent systems
databases
plan generation
decision support
starting point
constraint satisfaction
theorem proving
search algorithm
inference rules
agent technology
plan recognition
automated theorem proving