{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T02:42:19Z","timestamp":1725676939587},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642294136"},{"type":"electronic","value":"9783642294143"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29414-3_11","type":"book-chapter","created":{"date-parts":[[2012,4,24]],"date-time":"2012-04-24T21:45:41Z","timestamp":1335303941000},"page":"196-219","source":"Crossref","is-referenced-by-count":6,"title":["GOAL Agents Instantiate Intention Logic"],"prefix":"10.1007","author":[{"given":"Koen V.","family":"Hindriks","sequence":"first","affiliation":[]},{"given":"Wiebe","family":"van der Hoek","sequence":"additional","affiliation":[]},{"given":"John-Jules Ch.","family":"Meyer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1018985923441","volume":"22","author":"F. Bacchus","year":"1998","unstructured":"Bacchus, F., Kabanza, F.: Planning for temporally extended goals. Annals of Mathematics and Artificial Intelligence\u00a022, 5\u201327 (1998)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press (2001)","DOI":"10.1017\/CBO9781107050884"},{"issue":"2","key":"11_CR3","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/j.jal.2005.12.014","volume":"5","author":"F.S. Boer de","year":"2007","unstructured":"de Boer, F.S., Hindriks, K.V., van der Hoek, W., Meyer, J.J.C.: A Verification Framework for Agent Programming with Declarative Goals. Journal of Applied Logic\u00a05(2), 277\u2013302 (2007)","journal-title":"Journal of Applied Logic"},{"key":"11_CR4","unstructured":"Bratman, M.E.: Intention, Plans, and Practical Reason. University of Chicago Press (1987)"},{"key":"11_CR5","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. Artificial Intelligence\u00a042, 213\u2013261 (1990)","journal-title":"Artificial Intelligence"},{"key":"11_CR6","volume-title":"Handbook of Theoretical Computer Science","author":"E. Emerson","year":"1990","unstructured":"Emerson, E.: Temporal and Modal Mogic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol.\u00a0B. North-Holland Publishing Company, Amsterdam (1990)"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Fisher, M.: Temporal representation and reasoning. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation, ch.2, pp. 513\u2013550. Elsevier (2008)","DOI":"10.1016\/S1574-6526(07)03012-X"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press (2000)","DOI":"10.7551\/mitpress\/2516.001.0001"},{"key":"11_CR9","unstructured":"Herzig, A., Longin, D.: C&l intention revisited. In: Proc. of the 9th Int. Conference Principles of Knowledge Representation and Reasoning (KR 2004), pp. 527\u2013535 (2004)"},{"key":"11_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/978-3-540-87803-2_20","volume-title":"Logics in Artificial Intelligence","author":"K. Hindriks","year":"2008","unstructured":"Hindriks, K., van der Hoek, W.: GOAL Agents Instantiate Intention Logic. In: H\u00f6lldobler, S., Lutz, C., Wansing, H. (eds.) JELIA 2008. LNCS (LNAI), vol.\u00a05293, pp. 232\u2013244. Springer, Heidelberg (2008)"},{"key":"11_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/3-540-44631-1_16","volume-title":"Intelligent Agents VII. Agent Theories Architectures and Languages","author":"K.V. Hindriks","year":"2001","unstructured":"Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Agent Programming with Declarative Goals. In: Castelfranchi, C., Lesp\u00e9rance, Y. (eds.) ATAL 2000. LNCS (LNAI), vol.\u00a01986, pp. 228\u2013243. Springer, Heidelberg (2001)"},{"key":"11_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-540-93920-7_14","volume-title":"Declarative Agent Languages and Technologies VI","author":"K.V. Hindriks","year":"2009","unstructured":"Hindriks, K.V., van Riemsdijk, M.B.: Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2008. LNCS (LNAI), vol.\u00a05397, pp. 215\u2013232. Springer, Heidelberg (2009)"},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-0-387-89299-3_4","volume-title":"Multi-Agent Programming","author":"K.V. Hindriks","year":"2009","unstructured":"Hindriks, K.V.: Programming Rational Agents in Goal. In: Multi-Agent Programming, pp. 119\u2013157. Springer, Heidelberg (2009)"},{"issue":"2","key":"11_CR14","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1093\/jigpal\/11.2.133","volume":"11","author":"W. Hoek van der","year":"2003","unstructured":"van der Hoek, W., Wooldridge, M.: Towards a Logic of Rational Agency. Logic Journal of the IGPL\u00a011(2), 133\u2013157 (2003)","journal-title":"Logic Journal of the IGPL"},{"key":"11_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-73099-6_2","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"J.-J.C.. Meyer","year":"2007","unstructured":"Meyer, J.-J.C.: Our Quest for the Holy Grail of Agent Verification. In: Olivetti, N. (ed.) TABLEAUX 2007. LNCS (LNAI), vol.\u00a04548, pp. 2\u20139. Springer, Heidelberg (2007)"},{"issue":"1","key":"11_CR16","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\u00a018(1), 87\u2013127 (1982)","journal-title":"Artificial Intelligence"},{"key":"11_CR17","unstructured":"Rao, A.S., Georgeff, M.P.: Intentions and Rational Commitment. Tech. Rep.\u00a08, Australian Artificial Intelligence Institute (1993)"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","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, vol.\u00a01038, pp. 42\u201355. Springer, Heidelberg (1996)"},{"key":"11_CR19","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/3-540-49057-4_2","volume-title":"Intelligent Agents V. Agents Theories, Architectures, and Languages","author":"M.C. M\u00f3ra","year":"1999","unstructured":"M\u00f3ra, M.C., Lopes, J.G., Viccari, R.M., Coelho, H.: BDI Models and Systems: Reducing the Gap. In: Papadimitriou, C., Singh, M.P., M\u00fcller, J.P. (eds.) ATAL 1998. LNCS (LNAI), vol.\u00a01555, pp. 11\u201327. Springer, Heidelberg (1999)"},{"issue":"1","key":"11_CR20","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1093\/jigpal\/jzp071","volume":"18","author":"A. Artikis","year":"2010","unstructured":"Artikis, A., Sergot, M.J.: Executable specification of open multi-agent systems. Logic Journal of the IGPL\u00a018(1), 31\u201365 (2010)","journal-title":"Logic Journal of the IGPL"},{"issue":"2","key":"11_CR21","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1016\/j.jal.2007.06.007","volume":"6","author":"R. Craven","year":"2008","unstructured":"Craven, R., Sergot, M.J.: Agent strands in the action language nC+. J. Applied Logic\u00a06(2), 172\u2013191 (2008)","journal-title":"J. Applied Logic"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Lomuscio, A., Raimondi, F., Sergot, M.J.: Towards model checking interpreted systems. In: AAMAS 2003, pp. 1054\u20131055 (2003)","DOI":"10.1145\/860575.860792"},{"key":"11_CR23","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/3-540-45448-9_7","volume-title":"Intelligent Agents VIII","author":"A. Lomuscio","year":"2002","unstructured":"Lomuscio, A., Sergot, M.J.: On Multi-agent Systems Specification via Deontic Logic. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol.\u00a02333, pp. 86\u201399. Springer, Heidelberg (2002)"},{"issue":"2-3","key":"11_CR24","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1142\/S0218843005001110","volume":"14","author":"A.D.H. Farrell","year":"2005","unstructured":"Farrell, A.D.H., Sergot, M.J., Sall\u00e9, M., Bartolini, C.: Using the event calculus for tracking the normative state of contracts. International Journal of Cooperative Information Systems\u00a014(2-3), 99\u2013129 (2005)","journal-title":"International Journal of Cooperative Information Systems"},{"issue":"1","key":"11_CR25","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A Logic-Based Calculus of Events. New Generation Computing\u00a04(1), 67\u201395 (1986)","journal-title":"New Generation Computing"},{"volume-title":"Specification and Verification of Multi-agent Systems","year":"2010","key":"11_CR26","unstructured":"Dastani, M., Hindriks, K.V., Meyer, J.-J.C. (eds.): Specification and Verification of Multi-agent Systems. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Logic Programs, Norms and Action"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29414-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T14:43:30Z","timestamp":1556721810000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29414-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642294136","9783642294143"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29414-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}