Sciweavers

265 search results - page 1 / 53
» Operational Semantics for Agent Communication Languages
Sort
View
AGENTCL
2000
Springer
13 years 9 months ago
Operational Semantics for Agent Communication Languages
Abstract. In this paper, we study the operational semantics of agent communication languages.We develop a basic multi-agent programming language for systems of concurrently operati...
Rogier M. van Eijk, Frank S. de Boer, Wiebe van de...
DALT
2003
Springer
13 years 10 months ago
Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication
Work on agent communication languages has since long striven to achieve adequate speech act semantics; partly, the problem is that references to an agent’s architecture (in parti...
Álvaro F. Moreira, Renata Vieira, Rafael H....
JAIR
2007
117views more  JAIR 2007»
13 years 4 months ago
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communicatio...
Renata Vieira, Álvaro F. Moreira, Michael W...
DALT
2004
Springer
13 years 10 months ago
Intensional Programming for Agent Communication
This article investigates the intensional programming paradigm for agent communication by introducing context as a first class object in the intensional programming language Lucid...
Vasu S. Alagar, Joey Paquet, Kaiyu Wan
AAMAS
2000
Springer
13 years 4 months ago
Semantic Issues in the Verification of Agent Communication Languages
This article examines the issue of developing semantics for agent communication languages. In particular, it considers the problem of giving a
Michael Wooldridge