UCPOP

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