Searching for "Deductive Plan Generation." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Plan Projection as Deduction and Plan Generation as Abduction in a Context-Sensitive Temporal
- …Plan Projection as Deduction and Plan Generation as Abduction in a Context-Sensitive Temporal…
- Cited by 2 (2 self) – Add To MetaCart
-
Deductive Planning and Plan Reuse in a Command Language Environment
- … "candidate" can be found, the deductive planner has to generate a completely new plan out of the given…
- Cited by 25 (11 self) – Add To MetaCart
-
Bounded Model Search in Linear Temporal Logic and its Application to Planning
- … on deduction, and plan generation is carried out by constructively proving plan specication formulae, having…
- Cited by 9 (5 self) – Add To MetaCart
-
A Prefixed Tableau Calculus for Plan Generation in Linear Temporal Logic
- … is usually based on deduction, and plan generation is carried out by constructively proving plan…
- Cited by 1 (1 self) – Add To MetaCart
-
A Prefixed Tableau Calculus for Plan Generation in Linear Temporal Logic
- … is usually based on deduction, and plan generation is carried out by constructively proving plan speci cation…
- Add To MetaCart
-
Planning as Model Construction in Linear Temporal Logic
- … approach to planning is based on deduction, and plan generation is carried out by constructively proving…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 6.
