Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:Multi-agent Coordination as Distributed Logic Programming
Authors: Dave Robertson
Date: 2004
Publication Title:Proceedings of ICLP 2004 (International Conference on Logic Programming)
Publication Type:Conference Paper Publication Status:Published
Volume No:# 3132 Page Nos:416-430
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of multi-agent system design is that coordination is achieved via an interaction model in which participating agents assume roles constrained by the social norms of their shared task; the state of the interaction reflecting the ways these constraints are mutually satisfied within some system for synchronisation that is open and distributed. We show how to harness a process calculus; constraint solving; unfolding and meta-variables for this purpose and discuss the advantages of these methods over traditional approaches.
Links To Paper
1st link
Bibtex format
author = { Dave Robertson },
title = {Multi-agent Coordination as Distributed Logic Programming},
book title = {Proceedings of ICLP 2004 (International Conference on Logic Programming)},
publisher = {Springer},
year = 2004,
volume = {# 3132},
pages = {416-430},
url = {},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh