9523 search results - page 1633 / 1905 » Intelligent Interface Agents |
184
click to vote
KI
2001
Springer
15 years 12 months ago
2001
Springer
This paper describes the DiKe model-based diagnosis framework, which incorporates multiple diagnosis engines, multiple user-level system description languages, a theorem prover, an...
159
click to vote
ROBOCUP
2001
Springer
15 years 12 months ago
2001
Springer
This paper describes an autonomous robot football team. The work is being carried out since 1998. It describes the hardware used by the robots, the sensory system and interfaces, a...
196
click to vote
CP
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, co...
161
click to vote
CP
1997
Springer
15 years 11 months ago
1997
Springer
This paper describes the combination of a well-known tsp heuristic, genius, with a constraint programming model for routing problems. The result, genius-cp, is an e cient heuristic...
225
click to vote
TABLEAUX
1995
Springer
15 years 11 months ago
1995
Springer
In constraint logic programming, proof procedures for Horn clauses are enhanced with an interface to efficient constraint solvers. In this paper we show how to incorporate constra...