Model Checking Normative Agent Organisations

L. Dennis; N.A.M. Tinnemeier; J-J.Ch. Meyer

Model Checking Normative Agent Organisations

L. Dennis, N.A.M. Tinnemeier, J-J.Ch. Meyer

extern

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Computational Logic in Multi-Agent Systems - 10th International Workshop, CLIMA X, Hamburg, Germany, 2009
Editors	J. DIx, M. Fischer, P. Novák
Pages	64-82
Number of pages	19
Publication status	Published - 2010

Cite this

@inproceedings{4773139765cd47f5970547e9706bb044,

title = "Model Checking Normative Agent Organisations",

author = "L. Dennis and N.A.M. Tinnemeier and J-J.Ch. Meyer",

year = "2010",

language = "Undefined/Unknown",

pages = "64--82",

editor = "J. DIx and M. Fischer and P. Nov{\'a}k",

booktitle = "Computational Logic in Multi-Agent Systems - 10th International Workshop, CLIMA X, Hamburg, Germany, 2009",

}

Model Checking Normative Agent Organisations. / Dennis, L.; Tinnemeier, N.A.M.; Meyer, J-J.Ch.
Computational Logic in Multi-Agent Systems - 10th International Workshop, CLIMA X, Hamburg, Germany, 2009. ed. / J. DIx; M. Fischer; P. Novák. 2010. p. 64-82.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review