Deductive planning and plan reuse in a command language environment
Data up to Jan 2025
Total Citations Per Year
Abstract
References (9)
Logic for problem solving
1982 • 1,224 citations
First-Order Dynamic Logic
1979 • 616 citations
APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING**This research is a part of Project Defender and was supported by the Advanced Research Projects Agency of the Department of Defense and was monitored by Rome Air Development Center under Contracts AF 30(602)-4147 and F30602-69-C-0056.††This preprint is a preliminary version and is subject to modification prior to publication.
1981 • 484 citations
Automated Theorem Proving
1987 • 471 citations
Temporal Logic of Programs
1987 • 355 citations
A deductive solution for plan generation
1986 • 102 citations
A Choppy Logic
1986 • 94 citations
How to clear a block: Plan formation in situational logic
1986 • 11 citations
Approaches to the reuse of plan schemata in planning formalisms
1991 • 5 citations