Cited in
(56)- On linear logic planning and concurrency
- Planning the project management way: Efficient planning by effective integration of causal and resource reasoning in RealPlan
- Automatically selecting and using primary effects in planning: Theory and experiments.
- Permissive planning: Extending classical planning to uncertain task domains.
- Sound and efficient closed-world reasoning for planning
- Reasoning about actions with imprecise and incomplete state descriptions
- Forward chaining hierarchical partial-order planning
- Learning from planner performance
- Planning in domains with derived predicates through rule-action graphs and local search
- Evaluating new options in the context of existing plans
- Agenda control for heterogeneous reasoners
- Flexible and scalable cost-based query planning in mediators: A transformational approach
- A constraint-based approach to learn temporal features on action models from multiple plans
- A constraint programming formulation for planning: From plan scheduling to plan generation
- CP methods for scheduling and routing with~time-dependent task costs
- Multiobjective heuristic state-space planning
- Using genetic programming to learn and improve control knowledge.
- A logic of delegation
- Acquiring search-control knowledge via static analysis
- Fast planning through planning graph analysis
- QOCA
- RealPlan
- IPC-4
- STAN
- CPlan
- PDDL
- Failure driven dynamic search control for partial order planners: an explanation based approach
- Graphplan
- TRAMP
- TorchLight
- The logical foundations of goal-regression planning in autonomous agents
- Red-black planning: a new systematic approach to partial delete relaxation
- AltAlt
- LPG
- Prodigy
- SAPA
- VHPOP
- LINERLIB
- Volcano
- Approximate planning
- Task decomposition on abstract states, for planning under nondeterminism
- Discovering state constraints for planning with conditional effects in \textsc{Discoplan}. I
- Using temporal logics to express search control knowledge for planning
- Stochastic dynamic programming with factored representations
- Partial-order planning: Evaluating possible efficiency gains
- A probabilistic analysis of propositional STRIPS planning
- Reasoning about nonlinear system identification
- On the nature and role of modal truth criteria in planning
- What robots can do: robot programs and effective achievability
- Let's plan it deductively!
- In defense of PDDL axioms
- Planning and acting in partially observable stochastic domains
- Situational calculus, linear connection proofs and STRIPS-like planning: an experimental comparison
- The Relative Power of Semantics and Unification
- Plan aggregation for strong cyclic planning in nondeterministic domains
- Formalizing sensing actions -- a transition function based approach
This page was built for software: UCPOP
