{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,7]],"date-time":"2026-01-07T09:16:10Z","timestamp":1767777370215},"publisher-location":"Boston, MA","reference-count":42,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387892986"},{"type":"electronic","value":"9780387892993"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-0-387-89299-3_4","type":"book-chapter","created":{"date-parts":[[2009,6,11]],"date-time":"2009-06-11T23:58:05Z","timestamp":1244764685000},"page":"119-157","source":"Crossref","is-referenced-by-count":112,"title":["Programming Rational Agents in GOAL"],"prefix":"10.1007","author":[{"given":"Koen V.","family":"Hindriks","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,5,29]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge UniversityPres (2003)","DOI":"10.1017\/CBO9780511543357"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Bellifemine, F., Caire, G., Greenwood, D. (eds.): Developing Multi-Agent Systems with JADE. No. 15 in Agent Technology. John Wiley & Sons, Ltd. (2007)","DOI":"10.1002\/9780470058411"},{"issue":"2","key":"4_CR3","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/j.jal.2005.12.014","volume":"5","author":"F. Boer de","year":"2007","unstructured":"de Boer, F., Hindriks, K., van der Hoek, W., Meyer, J.J.: A Verification Framework for Agent Programming with Declarative Goals. Journal of Applied Logic 5(2), 277\u2013302 (2007)","journal-title":"Journal of Applied Logic"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak using Jason. John Wiley & Sons (2007)","DOI":"10.1002\/9780470061848"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Bratman, M., Israel, D., Pollack, M.: Plansandresource-boundedpracticalreasoning. In: R. Cummins, J.L. Pollock(eds.) Philosophyand AI: Essays atthe Interface, pp. 1\u201322. The MIT Press (1991)","DOI":"10.7551\/mitpress\/5352.003.0003"},{"key":"4_CR6","unstructured":"Bratman, M.E.: Intentions, Plans, and Practical Reasoning. Harvard University Press(1987)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Ceri, S., Gottlob, G., Tanca, L.: What you always wanted to know about datalog(andnever daredto ask). IEEE Trans.of KDE 1(1) (1989)","DOI":"10.1109\/69.43410"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Chandy, K.M., Misra, J.: Parallel Program Design. Addison-Wesley(1988)","DOI":"10.1007\/978-1-4613-9668-0_6"},{"issue":"2","key":"4_CR9","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0304-3975(01)00359-0","volume":"285","author":"M. Clavel","year":"2002","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: Specifcation and programming in rewriting logic. Theoretical Computer Science 285(2), 187\u2013243 (2002)","journal-title":"Theoretical Computer Science"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P.R. Cohen","year":"1990","unstructured":"Cohen, P.R.,Levesque, H.J.: Intention Is Choice with Commitment. Artifcial Intelligence 42, 213\u2013261 (1990)","journal-title":"Artificial Intelligence"},{"issue":"4","key":"4_CR11","doi-asserted-by":"publisher","first-page":"581","DOI":"10.1093\/logcom\/13.4.581","volume":"13","author":"S. Cook","year":"2002","unstructured":"Cook, S., Liu, Y.: AComplete Axiomatization for Blocks World. Journal of Logicand Computation 13(4), 581\u2013594 (2002)","journal-title":"Journal of Logicand Computation"},{"issue":"3","key":"4_CR12","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/s10458-008-9036-y","volume":"16","author":"M. Dastani","year":"2008","unstructured":"Dastani, M.: 2APL: a practical agent programming language. Journal Autonomous Agents and Multi-Agent Systems 16(3), 214\u2013248 (2008)","journal-title":"Journal Autonomous Agents and Multi-Agent Systems"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Dastani, M., Hindriks, K.V., Novak, P., Tinnemeier, N.A.: Combining multiple knowledge representation technologies intoagent programming languages. In: Proceedings of the International Workshop on Declarative Agent Languages and Theories(DALT\u201908) (2008).To appear","DOI":"10.1007\/978-3-540-93920-7_5"},{"key":"4_CR14","unstructured":"Davidson, D.: Actions, reasons and causes. In: Essays on Actions and Events. Oxford University Press (1980)"},{"issue":"1","key":"4_CR15","first-page":"17","volume":"14","author":"R. Davis","year":"1993","unstructured":"Davis, R., Shrobe, H.E., Szolovits, P.: What is a knowledge representation? AI 14(1), 17\u201333 (1993)","journal-title":"AI"},{"key":"4_CR16","unstructured":"Dretske, F.: Explaining Behavior: Reasonsina World of Causes. The MIT Press (1995)"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Ghallab, M., Nau, D., Traverso, P.: Automated Planning: Theory and Practice. Morgan Kaufmann (2004)","DOI":"10.1016\/B978-155860856-6\/50021-1"},{"issue":"2-3","key":"4_CR18","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0004-3702(92)90028-V","volume":"56","author":"N. Gupta","year":"1992","unstructured":"Gupta, N., Nau, D.S.: On the Complexity of Blocks-World Planning.Artifcial Intelligence 56(2-3), 223\u2013254 (1992)","journal-title":"Artificial Intelligence"},{"key":"4_CR19","unstructured":"Hindriks, K.: Modules as policy-based intentions: Modular agent programming in goal. In: Proceedings of the International Workshop on Programming Multi-Agent Systems (Pro-MAS\u201907), vol. 4908 (2008)"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Hindriks, K., vanderHoek, W.: GOAL agents instantiate intentionlogic.In: Proceedings of the 11th European Conference on Logics in Artifcial Intelligence(JELIA\u201908), pp. 232\u2013244 (2008)","DOI":"10.1007\/978-3-540-87803-2_20"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Hindriks, K., Jonker, C., Pasman, W.: Exploring heuristic action selection in agent programming. In: Proceedings of the International Workshop on Programming Multi-Agent Systems (ProMAS\u201908) (2008)","DOI":"10.1007\/978-3-642-03278-3_2"},{"key":"4_CR22","first-page":"228","volume":"1986","author":"K.V. Hindriks","year":"2000","unstructured":"Hindriks, K.V., de Boer,F.S., van der Hoek,W., Meyer, J.J.C.: Agent Programming with Declarative Goals. In: Proceedings of the 7th International Workshop on Agent Theories Architectures and Languages, LNCS, vol. 1986, pp. 228\u2013243 (2000)","journal-title":"LNCS"},{"key":"4_CR23","first-page":"215","volume":"5397","author":"K.V. Hindriks","year":"2008","unstructured":"Hindriks, K.V., van Riemsdijk, M.B.: Using temporal logic to integrate goals and qualitative preferences into agent programming. In: Proceedings of the International Workshop on Declarative Agent Languages and Theories, vol. 5397, pp. 215\u2013232 (2008)","journal-title":"Proceedings of the International Workshop on Declarative Agent Languages and Theories"},{"key":"4_CR24","unstructured":"Hindriks, K.V., van Riemsdijk, M.B.,van der Hoek, W.: Agent programming with temporally extended goals. In: Proceedings of the 8th International Conference on Autonomous Agents and Multi-Agent Systems (2009)"},{"key":"4_CR25","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-94-015-9204-8_7","volume-title":"Foundations of Rational Agency, Applied Logic Series 14","author":"W. vander Hoek","year":"1999","unstructured":"vander Hoek, W., van Linder, B.,Meyer, J.J.: An Integrated Modal Approach to Rational Agents. In: M.Wooldridge(ed.) Foundations of Rational Agency, Applied Logic Series 14, pp. 133\u2013168. Kluwer, Dordrecht (1999)"},{"key":"4_CR26","unstructured":"Jackson, P.: Introduction To Expert Systems,3rd edn. Addison-Wesley(1999)"},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"Lifschitz, V.:On the semantics of strips. In: M. Georgeff, A. Lansky (eds.) Reasoning about Actions and Plans, pp. 1\u20139. MorganKaufman (1986)","DOI":"10.1016\/B978-0-934613-30-9.50004-4"},{"key":"4_CR28","first-page":"75","volume-title":"Proceedings of the Teddington Conference on the Mechanization of ThoughtProcesses","author":"J. McCarthy","year":"1959","unstructured":"McCarthy, J.: Programs with common sense. In: Proceedings of the Teddington Conference on the Mechanization of Thought Processes, pp. 75\u201391. Her Majesty\u2019s Stationary Office, London (1959)"},{"key":"4_CR29","volume-title":"Ascribing mental qualities to machines","author":"J. McCarthy","year":"1979","unstructured":"McCarthy, J.:Ascribing mental qualities to machines. Tech. rep., Stanford AILab, Stanford, CA (1979)"},{"key":"4_CR30","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569852","volume-title":"Epistemic Logic for AI and Computer Science","author":"J.J.C. Meyer","year":"1995","unstructured":"Meyer, J.J.C., vanderHoek, W.: Epistemic Logic for AI and Computer Science. Cambridge: Cambridge UniversityPress (1995)"},{"issue":"1","key":"4_CR31","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0004-3702(82)90012-1","volume":"18","author":"A. Newell","year":"1982","unstructured":"Newell, A.: The Knowledge Level. Artificial Intelligence 18(1), 87\u2013127 (1982)","journal-title":"Artificial Intelligence"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"Pearl, J.:Probabilistic Reasoning in Intelligent Systems-Networks of Plausible Inference. Morgan Kaufmann (1988)","DOI":"10.1016\/B978-0-08-051489-5.50008-4"},{"key":"4_CR33","unstructured":"Plotkin, G.: A Structural Approachto Operational Semantics. Tech. Rep. DAIMI FN-19, University of Aarhus (1981)"},{"key":"4_CR34","unstructured":"Rao, A.S., Georgeff, M.P.: Intentions and Rational Commitment. Tech. Rep.8, Australian Artificial Intelligence Institute (1993)"},{"key":"4_CR35","doi-asserted-by":"crossref","unstructured":"van Riemsdijk, M.B., Dastani, M., Meyer, J.J.C.: Goals in conflict: semantic foundations of goals in agent programming. Autonomous Agents and Multi-AgentSystems (2008). Online","DOI":"10.1007\/s10458-008-9067-4"},{"key":"4_CR36","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach,2nd edn. Prentice Hall (2003)"},{"key":"4_CR37","unstructured":"Schoppers, M.: Universal plans for reactive robots in unpredictable environments. In: Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI\u201987) (1987)"},{"key":"4_CR38","unstructured":"Scowen, R.S.: Extended BNF -A generic base standard. http:\/\/www.cl.cam.ac.uk\/mgk25\/iso-14977-paper.pdf (1996)"},{"key":"4_CR39","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 60, 51\u201392 (1993)","journal-title":"Artificial Intelligence"},{"key":"4_CR40","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/S0004-3702(00)00079-5","volume":"125","author":"J. Slaney","year":"2001","unstructured":"Slaney, J., Thi\u00e9baux, S.: Blocks World revisited. Artificial Intelligence 125, 119\u2013153 (2001)","journal-title":"Artificial Intelligence"},{"key":"4_CR41","unstructured":"Sterling, L., Shapiro, E.: The Art of Prolog, 2nd edn. MIT Press (1994)"},{"key":"4_CR42","unstructured":"http:\/\/www.swi-prolog.org \/ (2008)"}],"container-title":["Multi-Agent Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-89299-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T10:52:24Z","timestamp":1710413544000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-89299-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9780387892986","9780387892993"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-89299-3_4","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}