79
Voted
AI
2002
Springer
15 years 10 days ago
2002
Springer
Abstract. The traditional unification is strict in the sense that it requires a perfect agreement between the terms being unified. In practice, data is seldom error-free and can co...
123
click to vote
AMAI
2004
Springer
15 years 10 days ago
2004
Springer
We present systems of logic programming agents (LPAS) to model the interactions between decision-makers while evolving to a conclusion. Such a system consists of a number of agents...
129
click to vote
AMAI
2004
Springer
15 years 10 days ago
2004
Springer
Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for...
AMAI
2004
Springer
15 years 10 days ago
2004
Springer
72
Voted
AMAI
2004
Springer
15 years 10 days ago
2004
Springer
107
click to vote
AMAI
2004
Springer
15 years 10 days ago
2004
Springer
Sequential von Neumann-Morgernstern (VM) games are a very general formalism for representing multi-agent interactions and planning problems in a variety of types of environments. ...
80
Voted
AMAI
2004
Springer
15 years 10 days ago
2004
Springer
AMAI
2004
Springer
15 years 10 days ago
2004
Springer
81
Voted
AMAI
2004
Springer
15 years 10 days ago
2004
Springer
117
Voted
AMAI
2004
Springer
15 years 10 days ago
2004
Springer
We introduce the notion of combinatorial vote, where a group of agents (or voters) is supposed to express preferences and come to a common decision concerning a set of non-independ...