1021 search results - page 11 / 205 » Concepts in Proof Planning |
ICALT
2003
IEEE
14 years 1 months ago
2003
IEEE
Visualization of the learning processes is a powerful way to help students to understand their curricula and the structure behind them. CME2 is a prototype software of this favour...
ICCBR
1999
Springer
14 years 26 days ago
1999
Springer
We discuss several problems of analogy-driven proof plan construction which prevent a solution for more diæcult target problems or make a solution very expensive. Some of these pr...
KI
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we present a highly modular planning system architecture. It is based on a proper formal account of hybrid planning, which allows for the formal definition of (flex...
AIPS
2003
13 years 10 months ago
2003
Sketching provides a natural and compact means for a user to outline a plan for a high-level objective. Previous work on plan sketching required that sketches be valid, meaning th...
ROBOCUP
2005
Springer
14 years 2 months ago
2005
Springer
The use of planning assistant agents is an appropriate option to provide support for members of a coalition. Planning agents can extend the human abilities and be customised to att...