{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T08:36:27Z","timestamp":1768552587599,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540651383","type":"print"},{"value":"9783540495611","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0095049","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T09:01:04Z","timestamp":1164358864000},"page":"155-166","source":"Crossref","is-referenced-by-count":9,"title":["A formal embedding of agentspeak(L) in 3APL"],"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":[[2006,10,19]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"M. Felleisen. On the expressive power of programming languages. In G. Goos and J. Hartmanis, editors, 3rd European Symposium on Programming (LNCS 432), pages 134\u2013151. Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52592-0_60"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J.-J. C. meyer. A Formal Embedding of AgentSpeak(L) in 3APL. Technical Report UU-CS-1998-07, University Utrecht, Department of Computer Science, 1998.","DOI":"10.1007\/BFb0095049"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J.-J. C. Meyer. Control Structures of Rule-Based Agent Languages. Accepted for ATAL98, 1998.","DOI":"10.1007\/3-540-49057-4_25"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J.-J. C. Meyer. Formal Semantics for an Abstract Agent Programming Language. In M. P. Singh, A. Rao, and M. J. Wooldridge, editors, Intelligent Agents IV (LNAI 1365), pages 215\u2013229, 1998.","DOI":"10.1007\/BFb0026761"},{"key":"14_CR5","unstructured":"D. M. R. Park. Concurrency and Automata on Infinite Sequences (LNCS 104). Springer-Verlag, 1980."},{"key":"14_CR6","unstructured":"G. Plotkin. A structural approach to operational semantics. Technical report, Aarhus University, Computer Science Department, 1981."},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"A. S. Rao. AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In W. van der Velde and J. Perram, editors, Agents Breaking Away, pages 42\u201355. Springer, 1996.","DOI":"10.1007\/BFb0031845"},{"key":"14_CR8","unstructured":"A. S. Rao. Private communication, March 1997."},{"key":"14_CR9","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:51\u201392, 1993.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Advanced Topics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0095049","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,22]],"date-time":"2019-04-22T10:46:01Z","timestamp":1555929961000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0095049"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651383","9783540495611"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0095049","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998]]}}}