AI
2008
Springer
13 years 10 months ago
2008
Springer
Although classical first-order logic is the de facto standard logical foundation for artificial intelligence, the lack of a built-in, semantically grounded capability for reasonin...
AI
2008
Springer
13 years 11 months ago
2008
Springer
AI
2008
Springer
13 years 11 months ago
2008
Springer
AI
2008
Springer
13 years 11 months ago
2008
Springer
We make a number of contributions to the study of the Quantified Constraint Satisfaction Problem (QCSP). The QCSP is an extension of the constraint satisfaction problem that can b...
AI
2008
Springer
13 years 11 months ago
2008
Springer
AI
2008
Springer
13 years 11 months ago
2008
Springer
This paper complements McCarthy's "The well designed child", in part by putting it in a broader context, the space of possible well designed progeny, and in part by...
AI
2008
Springer
13 years 11 months ago
2008
Springer
The AllDifferent constraint is a crucial component of any constraint toolkit, language or solver, since it is very widely used in a variety of constraint models. The literature con...
AI
2008
Springer
13 years 11 months ago
2008
Springer
This article is inspired by recent psychological studies confirming that a child is not born a blank slate but has important innate capabilities. An important part of the "le...
AI
2008
Springer
13 years 11 months ago
2008
Springer
We introduce the notion of fault tolerant mechanism design, which extends the standard game theoretic framework of mechanism design to allow for uncertainty about execution. Speci...
AI
2008
Springer
13 years 11 months ago
2008
Springer
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...