The following pages link to (Q5313998):
Displayed 50 items.
- Domain-independent planning for services in uncertain and dynamic environments (Q286080) (← links)
- Argumentation update in YALLA (yet another logic language for argumentation) (Q289011) (← links)
- Proof systems and transformation games (Q354613) (← links)
- Recent advances in unfolding technique (Q403021) (← links)
- Experimental evaluation of pheromone models in ACOPlan (Q421472) (← links)
- Generating possible intentions with constrained argumentation systems (Q433517) (← links)
- Plan aggregation for strong cyclic planning in nondeterministic domains (Q460629) (← links)
- Completely and partially executable sequences of actions in deontic context (Q513930) (← links)
- The virtues of idleness: a decidable fragment of resource agent logic (Q514142) (← links)
- Partial-order Boolean games: informational independence in a logic-based model of strategic interaction (Q516248) (← links)
- Linear logic as a tool for planning under temporal uncertainty (Q534715) (← links)
- Task decomposition on abstract states, for planning under nondeterminism (Q835827) (← links)
- Modular robotic systems: methods and algorithms for abstraction, planning, control, and synchronization (Q892190) (← links)
- Proof systems for planning under 0-approximation semantics (Q893736) (← links)
- Agent planning programs (Q899440) (← links)
- Reasoning from last conflict(s) in constraint programming (Q1045989) (← links)
- ML-plan: automated machine learning via hierarchical planning (Q1631803) (← links)
- The MADLA planner: multi-agent planning by combination of distributed and local heuristic search (Q1677441) (← links)
- Reasoning about actions with loops via Hoare logic (Q1712544) (← links)
- Strong temporal planning with uncontrollable durations (Q1748463) (← links)
- Implicit, explicit and speculative knowledge (Q1748464) (← links)
- Star-topology decoupled state space search (Q1749386) (← links)
- A planner agent that tries its best in presence of nondeterminism (Q1948282) (← links)
- A case study in programming a quantum annealer for hard operational planning problems (Q2018131) (← links)
- t-DeLP: an argumentation-based temporal defeasible logic programming framework (Q2248517) (← links)
- Group planning with time constraints (Q2248560) (← links)
- A constraint programming formulation for planning: From plan scheduling to plan generation (Q2268509) (← links)
- Set-structured and cost-sharing heuristics for classical planning (Q2268919) (← links)
- A complete parameterized complexity analysis of bounded planning (Q2353405) (← links)
- Planning with regression analysis in transaction logic (Q2360182) (← links)
- Maintenance goals of agents in a dynamic environment: formulation and policy construction (Q2389664) (← links)
- Editorial: Towards a science of integrated AI and robotics (Q2407410) (← links)
- Efficient interactive decision-making framework for robotic applications (Q2407432) (← links)
- Geometric backtracking for combined task and motion planning in robotic systems (Q2407437) (← links)
- From model checking to equilibrium checking: reactive modules for rational verification (Q2407463) (← links)
- Action-model acquisition for planning via transfer learning (Q2453728) (← links)
- Learning hierarchical task network domains from partially observed plan traces (Q2453731) (← links)
- On the computational complexity of coalitional resource games (Q2457612) (← links)
- CP methods for scheduling and routing with~time-dependent task costs (Q2513747) (← links)
- On Hierarchical Task Networks (Q2835901) (← links)
- Gearing Up for Effective ASP Planning (Q2900527) (← links)
- Conditional Epistemic Planning (Q2915062) (← links)
- Qualitative Approximate Behavior Composition (Q2915091) (← links)
- On the Complexity of Reconfiguration in Systems with Legacy Components (Q2946354) (← links)
- Approximate Achievability in Event Databases (Q3011986) (← links)
- Acting on Norm Constrained Plans (Q3092313) (← links)
- DEL Planning and Some Tractable Cases (Q3094006) (← links)
- Merge-and-Shrink Abstraction (Q3189651) (← links)
- Learning Actions Models: Qualitative Approach (Q3457685) (← links)
- Heuristic Hill-Climbing as a Markov Process (Q3534666) (← links)