{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T10:26:07Z","timestamp":1768559167315,"version":"3.49.0"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1999,11,1]],"date-time":"1999-11-01T00:00:00Z","timestamp":941414400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,11,1]],"date-time":"1999-11-01T00:00:00Z","timestamp":941414400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Autonomous Agents and Multi-Agent Systems"],"published-print":{"date-parts":[[1999,11]]},"DOI":"10.1023\/a:1010084620690","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T00:56:42Z","timestamp":1040605002000},"page":"357-401","source":"Crossref","is-referenced-by-count":219,"title":["Agent Programming in 3APL"],"prefix":"10.1007","volume":"2","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","reference":[{"key":"240086_CR1","volume-title":"Intentions, Plans, and Practical Reasoning","author":"M. E. Bratman","year":"1987","unstructured":"M. E. Bratman, Intentions, Plans, and Practical Reasoning, Harvard University Press: Cambridge, MA, 1987."},{"key":"240086_CR2","doi-asserted-by":"crossref","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, \u201cIntention is choice with commitment,\u201d Artificial Intelligence, vol. 42, pp. 213\u2013261, 1990.","journal-title":"Artificial Intelligence"},{"key":"240086_CR3","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1007\/3-540-58855-8_6","volume-title":"Intelligent Agents (LNAI 890)","author":"B. Dunin-Keplicz","year":"1995","unstructured":"B. Dunin-Keplicz and J. Treur, \u201cCompositional formal specification of multi-agent systems,\u201d in M. J. Wooldridge and N. R. Jennings (eds), Intelligent Agents (LNAI 890), Springer-Verlag: Berlin, 1995, pp. 102\u2013117."},{"issue":"3\u20134","key":"240086_CR4","doi-asserted-by":"crossref","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, \u201cSTRIPS: A new approach to the application of theorem proving to problem solving,\u201d Artificial Intelligence, vol. 2(3\u20134), pp. 189\u2013208, 1971.","journal-title":"Artificial Intelligence"},{"key":"240086_CR5","first-page":"480","volume-title":"Proceedings of First International Conference on Temporal Logic (LNCS 827)","author":"M. Fisher","year":"1994","unstructured":"M. Fisher, \u201cA survey of concurrent metateM--The language and its applications,\u201d in Proceedings of First International Conference on Temporal Logic (LNCS 827), Springer-Verlag: Berlin, 1994, pp. 480\u2013505."},{"key":"240086_CR6","first-page":"1221","volume-title":"Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence","author":"G. De Giacomo","year":"1997","unstructured":"G. De Giacomo, Y. Lesp\u00e9rance and H. J. Levesque, \u201cReasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus,\u201d in M. E. Pollack (ed.), Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, Morgan Kaufman: Los Altos, CA, 1997, pp. 1221\u20131226."},{"key":"240086_CR7","doi-asserted-by":"crossref","unstructured":"G. De Giacomo and H. J. Levesque, \u201cAn incremental interpreter for high-level programs with sensing,\u201d Department of Computer Science, University of Toronto, Technical Report, 1998.","DOI":"10.1007\/978-3-642-60211-5_8"},{"key":"240086_CR8","first-page":"155","volume-title":"Advanced Topics in Artificial Intelligence (LNAI 1502)","author":"K. V. Hindriks","year":"1998","unstructured":"K. V. Hindriks, F. S. de Boer, W. van der Hoek and J.-J. Ch. Meyer, \u201cA formal embedding of AgentSpeak(L) in 3APL,\u201d in G. Antoniou and J. Slaney (eds.), Advanced Topics in Artificial Intelligence (LNAI 1502), Springer-Verlag: Berlin, 1998, pp. 155\u2013166."},{"key":"240086_CR9","unstructured":"K. V. Hindriks, E. S. de Boer, W. van der Hoek and J.-J. Ch. Meyer, \u201cFailure, monitoring and recovery in the agent language 3APL,\u201d in G. de Giacomo (ed.), AAAI 1998 Fall Symposium on Cognitive Robotics, 1998, pp. 68\u201375."},{"key":"240086_CR10","first-page":"215","volume-title":"Intelligent Agents IV (LNAI 1365)","author":"K. V. Hindriks","year":"1998","unstructured":"K. V. Hindriks, F. S. de Boer, W. van der Hoek and J.-J. Ch. Meyer, \u201cFormal semantics for an abstract agent programming language,\u201d in M. P. Singh, A. S. Rao and M. J. Wooldridge (eds.), Intelligent Agents IV (LNAI 1365), Springer-Verlag: Berlin, 1998, pp. 215\u2013229."},{"key":"240086_CR11","unstructured":"K. V. Hindriks, F. S. de Boer, W. van der Hoek and J.-J. Ch. Meyer, \u201cFormal semantics of the core of AGENT-0,\u201d ECAI'98 Workshop on Practical Reasoning and Rationality, 1998, pp. 20\u201329."},{"key":"240086_CR12","first-page":"381","volume-title":"Intelligent Agents V (LNAI 1555)","author":"K. V. Hindriks","year":"1999","unstructured":"K. V. Hindriks, F. S. de Boer, W. van der Hoek and J.-J. Ch. Meyer, \u201cControl structures of rule-based agent languages,\u201d in J. P. M\u00fcller, M. P. Singh and A. S. Rao (eds.), Intelligent Agents V (LNAI 1555), Springer-Verlag: Berlin, 1999, pp. 381\u2013396."},{"key":"240086_CR13","doi-asserted-by":"crossref","unstructured":"K. V. Hindriks, F. S. de Boer, W. van der Hoek and J.-J. Ch. Meyer, \u201cSemantics of communicating agents based on deduction and abduction,\u201d Department of Computer Science, University Utrecht, Technical Report UU-CS-1999\u201309, 1999.","DOI":"10.1007\/10722777_5"},{"key":"240086_CR14","first-page":"137","volume-title":"Proc. International Workshop on Logic in Databases (LNCS 1154)","author":"R. Kowalski","year":"1996","unstructured":"R. Kowalski and E. Sadri, \u201cTowards a unified agent architecture that conmbines rationality with reactivity,\u201d in Proc. International Workshop on Logic in Databases (LNCS 1154), Springer-Verlag: Berlin, 1996, pp. 137\u2013149."},{"key":"240086_CR15","unstructured":"R. Kowalski, F. Toni and G. Wetzel, \u201cTowards a declarative and glass-box clp language,\u201d in N. E. Fuchs and G. Gottlob (eds.), in Proc. of the 10th Logic Programming Workshop, University of Zurich, 1994, (ifi-Report Nr. 94.10)."},{"key":"240086_CR16","first-page":"331","volume-title":"Intelligent Agents II (LNAI 1037)","author":"Y. Lesp\u00e9rance","year":"1996","unstructured":"Y. Lesp\u00e9rance, H. J. Levesque, F. Lin, D. Marcu, R. Reiter and R. B. Scherl, \u201cFoundations of a logical approach to agent programming,\u201d in M. J. Wooldridge, J. P. M\u00fcller and M. Tambe (eds.), Intelligent Agents II (LNAI 1037), Springer-Verlag: Berlin, 1996, pp. 331\u2013346."},{"key":"240086_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"J. W. Lloyd, Foundations of Logic Programming, Springer-Verlag: Berlin, 1987."},{"key":"240086_CR18","unstructured":"G. Plotkin, \u201cA structural approach to operational semantics,\u201d Aarhus University, Computer Science Department, Technical Reports, 1981."},{"key":"240086_CR19","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/3-540-58855-8_22","volume-title":"Intelligent Agents (LNAI 890)","author":"A. Poggi","year":"1995","unstructured":"A. Poggi, \u201cDAISY: An object-oriented system for distributed artificial intelligence,\u201d M. J. Wooldridge and N. R. Jennings (eds.), Intelligent Agents (LNAI 890), Springer-Verlag: Berlin, 1995, pp. 341\u2013354."},{"key":"240086_CR20","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away (LNAI 1038)","author":"A. S. Rao","year":"1996","unstructured":"A. S. Rao, \u201cAgentSpeak(L): BDI agents speak out in a logical computable language,\u201d in W. van der Velde and J. W. Perram (eds.), Agents Breaking Away (LNAI 1038), Springer-Verlag: Berlin, 1996, pp. 42\u201355."},{"key":"240086_CR21","first-page":"33","volume-title":"Intelligent Agents II (LNAI 1037)","author":"A. S. Rao","year":"1996","unstructured":"A. S. Rao, \u201cDecision procedures for propositional linear-time belief-desire-intention logics,\u201d in M. J. Wooldridge, J. P. M\u00fcller and M. Tambe (eds.), Intelligent Agents II (LNAI 1037), Springer-Verlag: Berlin, 1996, pp. 33\u201348."},{"key":"240086_CR22","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Y. Shoham, \u201cAgent-oriented programming,\u201d Artificial Intelligence, vol. 60, pp. 51\u201392, 1993.","journal-title":"Artificial Intelligence"},{"key":"240086_CR23","volume-title":"Multiagent Systems (LNAI 799)","author":"M. P. Singh","year":"1994","unstructured":"M. P. Singh, Multiagent Systems (LNAI 799), Springer-Verlag: Berlin, 1994."},{"key":"240086_CR24","unstructured":"S. R. Thomas, \u201cPLACA, an agent oriented programming language,\u201d Ph.D. thesis, Department of Computer Science, Stanford University, 1993."},{"key":"240086_CR25","first-page":"366","volume-title":"Proc. of the Third Int. Symposium on the Logical Foundations of Computer Science (LNCS 813)","author":"W. van der Hoek","year":"1994","unstructured":"W. van der Hoek, B. van Linder and J.-J. Ch. Meyer, \u201cA logic of capabilities,\u201d in A. Nerode and Y. V. Matiyasevich (eds.), Proc. of the Third Int. Symposium on the Logical Foundations of Computer Science (LNCS 813), Springer-Verlag: Berlin, 1994, pp. 366\u2013378."},{"key":"240086_CR26","first-page":"17","volume-title":"Intelligent Agents II (LNAI 1037)","author":"B. van Linder","year":"1996","unstructured":"B. van Linder, W. van der Hoek and J.-J. Ch. Meyer, \u201cFormalising motivational attitudes of agents: On preferences, goals, and commitments,\u201d in M. J. Wooldridge, J. P. M\u00fcller and M. Tambe (eds.), Intelligent Agents II (LNAI 1037), Springer-Verlag: Berlin, 1996, pp. 17\u201332."},{"key":"240086_CR27","first-page":"357","volume-title":"Intelligent Agents III (LNAI 1193)","author":"M. J. Wooldridge","year":"1997","unstructured":"M. J. Wooldridge, \u201cA knowledge-theoretic semantics for concurrent MetateM,\u201d in J. P. M\u00fcller, M. J. Wooldridge and N. R. Jennings (eds.), Intelligent Agents III (LNAI 1193), Springer-Verlag: Berlin, 1997, pp. 357\u2013374."}],"container-title":["Autonomous Agents and Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1010084620690.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1010084620690\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1010084620690.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,17]],"date-time":"2025-05-17T06:02:23Z","timestamp":1747461743000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1010084620690"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,11]]},"references-count":27,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1999,11]]}},"alternative-id":["240086"],"URL":"https:\/\/doi.org\/10.1023\/a:1010084620690","relation":{},"ISSN":["1387-2532","1573-7454"],"issn-type":[{"value":"1387-2532","type":"print"},{"value":"1573-7454","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,11]]}}}