{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:14:18Z","timestamp":1725574458525},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540406655"},{"type":"electronic","value":"9783540451334"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45133-4_2","type":"book-chapter","created":{"date-parts":[[2011,1,8]],"date-time":"2011-01-08T21:45:22Z","timestamp":1294523122000},"page":"15-27","source":"Crossref","is-referenced-by-count":4,"title":["Organising Logic-Based Agents"],"prefix":"10.1007","author":[{"given":"Michael","family":"Fisher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chiara","family":"Ghidini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin","family":"Hirsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"2_CR1","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1007\/BF01211631","volume":"7","author":"H. Barringer","year":"1995","unstructured":"Barringer, H., Fisher, M., Gabbay, D., Gough, G., Owens, R.: MetateM: An Introduction. Formal Aspects of Computing\u00a07(5), 533\u2013549 (1995)","journal-title":"Formal Aspects of Computing"},{"issue":"3","key":"2_CR2","first-page":"401","volume":"8","author":"M. Benerecetti","year":"1998","unstructured":"Benerecetti, M., Giunchiglia, F., Serafini, L.: Model Checking Multiagent Systems. Journal of Logic and Computation, Special Issue on Computational & Logical Aspects of Multi-Agent Systems\u00a08(3), 401\u2013423 (1998)","journal-title":"Journal of Logic and Computation, Special Issue on Computational & Logical Aspects of Multi-Agent Systems"},{"key":"2_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic : An Introduction","author":"B. Chellas","year":"1980","unstructured":"Chellas, B.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)"},{"key":"2_CR4","first-page":"996","volume-title":"Handbook of Theoretical Computer Science","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and Modal Logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, pp. 996\u20131072. Elsevier, Amsterdam (1990)"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Fisher, M.: Concurrent MetateM \u2014 A Language for Modeling Reactive Systems. In: Reeve, M., Bode, A., Wolf, G. (eds.) PARLE 1993. LNCS, vol.\u00a0694. Springer, Heidelberg (1993)","DOI":"10.1007\/3-540-56891-3_15"},{"key":"2_CR6","unstructured":"Fisher, M.: Implementing BDI-like Systems by Direct Execution. In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI). Morgan-Kaufmann, San Francisco (1997)"},{"key":"2_CR7","unstructured":"Fisher, M., Ghidini, C.: Programming Resource-Bounded Deliberative Agents. In: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), Morgan Kaufmann, San Francisco (1999)"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Fisher, M., Ghidini, C.: The ABC of Rational Agent Modelling. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), Bologna, Italy (July 2002)","DOI":"10.1145\/544862.544943"},{"key":"2_CR9","unstructured":"Fisher, M., Kakoudakis, T.: Flexible Agent Grouping in Executable Temporal Logic. In: Proceedings of the 12th International Symposium of Intensional Programming Languages. World Scientific, Singapore (1999)"},{"issue":"2","key":"2_CR10","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0004-3702(01)00064-9","volume":"127","author":"C. Ghidini","year":"2001","unstructured":"Ghidini, C., Giunchiglia, F.: Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. Artificial Intelligence\u00a0127(2), 221\u2013259 (2001)","journal-title":"Artificial Intelligence"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The Temporal Logic of Programs. In: Proceedings of the Eighteenth Symposium on the Foundations of Computer Science, Providence, USA (November 1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"2_CR12","unstructured":"Tambe, M.: Agent Architectures for Flexible, Practical Teamwork. In: National Conference on Artificial Intelligence, AAAI 1997 (1997)"}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Agent-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45133-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T18:25:29Z","timestamp":1559931929000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45133-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540406655","9783540451334"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45133-4_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}