Cited in
(36)- Automatically selecting and using primary effects in planning: Theory and experiments.
- Minimizing conflicts: A heuristic repair method for constraint satisfaction and scheduling problems
- Learning from planner performance
- Agenda control for heterogeneous reasoners
- Integrating planning and learning: the PRODIGY architecture
- Continuous case-based reasoning
- Multi-agent plan based information gathering
- Proof planning with multiple strategies
- Learning adaptation knowledge to improve case-based reasoning
- Using genetic programming to learn and improve control knowledge.
- Acquiring search-control knowledge via static analysis
- Fast planning through planning graph analysis
- Graphplan
- TRAMP
- SicoTHEO
- SHOP2
- AltAlt
- SAPA
- Bliksem
- Doris
- UCPOP
- VHPOP
- KQML
- Omega-MKRP
- Computing programs for generalized planning using a classical planner
- A pragmatic approach to reuse in tactical theorem proving
- Position systems in dynamic domains
- Using temporal logics to express search control knowledge for planning
- KI 2004: Advances in Artificial Intelligence
- A theory of transfer learning with applications to active learning
- Proving theorems by reuse
- Model-lite planning: case-based vs. model-based approaches
- Ranking relations using analogies in biological and information networks
- Reasoning about nonlinear system identification
- Knowledge-based proof planning
- Efficient interactive decision-making framework for robotic applications
This page was built for software: Prodigy
