Pages that link to "Item:Q543617"
From MaRDI portal
The following pages link to A new representation and associated algorithms for generalized planning (Q543617):
Displaying 9 items.
- Applicability conditions for plans with loops: computability results and algorithms (Q359973) (← links)
- Agent planning programs (Q899440) (← links)
- Reasoning about actions with loops via Hoare logic (Q1712544) (← links)
- Verification of agent navigation in partially-known environments (Q2144175) (← links)
- Computing programs for generalized planning using a classical planner (Q2321292) (← links)
- Flexible FOND Planning with Explicit Fairness Assumptions (Q5094037) (← links)
- Qualitative Numeric Planning: Reductions and Complexity (Q5139597) (← links)
- Abstraction for non-ground answer set programs (Q5919127) (← links)
- Hierarchical decompositions and termination analysis for generalized planning (Q6488800) (← links)
