Model Checking Normative Agent Organisations

First Author: Dennis L
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-3-642-16867-3_4

Publication URI: http://dx.doi.org/10.1007/978-3-642-16867-3_4

Type: Book Chapter

Book Title: Computational Logic in Multi-Agent Systems (2010)

Page Reference: 64-82

ISBN: 978-3-642-16866-6

ISSN: 1436-3798