Sciweavers

ATAL
2008
Springer
14 years 1 months ago
A flexible framework for verifying agent programs
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...
Louise A. Dennis, Berndt Farwer, Rafael H. Bordini...
ATAL
2008
Springer
14 years 1 months ago
An improved dynamic programming algorithm for coalition structure generation
Forming effective coalitions is a major research challenge in the field of multi-agent systems. Central to this endeavour is the problem of partitioning the set of agents into exh...
Talal Rahwan, Nicholas R. Jennings
ATAL
2008
Springer
14 years 1 months ago
Conviviality masks in multiagent systems
In this paper we study tools for conviviality to develop user-friendly multiagent systems. First, we show how to use the social-cognitive concept of conviviality in multiagent sys...
Patrice Caire, Serena Villata, Guido Boella, Leend...
ATAL
2008
Springer
14 years 1 months ago
iCat, the chess player: the influence of embodiment in the enjoyment of a game
This paper presents an experiment that evaluates and compares the user enjoyment when playing a game of chess in two situations: against a physically embodied robotic agent and ag...
André Pereira, Carlos Martinho, Iolanda Lei...
ATAL
2008
Springer
14 years 1 months ago
So tell me what happened: turning agent-based interactive drama into comics
As virtual characters become more autonomous, their use in interactive drama is growing. By creating interesting and well authored personalities, these characters are able to inte...
Tiago Alves, Ana Simões, Rui Figueiredo, Ma...
ATAL
2008
Springer
14 years 1 months ago
Reasoning about agent execution strategies
We present a logic for reasoning about properties of agent programs under different agent execution strategies. Using the agent programming language SimpleAPL as an example, we sh...
Natasha Alechina, Brian Logan, Mehdi Dastani, John...
ATAL
2008
Springer
14 years 1 months ago
Creating crowd variation with the OCEAN personality model
Most current crowd simulators animate homogeneous crowds, but include underlying parameters that can be tuned to create variations within the crowd. These parameters, however, are...
Funda Durupinar, Jan M. Allbeck, Nuria Pelechano, ...
ATAL
2008
Springer
14 years 1 months ago
Discovering tactical behavior patterns supported by topological structures in soccer agent domains
Behaviors in soccer-agent domains can involve individual plays, several players involved in tactical plays or the whole team trying to follow strategies supported by specific form...
Fernando Ramos, Huberto Ayanegui
ATAL
2008
Springer
14 years 1 months ago
Designing human-computer multi-agent collaboration in productive multi-player games
This research explores productive multi-player games as a platform for human-computer agent collaboration. A multiagent perspective is taken to examine the principles of both game...
Wenn-Chieh Tsai, Yuan-Hsiang Lee, Tsung-Hsiang Cha...