Specifying and Executing Protocols for Cooperative Action (1994) [13 citations — 0 self]
Download:
|
|
by Michael Fisher, Michael Wooldridge
In Proceedings of the Second International Working Conference on Cooperating Knowledge-Based Systems (CKBS-94
http://www.elec.qmw.ac.uk/dai/people/mikew/pubs/ckbs94.ps.gz
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Fisher94specifyingand,author = {Michael Fisher and Michael Wooldridge},
title = {Specifying and Executing Protocols for Cooperative Action},
booktitle = {In Proceedings of the Second International Working Conference on Cooperating Knowledge-Based Systems (CKBS-94},
year = {1994},
pages = {295--306},
publisher = {Springer}
}
Years of Citing Articles
Abstract:
The purpose of this paper is twofold: (i) to illustrate and re-emphasize the use of CONCURRENT METATEM, a programming language based on executable temporal logic, as a viable framework in which to develop Distributed Artificial Intelligence (DAI) applications; and (ii) to present a specific example of a cooperative protocol, give an outline of its implementation in CONCURRENT METATEM, and show how properties of the protocol can be established through formal proof. 1
Citations
| 202 | Commitments and conventions: The foundation of coordination in multi-agent systems – Jennings - 1993 |
| 152 | Coordination of Distributed Problem Solvers – Durfee - 1988 |
| 82 | METATEM: a Framework for Programming in Temporal Logic – BARRINGER, FISHER, et al. - 1989 |
| 66 | The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems – Gabbay - 1987 |
| 49 | MACE: A flexible testbed for distributed AI research – Gasser, Braganza, et al. - 1987 |
| 38 | A Framework for Distributed Problem Solving – Smith - 1980 |
| 28 | Generic configurable cooperation protocols for multi-agent systems – Burmeister, Haddadi, et al. - 1993 |
| 26 | Specifying and Verifying Distributed Intelligent Systems – Fisher, Wooldridge - 1993 |
| 22 | Concurrent MetateM --- A Language for Modeling Reactive Systems – Fisher - 1993 |
| 21 | From the Past to the Future: Executing Temporal Logic Programs – Fisher, Owens - 1992 |
| 15 | Executable Temporal Logic for Distributed A.I – Fisher, Wooldridge - 1993 |
