UCPOP
From MaRDI portal
Software:32504
swMATH20687MaRDI QIDQ32504FDOQ32504
Author name not available (Why is that?)
Cited In (40)
- Using genetic programming to learn and improve control knowledge.
- Forward Chaining Hierarchical Partial-Order Planning
- 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!
- 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
- Task decomposition on abstract states, for planning under nondeterminism
- 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
- 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
- Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison
This page was built for software: UCPOP