{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:08:37Z","timestamp":1761620917132},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540641629"},{"type":"electronic","value":"9783540696964"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0026761","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T08:16:05Z","timestamp":1132388165000},"page":"215-229","source":"Crossref","is-referenced-by-count":36,"title":["Formal semantics for an abstract agent programming language"],"prefix":"10.1007","author":[{"given":"Koen V.","family":"Hindriks","sequence":"first","affiliation":[]},{"given":"Frank S.","family":"de Boer","sequence":"additional","affiliation":[]},{"given":"Wiebe","family":"van der Hoek","sequence":"additional","affiliation":[]},{"given":"John-Jules Ch.","family":"Meyer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"17_CR1","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P.R. Cohen","year":"1990","unstructured":"P.R. Cohen and H.J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213\u2013261, 1990.","journal-title":"Artificial Intelligence"},{"key":"17_CR2","unstructured":"Frank Dignum and Rosaria Conte. Intentional Agents and Goal Formation. In this volume."},{"key":"17_CR3","unstructured":"Mark d'Invemo, David Kinny, Michael Luck, and Michael Wooldridge, A Formal Specification of dMARS. In this volume."},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"B. Dunin-Keplicz and J. Treur. Compositional Formal Specification of Multi-Agent Systems. In M.J. Wooldridge and N.R. Jennings, editors, Intelligent Agents, pages 102\u2013117. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-58855-8_6"},{"issue":"3\u20134","key":"17_CR5","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R.E. Fikes","year":"1971","unstructured":"R.E. Fikes and N.J. Nilson. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2(3\u20134):189\u2013208, 1971.","journal-title":"Artificial Intelligence"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"M. Fisher.A Survey of Concurrent MetateM \u2014 The Language and its Applications. In Temporal Logic, pages 480\u2013505. Springer, 1994.","DOI":"10.1007\/BFb0014005"},{"key":"17_CR7","unstructured":"G. De Giacomo, Y. Lesp\u00e9rance, and H.J. Levesque. Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus. accepted for IJCAI-97."},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Y Lesp\u00e9rance, H.J. Levesque, F. Lin, and D. Marcu. Foundations of a Logical Approach to Agent Programming. In M.J. Wooldridge, J.P. Miller, and M. Tambe, editors, Intelligent Agents II, pages 331\u2013346. Springer, 1996.","DOI":"10.1007\/3540608052_76"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of Logic Programming. Springer, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"17_CR10","unstructured":"Marco Mulder, Jan Treur, and Michael Fisher. Agent Modelling in MetateM and DESIRE. In this volume."},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"J.P. M\u00fcller. The Design of Intelligent Agents. Springer, 1996.","DOI":"10.1007\/BFb0017806"},{"key":"17_CR12","unstructured":"G. Plotkin. A structural approach to operational semantics. Technical report, Aarhus University, Computer Science Department, 1981."},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"A. Poggi. DAISY: An object-oriented system for distributed artificial intelligence. In M.J. Wooldridge and N.R. Jennings, editors, Intelligent Agents, pages 341\u2013354. Springer, 1995.","DOI":"10.1007\/3-540-58855-8_22"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Anand S. Rao. AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In W. van der Velde and J.W. Perram, editors, Agents Breaking Away, pages 42\u201355. Springer, 1996.","DOI":"10.1007\/BFb0031845"},{"key":"17_CR15","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Yoav Shoham. Agent-oriented programming. Artificial Intelligence, 60:51\u201392, 1993.","journal-title":"Artificial Intelligence"},{"key":"17_CR16","unstructured":"M.P. Singh. Multiagent systems, volume 799 of LNAI. Springer, 1994."},{"key":"17_CR17","unstructured":"Sarah Rebecca Thomas. PLACA, An Agent Oriented Programming Language. PhD thesis, Department of Computer Science, Stanford University, 1993."},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"W. van der Hoek, B. van Linder, and J.-J. Ch. Meyer. A logic of capabilities. In A. Nerode and Y.V. Matiyasevich, editors, Proc. of the third int. symposium on the logical foundations of computer science, pages 366\u2013378. Springer, 1994.","DOI":"10.1007\/3-540-58140-5_34"},{"key":"17_CR19","unstructured":"R.M. van Eijk, F.S. de Boer, W. van der Hoek, and J.-J. Ch. Meyer. Concurrent programming languages for multi-agent systems. Technical report, Department of Computer Science, University Utrecht, 1997."},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"B. van Linder, W. van der Hoek, and J.-J.Ch. Meyer. Formalising motivational attitudes of agents: On preferences, goals, and commitments. In M.J. Wooldridge, J.P. M\u00fcller, and M. Tambe, editors, Intelligent agents II, pages 17\u201332. Springer, 1996.","DOI":"10.1007\/3540608052_56"},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"M.J. Wooldridge. A Knowledge-Theoretic Semantics for Concurrent MetateM. In J.P. M\u00fcller, M.J. Wooldridge, and N.R. Jennings, editors, Intelligent Agents III, pages 357\u2013374. Springer, 1997.","DOI":"10.1007\/BFb0013597"}],"container-title":["Lecture Notes in Computer Science","Intelligent Agents IV Agent Theories, Architectures, and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026761","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:40:16Z","timestamp":1586569216000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026761"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540641629","9783540696964"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0026761","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}