{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:15:22Z","timestamp":1725549322958},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540240105"},{"type":"electronic","value":"9783540302001"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30200-1_2","type":"book-chapter","created":{"date-parts":[[2010,2,28]],"date-time":"2010-02-28T18:23:07Z","timestamp":1267381387000},"page":"16-33","source":"Crossref","is-referenced-by-count":7,"title":["Programming Groups of Rational 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"},{"volume-title":"The Imperative Future: Principles of Executable Temporal Logics","year":"1996","key":"2_CR2","unstructured":"Barringer, H., Fisher, M., Gabbay, D., Owens, R., Reynolds, M. (eds.): The Imperative Future: Principles of Executable Temporal Logics. Research Studies Press, Chichester (1996)"},{"key":"2_CR3","unstructured":"Busetta, P.: A Transaction Based Multi-Agent System. Master\u2019s thesis, Department of Computer Science, University of Melbourne (1999)"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Bussmann, S., Schild, K.: Self-Organizing Manufacturing Control: An Industrial Application of Agent Technology. In: Proc. Fourth Int. Conf. on Multi-Agent Systems, Boston, MA, USA, pp. 87\u201394 (2000)","DOI":"10.1109\/ICMAS.2000.858435"},{"key":"2_CR5","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_CR6","volume-title":"Intelligent Agents","author":"M. Fisher","year":"1995","unstructured":"Fisher, M.: Representing and Executing Agent-Based Systems. In: Intelligent Agents. Springer, Heidelberg (1995)"},{"issue":"1","key":"2_CR7","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1017\/S0269888900007670","volume":"11","author":"M. Fisher","year":"1996","unstructured":"Fisher, M.: An Introduction to Executable Temporal Logics. Knowledge Engineering Review\u00a011(1), 43\u201356 (1996)","journal-title":"Knowledge Engineering Review"},{"issue":"4","key":"2_CR8","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1093\/logcom\/7.4.429","volume":"7","author":"M. Fisher","year":"1997","unstructured":"Fisher, M.: A Normal Form for Temporal Logic and its Application in Theorem-Proving and Execution. Journal of Logic and Computation\u00a07(4), 429\u2013456 (1997)","journal-title":"Journal of Logic and Computation"},{"key":"2_CR9","volume-title":"Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI 1997)","author":"M. Fisher","year":"1997","unstructured":"Fisher, M.: Implementing BDI-like Systems by Direct Execution. In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI 1997). Morgan-Kaufmann, San Francisco (1997)"},{"key":"2_CR10","volume-title":"Proceedings of International Joint Conference on Artificial Intelligence (IJCAI)","author":"M. Fisher","year":"1999","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_CR11","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 2002), Bologna, Italy (July 2002)","DOI":"10.1145\/544862.544943"},{"key":"2_CR12","unstructured":"Fisher, M., Kakoudakis, T.: Flexible Agent Grouping in Executable Temporal Logic. In: Proc. 12th International Symposium of Intensional Programming Languages (1999)"},{"issue":"2","key":"2_CR13","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_CR14","doi-asserted-by":"crossref","unstructured":"Glushko, R.J., Tenenbaum, J.M., Meltzer, B.: An XML Framework for Agent-Based E-commerce. Communications of the ACM\u00a042(3) (1999)","DOI":"10.1145\/295685.295720"},{"key":"2_CR15","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-540-45133-4_2","volume-title":"Formal Approaches to Agent-Based Systems","author":"B. Hirsch","year":"2003","unstructured":"Hirsch, B., Fisher, M., Ghidini, C.: Organising Logic-Based Agents. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A., Gordon-Spears, D.F. (eds.) FAABS 2002. LNCS (LNAI), vol.\u00a02699, pp. 15\u201327. Springer, Heidelberg (2003)"},{"key":"2_CR16","unstructured":"Hirsch, B., Fisher, M., Ghidini, C.: Programming Group Computations. In: First European Workshop on Multi-Agent Systems (EUMAS 2003) (December 2003)"},{"issue":"4","key":"2_CR17","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1109\/MIC.2002.1020332","volume":"6","author":"M.N. Huhns","year":"2002","unstructured":"Huhns, M.N.: Agents as Web Services. IEEE Internet Computing\u00a06(4), 93\u201395 (2002)","journal-title":"IEEE Internet Computing"},{"issue":"1-2","key":"2_CR18","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0004-3702(98)00068-X","volume":"103","author":"N. Muscettola","year":"1998","unstructured":"Muscettola, N., Pandurang Nayak, P., Pell, B., Williams, B.: Remote agent: To boldly go where no AI system has gone before. Artificial Intelligence\u00a0103(1-2), 5\u201348 (1998)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30200-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T10:28:49Z","timestamp":1552386529000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30200-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540240105","9783540302001"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30200-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}