{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:42:05Z","timestamp":1747546925176},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540202165"},{"type":"electronic","value":"9783540452089"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45208-9_19","type":"book-chapter","created":{"date-parts":[[2010,6,28]],"date-time":"2010-06-28T04:49:20Z","timestamp":1277700560000},"page":"228-241","source":"Crossref","is-referenced-by-count":7,"title":["Reasoning about Self and Others: Communicating Agents in a Modal Action Logic"],"prefix":"10.1007","author":[{"given":"Matteo","family":"Baldoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristina","family":"Baroglio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Martelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viviana","family":"Patti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","volume-title":"Computational models of discourse","author":"J.F. Allen","year":"1983","unstructured":"Allen, J.F.: Recognizing intentions from natural language utterances. In: Brady, M., \u00c5qvist, R.C. (eds.) Computational models of discourse, MIT Press, Cambridge (1983)"},{"key":"19_CR2","volume-title":"How to do things with words","author":"J.A. Austin","year":"1962","unstructured":"Austin, J.A.: How to do things with words. Harvard University Press, Cambridge (1962)"},{"key":"19_CR3","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti, V.: Reasoning about interaction for personalizing web service fruition. In: Proc. of WOA 2003: dagli Oggetti agli Agenti, Cagliari, Italy, september (2003) (to appear)"},{"key":"19_CR4","unstructured":"Baldoni, M., Baroglio, C., Patti, V., Torasso, L.: Using a rational agent in an adaptive web-based tutoring system. In: Proc. of the Workshop on Adaptive Systems for Web-Based Education, AH 2002, Malaga, Spain (2002)"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/3-540-45446-2_26","volume-title":"Theoretical Computer Science","author":"M. Baldoni","year":"2001","unstructured":"Baldoni, M., Giordano, L., Martelli, A., Patti, V.: Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. In: Restivo, A., Ronchi Della Rocca, S., Roversi, L. (eds.) ICTCS 2001. LNCS, vol.\u00a02202, pp. 405\u2013425. Springer, Heidelberg (2001)"},{"key":"19_CR6","series-title":"LNAI","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0013586","volume-title":"Intelligent Agents III. Agent Theories, Architectures, and Languages","author":"P. Bretier","year":"1997","unstructured":"Bretier, P., Sadek, D.: A rational agent as the kernel of a cooperative spoken dialogue system: implementing a logical theory of interaction. In: Jennings, N.R., Wooldridge, M.J., M\u00fcller, J.P. (eds.) ECAI-WS 1996 and ATAL 1996. LNCS (LNAI), vol.\u00a01193, Springer, Heidelberg (1997)"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Bryson, J., Martin, D., McIlraith, S., Stein, L.A.: Agent-based composite services in DAML-S: The behavior-oriented design of an intelligent semantic web (2002)","DOI":"10.1007\/978-3-662-05320-1_3"},{"key":"19_CR8","unstructured":"Chinnici, R., Gudgin, M., Moreau, J.J., Weerawarana, S.: Web Services Prescription Language (WSDL) version 1.2 (2003) (working draft)"},{"key":"19_CR9","unstructured":"The DAML-S coalition. DAML-S: Web service description for the semantic web. In: the 1st Int. Semantic Web Conference (ISWC), Sardinia, Italy (2002)"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Cohen, P.R., Levesque, H.: Rational interaction as the basis for communication. In: Cohen, P.R., Pollack, M.E., Morgan, J. (eds.) Intentions in Communication, pp. 221\u2013256 (1990)","DOI":"10.7551\/mitpress\/3839.003.0014"},{"issue":"3","key":"19_CR11","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1207\/s15516709cog0303_1","volume":"3","author":"P.R. Cohen","year":"1979","unstructured":"Cohen, P.R., Perrault, C.R.: Elements of a plan-based theory of speech acts. Cognitive Science\u00a03(3), 177\u2013212 (1979)","journal-title":"Cognitive Science"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Dastani, M., van der Ham, J., Dignum, F.: Communication for goal directed agents. In: Proc. of Workshop on Agent Communication Languages and Conversation Policies, AAMAS 2002, Bologna, Italy (2002)","DOI":"10.1007\/978-3-540-44972-0_13"},{"key":"19_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/10722777_1","volume-title":"Issues in Agent Communication","author":"F. Dignum","year":"2000","unstructured":"Dignum, F., Greaves, M.: Issues in agent communication. In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol.\u00a01916, pp. 1\u201316. Springer, Heidelberg (2000)"},{"key":"19_CR14","volume-title":"Proc. of ICLP 1989","author":"K. Eshghi","year":"1989","unstructured":"Eshghi, K., Kowalski, R.: Abduction compared with Negation by Failure. In: Proc. of ICLP 1989, Lisbon, The MIT Press, Cambridge (1989)"},{"key":"19_CR15","volume-title":"Software Agents","author":"T. Finin","year":"1995","unstructured":"Finin, T., Labrou, Y., Mayfield, J.: KQML as an Agent Communication Language. In: Bradshaw, J. (ed.) Software Agents, MIT Press, Cambridge (1995)"},{"key":"19_CR16","unstructured":"FIPA. FIPA 2000. Technical report, FIPA (Foundation for Intelligent Physical Agents) (November 2000)"},{"key":"19_CR17","unstructured":"FIPA. FIPA 2002. Technical report, FIPA (Foundation for Intelligent Physical Agents) (2002)"},{"key":"19_CR18","unstructured":"Herzig, A., Longin, D.: Beliefs dynamics in cooperative dialogues. In: Proc. of AMSTELOGUE 1999 (1999)"},{"key":"19_CR19","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H.J. Levesque","year":"1997","unstructured":"Levesque, H.J., Reiter, R., Lesp\u00e9rance, Y., Lin, F., Scherl, R.B.: GOLOG: A Logic Programming Language for Dynamic Domains. J. of Logic Programming\u00a031, 59\u201383 (1997)","journal-title":"J. of Logic Programming"},{"key":"19_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/10722777_11","volume-title":"Issues in Agent Communication","author":"A. Mamdani","year":"2000","unstructured":"Mamdani, A., Pitt, J.: Communication protocols in multi-agent systems: A development method and reference architecture. In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol.\u00a01916, pp. 160\u2013177. Springer, Heidelberg (2000)"},{"key":"19_CR21","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/3-540-44564-1_8","volume-title":"Agent-Oriented Software Engineering","author":"J.H. Odell","year":"2001","unstructured":"Odell, J.H., Van Dyke Parunak, H., Bauer, B.: Representing agent interaction protocols in UML. In: Agent-Oriented Software Engineering, pp. 121\u2013140. Springer, Heidelberg (2001)"},{"key":"19_CR22","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/3-540-45448-9_30","volume-title":"Intelligent Agents VIII","author":"F. Sadri","year":"2002","unstructured":"Sadri, F., Toni, F., Torroni, P.: Dialogues for Negotiation: Agent Varieties and Dialogue Sequences. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol.\u00a02333, p. 405. Springer, Heidelberg (2002)"},{"key":"19_CR23","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139173438","volume-title":"Speech Acts","author":"J.R. Searle","year":"1969","unstructured":"Searle, J.R.: Speech Acts. Cambridge University Press, New York (1969)"},{"key":"19_CR24","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0055016","volume-title":"Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications","author":"S. Shapiro","year":"1998","unstructured":"Shapiro, S., Lesp\u00e9rance, Y., Levesque, H.J.: Specifying communicative multiagent systems. In: Wobcke, W., Pagnucco, M., Zhang, C. (eds.) Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications. LNCS (LNAI), vol.\u00a01441, pp. 1\u201314. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45208-9_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,27]],"date-time":"2024-03-27T21:04:00Z","timestamp":1711573440000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45208-9_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202165","9783540452089"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45208-9_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}