{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:13:30Z","timestamp":1725455610892},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635925"},{"type":"electronic","value":"9783540696063"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0026794","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:33:26Z","timestamp":1132385606000},"page":"317-322","source":"Crossref","is-referenced-by-count":0,"title":["Modelling competitive co-operation of agents in a compositional multi-agent framework"],"prefix":"10.1007","author":[{"given":"Frances","family":"Brazier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"van Eck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Brazier, F.M.T., Treur, J., Wijngaards, N.J.E., and Willems, M. Formal specification of hierarchically (de)composed tasks. In: Gaines, B.R. and Musen, M. (eds.), Proc. of the 9th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, Vol. 2, pp. 25\/1\u201325\/20, SRDG Publications, Deptartment of Computer Science, University of Calgary, 1995.","DOI":"10.1016\/0950-7051(95)01026-2"},{"key":"21_CR2","unstructured":"Brazier, F.M.T., Treur, J., Wijngaards, N.J.E., and Willems, M. Temporal semantics of complex reasoning tasks. In: Gaines, B.R. and Musen, M. (eds.), Proc. of the 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, Vol. 1, pp. 15\/1\u201315\/17, SRDG Publications, Deptartment of Computer Science, University of Calgary, 1996. Extended version to appear in Data and Knowledge Engineering."},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Cornelissen, F., Jonker, C. and Treur, J. Compositional verification of knowledge-based systems: A case study for diagnostic reasoning. In: Proc. European Knowledge Acquisition Workshop EKAW'97, Springer-Verlag, 1997 (this volume).","DOI":"10.1007\/BFb0026778"},{"issue":"1","key":"21_CR4","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/358527.358537","volume":"24","author":"G. Ricart","year":"1981","unstructured":"Ricart, G. and Agrawala, A.K. An optimal algorithm for mutual exclusion in computer networks. Comm. ACM, Vol. 24(1), pp. 9\u201317, Jan. 1981.","journal-title":"Comm. ACM"},{"key":"21_CR5","unstructured":"Brazier, F.M.T., Van Eck, P.A.T. and Treur, J. Modelling cooperative behaviour for resource access in a compositional multi-agent framework. In: Fiadeiro, J.L. and Schobbens, P.-Y. (eds.) Proc. 2nd Workshop of the ModelAge Project, ModelAge'96, Universidade de Lisboa, 1996."},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Brazier, F.M.T., Dunin Keplicz, B., Jennings, N. and Treur, J. DESIRE Modelling Multi-Agent Systems in a Compositional Formal Framework, International Journal of Cooperative Information Systems, Vol. 6, Huhns, M. and Singh, M. (eds.), Special Issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems, 1997.","DOI":"10.1142\/S0218843097000069"},{"issue":"2","key":"21_CR7","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1017\/S0269888900008122","volume":"10","author":"M.J. Wooldridge","year":"1995","unstructured":"Wooldridge, M.J. and Jennings, N.R. Intelligent agents: Theory and practice. The Knowledge Engineering Review, 10(2):115\u2013152,1995.","journal-title":"The Knowledge Engineering Review"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Dieng, R., Corby, O. and Labidi, S. Agent-based knowledge acquisition. In: Steels, L., Schreiber, G. and Van de Velde, W. (eds.) A Future for Knowledge Acquisition. Proc. EKAW'94. LNAI, Vol. 867, pp. 63\u201382, Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58487-0_4"}],"container-title":["Lecture Notes in Computer Science","Knowledge Acquisition, Modeling and Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026794","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:36:19Z","timestamp":1586568979000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026794"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635925","9783540696063"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/bfb0026794","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}