{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:43:47Z","timestamp":1725486227298},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540433705"},{"type":"electronic","value":"9783540459415"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45941-3_16","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T01:54:58Z","timestamp":1181181298000},"page":"151-160","source":"Crossref","is-referenced-by-count":3,"title":["Temporal Languages for Simulation and Analysis of the Dynamics within an Organisation"],"prefix":"10.1007","author":[{"given":"Catholijn M.","family":"Jonker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wouter C.A.","family":"Wijngaards","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,14]]},"reference":[{"key":"16_CR1","unstructured":"Barringer, H., Fisher, M., Gabbay, D., Owens, R. & Reynolds, M. (1996). The Imperative Future: Principles of Executable Temporal Logic, Research Studies Press Ltd. and John Wiley & Sons."},{"key":"16_CR2","unstructured":"Brazier, F.M.T., Jonker, C.M. & Treur, J., Principles of Compositional Multi-agent System Development. In: J. Cuena (ed.), Proceedings of the 15th IFIP World Computer Congress, WCC\u201998, Conference on Information Technology and Knowledge Systems, IT&KNOWS\u201998, 1998, pp. 347\u2013360. To be published by IOS Press, 2002."},{"key":"16_CR3","unstructured":"Brazier, F. M. T., Jonker, C. M., J\u00fcngen, F. J. & Treur, J. (1999). Distributed Scheduling to Support a Call Centre: a Co-operative Multi-Agent Approach. In: Applied Artificial Intelligence Journal, vol. 13, pp. 65\u201390. H. S. Nwana and D. T. Ndumu (eds.), Special Issue on Multi-Agent Systems."},{"key":"16_CR4","unstructured":"Ferber, J. & Gutknecht, O. (1998). A meta-model for the analysis and design of organisations in multi-agent systems. In: Proc. of the Third International Conference on Multi-Agent Systems (ICMAS\u2019 98) Proceedings. IEEE Computer Society, 1998"},{"key":"16_CR5","unstructured":"Ferber, J. & Gutknecht, O. (1999). Operational Semantics of a role-based agent architecture. Proceedings of the 6th Int. Workshop on Agent Theories, Architectures and Languages. Lecture Notes in AI, Springer-Verlag."},{"key":"16_CR6","unstructured":"Ferber, J., Gutknecht, O., Jonker, C.M., Mueller, J.P. & Treur, J. (2000). Organisation Models and Behavioural Requirements Specification for Multi-Agent Systems (extended abstract). In: Proc. of the Fourth International Conference on Multi-Agent Systems, ICMAS 2000. IEEE Computer Society Press, 2000. Extended version in: Proc. of MAAMAW\u201901."},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Fisher, M., A survey of Concurrent METATEM \u2014 the language and its applications. In: D.M. Gabbay & H.J. Ohlbach (eds.), Temporal Logic \u2014 Proceedings of the First International Conference, Lecture Notes in AI, vol. 827, pp. 480\u2013505.","DOI":"10.1007\/BFb0014005"},{"key":"16_CR8","unstructured":"Herlea, D.E., Jonker, C.M., Treur, J. & Wijngaards, N.J.E. (1999). Specification of Behavioural Requirements within Compositional Multi-Agent System Design. In: F.J. Garijo & M. Boman (eds.), Multi-Agent System Engineering, Proc. of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW\u201999. Lecture Notes in AI, vol. 1647, Springer Verlag, 1999, pp. 8\u201327."},{"key":"16_CR9","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BF03037518","volume":"8","author":"S. H\u00f6lldobler","year":"1990","unstructured":"H\u00f6lldobler, S. & Thielscher, M. (1990). A new deductive approach to planning. New Generation Computing, 8:225\u2013244, 1990.","journal-title":"New Generation Computing"},{"key":"16_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45432-2","volume-title":"Proc. of the 2nd International Workshop on Agent-Oriented Software Engineering, AOSE\u201901","author":"C.M. Jonker","year":"2001","unstructured":"Jonker, C.M., Letia, I.A. & Treur, J. (2001). Diagnosis of the Dynamics within an Organisation by Trace Checking of Behavioural Requirements. In: Wooldridge, M., Ciancarini, P., and Weiss, G. (eds.), Proc. of the 2nd International Workshop on Agent-Oriented Software Engineering, AOSE\u201901. Lecture Notes in Computer Science, Springer Verlag, to appear."},{"key":"16_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1007\/3-540-49213-5_13","volume-title":"Proceedings of the International Workshop on Compositionality, COMPOS\u201997","author":"C.M. Jonker","year":"1998","unstructured":"Jonker, C.M., & Treur, J. (1998). Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness. In: W.P. de Roever, H. Langmaack, A. Pnueli (eds.), Proceedings of the International Workshop on Compositionality, COMPOS\u201997. Lecture Notes in Computer Science, vol. 1536, Springer Verlag, 1998, pp. 350\u2013380. Extended version in: International Journal of Cooperative Information Systems. In press, 2002."},{"key":"16_CR12","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4629.001.0001","volume-title":"Mind in a Physical world: an Essay on the Mind-Body Problem and Mental Causation","author":"J. Kim","year":"1998","unstructured":"Kim, J. (1998). Mind in a Physical world: an Essay on the Mind-Body Problem and Mental Causation. MIT Press, Cambridge, Mass, 1998."},{"key":"16_CR13","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"Kowalski, R. & Sergot, M. (1986). A logic-based calculus of events. New Generation Computing, 4:67\u201395, 1986.","journal-title":"New Generation Computing"},{"key":"16_CR14","first-page":"463","volume":"4","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J. & P. Hayes, P. (1969). Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence, 4:463\u2013502, 1969.","journal-title":"Machine Intelligence"},{"issue":"1","key":"16_CR15","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1023\/A:1009600530279","volume":"4","author":"S. Moss","year":"1998","unstructured":"Moss, S., Gaylard, H., Wallis, S. & Edmonds, B. (1998), SDML: A Multi-Agent Language for Organizational Modelling, Computational and Mathematical Organization Theory 4, (1), 43\u201370.","journal-title":"Computational and Mathematical Organization Theory"},{"volume-title":"Mind as Motion: Explorations in the Dynamics of Cognition","year":"1995","key":"16_CR16","unstructured":"Port, R.F. & Gelder, T. van (eds.). (1995) Mind as Motion: Explorations in the Dynamics of Cognition. MIT Press, Cambridge, Mass, 1995."}],"container-title":["Lecture Notes in Computer Science","From Theory to Practice in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45941-3_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T19:42:38Z","timestamp":1556480558000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45941-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433705","9783540459415"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-45941-3_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}