Model Checking Normative Agent Organisations

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

Model Checking Normative Agent Organisations

N.A.M. Tinnemeier, L. Dennis, 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	Proceedings of the 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-10)
Editors	J. Dix, M. Fisher, P. Novak
Place of Publication	Clausthal, Germany
Publisher	Clausthal Univ. of Technology
Pages	38-54
Publication status	Published - 2009

Cite this

@inproceedings{fe6025d8fdc345d4b95ea372b36b6ecf,

title = "Model Checking Normative Agent Organisations",

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

note = "10th International Workshop on Computational Logic in Multi-Agent Systems",

year = "2009",

language = "Undefined/Unknown",

pages = "38--54",

editor = "J. Dix and M. Fisher and P. Novak",

booktitle = "Proceedings of the 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-10)",

publisher = "Clausthal Univ. of Technology",

}

Model Checking Normative Agent Organisations. / Tinnemeier, N.A.M.; Dennis, L.; Meyer, J-J.Ch.
Proceedings of the 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-10). ed. / J. Dix; M. Fisher; P. Novak. Clausthal, Germany: Clausthal Univ. of Technology, 2009. p. 38-54.

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

TY - GEN

T1 - Model Checking Normative Agent Organisations

AU - Tinnemeier, N.A.M.

AU - Dennis, L.

AU - Meyer, J-J.Ch.

N1 - 10th International Workshop on Computational Logic in Multi-Agent Systems

PY - 2009

Y1 - 2009

M3 - Conference contribution

SP - 38

EP - 54

BT - Proceedings of the 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-10)

A2 - Dix, J.

A2 - Fisher, M.

A2 - Novak, P.

PB - Clausthal Univ. of Technology

CY - Clausthal, Germany

ER -