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