130 search results - page 5 / 26 » ecai 2006 |
ECAI
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We present Minion, a new constraint solver. Empirical results on standard benchmarks show orders of magnitude performance gains over state-of-the-art constraint toolkits....
ECAI
2006
Springer
15 years 1 months ago
2006
Springer
Minimally unsatisfiable subformulas (in short, MUSes) represent the smallest explanations for the inconsistency of SAT instances in terms of the number of involved clauses. Extract...
ECAI
2006
Springer
15 years 1 months ago
2006
Springer
The emerging field of ubiquitous robotics presents new challenges for human-robot interface. In this note, we introduce the concept of a common interface point using an expression-...
41
Voted
ECAI
2006
Springer
15 years 1 months ago
2006
Springer
In this paper a computational simulation of the imitation of intentional behaviour is presented. Important assumptions which make the problem computationally tractable are introduc...
ECAI
2006
Springer
15 years 1 months ago
2006
Springer
We propose a general framework to represent changes in the mental state of a rational agent due to the acquisition of new information and/or to the arising of new desires; fundamen...