Sciweavers

981 search results - page 15 / 197
» Semantics for an Agent Communication Language
Sort
View
ATAL
2007
Springer
15 years 1 months ago
A grounded specification language for agent programs
This paper studies the relation between agent specification and agent programming languages. In particular, it shows that an agent programming language obeys some desirable proper...
Mehdi Dastani, M. Birna van Riemsdijk, John-Jules ...
FQAS
2009
Springer
113views Database» more  FQAS 2009»
14 years 7 months ago
On Reaching Consensus by a Group of Collaborating Agents
In this paper, an agent is defined as a triple (S, RS, LS), where S is a multi-hierarchical decision system, RS is a set of rules extracted from S defining values of its decision a...
Zbigniew W. Ras, Agnieszka Dardzinska
TSD
2001
Springer
15 years 2 months ago
Determining User Interface Semantics Using Communicating Agents
The Internet offers remote access to many information systems to users independent of time and location. This paper describes an agent based approach to deal with issues that rise ...
L. Ton, Léon J. M. Rothkrantz
79
Voted
IJAIT
2006
136views more  IJAIT 2006»
14 years 9 months ago
Model Checking for Multiagent Systems: the Mable Language and its Applications
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
Michael Wooldridge, Marc-Philippe Huget, Michael F...