ICCBR
1999
Springer
13 years 9 months 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...
COMPULOG
1999
Springer
13 years 9 months ago
1999
Springer
Planning and scheduling attracts an unceasing attention of computer science community. However, despite of similar character of both tasks, in most current systems planning and sch...
ICRA
1999
IEEE
13 years 9 months ago
1999
IEEE
In future planetary exploration missions, rovers will be required to autonomously traverse challenging environments. Much of the previous work in robot motion planning cannot be s...
ECAI
2000
Springer
13 years 9 months ago
2000
Springer
In dynamically changing environments a planning system does not have all the required information at the first place and the world state can change, rendering the original plan i...
NEUROSCIENCE
2001
Springer
13 years 9 months ago
2001
Springer
The Brain is a slow computer yet humans can skillfully play games such as tennis where very fast reactions are required. Of particular interest is the evidence for strategic thinki...
ECAI
2004
Springer
13 years 10 months ago
2004
Springer
This paper investigates a loosely coupled approach to planning and scheduling integration, which consists of cascading a planner and a scheduler. While other implementations of thi...
TABLEAUX
2005
Springer
13 years 10 months ago
2005
Springer
This paper presents the planning system Pdk (Planning with Domain Knowledge), based on the translation of planning problems into Linear Time Logic theories, in such a way that fin...
ROBOCUP
2005
Springer
13 years 10 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...
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...
ICAC
2005
IEEE
13 years 10 months ago
2005
IEEE
Computing systems have become so complex that the IT industry recognizes the necessity of deliberative methods to make these systems self-configuring, self-healing, selfoptimizin...