The following pages link to (Q4536322):
Displaying 10 items.
- The representation of planning strategies (Q814562) (← links)
- Heuristic planning: A declarative approach based on strategies for action selection (Q814564) (← links)
- Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning (Q1397237) (← links)
- Mechanical verification on strategies (Q1896369) (← links)
- Planning with regression analysis in transaction logic (Q2360182) (← links)
- Formalizing Goal Serializability for Evaluation of Planning Features (Q2835895) (← links)
- Applying the mu-calculus in planning and reasoning about action (Q4209292) (← links)
- How to Do Things with Worlds: on Formalizing Actions and Plans (Q4286222) (← links)
- Turning an Action Formalism Into a Planner—a Case Study (Q4316296) (← links)
- Declarative representation of strategic control knowledge (Q4406140) (← links)