Sciweavers

454 search results - page 43 / 91
» Semantics of Agent Communication Languages for Group Interac...
Sort
View
ATAL
2005
Springer
14 years 1 months ago
Protocol synthesis with dialogue structure theory
Inspired by computational linguistic approaches to annotate the structures that occur in human dialogue, this paper describes a technique which encodes these structures as transfo...
Jarred McGinnis, David Robertson, Christopher Walt...
WOA
2010
13 years 5 months ago
Towards a Flexible Development Framework for Multi-Agent Systems
In this paper, we present a software framework, called HDS (Heterogeneous Distributed System), that tries to simplify the realization of distributed applications and, in particular...
Agostino Poggi
ICFP
1999
ACM
13 years 12 months ago
Principals in Programming Languages: A Syntactic Proof Technique
Programs are often structured around the idea that different pieces of code comprise distinct principals, each with a view of its environment. Typical examples include the module...
Steve Zdancewic, Dan Grossman, J. Gregory Morriset...
ECAI
2006
Springer
13 years 11 months ago
Towards ACL Semantics Based on Commitments and Penalties
The importance of defining a standard framework for agent communication languages (ACL) with a simple, clear, and a verifiable semantics has been widely recognized. This paper pro...
Leila Amgoud, Florence Dupin de Saint-Cyr
ICMCS
2010
IEEE
211views Multimedia» more  ICMCS 2010»
13 years 8 months ago
Heterogenesis: Collectively emergent autonomy
Heterogenesis is an interactive sound and tactile installation consisting of a group of autonomous artificial agents that collectively generate and evolve a soundscape in response...
Carlos Castellanos, Diane Gromala, Philippe Pasqui...