Sciweavers

265 search results - page 19 / 53
» Operational Semantics for Agent Communication Languages
Sort
View
183
Voted
ENTCS
2006
1305views more  ENTCS 2006»
15 years 3 months ago
Communication Attitudes: A Formal Approach to Ostensible Intentions, and Individual and Group Opinions
Conventional approaches to the modeling of autonomous agents and agent communication rely heavily on the ascription of mental properties like beliefs and intentions to the individ...
Matthias Nickles, Felix A. Fischer, Gerhard Wei&sz...
ATAL
2003
Springer
15 years 7 months ago
Verification and Compliance Testing
Verification and compliance testing are required if agents are to be delegated responsibility for legally binding contracts, for example in electronic markets. This paper describes...
Frank Guerin, Jeremy Pitt
CEEMAS
2007
Springer
15 years 9 months ago
Commitment Monitoring in a Multiagent System
Abstract. Agent Communication Languages (ACLs) play a fundamental role in open multiagent systems where message exchange is the main if not the only way for agents to coordinate th...
Paola Spoletini, Mario Verdicchio
AAAI
2007
15 years 5 months ago
A Logic of Agent Programs
We present a sound and complete logic for reasoning about SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL designed for the implementation of cog...
Natasha Alechina, Mehdi Dastani, Brian Logan, John...
134
Voted
EELC
2006
124views Languages» more  EELC 2006»
15 years 7 months ago
How Grammar Emerges to Dampen Combinatorial Search in Parsing
Abstract. According to the functional approach to language evolution (inspired by cognitive linguistics and construction grammar), grammar arises to deal with issues in communicati...
Luc Steels, Pieter Wellens