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