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 proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings of the Sixth International Conference on Intelligent Agent Technology (IAT'06)
EditorsToyoaki Nishida, Matthias Klusch, Katia Sycara, Makoto Yokoo, Jiming Liu, Benjamin Wah, William Cheung, Yiu-Ming Cheung
PublisherIEEE Computer Society Press
Pages257-254
Publication statusPublished - 2006

Bibliographical note

IAT06-TTL

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. ; Sharpanskykh, O. ; Treur, J. / 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",

}

Bosse, T, Jonker, CM, 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). IEEE Computer Society Press, pp. 257-254.

Specification and Verification of Dynamics in Cognitive Agent Models. / Bosse, T.; Jonker, C.M.; van der Meij, L.; Sharpanskykh, O.; Treur, J.

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 proceedingConference contributionAcademicpeer-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 -

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