Executing Logical Agent Specifications

First Author: Fisher M

Attributed to: Model Checking Agent Programming Languages funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-0-387-89299-3_1

Publication URI: http://dx.doi.org/10.1007/978-0-387-89299-3_1

Type: Book Chapter

Book Title: Multi-Agent Programming (2009)

Page Reference: 1-27

ISBN: 978-0-387-89298-6

ISSN: 0960-3174