{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T19:18:43Z","timestamp":1725477523112},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540689591"},{"type":"electronic","value":"9783540689614"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11961536_15","type":"book-chapter","created":{"date-parts":[[2007,1,19]],"date-time":"2007-01-19T03:09:10Z","timestamp":1169176150000},"page":"225-238","source":"Crossref","is-referenced-by-count":0,"title":["Plan Generation and Plan Execution in Agent Programming"],"prefix":"10.1007","author":[{"given":"M. Birna","family":"van Riemsdijk","sequence":"first","affiliation":[]},{"given":"Mehdi","family":"Dastani","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","volume-title":"Artificial Intelligence","author":"G. Antoniou","year":"1997","unstructured":"Antoniou, G.: Nonmonotonic Reasoning. In: Artificial Intelligence. The MIT Press, Cambridge (1997)"},{"key":"15_CR2","unstructured":"Dastani, M., van der Torre, L.: Programming BOID-Plan agents: Deliberating about conflicts among defeasible mental attitudes and plans. In: Proceedings of the Third Conference on Autonomous Agents and Multi-agent Systems (AAMAS 2004), New York, USA, pp. 706\u2013713 (2004)"},{"key":"15_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-540-25936-7_6","volume-title":"Programming Multi-Agent Systems","author":"M. Dastani","year":"2004","unstructured":"Dastani, M., van Riemsdijk, M.B., Dignum, F.P.M., Meyer, J.-J.C.: A programming language for cognitive agents goal directed 3APL. In: Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol.\u00a03067, pp. 111\u2013130. Springer, Heidelberg (2004)"},{"key":"15_CR4","series-title":"Series in Computer Science","volume-title":"Mathematical Theory of Program Correctness","author":"J. Bakker de","year":"1980","unstructured":"de Bakker, J.: Mathematical Theory of Program Correctness. Series in Computer Science. Prentice-Hall International, London (1980)"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/BFb0026757","volume-title":"Intelligent Agents IV: Agent Theories, Architectures, and Languages","author":"M. d\u2019Inverno","year":"1998","unstructured":"d\u2019Inverno, M., Kinny, D., Luck, M., Wooldridge, M.: A formal specification of dMARS. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol.\u00a01365, pp. 155\u2013176. Springer, Heidelberg (1998)"},{"key":"15_CR6","unstructured":"Georgeff, M., Lansky, A.: Reactive reasoning and planning. In: Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI 1987), pp. 677\u2013682 (1987)"},{"issue":"1\u20132","key":"15_CR7","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0004-3702(00)00031-X","volume":"121","author":"G.d. Giacomo","year":"2000","unstructured":"Giacomo, G.d., Lesp\u00e9rance, Y., Levesque, H.: ConGolog, a Concurrent Programming Language Based on the Situation Calculus. Artificial Intelligence\u00a0121(1\u20132), 109\u2013169 (2000)","journal-title":"Artificial Intelligence"},{"issue":"4","key":"15_CR8","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1023\/A:1010084620690","volume":"2","author":"K.V. Hindriks","year":"1999","unstructured":"Hindriks, K.V., de Boer, F.S., van der Hoek, W., Ch, J.-J.: Agent programming in 3APL. Int. J. of Autonomous Agents and Multi-Agent Systems\u00a02(4), 357\u2013401 (1999)","journal-title":"J. of Autonomous Agents and Multi-Agent Systems"},{"issue":"6","key":"15_CR9","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/64.180407","volume":"7","author":"F.F. Ingrand","year":"1992","unstructured":"Ingrand, F.F., Georgeff, M.P., Rao, A.S.: An architecture for real-time reasoning and system control. IEEE Expert\u00a07(6), 34\u201344 (1992)","journal-title":"IEEE Expert"},{"key":"15_CR10","unstructured":"Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)"},{"key":"15_CR11","volume-title":"Multi-Agent Programming: Languages, Platforms and Applications","author":"A. Pokahr","year":"2005","unstructured":"Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: a BDI reasoning engine. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications. Springer, Berlin (2005)"},{"key":"15_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"A.S. Rao","year":"1996","unstructured":"Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS (LNAI), vol.\u00a01038, pp. 42\u201355. Springer, Heidelberg (1996)"},{"key":"15_CR13","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R.E. Fikes","year":"1971","unstructured":"Fikes, R.E., Nilsson, N.J.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence\u00a02, 189\u2013208 (1971)","journal-title":"Artificial Intelligence"},{"key":"15_CR14","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Shoham, Y.: Agent-oriented programming. Artificial Intelligence\u00a060, 51\u201392 (1993)","journal-title":"Artificial Intelligence"},{"key":"15_CR15","unstructured":"Thangarajah, J., Padgham, L., Winikoff, M.: Detecting and avoiding interference between goals in intelligent agents. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003) (2003)"},{"key":"15_CR16","unstructured":"Thangarajah, J., Winikoff, M., Padgham, L., Fischer, K.: Avoiding resource conflicts in intelligent agents. In: van Harmelen, F. (ed.) Proceedings of the 15th European Conference on Artifical Intelligence 2002 (ECAI 2002), Lyon, France (2002)"},{"key":"15_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/11533092_2","volume-title":"Computational Logic in Multi-Agent Systems","author":"M.B. Riemsdijk van","year":"2005","unstructured":"van Riemsdijk, M.B., de Boer, F.S., Meyer, J.-J.C.: Dynamic logic for plan revision in intelligent agents. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol.\u00a03487, pp. 16\u201332. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11961536_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,10]],"date-time":"2019-03-10T21:45:30Z","timestamp":1552254330000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11961536_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540689591","9783540689614"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11961536_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}