626 search results - page 4 / 126 » Satisfying Maintenance Goals |
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
There is significant interest in modeling teamwork in agents. In recent years, it has become widely accepted that it is possible to separate teamwork from taskwork, providing sup...
ECAI
2010
Springer
13 years 5 months ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...
ALDT
2009
Springer
14 years 1 months ago
2009
Springer
We present an anytime multiagent learning approach to satisfy any given optimality criterion in repeated game self-play. Our approach is opposed to classical learning approaches fo...
AMAI
2005
Springer
13 years 6 months ago
2005
Springer
Binary-clause reasoning has been shown to reduce the size of the search space on many satisfiability problems, but has often been so expensive that run-time was higher than that o...
CEEMAS
2003
Springer
14 years 5 days ago
2003
Springer
In this paper we present a motivational mechanism to generate and determine the worth of goals and to represent various constraints involved in satisfying a goal. The work builds o...