{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T04:43:44Z","timestamp":1747543424072},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540679448"},{"type":"electronic","value":"9783540445258"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44525-0_11","type":"book-chapter","created":{"date-parts":[[2007,5,1]],"date-time":"2007-05-01T06:00:58Z","timestamp":1177999258000},"page":"168-187","source":"Crossref","is-referenced-by-count":6,"title":["A Formal Architecture for the 3APL Agent Programming Language"],"prefix":"10.1007","author":[{"given":"Mark","family":"d\u2019Inverno","sequence":"first","affiliation":[]},{"given":"Koen","family":"Hindriks","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Luck","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,12,21]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"R. Ashri and M. Luck. Agent implementation through jini. In Proceedings of the Eleventh International Workshop on Database and Expert Systems Applications. IEEE Computer Society Press, to appear 2000.","key":"11_CR1","DOI":"10.1109\/DEXA.2000.875065"},{"doi-asserted-by":"crossref","unstructured":"M. d\u2019Inverno, D. Kinny, M. Luck, and M. Wooldridge. A formal specification of dMARS. In Intelligent Agents IV: Proceedings of the Fourth International Workshop on Agent Theories, Architectures and Languages, Lecture Notes in Artificial Intelligence 1365, pages 155\u2013176. Springer-Verlag, 1998.","key":"11_CR2","DOI":"10.1007\/BFb0026757"},{"issue":"3","key":"11_CR3","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1093\/logcom\/8.3.233","volume":"8","author":"M. d\u2019Inverno","year":"1998","unstructured":"M. d\u2019Inverno and M. Luck. Engineering agentspeak(L): A formal computational model. Journal of Logic and Computation, 8(3):233\u2013260, 1998.","journal-title":"Journal of Logic and Computation"},{"unstructured":"M. R. Genesereth and N. Nilsson. Logical Foundations of Artificial Intelligence. Morgan Kaufman, 1987.","key":"11_CR4"},{"issue":"6","key":"11_CR5","doi-asserted-by":"publisher","first-page":"763","DOI":"10.1093\/logcom\/5.6.763","volume":"5","author":"R. Goodwin","year":"1995","unstructured":"R. Goodwin. A formal specification of agent properties. Journal of Logic and Computation, 5(6):763\u2013781, 1995.","journal-title":"Journal of Logic and Computation"},{"doi-asserted-by":"crossref","unstructured":"K. Hindriks, M. d\u2019Inverno, and M. Luck. Architecture for agent programming languages. In ECAI2000: Proceedings of the Fourteenth European Conference on Artificial Intelligence, to appear 2000.","key":"11_CR6","DOI":"10.1007\/3-540-44525-0_11"},{"doi-asserted-by":"crossref","unstructured":"K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J-J. Ch. Meyer. Formal Semantics for an Abstract Agent Programming Language. In Intelligent Agents IV: Proceedings of the Fourth International Workshop on Agent Theories, Architectures and Languages, Lecture Notes in Artificial Intelligence 1365, pages 215\u2013229. Springer-Verlag, 1998.","key":"11_CR7","DOI":"10.1007\/BFb0026761"},{"doi-asserted-by":"crossref","unstructured":"K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J-J. Ch. Meyer. Control structures of rule-based agent languages. In Intelligent Agents V, Lecture Notes in Artificial Intelligence 1555 Springer-Verlag, 1999.","key":"11_CR8","DOI":"10.1007\/3-540-49057-4_25"},{"unstructured":"G. Kiss. Goal, values, and agent dynamics. In G. M. P. O\u2019Hare and N. R. Jennings (eds), editors, Foundations of Distributed Artificial Intelligence, pages 247\u2013268. John Wiley and Sons, 1996.","key":"11_CR9"},{"key":"11_CR10","series-title":"Lect Notes Comput Sci","first-page":"48","volume-title":"ZUM\u201995: The Z Formal Specification Notation, 9th International Conference ofZ Users","author":"M. Luck","year":"1995","unstructured":"M. Luck and M. d\u2019Inverno. Structuring a Z specification to provide a formal framework for autonomous agent systems. In J. P. Bowen and M. G. Hinchey, editors, ZUM\u201995: The Z Formal Specification Notation, 9th International Conference ofZ Users, Lecture Notes in Computer Science 967, pages 48\u201362. Springer-Verlag, 1995."},{"doi-asserted-by":"crossref","unstructured":"M. Luck, N. Griffiths, and M. d\u2019Inverno. From agent theory to agent construction: A case study. In Intelligent Agents III: Proceedings of the Third International Workshop on Agent Theories, Architectures and Languages, Lecture Notes in Artificial Intelligence, 1193, pages 49\u201363. Springer Verlag, 1997.","key":"11_CR11","DOI":"10.1007\/BFb0013575"},{"issue":"7","key":"11_CR12","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/176789.176792","volume":"37","author":"P. Maes","year":"1994","unstructured":"P. Maes. Agents that reduce work and information overload. Communication of the ACM, 37(7):30\u201340, 1994.","journal-title":"Communication of the ACM"},{"unstructured":"A. S. Rao. Agentspeak(l): BDI agents speak out in a logical computable language. In W. Van de Velde and J. W. Perram, editors, Agents Breaking Away: Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Lecture Notes in Artificial Intelligence 1038, pages 42\u201355. Springer-Verlag, 1996.","key":"11_CR13"},{"issue":"1","key":"11_CR14","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60(1):51\u201392, 1993.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","ZB 2000: Formal Specification and Development in Z and B"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44525-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T12:32:05Z","timestamp":1556368325000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44525-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540679448","9783540445258"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-44525-0_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}