Temporal logics for normative agent communication protocols

Authors:
Ulle Endriss
Affiliations:
Imperial College London (UK)
Venue:
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Year:
2005

Citing 4
Cited 2

Temporal logic (vol. 1): mathematical foundations and computational aspects

Temporal logic (vol. 1): mathematical foundations and computational aspects
Agent Communication Languages: Rethinking the Principles

Computer
A Protocol-Based Semantics for an Agent Communication Language

IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Temporal logics for normative agent communication protocols

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems

Temporal logics for normative agent communication protocols

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A rule language for modelling and monitoring social expectations in multi-agent systems

AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised form of model checking.