{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:43Z","timestamp":1725559003504},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540250159"},{"type":"electronic","value":"9783540322580"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-32258-0_16","type":"book-chapter","created":{"date-parts":[[2010,7,5]],"date-time":"2010-07-05T20:17:24Z","timestamp":1278361044000},"page":"242-259","source":"Crossref","is-referenced-by-count":1,"title":["A Model of Rational Agency for Communicating Agents"],"prefix":"10.1007","author":[{"given":"Shakil M.","family":"Khan","sequence":"first","affiliation":[]},{"given":"Yves","family":"Lesp\u00e9rance","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2-3","key":"16_CR1","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P. Cohen","year":"1990","unstructured":"Cohen, P., Levesque, H.: Intention is Choice with Commitment. Artificial Intelligence\u00a042(2-3), 213\u2013361 (1990)","journal-title":"Artificial Intelligence"},{"key":"16_CR2","doi-asserted-by":"crossref","first-page":"221","DOI":"10.7551\/mitpress\/3839.003.0014","volume-title":"Intentions in Communication","author":"P. Cohen","year":"1990","unstructured":"Cohen, P., Levesque, H.: Rational Interaction as the Basis for Communication. In: Cohen, P., Morgan, J., Pollack, M. (eds.) Intentions in Communication, pp. 221\u2013255. MIT Press, Cambridge (1990)"},{"key":"16_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.M. Dastani","year":"2004","unstructured":"Dastani, M.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.M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol.\u00a03067, pp. 111\u2013130. Springer, Heidelberg (2004)"},{"issue":"2-4","key":"16_CR4","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1023\/B:AMAI.0000031197.13122.aa","volume":"41","author":"G. Giacomo De","year":"2004","unstructured":"De Giacomo, G., Lesp\u00e9rance, Y., Levesque, H., Sardina, S.: On the Semantics of Deliberation in IndiGolog - From Theory to Implementation. Annals of Mathematics and Artificial Intelligence\u00a041(2-4), 259\u2013299 (2004)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"16_CR5","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, 109\u2013169 (2000)","journal-title":"Artificial Intelligence"},{"key":"16_CR6","unstructured":"Foundations for Intelligent Physical Agents: FIPA Communicative Act Library Specification. Document 37 (1997-2002)"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Developments in Agent Communication","author":"R. Flores","year":"2004","unstructured":"Flores, R., Pasquier, P., Chaib-draa, B.: Conversational semantics with social commitments. In: van Eijk, R., Huget, M.-P., Dignum, F. (eds.) Developments in Agent Communication. LNCS. Springer, Heidelberg (2004)"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Developments in Agent Communication","author":"N. Fornara","year":"2004","unstructured":"Fornara, N., Vigano, F., Colombetti, M.: Agent communication and institutional reality. In: van Eijk, R., Huget, M.-P., Dignum, F. (eds.) Developments in Agent Communication. LNCS, Springer, Heidelberg (2004)"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Herzig, A., Longin, D.: A Logic of Intention with Cooperation Principles and with Assertive Speech Acts as Communication Primitives. In: Proc. of AAMAS 2002 (2002)","DOI":"10.1145\/544862.544954"},{"key":"16_CR10","volume-title":"Communicating Sequential Processes","author":"C. Hoare","year":"1985","unstructured":"Hoare, C.: Communicating Sequential Processes. Prentice Hall Int., Englewood Cliffs (1985)"},{"key":"16_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":"W. Hoek van der","year":"2001","unstructured":"van der Hoek, W., Hindriks, K.V., de Boer, F.S., Meyer, J.-J.C.: Agent programming with declarative goals. In: Castelfranchi, C., Lesp\u00e9rance, Y. (eds.) ATAL 2000. LNCS (LNAI), vol.\u00a01986, p. 228. Springer, Heidelberg (2001)"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Developments in Agent Communication","author":"M. Huber","year":"2004","unstructured":"Huber, M., Kumar, S., McGee, D.: A suite of performatives based upon joint intention theory. In: van Eijk, R., Huget, M.-P., Dignum, F. (eds.) Developments in Agent Communication. LNCS, Springer, Heidelberg (2004)"},{"key":"16_CR13","unstructured":"Khan, S.: A Situation Calculus Account of Multiagent Planning, Speech Acts, and Communication. M.Sc Thesis. Dept. of Computer Science, York University. In preparation (2004)"},{"key":"16_CR14","unstructured":"Lakemeyer, G., Levesque, H.: AOL: A Logic of Acting, Sensing, Knowing, and Only-Knowing. In: Proc. of KR 1998, 316\u2013327 (1998)"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Lesp\u00e9rance, Y., Levesque, H.J., Lin, F., Marcu, D., Reiter, R., Scherl, R.: Foundations of a Logical Approach to Agent Programming. In: Wooldridge, M., Muller, J., Tambe, M. (eds.): Intelligent Agents. Proc. of ATAL 1995, Vol. II, pp. 331\u2013346 (1995)","DOI":"10.1007\/3-540-58855-8"},{"issue":"1","key":"16_CR16","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/A:1026761331498","volume":"66","author":"Y. Lesp\u00e9rance","year":"2000","unstructured":"Lesp\u00e9rance, Y., Levesque, H., Lin, F., Scherl, R.: Ability and Knowing How in the Situation Calculus. Studia Logica\u00a066(1), 165\u2013186 (2000)","journal-title":"Studia Logica"},{"key":"16_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/3-540-45448-9_6","volume-title":"Intelligent Agents VIII","author":"Y. Lesp\u00e9rance","year":"2002","unstructured":"Lesp\u00e9rance, Y.: On the epistemic feasibility of plans in multiagent systems specifications. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol.\u00a02333, p. 69. Springer, Heidelberg (2002)"},{"key":"16_CR18","unstructured":"Levesque, H.: What is planning in the presence of sensing? In: Proc. of the Thirteenth National Conference on Artificial Intelligence, Portland, OR, pp. 1139\u20131146 (1996)"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Levesque, H., Reiter, R., Lesp\u00e9rance, Y., Lin, F., Scherl, R.: GOLOG: A Logic Programming Language for Dynamic Domains. J. of Logic Programming, 31 (1997)","DOI":"10.1016\/S0743-1066(96)00121-5"},{"key":"16_CR20","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/3540608052_56","volume-title":"Intelligent Agents II - Agent Theories, Architectures, and Languages","author":"B. Linder van","year":"1996","unstructured":"van Linder, B., van der Hoek, W., Meyer, J.-J.C.: Formalising Motivational Attitudes of Agents: On Preferences, Goals, and Commitments. In: Tambe, M., M\u00fcller, J., Wooldridge, M.J. (eds.) IJCAI-WS 1995 and ATAL 1995. LNCS (LNAI), vol.\u00a01037, pp. 17\u201332. Springer, Heidelberg (1996)"},{"key":"16_CR21","first-page":"463","volume":"4","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.: Some Philosophical Problems from the Standpoint of Artificial Intelligence. Machine Intelligence\u00a04, 463\u2013502 (1969)","journal-title":"Machine Intelligence"},{"key":"16_CR22","unstructured":"Moore, R.: A Formal Theory of Knowledge and Action. In: Hobbs J., Moore, R. (eds.): Formal Theories of the Commonsense World, Ablex, pp. 319\u2013358 (1985)"},{"key":"16_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1007\/3-540-61474-5_91","volume-title":"Computer Aided Verification","author":"S. Owre","year":"1996","unstructured":"Owre, S., Rajan, S., Rushby, J., Shankar, N., Srivas, M.: PVS: Combining specification, proof checking, and model checking. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 411\u2013414. Springer, Heidelberg (1996)"},{"key":"16_CR24","unstructured":"Plotkin, G.: A Structural Approach to Operational Semantics. Technical Report DAIMI-FN-19, Computer Science Dept., Aarhus University, Denmark (1981)"},{"key":"16_CR25","unstructured":"Rao, A., Georgeff, M.: Modeling Rational Agents within a BDI-architecture. In: Fikes, R., Sandewall, E. (eds.): Proc. of KR&R, vol. 91, pp. 473\u2013484 (1991)"},{"key":"16_CR26","volume-title":"Artificial Intelligence and Mathematical Theory of Computation: Papers in the Honor of John McCarthy","author":"R. Reiter","year":"1991","unstructured":"Reiter, R.: The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression. In: Lifschitz, V. (ed.) Artificial Intelligence and Mathematical Theory of Computation: Papers in the Honor of John McCarthy, San Diego, CA. Academic Press, London (1991)"},{"key":"16_CR27","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems","author":"R. Reiter","year":"2001","unstructured":"Reiter, R.: Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)"},{"key":"16_CR28","unstructured":"Sadek, M.: Communication Theory = Rationality Principles + Communicative Act Models. In: Proc. of AAAI 1994 Workshop on Planning for Interagent Comm. (1994)"},{"key":"16_CR29","doi-asserted-by":"crossref","unstructured":"Sardi\u00f1a, S., Shapiro, S.: Rational Action in Agent Programs with Prioritized Goals. In: Proc. of AAMAS 2003, pp. 417\u2013424 (2003)","DOI":"10.1145\/860638.860642"},{"key":"16_CR30","doi-asserted-by":"crossref","unstructured":"Scherl, R., Levesque, H.: Knowledge, Action, and the Frame Problem. In: Artificial Intelligence, vol. 144(1-2) (2003)","DOI":"10.1016\/S0004-3702(02)00365-X"},{"key":"16_CR31","unstructured":"Shapiro, S.: Specifying and Verifying Multiagent Systems Using CASL. PhD Thesis. Dept. of Computer Science, University of Toronto. In: Preparation (2004)"},{"key":"16_CR32","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/3-540-44631-1_17","volume-title":"Intelligent Agents VII. Agent Theories Architectures and Languages","author":"S. Shapiro","year":"2001","unstructured":"Shapiro, S., Lesp\u00e9rance, Y.: Modeling Multiagent Systems with the Cognitive Agents Specification Language - A Feature Interaction Resolution Application. In: Castelfranchi, C., Lesp\u00e9rance, Y. (eds.) ATAL 2000. LNCS (LNAI), vol.\u00a01986, pp. 244\u2013259. Springer, Heidelberg (2001)"},{"key":"16_CR33","doi-asserted-by":"crossref","unstructured":"Shapiro, S., Lesp\u00e9rance, Y., Levesque, H.: The Cognitive Agents Specification Language and Verification Environment for Multiagent Systems. In: Castelfranchi, C., Johnson, W. (eds.) Proc. of AAMAS 2002, pp. 19\u201326 (2002)","DOI":"10.1145\/544743.544746"},{"key":"16_CR34","unstructured":"Shapiro, S., Lesp\u00e9rance, Y., Levesque, H.: Specifying Communicative Multi-Agent Systems with ConGolog. In: AAAI Fall, Symp. on Comm. Act. in Humans and Machines, pp. 75\u201382 (1997)"},{"key":"16_CR35","series-title":"LNAI","volume-title":"Multiagent Systems: A Theoretical Framework for Intentions","author":"M.P. Singh","year":"1994","unstructured":"Singh, M.P.: Multiagent Systems: A Theoretical Framework for Intentions, Know-How, and Communications. LNCS (LNAI), vol.\u00a0799. Springer, Heidelberg (1994)"}],"container-title":["Lecture Notes in Computer Science","Agent Communication"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-32258-0_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,28]],"date-time":"2024-03-28T01:11:54Z","timestamp":1711588314000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-32258-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540250159","9783540322580"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-32258-0_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}