CO'IR: Verifying Normative Specifications of Complex Systems

Luca Gasparini; Timothy J Norman; Martin J Kollingbaum; Liang Chen; John-Jules Ch Meyer

CO'IR: Verifying Normative Specifications of Complex Systems

Luca Gasparini, Timothy J Norman, Martin J Kollingbaum, Liang Chen, John-Jules Ch Meyer

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings of the 19th International Workshop on Coordination, Organisations, Institutions and Norms in Multiagent Systems
Editors	Pablo Noriega, Murat Sensoy
Publisher	AAMAS
Pages	134-153
Number of pages	20
Publication status	Published - 4 May 2015
Event	The XIX International Workshop on Coordination, Organizations, Institutions and Norms in Multiagent Systems - Istanbul, Turkey Duration: 4 May 2015 → …

Conference

Conference	The XIX International Workshop on Coordination, Organizations, Institutions and Norms in Multiagent Systems
Country	Turkey
City	Istanbul
Period	4/05/15 → …

Cite this

Gasparini, L., Norman, T. J., Kollingbaum, M. J., Chen, L., & Meyer, J-J. C. (2015). CO'IR: Verifying Normative Specifications of Complex Systems. In P. Noriega, & M. Sensoy (Eds.), Proceedings of the 19th International Workshop on Coordination, Organisations, Institutions and Norms in Multiagent Systems (pp. 134-153). AAMAS.

CO'IR : Verifying Normative Specifications of Complex Systems. / Gasparini, Luca; Norman, Timothy J; Kollingbaum, Martin J; Chen, Liang; Meyer, John-Jules Ch.

Proceedings of the 19th International Workshop on Coordination, Organisations, Institutions and Norms in Multiagent Systems. ed. / Pablo Noriega; Murat Sensoy. AAMAS, 2015. p. 134-153.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Gasparini, L, Norman, TJ, Kollingbaum, MJ, Chen, L & Meyer, J-JC 2015, CO'IR: Verifying Normative Specifications of Complex Systems. in P Noriega & M Sensoy (eds), Proceedings of the 19th International Workshop on Coordination, Organisations, Institutions and Norms in Multiagent Systems. AAMAS, pp. 134-153, The XIX International Workshop on Coordination, Organizations, Institutions and Norms in Multiagent Systems, Istanbul, Turkey, 4/05/15.

@inproceedings{d2e0c58104374f379904b72461a52b70,

title = "CO'IR: Verifying Normative Specifications of Complex Systems",

author = "Luca Gasparini and Norman, {Timothy J} and Kollingbaum, {Martin J} and Liang Chen and Meyer, {John-Jules Ch}",

year = "2015",

month = "5",

day = "4",

language = "English",

pages = "134--153",

editor = "Pablo Noriega and Murat Sensoy",

booktitle = "Proceedings of the 19th International Workshop on Coordination, Organisations, Institutions and Norms in Multiagent Systems",

publisher = "AAMAS",

}

TY - GEN

T1 - CO'IR

T2 - Verifying Normative Specifications of Complex Systems

AU - Gasparini, Luca

AU - Norman, Timothy J

AU - Kollingbaum, Martin J

AU - Chen, Liang

AU - Meyer, John-Jules Ch

PY - 2015/5/4

Y1 - 2015/5/4

M3 - Conference contribution

SP - 134

EP - 153

BT - Proceedings of the 19th International Workshop on Coordination, Organisations, Institutions and Norms in Multiagent Systems

A2 - Noriega, Pablo

A2 - Sensoy, Murat

PB - AAMAS

ER -