Sciweavers

298 search results - page 31 / 60
» atal 2009
Sort
View
95
Voted
ATAL
2009
Springer
15 years 4 months ago
A logic of games and propositional control
We present a logic for reasoning about strategic games. The logic is a modal formalism, based on the Coalition Logic of Propositional Control, to which we add the notions of outco...
Nicolas Troquard, Wiebe van der Hoek, Michael Wool...
ATAL
2009
Springer
15 years 4 months ago
agentTool III: from process definition to code generation
The agentTool III (aT3 ) development environment is built on the Eclipse platform and provides traditional model creation tools to support the analysis, design, and implementation...
Juan C. García-Ojeda, Scott A. DeLoach, Rob...
ATAL
2009
Springer
15 years 4 months ago
A virtual laboratory for studying long-term relationships between humans and virtual agents
Longitudinal studies of human-virtual agent interaction are expensive and time consuming to conduct. We present a new concept and tool for conducting such studies—the virtual la...
Timothy W. Bickmore, Daniel Schulman
ATAL
2009
Springer
15 years 4 months ago
Greta: an interactive expressive ECA system
We have developed a general purpose use and modular architecture of an Embodied Conversational Agent (ECA) called Greta. Our 3D agent is able to communicate using verbal and nonve...
Radoslaw Niewiadomski, Elisabetta Bevacqua, Mauriz...
ATAL
2009
Springer
15 years 4 months ago
MASQ: towards an integral approach to interaction
In this paper we describe MASQ (Multi-Agent Systems based on Quadrants), a model that defines four perspectives over an agent-based interaction according to two axes: internal/ex...
Tiberiu Stratulat, Jacques Ferber, John Tranier