AIS
2005
Springer
13 years 11 months ago
2005
Springer
Recent proposals for computer-assisted argumentation have drawn on dialectical models of argumentation. When used to assist public policy planning, such systems also raise questio...
AIM
2005
13 years 11 months ago
2005
RoboCup is an international initiative with the main goals of fostering research and education in Artificial Intelligence and Robotics, as well as of promoting science and technol...
AI
2005
Springer
13 years 11 months ago
2005
Springer
ion M. Sachenbacher a,, P. Struss b aMIT CSAIL, 200 Technology Square, Cambridge, MA 02139, USA bTechnische Universit
AI
2005
Springer
2005
Springer
Secure distributed constraint satisfaction: reaching agreement without revealing private information
13 years 11 months ago
AI
2005
Springer
13 years 11 months ago
2005
Springer
Maximum Boolean satisfiability (max-SAT) is the optimization counterpart of Boolean satisfiability (SAT), in which a variable assignment is sought to satisfy the maximum number of...
AI
2005
Springer
13 years 11 months ago
2005
Springer
Because of privacy concerns, agents may not want to reveal information that could be of use in problem solving. As a result, there are potentially important tradeoffs between main...
AI
2005
Springer
13 years 11 months ago
2005
Springer
AI
2005
Springer
13 years 11 months ago
2005
Springer
We present a formal model for qualitative spatial reasoning with cardinal directions utilizing a co-ordinate system. Then, we study the problem of checking the consistency of a se...
AI
2005
Springer
13 years 11 months ago
2005
Springer
Constraint Satisfaction Problems (CSP) have been very successful in problem-solving tasks ranging from resource allocation and scheduling to configuration and design. Increasingly...
AI
2005
Springer
13 years 11 months ago
2005
Springer
This paper explores the concept of engagement, the process by which individuals in an interaction start, maintain and end their perceived connection one another. The paper reports...