Specification and Verification of Dynamics in Cognitive Agent Models

T. Bosse; C.M. Jonker; L. van der Meij; O. Sharpanskykh; J. Treur

Specification and Verification of Dynamics in Cognitive Agent Models

T. Bosse, C.M. Jonker, L. van der Meij, O. Sharpanskykh, J. Treur

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

Original language	English
Title of host publication	Proceedings of the Sixth International Conference on Intelligent Agent Technology (IAT'06)
Editors	Toyoaki Nishida, Matthias Klusch, Katia Sycara, Makoto Yokoo, Jiming Liu, Benjamin Wah, William Cheung, Yiu-Ming Cheung
Publisher	IEEE Computer Society Press
Pages	257-254
Publication status	Published - 2006

Bibliographical note

IAT06-TTL

Persistent URL (handle)

Persistent link

Cite this

Bosse, T., Jonker, C. M., van der Meij, L., Sharpanskykh, O., & Treur, J. (2006). Specification and Verification of Dynamics in Cognitive Agent Models. In T. Nishida, M. Klusch, K. Sycara, M. Yokoo, J. Liu, B. Wah, W. Cheung, & Y.-M. Cheung (Eds.), Proceedings of the Sixth International Conference on Intelligent Agent Technology (IAT'06) (pp. 257-254). IEEE Computer Society Press.

Bosse, T. ; Jonker, C.M. ; van der Meij, L. et al. / Specification and Verification of Dynamics in Cognitive Agent Models. Proceedings of the Sixth International Conference on Intelligent Agent Technology (IAT'06). editor / Toyoaki Nishida ; Matthias Klusch ; Katia Sycara ; Makoto Yokoo ; Jiming Liu ; Benjamin Wah ; William Cheung ; Yiu-Ming Cheung. IEEE Computer Society Press, 2006. pp. 257-254

@inproceedings{202676e8a8224a678f17b1e9bff68603,

title = "Specification and Verification of Dynamics in Cognitive Agent Models",

author = "T. Bosse and C.M. Jonker and {van der Meij}, L. and O. Sharpanskykh and J. Treur",

note = "IAT06-TTL ",

year = "2006",

language = "English",

pages = "257--254",

editor = "Toyoaki Nishida and Matthias Klusch and Katia Sycara and Makoto Yokoo and Jiming Liu and Benjamin Wah and William Cheung and Yiu-Ming Cheung",

booktitle = "Proceedings of the Sixth International Conference on Intelligent Agent Technology (IAT'06)",

publisher = "IEEE Computer Society Press",

}

Specification and Verification of Dynamics in Cognitive Agent Models. / Bosse, T.; Jonker, C.M.; van der Meij, L. et al.
Proceedings of the Sixth International Conference on Intelligent Agent Technology (IAT'06). ed. / Toyoaki Nishida; Matthias Klusch; Katia Sycara; Makoto Yokoo; Jiming Liu; Benjamin Wah; William Cheung; Yiu-Ming Cheung. IEEE Computer Society Press, 2006. p. 257-254.

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

TY - GEN

T1 - Specification and Verification of Dynamics in Cognitive Agent Models

AU - Bosse, T.

AU - Jonker, C.M.

AU - van der Meij, L.

AU - Sharpanskykh, O.

AU - Treur, J.

N1 - IAT06-TTL

PY - 2006

Y1 - 2006

M3 - Conference contribution

SP - 257

EP - 254

BT - Proceedings of the Sixth International Conference on Intelligent Agent Technology (IAT'06)

A2 - Nishida, Toyoaki

A2 - Klusch, Matthias

A2 - Sycara, Katia

A2 - Yokoo, Makoto

A2 - Liu, Jiming

A2 - Wah, Benjamin

A2 - Cheung, William

A2 - Cheung, Yiu-Ming

PB - IEEE Computer Society Press

ER -