{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T16:26:16Z","timestamp":1775838376628,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":48,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540287407","type":"print"},{"value":"9783540287414","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11550648_3","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T04:54:39Z","timestamp":1131857679000},"page":"27-34","source":"Crossref","is-referenced-by-count":1,"title":["Programming Cognitive Agents"],"prefix":"10.1007","author":[{"given":"John-Jules Ch.","family":"Meyer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Aldewereld, H., V\u00e1zquez-Salceda, J., Dignum, F., Meyer, J.-J.C.: Verifying Norm Compliancy of Protocols. In: To appear in Proc. ANI@REM 2005 (2005)","DOI":"10.1007\/11775331_16"},{"key":"3_CR2","volume-title":"Mathematical Theory of Program Correctness","author":"J.W. Bakker de","year":"1980","unstructured":"de Bakker, J.W.: Mathematical Theory of Program Correctness. Prentice-Hall International, London (1980)"},{"key":"3_CR3","series-title":"The Agent-Oriented Software Engineering Handbook","volume-title":"Methodologies and Software Engineering for Agent Systems","year":"2004","unstructured":"Bergenti, F., Gleizes, M.-P., Zambonelli, F. (eds.): Methodologies and Software Engineering for Agent Systems. The Agent-Oriented Software Engineering Handbook. Kluwer, Dordrecht (2004)"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"de Boer, F.S., de Vries, W., Meyer, J.-J.C., van Eijk, R.M., van der Hoek, W.: Process Algebra and Constraint Programming for Modeling Interactions in MAS. In: To appear in Applicable Algebra in Engineering, Communication and Computing (2005)","DOI":"10.1007\/s00200-005-0173-0"},{"key":"3_CR5","volume-title":"Multi-Agent Programming","year":"2005","unstructured":"Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.): Multi-Agent Programming. Kluwer, Dordrecht (2005)"},{"key":"3_CR6","unstructured":"Brachman, R., Lemnios, Z.: DARPA\u2019s New Cogitive Systems Vision, http:\/\/www.cra.org\/CRN\/articles\/nov02\/darpa.html"},{"key":"3_CR7","volume-title":"Intentions, Plans, and Practical Reason","author":"M.E. Bratman","year":"1987","unstructured":"Bratman, M.E.: Intentions, Plans, and Practical Reason. Harvard University Press, Massachusetts (1987)"},{"issue":"4","key":"3_CR8","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1111\/j.1467-8640.1988.tb00284.x","volume":"4","author":"M.E. Bratman","year":"1988","unstructured":"Bratman, M.E., Israel, D., Pollack, M.: Plans and Resource-Bounded Practical Reasoning. J. of Computational Intelligence\u00a04(4), 349\u2013355 (1988)","journal-title":"J. of Computational Intelligence"},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/S0306-4379(02)00012-1","volume":"27","author":"J. Castro","year":"2002","unstructured":"Castro, J., Kolp, W., Mylopoulos, J.: Towards Requirements-driven Information Systems Engineering: the TROPOS project. Information Systems\u00a027, 365\u2013389 (2002)","journal-title":"Information Systems"},{"issue":"3","key":"3_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. Artificial Intelligence\u00a042(3), 213\u2013261 (1990)","journal-title":"Artificial Intelligence"},{"key":"3_CR11","volume-title":"Descartes\u2019 Error: Emotion, Reason, and the Human Brain","author":"A.R. Damasio","year":"1994","unstructured":"Damasio, A.R.: Descartes\u2019 Error: Emotion, Reason, and the Human Brain. Grosset \/ Putnam Press, New York (1994)"},{"key":"3_CR12","first-page":"922","volume-title":"Proc. 3rd Int. Joint Conf. On Autonomous Agents & Multi Agent Systems (AAMAS 2004)","author":"M. Dastani","year":"2004","unstructured":"Dastani, M., Hulstijn, J., Dignum, F., Meyer, J.-J.C.: Issues in Multiagent System Development. In: Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M. (eds.) Proc. 3rd Int. Joint Conf. On Autonomous Agents & Multi Agent Systems (AAMAS 2004), pp. 922\u2013992. ACM, New York (2004)"},{"key":"3_CR13","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., Meyer, J.-J.C.: A Programming Language for Cognitive Agents: Goal-Directed 3APL. In: Dastani, M.M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol.\u00a03067, pp. 111\u2013130. Springer, Heidelberg (2004)"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-3-540-30578-1_13","volume-title":"Agent-Oriented Software Engineering V","author":"M. Dastani","year":"2005","unstructured":"Dastani, M., van Riemsdijk, M.B., Hulstijn, J., Dignum, F., Meyer, J.-J.C.: Enacting and Deacting Roles in Agent Programming. In: Odell, J.J., Giorgini, P., M\u00fcller, J.P. (eds.) AOSE 2004. LNCS, vol.\u00a03382, pp. 189\u2013204. Springer, Heidelberg (2005)"},{"key":"3_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-540-32258-0_6","volume-title":"Agent Communication","author":"J. Diggelen van","year":"2005","unstructured":"van Diggelen, J., Beun, R.J., Dignum, F., van Eijk, R.M., Meyer, J.-J.C.: Optimal Communication Vocabularies and Heterogeneous Ontologies. In: van Eijk, R.M., Huget, M.-P., Dignum, F.P.M. (eds.) AC 2004. LNCS (LNAI), vol.\u00a03396, pp. 76\u201390. Springer, Heidelberg (2005)"},{"key":"3_CR16","unstructured":"van Diggelen, J., Beun, R.J., Dignum, F., van Eijk, R., Meyer, J.-J.C.: Communication under Construction: Three Protocols for Lazy Ontology Alignment. In: Accepted for AMKM 2005 (2005)"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"van Diggelen, J., Beun, R.J., Dignum, F., van Eijk, R., Meyer, J.-J.C.: Combining Normal Communication with Ontology Allignment. In: Accepted for AC 2005 (2005)","DOI":"10.1007\/978-3-540-68143-4_13"},{"key":"3_CR18","unstructured":"Dignum, V.: A Model for Organizational Interaction (Based on Agents, Founded in Logic), Ph.D. Thesis. Utrecht University, Utrecht (2004)"},{"key":"3_CR19","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/3-540-45448-9_26","volume-title":"Intelligent Agents VIII","author":"M. Esteva","year":"2002","unstructured":"Esteva, M., Padget, J., Sierra, C.: Formalizing a Language for Institutions and Norms. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol.\u00a02333, pp. 348\u2013366. Springer, Heidelberg (2002)"},{"key":"3_CR20","series-title":"LNAI","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 \u2013 The language and Its Applications. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS (LNAI), vol.\u00a0827, pp. 480\u2013505. Springer, Heidelberg (1994)"},{"key":"3_CR21","volume-title":"The Emotions","author":"N. Frijda","year":"1987","unstructured":"Frijda, N.: The Emotions. Cambridge University Press, New York (1987)"},{"issue":"1,2","key":"3_CR22","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.: ConGolog, a Concurrent Programming Language Based on the Situation Calculus. Artificial Intelligence\u00a0121(1,2), 109\u2013169 (2000)","journal-title":"Artificial Intelligence"},{"key":"3_CR23","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/3-540-45448-9_3","volume-title":"Intelligent Agents VIII","author":"P.J. Gmytrasiewicz","year":"2002","unstructured":"Gmytrasiewicz, P.J., Lisetti, C.L.: Emotions and Personality in Agent Design and Modeling. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol.\u00a02333, pp. 21\u201331. Springer, Heidelberg (2002)"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Grossi, D., Meyer, J.-J.C., Dignum, F.: Modal Logic Investigations in the Semantics of Counts-as. In: Accepted for ICAIL 2005 (2005)","DOI":"10.1145\/1165485.1165487"},{"issue":"4","key":"3_CR25","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., Meyer, J.-J.C.: Agent Programming in 3APL. Int. J. of Autonomous Agents and Multi-Agent Systems\u00a02(4), 357\u2013401 (1999)","journal-title":"Int. J. of Autonomous Agents and Multi-Agent Systems"},{"key":"3_CR26","series-title":"Applied Logic Series","first-page":"133","volume-title":"Foundations of Rational Agency","author":"W. Hoek van der","year":"1998","unstructured":"van der Hoek, W., van Linder, B., Meyer, J.-J.C.: An Integrated Modal Approach to Rational Agents. In: Wooldridge, M., Rao, A. (eds.) Foundations of Rational Agency. Applied Logic Series, vol.\u00a014, pp. 133\u2013168. Kluwer, Dordrecht (1998)"},{"key":"3_CR27","unstructured":"Jonker, G., Meyer, J.-J.C., Dignum, F.: A Market Mechanism for Airport Traffic Planning. In: Ghidini, C., Giorgini, P., van der Hoek, W. (eds.) Proc. EUMAS 2004, Barcelona, pp. 365\u2013375 (2004)"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Koch, F., Meyer, J.-J.C., Dignum, F., Rahwan, I.: Programming Deliberative Agents for Mobile Services: The 3APL-M Platform. In: Accepted for ProMAS 2005 (2005)","DOI":"10.1007\/11678823_14"},{"key":"3_CR29","unstructured":"Lebbink, H.-J., Witteman, C., Meyer, J.-J.C.: A Dialogue Game Approach to Multi- Agent System Programming. In: Verbrugge, R., Taatgen, N., Schomaker, L. (eds.) Proc. 16th Belgium-Netherlands Conf., on Artif. Intell (BNAIC-2004), pp. 251\u2013258. Univ. of Groningen (2004)"},{"key":"3_CR30","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-540-32260-3_11","volume-title":"Programming Multi-Agent Systems","author":"H.-J. Lebbink","year":"2005","unstructured":"Lebbink, H.-J., Witteman, C., Meyer, J.-J.C.: A Dialogue Game to Offer an Agreement to Disagree. In: Bordini, R.H., Dastani, M.M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2004. LNCS (LNAI), vol.\u00a03346, pp. 199\u2013223. Springer, Heidelberg (2005)"},{"key":"3_CR31","first-page":"129","volume-title":"Proc.16th European Conf. on Artif. Intell. (ECAI 2004)","author":"J.-J.C. Meyer","year":"2004","unstructured":"Meyer, J.-J.C.: Reasoning about Emotional Agents. In: L\u00f3pez de M\u00e1ntaras, R., Saitta, L. (eds.) Proc.16th European Conf. on Artif. Intell (ECAI 2004), pp. 129\u2013133. IOS Press, Amsterdam (2004)"},{"key":"3_CR32","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0017806","volume-title":"The Design of Intelligent Agents: A Layered Approach","author":"J.P. M\u00fcller","year":"1996","unstructured":"M\u00fcller, J.P.: The Design of Intelligent Agents: A Layered Approach. Springer, Berlin (1996)"},{"key":"3_CR33","volume-title":"Understanding Emotions","author":"K. Oatley","year":"1996","unstructured":"Oatley, K., Jenkins, J.M.: Understanding Emotions. Blackwell Publishing, Malden (1996)"},{"key":"3_CR34","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511571299","volume-title":"The Cognitive Structure of Emotions","author":"A. Ortony","year":"1988","unstructured":"Ortony, A., Clore, G.L., Collins, A.: The Cognitive Structure of Emotions. Cambridge University Press, Cambridge (1988)"},{"key":"3_CR35","unstructured":"Picard, R.W.: Does HAL cry digital tears? Emotion and Computers. In: Stork, D.G. (ed.) HAL\u2019s Legacy, ch.\u00a013. MIT Press, Cambridge (1997)"},{"key":"3_CR36","series-title":"LNAI","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":"3_CR37","first-page":"473","volume-title":"Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR 1991)","author":"A.S. Rao","year":"1991","unstructured":"Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Allen, J., Fikes, R., Sandewall, E. (eds.) Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR 1991), pp. 473\u2013484. Morgan Kaufmann, San Francisco (1991)"},{"key":"3_CR38","unstructured":"van der Ree, R.: Emotions in the Agent Language 3APL (working title), Master\u2019s Thesis, Utrecht University, Utrecht (to appear)"},{"key":"3_CR39","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.) Pre-Proceedings CLIMA V (5th Int. Workshop on Computaional Logic in Multi-Agent Systems), Lisbon, Portugal, September 29-30, pp. 196\u2013211 (2004) (to appear in post-proceedings)"},{"key":"3_CR40","unstructured":"van Riemsdijk, M.B., Dastani, M., Dignum, F., Meyer, J.-J.C.: Dynamics of Declarative Goals in Agent Programming. In: Leite, J., Omicini, A., Torroni, P., Yolum, P. (eds.) Proc. DALT 2004, AAMAS 2004, New York, pp. 17\u201332 (2004) (to appear in post-proceedings)"},{"key":"3_CR41","doi-asserted-by":"crossref","unstructured":"van Riemsdijk, M.B., Dastani, M., Meyer, J.-J.C.: Semantics of Declarative Goals in Agent Programming. In: Accepted for AAMAS 2005 (2005)","DOI":"10.1145\/1082473.1082494"},{"key":"3_CR42","unstructured":"van Riemsdijk, M.B., Dastani, M., Meyer, J.-J.C.: Subgoal Semantics in Agent Programming (submitted)"},{"key":"3_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/978-3-540-27815-3_33","volume-title":"Algebraic Methodology and Software Technology","author":"M.B. Riemsdijk van","year":"2004","unstructured":"van Riemsdijk, M.B., Meyer, J.-J.C., de Boer, F.S.: Semantics of Plan Revision in Intelligent Agents. In: Rattray, C., Maharaj, S., Shankland, C. (eds.) AMAST 2004. LNCS, vol.\u00a03116, pp. 426\u2013442. Springer, Heidelberg (2004)"},{"issue":"1","key":"3_CR44","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(1), 51\u201392 (1993)","journal-title":"Artificial Intelligence"},{"key":"3_CR45","first-page":"2652","volume-title":"Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC 1998)","author":"A. Sloman","year":"1998","unstructured":"Sloman, A.: Damasio, Descartes, Alarms, and Meta-Management. In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC 1998), pp. 2652\u20132657. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"3_CR46","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5804.001.0001","volume-title":"Reasoning about Rational Agents","author":"M.J. Wooldridge","year":"2000","unstructured":"Wooldridge, M.J.: Reasoning about Rational Agents. MIT Press, Cambridge (2000)"},{"key":"3_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44564-1_1","volume-title":"Agent-Oriented Software Engineering","author":"M.J. Wooldridge","year":"2001","unstructured":"Wooldridge, M.J., Ciancarini, P.: Agent-Oriented Software Engineering: The State of the Art. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol.\u00a01957, pp. 1\u201328. Springer, Heidelberg (2001)"},{"issue":"3","key":"3_CR48","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1023\/A:1010071910869","volume":"3","author":"M.J. Wooldridge","year":"2000","unstructured":"Wooldridge, M.J., Jennings, N.R., Kinny, D.: The Gaia Methodology for Agent-Oriented Analysis and Design. Autonomous Agents and Multi-Agent Systems\u00a03(3), 285\u2013312 (2000)","journal-title":"Autonomous Agents and Multi-Agent Systems"}],"container-title":["Lecture Notes in Computer Science","Multiagent System Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11550648_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T12:55:36Z","timestamp":1736081736000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11550648_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540287407","9783540287414"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/11550648_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}