Extending automatic theorem proving by planning
Inger Sonntag, Jörg Denzinger · 1993
A general concept for combining planning with automatic theorem proving is introduced. From this a system architecture based on the notion of planning trees, methods and sensors is developed. It is illustrated by examples taken from the domain of sorting algorithms.