Sciweavers

AMAI
2004
Springer
15 years 16 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
AMAI
2004
Springer
15 years 16 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...
74
Voted
AMAI
2004
Springer
15 years 16 days ago
A Unifying Version-Space Representation
Evgueni N. Smirnov, H. Jaap van den Herik, Ida G. ...
109
Voted
AMAI
2004
Springer
15 years 16 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
81
Voted
AMAI
2004
Springer
15 years 16 days ago
On the Semantics of Deliberation in Indigolog - from Theory to Implementation
Sebastian Sardiña, Giuseppe De Giacomo, Yve...
AMAI
2004
Springer
15 years 16 days ago
Satisfiability-Based Algorithms for Boolean Optimization
Vasco M. Manquinho, João P. Marques Silva
82
Voted
AMAI
2004
Springer
15 years 16 days ago
The Complexity of Symmetry-Breaking Formulas
Eugene M. Luks, Amitabha Roy
118
Voted
AMAI
2004
Springer
15 years 16 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
103
Voted
AMAI
2004
Springer
15 years 16 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