Sciweavers

130
Voted
AMAI
2004
Springer
15 years 28 days ago
Extending Answer Sets for Logic Programming Agents
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...
Marina De Vos, Dirk Vermeir
135
Voted
AMAI
2004
Springer
15 years 28 days ago
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming
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...
Wamberto Weber Vasconcelos, David Stuart Robertson...
AMAI
2004
Springer
15 years 28 days ago
A Unifying Version-Space Representation
Evgueni N. Smirnov, H. Jaap van den Herik, Ida G. ...
AMAI
2004
Springer
15 years 28 days ago
Representing von Neumann-Morgenstern Games in the Situation Calculus
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. ...
Oliver Schulte, James P. Delgrande
86
Voted
AMAI
2004
Springer
15 years 28 days ago
Satisfiability-Based Algorithms for Boolean Optimization
Vasco M. Manquinho, João P. Marques Silva
AMAI
2004
Springer
15 years 28 days ago
The Complexity of Symmetry-Breaking Formulas
Eugene M. Luks, Amitabha Roy
121
Voted
AMAI
2004
Springer
15 years 28 days ago
Logical Preference Representation and Combinatorial Vote
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...
Jérôme Lang
AMAI
2004
Springer
15 years 28 days ago
Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach
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...
Paula Gouveia, Jaime Ramos