AMAI
2004
Springer
14 years 19 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...
AMAI
2004
Springer
14 years 19 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
14 years 19 days ago
2004
Springer
AMAI
2004
Springer
14 years 19 days ago
2004
Springer
AMAI
2004
Springer
14 years 19 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. ...
AMAI
2004
Springer
14 years 19 days ago
2004
Springer
AMAI
2004
Springer
14 years 19 days ago
2004
Springer
AMAI
2004
Springer
14 years 19 days ago
2004
Springer
AMAI
2004
Springer
14 years 19 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...
AMAI
2004
Springer
14 years 19 days ago
2004
Springer
We address the topic of specifying multi-agent systems using the situation and state calculus (SSC). SSC has been proposed as an extension of the situation calculus to overcome so...