Prodigy

swMATH20686MaRDI QIDQ32503FDOQ32503

Author name not available (Why is that?)

Official website: http://dl.acm.org/citation.cfm?id=865167

Cited In (36)

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

This page was built for software: Prodigy