{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T21:00:15Z","timestamp":1774386015613,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,5,8]],"date-time":"2006-05-08T00:00:00Z","timestamp":1147046400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,5,8]]},"DOI":"10.1145\/1160633.1160865","type":"proceedings-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T18:04:00Z","timestamp":1161194640000},"page":"1279-1281","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Prototyping 3APL in the Maude term rewriting language"],"prefix":"10.1145","author":[{"given":"M. Birna","family":"van Riemsdijk","sequence":"first","affiliation":[{"name":"Utrecht University, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank S.","family":"de Boer","sequence":"additional","affiliation":[{"name":"Utrecht University, CWI, Amsterdam, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehdi","family":"Dastani","sequence":"additional","affiliation":[{"name":"Utrecht University, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John-Jules Ch.","family":"Meyer","sequence":"additional","affiliation":[{"name":"Utrecht University, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,5,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/646168.680994"},{"key":"e_1_3_2_1_2_1","volume-title":"El Fallah Seghrouchni. Multi-Agent Programming: Languages, Platforms and Applications","author":"Bordini R. H.","year":"2005","unstructured":"R. H. Bordini, M. Dastani, J. Dix, and A. El Fallah Seghrouchni. Multi-Agent Programming: Languages, Platforms and Applications. Springer, Berlin, 2005.]]"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/860575.860641"},{"key":"e_1_3_2_1_4_1","volume-title":"Proving the asymmetry thesis principles for a BDI agent-oriented programming language. Electronic Notes in Theoretical Computer Science, 70(5)","author":"Bordini R. H.","year":"2002","unstructured":"R. H. Bordini and A. F. Moreira. Proving the asymmetry thesis principles for a BDI agent-oriented programming language. Electronic Notes in Theoretical Computer Science, 70(5), 2002.]]"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-32128-6_3"},{"key":"e_1_3_2_1_6_1","volume-title":"Maude manual (version 2.1.1)","author":"Clavel M.","year":"2005","unstructured":"M. Clavel, F. Dur\u00e1n, S. Eker, P. Lincoln, N. Mart\u00ed-Oliet, J. Meseguer, and C. Talcott. Maude manual (version 2.1.1). 2005.]]"},{"key":"e_1_3_2_1_7_1","first-page":"125","article-title":"Reflection and strategies in rewriting logic","volume":"4","author":"Clavel M.","year":"1996","unstructured":"M. Clavel and J. Meseguer. Reflection and strategies in rewriting logic. Electronic Notes in Theoretical Computer Science, 4:125--147, 1996.]]","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/860575.860592"},{"key":"e_1_3_2_1_9_1","volume-title":"workshop (ProMAS'03)","volume":"3067","author":"Dastani M.","year":"2004","unstructured":"M. Dastani, M. B. van Riemsdijk, F. Dignum, and J.-J. Ch. Meyer. A programming language for cognitive agents: goal directed 3APL. In Programming multiagent systems, first int. workshop (ProMAS'03), volume 3067 of LNAI. Springer, Berlin, 2004.]]"},{"key":"e_1_3_2_1_10_1","volume-title":"Programming multi-agent systems in 3APL","author":"Dastani M.","year":"2005","unstructured":"M. Dastani, M. B. van Riemsdijk, and J.-J. Ch. Meyer. Programming multi-agent systems in 3APL. In R. H. Bordini, M. Dastani, J. Dix, and A. El Fallah Seghrouchni, editors, Multi-Agent Programming: Languages, Platforms and Applications. Springer, Berlin, 2005.]]"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/647629.732580"},{"key":"e_1_3_2_1_12_1","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proc. of the 4th Int. Workshop on Rewriting Logic and Its Applications (WRLA","author":"Eker S.","year":"2002","unstructured":"S. Eker, J. Meseguer, and A. Sridharanarayanan. The Maude LTL model checker. In F. Gaducci and U. Montanari, editors, Proc. of the 4th Int. Workshop on Rewriting Logic and Its Applications (WRLA 2002), volume 71 of Electronic Notes in Theoretical Computer Science. Elsevier, 2002.]]"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010084620690"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/95422"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_3_2_1_16_1","volume-title":"Electronic Notes in Theoretical Computer Science","author":"Kulas M.","year":"2000","unstructured":"M. Kulas and C. Beierle. Defining standard Prolog in rewriting logic. In Electronic Notes in Theoretical Computer Science, volume 36. Elsevier Science Publishers, 2000.]]"},{"key":"e_1_3_2_1_17_1","volume-title":"Electronic Notes in Theoretical Computer Science","author":"Mart\u00ed-Oliet N.","year":"2000","unstructured":"N. Mart\u00ed-Oliet and J. Meseguer. Rewriting logic as a logical and semantic framework. In J. Meseguer, editor, Electronic Notes in Theoretical Computer Science, volume 4. Elsevier Science Publishers, 2000.]]"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90182-F"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/645934.673375"},{"key":"e_1_3_2_1_20_1","volume-title":"Lecture Notes","author":"\u00d6lveczky P. C.","year":"2005","unstructured":"P. C. \u00d6lveczky. Formal modeling and analysis of distributed systems in Maude. Lecture Notes, 2005.]]"},{"key":"e_1_3_2_1_21_1","unstructured":"G. D. Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19 University of Aarhus 1981.]]"},{"key":"e_1_3_2_1_22_1","volume-title":"Jadex: a BDI reasoning engine","author":"Pokahr A.","year":"2005","unstructured":"A. Pokahr, L. Braubach, and W. Lamersdorf. Jadex: a BDI reasoning engine. In R. H. Bordini, M. Dastani, J. Dix, and A. El Fallah Seghrouchni, editors, Multi-Agent Programming: Languages, Platforms and Applications. Springer, Berlin, 2005.]]"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1082473.1082494"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.09.070"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/860575.860639"},{"key":"e_1_3_2_1_26_1","volume-title":"Universidad Complutense de Madrid","author":"Verdejo A.","year":"2003","unstructured":"A. Verdejo and N. Mart\u00ed-Oliet. Executable structural operational semantics in Maude. Technical report, Universidad Complutense de Madrid, Madrid, 2003.]]"},{"key":"e_1_3_2_1_27_1","volume-title":"Elsevier","author":"Wirsing M.","year":"1990","unstructured":"M. Wirsing. Algebraic specification. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics. Elsevier, Amsterdam, 1990.]]"}],"event":{"name":"AAMAS06: AAMAS '06 - 5th International Joint Conference on Autonomous Agents and Multi-agent Systems 2006","location":"Hakodate Japan","acronym":"AAMAS06","sponsor":["IFMAS The International Foundation for Multiagent Systems","SIGAI ACM Special Interest Group on Artificial Intelligence","ATAL The International Workshop on Agent Theories, Architectures, and Languages"]},"container-title":["Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1160633.1160865","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1160633.1160865","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T17:32:06Z","timestamp":1774373526000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1160633.1160865"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,5,8]]},"references-count":27,"alternative-id":["10.1145\/1160633.1160865","10.1145\/1160633"],"URL":"https:\/\/doi.org\/10.1145\/1160633.1160865","relation":{},"subject":[],"published":{"date-parts":[[2006,5,8]]},"assertion":[{"value":"2006-05-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}