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 15 items.
- Applicability conditions for plans with loops: computability results and algorithms (Q359973) (← links)
- Agent planning programs (Q899440) (← links)
- A unified framework for explanation-based generalization of partially ordered and partially instantiated plans (Q1329370) (← links)
- Reasoning about actions with loops via Hoare logic (Q1712544) (← links)
- Gradient-based mixed planning with symbolic and numeric action parameters (Q2093396) (← links)
- Verification of agent navigation in partially-known environments (Q2144175) (← links)
- Semiring programming: a semantic framework for generalized sum product problems (Q2206471) (← links)
- Computing programs for generalized planning using a classical planner (Q2321292) (← links)
- (Q4209625) (← links)
- (Q4726274) (← 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)
- Generalized planning as heuristic search: a new planning search-space that leverages pointers over objects (Q6566615) (← links)