Sciweavers

AAMAS
2012
Springer
12 years 5 months ago
A formal model of emotions for an empathic rational dialog agent
Recent research has shown that virtual agents expressing empathic emotions toward users have the potentiality to enhance human-machine interaction. To provide empathic capabilitie...
Magalie Ochs, David Sadek, Catherine Pelachaud
AAMAS
2012
Springer
12 years 5 months ago
Using argumentation to model agent decision making in economic experiments
In this paper we demonstrate how a qualitative framework for decision making can be used to model scenarios from experimental economic studies and we show how our approach explains...
Trevor J. M. Bench-Capon, Katie Atkinson, Peter Mc...
AAMAS
2012
Springer
12 years 5 months ago
Koko: an architecture for affect-aware games
The importance of affect in delivering engaging experiences in entertainment and educational games is well recognized. Yet, current techniques for building affect-aware games are l...
Derek J. Sollenberger, Munindar P. Singh
AAMAS
2012
Springer
12 years 5 months ago
Multiagent task allocation in social networks
Mathijs de Weerdt, Yingqian Zhang, Tomas Klos
ICCCI
2011
Springer
12 years 9 months ago
Evolving Equilibrium Policies for a Multiagent Reinforcement Learning Problem with State Attractors
Multiagent reinforcement learning problems are especially difficult because of their dynamism and the size of joint state space. In this paper a new benchmark problem is proposed, ...
Florin Leon
ICCCI
2011
Springer
12 years 9 months ago
Modelling Trust for Communicating Agents: Agent-Based and Population-Based Perspectives
This paper presents an exploration of the differences between agent-based and population-based models for trust dynamics. This exploration is based on both a large variety of simu...
S. Waqar Jaffry, Jan Treur
HOLOMAS
2011
Springer
12 years 9 months ago
Dynamic Trajectory Replanning for Unmanned Aircrafts Supporting Tactical Missions in Urban Environments
In the last decade we witnessed an increased demand for employment of unmanned aerial vehicles (UAV) in practise. For instance, there is a growing need to provide surveillance task...
Lukás Chrpa, Peter Novák
CLIMA
2011
12 years 9 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...
CLIMA
2011
12 years 9 months ago
A Dynamic Logic of Institutional Actions
We propose a logical framework to represent and reason about some important aspects of a theory of institutional action: (1) the distinctions between physical facts and actions and...
Andreas Herzig, Emiliano Lorini, Nicolas Troquard
CLIMA
2011
12 years 9 months ago
Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance
In this paper we extend the logic of violation proposed by [14] with time, more precisely, we temporalise that logic. The resulting system allows us to capture many subtleties of t...
Guido Governatori, Antonino Rotolo