{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:55:39Z","timestamp":1725512139837},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540699118"},{"type":"electronic","value":"9783540699125"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-69912-5_30","type":"book-chapter","created":{"date-parts":[[2007,8,20]],"date-time":"2007-08-20T21:30:41Z","timestamp":1187645441000},"page":"404-418","source":"Crossref","is-referenced-by-count":5,"title":["Agent Logics as Program Logics: Grounding KARO"],"prefix":"10.1007","author":[{"given":"Koen V.","family":"Hindriks","sequence":"first","affiliation":[]},{"given":"John-Jules Ch.","family":"Meyer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"30_CR1","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"},{"issue":"3","key":"30_CR2","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1093\/logcom\/8.3.293","volume":"8","author":"A.S. Rao","year":"1998","unstructured":"Rao, A.S., Georgeff, M.P.: Decision Procedures for BDI Logics. Journal of Logic and Computation\u00a08(3), 293\u2013343 (1998)","journal-title":"Journal of Logic and Computation"},{"key":"30_CR3","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/978-94-015-9204-8_7","volume-title":"Foundations of Rational Agency","author":"W. Hoek van der","year":"1999","unstructured":"van der Hoek, W., van Linder, B., Meyer, J.-J.C.: An Integrated Modal Approach to Rational Agents. In: Wooldridge, M. (ed.) Foundations of Rational Agency, pp. 133\u2013168. Kluwer, Dordrecht (1999)"},{"issue":"2","key":"30_CR4","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":"30_CR5","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":"30_CR6","unstructured":"de Boer, F., et al.: A Verification Framework for Agent Programming with Declarative Goals. Accepted for the Journal of Applied Logic (2006)"},{"key":"30_CR7","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Formal Approaches to Agent-Based Systems","author":"F.S. Boer de","year":"2001","unstructured":"de Boer, F.S., et al.: A Programming Logic for Part of the Agent Language 3APL. In: Rash, J.L., et al. (eds.) FAABS 2000. LNCS (LNAI), vol.\u00a01871, Springer, Heidelberg (2001)"},{"key":"30_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1007\/BFb0014005","volume-title":"Temporal Logic","author":"M. Fisher","year":"1994","unstructured":"Fisher, M.: A Survey of Concurrent MetateM. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS, vol.\u00a0827, pp. 480\u2013505. Springer, Heidelberg (1994)"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"Hustadt, U., et al.: Reasoning about Agents in the KARO Framework. In: Bettini, C., Montanari, A. (eds.) Proc. of the Eighth Int. Symposium on Temporal Representation and Reasoning, pp. 206\u2013213 (2001)","DOI":"10.1109\/TIME.2001.930719"},{"key":"30_CR10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D. Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"issue":"4","key":"30_CR11","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/s004460050038","volume":"10","author":"R. Fagin","year":"1997","unstructured":"Fagin, R., et al.: Knowledge-based programs. Distributed Computing\u00a010(4), 199\u2013225 (1997)","journal-title":"Distributed Computing"},{"volume-title":"Multi-Agent Programming: Languages, Platforms and Applications","year":"2005","key":"30_CR12","unstructured":"Bordini, R., et al. (eds.): Multi-Agent Programming: Languages, Platforms and Applications. Springer, Heidelberg (2005)"},{"issue":"1-2","key":"30_CR13","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0004-3702(00)00031-X","volume":"121","author":"G. Giacomo de","year":"2000","unstructured":"de Giacomo, G., Lesp\u00e9rance, Y., Levesque, H.J.: ConGolog, a Concurrent Programming Language Based on the Situation Calculus. Artificial Intelligence\u00a0121(1-2), 109\u2013169 (2000)","journal-title":"Artificial Intelligence"},{"key":"30_CR14","unstructured":"Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University (1981)"},{"key":"30_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/BFb0095049","volume-title":"Advanced Topics in Artificial Intelligence","author":"K.V. Hindriks","year":"1998","unstructured":"Hindriks, K.V., et al.: A Formal Embedding of AgentSpeak(L) in 3APL. In: Antoniou, G., Slaney, J.K. (eds.) Canadian AI 1998. LNCS, vol.\u00a01502, pp. 155\u2013166. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","KI 2006: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69912-5_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:12:01Z","timestamp":1620015121000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69912-5_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540699118","9783540699125"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69912-5_30","relation":{},"subject":[]}}