Sciweavers

265 search results - page 14 / 53
» Operational Semantics for Agent Communication Languages
Sort
View
CLIMA
2004
14 years 11 months ago
Weighted Multi Dimensional Logic Programs
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...
Pierangelo Dell'Acqua
63
Voted
ICCL
1998
IEEE
15 years 1 months ago
Location-Independent Communication for Mobile Agents: A Two-Level Architecture
We study communication primitives for interaction between mobile agents. They can be classified into two groups. At a low level there are location dependent primitives that require...
Peter Sewell, Pawel T. Wojciechowski, Benjamin C. ...
AOSE
2004
Springer
15 years 2 months ago
Enacting and Deacting Roles in Agent Programming
In the paper we study the dynamics of roles played by agents in multiagent systems. We capture role dynamics in terms of four operation performed by agents: ‘enactment’, ‘dea...
Mehdi Dastani, Birna van Riemsdijk, Joris Hulstijn...
HICSS
1999
IEEE
82views Biometrics» more  HICSS 1999»
15 years 1 months ago
On the Spanning Hypothesis for EDI Semantics
What EDI needs is a good semantics, that is, a workable formal theory of what EDI messages mean. As is widely recognized, the point applies to electronic commerce and to communica...
Steven O. Kimbrough, Scott A. Moore
IAT
2008
IEEE
15 years 4 months ago
Time and Defeasibility in FIPA ACL Semantics
Inferences about speech acts are often conditional, nonmonotonic, and involve the issue of time. Most agent communication languages, however, ignore these issues, due to the difï¬...
Guido Boella, Guido Governatori, Joris Hulstijn, R...