Sciweavers

91
Voted
AIS
2005
Springer
15 years 11 days ago
Computer decision-support systems for public argumentation: assessing deliberative legitimacy
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...
William Rehg, Peter McBurney, Simon Parsons
90
Voted
AIM
2005
15 years 11 days ago
RoboCup 2004 Competitions and Symposium: A Small Kick for Robots, a Giant Score for Science
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...
Pedro U. Lima, Luís M. M. Custódio, ...
AI
2005
Springer
15 years 11 days ago
Task-dependent qualitative domain abstraction
ion M. Sachenbacher a,, P. Struss b aMIT CSAIL, 200 Technology Square, Cambridge, MA 02139, USA bTechnische Universit
Martin Sachenbacher, Peter Struss
AI
2005
Springer
15 years 11 days ago
MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
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...
Zhao Xing, Weixiong Zhang
AI
2005
Springer
15 years 11 days ago
Constraint-based reasoning and privacy/efficiency tradeoffs in multi-agent problem solving
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...
Richard J. Wallace, Eugene C. Freuder
116
Voted
AI
2005
Springer
15 years 11 days ago
On the consistency of cardinal direction constraints
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...
Spiros Skiadopoulos, Manolis Koubarakis
AI
2005
Springer
15 years 11 days ago
Asynchronous aggregation and consistency in distributed constraint satisfaction
Constraint Satisfaction Problems (CSP) have been very successful in problem-solving tasks ranging from resource allocation and scheduling to configuration and design. Increasingly...
Marius-Calin Silaghi, Boi Faltings
91
Voted
AI
2005
Springer
15 years 11 days ago
Explorations in engagement for humans and robots
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...
Candace L. Sidner, Christopher Lee, Cory D. Kidd, ...