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