AI
2002
Springer
13 years 11 months 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...
AMAI
2004
Springer
13 years 11 months 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
13 years 11 months 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
13 years 11 months ago
2004
Springer
AMAI
2004
Springer
13 years 11 months ago
2004
Springer
AMAI
2004
Springer
13 years 11 months 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
13 years 11 months ago
2004
Springer
AMAI
2004
Springer
13 years 11 months ago
2004
Springer
AMAI
2004
Springer
13 years 11 months ago
2004
Springer
AMAI
2004
Springer
13 years 11 months 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...