{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T01:27:00Z","timestamp":1725499620084},"publisher-location":"London","reference-count":14,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781852339081"},{"type":"electronic","value":"9781846281037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/1-84628-103-2_17","type":"book-chapter","created":{"date-parts":[[2007,12,31]],"date-time":"2007-12-31T00:09:30Z","timestamp":1199059770000},"page":"237-250","source":"Crossref","is-referenced-by-count":1,"title":["Formal Analysis of Empirical Traces in Incident Management"],"prefix":"10.1007","author":[{"given":"Mark","family":"Hoogendoorn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catholijn M.","family":"Jonker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Savas","family":"Konur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter-Paul","family":"van Maanen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viara","family":"Popova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexei","family":"Sharpanskykh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lai","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pinar","family":"Yolum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Austin, J.L. How to do things with words. Oxford University Press, 2nd edition, 1976.","DOI":"10.1093\/acprof:oso\/9780198245537.001.0001"},{"key":"17_CR2","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1006\/ijhc.1999.0249","volume":"50","author":"F.M.T. Brazier","year":"1999","unstructured":"Brazier, F.M.T., Treur, J. Compositional modelling of reflective agents. International Journal of Human-Computer Studies, vol. 50, 1999, pp. 407\u2013431.","journal-title":"International Journal of Human-Computer Studies"},{"key":"17_CR3","unstructured":"Breuer, K., Satish, U. Emergency Management Simulations-An approach to the assessment of decisionmaking processes in complex dynamic environments. In Jose J. Gonzalez (eds), From modeling to managing security: A system dynamics approach, HoyskoleForlaget, 2003, pp. 145\u2013156."},{"key":"17_CR4","unstructured":"Brown, S. M., Santos Jr., E., Banks, S. B., Stytz, M. R. Intelligent interface agents for intelligent environments. In: Proceedings of the 1998 AAAI Spring Symposium on Intelligent Environments, 1998, pp. 145\u2013147."},{"key":"17_CR5","unstructured":"Burghardt, P. Combined Systems: The combined systems point of view. In: Carte, B., Walle, B. van der (eds.), Proceedings of the International Workshop on Information Systems for Crisis Response and Management\u2019 04, Brussels, Belgium. 2004."},{"key":"17_CR6","unstructured":"Etzioni, O., Hanks, S., Weld, D., Draper, D., Lesh, N., Williamson, M., An approach to planning with incomplete information. In: Proc. 3rd Int. Conf. on Principles of Knowledge Representation and Reasoning, 1992, pp. 115\u2013125."},{"key":"17_CR7","unstructured":"Fargier H., Lang J., Martin-Clouraire R., Schiex T. A constraint satisfaction framework for decision under uncertainty. In: Proc. of the 11th Int. Conf. on Uncertainty in Artificial Intelligence, 1995, pp. 167\u2013174."},{"key":"17_CR8","volume-title":"Vliegtuigongeval Vliegbasis Eindhoven 15 juli 1996","author":"Inspectie Brandweerzorg en Rampenbestrijding","year":"1996","unstructured":"Inspectie Brandweerzorg en Rampenbestrijding, Vliegtuigongeval Vliegbasis Eindhoven 15 juli 1996, SDU Grafische Bedrijf, The Hague, 1996."},{"key":"17_CR9","volume-title":"Dakota-incident Waddenzee 1996","author":"Inspectie Brandweerzorg en Rampenbestrijding","year":"1997","unstructured":"Inspectie Brandweerzorg en Rampenbestrijding, Dakota-incident Waddenzee 1996, SDU Grafische Bedrijf, The Hague, 1997."},{"key":"17_CR10","unstructured":"Jonker, CM., Letia, I.A., Treur, J. Diagnosis of the dynamics within an organisation by trace checking of behavioural requirements. In: Wooldridge, M., Weiss, G., and Ciancarini, P. (eds.), Agent-Oriented Software Engineering, Proc. of Second Int Workshop AOSE\u201901. Lecture Notes in Computer Science, vol. 2222. Springer Verlag, 2002, pp. 17\u201332."},{"key":"17_CR11","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1142\/S0218843002000480","volume":"11","author":"C.M. Jonker","year":"2002","unstructured":"Jonker, CM., Treur, J. Compositional verification of multi-agent systems: a formal analysis of pro-activeness and reactiveness. International. Journal of Cooperative Information Systems, vol. 11, 2002, pp. 51\u201392.","journal-title":"International. Journal of Cooperative Information Systems"},{"key":"17_CR12","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/S1389-0417(03)00004-4","volume":"4","author":"C.M. Jonker","year":"2003","unstructured":"Jonker, CM., Treur, J., and Wijngaards, W.C.A., A Temporal Modelling Environment for Internally Grounded Beliefs, Desires and Intentions. Cognitive Systems Research Journal, vol. 4, 2003, pp. 191\u2013210.","journal-title":"Cognitive Systems Research Journal"},{"key":"17_CR13","unstructured":"Lee, M.D.E. van der, Vugt, M. van. IMI \u2014 an information system for effective multidisciplinary incident management. In: Cart\u00e9, B., Walle, B. van der (eds.), Proceedings of the International Workshop on Information Systems for Crisis Response and Management\u2019 04, Brussels, Belgium. 2004."},{"key":"17_CR14","unstructured":"Ridder, M. de, Twenh\u00f6fel, C. The design and implementation of a decision support and information exchange system for nuclear emergency management in the Netherlands. In: Carl\u00e9, B., Walle, B. van der (eds.), Proceedings of the International Workshop on Information Systems for Crisis Response and Management\u2019 04, Brussels, Belgium. 2004."}],"container-title":["Applications and Innovations in Intelligent Systems XII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-84628-103-2_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T04:47:09Z","timestamp":1557118029000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-84628-103-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9781852339081","9781846281037"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/1-84628-103-2_17","relation":{},"subject":[],"published":{"date-parts":[[2005]]}}}