{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:38:07Z","timestamp":1778297887698,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540205821","type":"print"},{"value":"9783540245728","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24572-8_6","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T15:41:01Z","timestamp":1283701261000},"page":"84-98","source":"Crossref","is-referenced-by-count":1,"title":["Reasoning about Communicating Agents in the Semantic Web"],"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":"Laura","family":"Giordano","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":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-540-45208-9_19","volume-title":"Theoretical Computer Science","author":"M. Baldoni","year":"2003","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti, V.: Reasoning about self and others: communicating agents in a modal action logic. In: Blundo, C., Laneve, C. (eds.) ICTCS 2003. LNCS, vol.\u00a02841, pp. 228\u2013241. Springer, Heidelberg (2003)"},{"key":"6_CR2","unstructured":"Baldoni, M., Baroglio, C., Patti, V.: Applying logic inference techniques for gaining flexibility and adaptivity in tutoring systems. In: Stephanidis, C. (ed.) Proc. of the HCII 2003, Crete, Lawrence Erlbaum Associates (2003)"},{"key":"6_CR3","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":"6_CR4","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":"6_CR5","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":"6_CR6","unstructured":"Chinnici, R., Gudgin, M., Moreau, J.J., Weerawarana, S.: Web Services Description Language (WSDL) version 1.2 (2003), Working Draft"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"The DAML-S coalition: DAML-S: Web service description for the semantic web. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, p. 348. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-48005-6_27"},{"key":"6_CR8","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":"6_CR9","unstructured":"FIPA. FIPA 2000. Technical report, FIPA (Foundation for Intelligent Physical Agents) (November 2000)"},{"key":"6_CR10","volume-title":"Proc. 15th Work. Protocol Specification, Testing and Verification","author":"R. Gerth","year":"1995","unstructured":"Gerth, R., Peled, D., Vardi, M.Y., Wolper, P.: Simple on-the-fly automatic verification of linear temporal logic. In: Proc. 15th Work. Protocol Specification, Testing and Verification, Warsaw, North Holland, Amsterdam (1995)"},{"key":"6_CR11","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\u00e8rance, Y., Levesque, H.J.: Congolog, a concurrent programming language based on the situation calculus. Artificial Intelligence\u00a0121, 109\u2013169 (2000)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"6_CR12","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1093\/jigpal\/9.2.289","volume":"9","author":"L. Giordano","year":"2001","unstructured":"Giordano, L., Martelli, A., Schwind, C.: Reasoning about actions in dynamic linear time temporal logic. J. of the IGPL\u00a09(2), 289\u2013303 (2001)","journal-title":"J. of the IGPL"},{"key":"6_CR13","series-title":"LNAI","volume-title":"AI*IA 2003: Advances in Artificial Intelligence","author":"L. Giordano","year":"2003","unstructured":"Giordano, L., Martelli, A., Schwind, C.: Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. In: Cappelli, A., Turini, F. (eds.) AI*IA 2003. LNCS (LNAI), vol.\u00a02829, Springer, Heidelberg (2003)"},{"key":"6_CR14","unstructured":"Guerin, F.: Specifying Agent Communication Languages. Phd thesis, Imperial College, London (April 2002)"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Harel, D.: First order dynamic logic. In: Gabbay, D., Guenthner, F. (eds.) Extensions of Classical Logic, Handbook of Philosophical Logic, vol.\u00a0II, pp. 497\u2013604. D. Reidel (1984)","DOI":"10.1007\/978-94-009-6259-0_10"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR\u201997: Concurrency Theory","author":"J.G. Henriksen","year":"1997","unstructured":"Henriksen, J.G., Thiagarajan, P.S.: A product version of dynamic linear time temporal logic. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997. LNCS, vol.\u00a01243, Springer, Heidelberg (1997)"},{"issue":"1-3","key":"6_CR17","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0168-0072(98)00039-6","volume":"96","author":"J.G. Henriksen","year":"1999","unstructured":"Henriksen, J.G., Thiagarajan, P.S.: Dynamic linear time temporal logic. Annals of Pure and Applied logic\u00a096(1-3), 187\u2013207 (1999)","journal-title":"Annals of Pure and Applied logic"},{"key":"6_CR18","unstructured":"Herzig, A., Longin, D.: Beliefs dynamics in cooperative dialogues. In: Proc. of AMSTELOGUE 1999 (1999)"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Mc Ilraith, S.A., Son, T.C., Zeng, H.: Semantic web services. IEEE Intelligent Systems, 46\u201353 (2001)","DOI":"10.1109\/5254.920599"},{"issue":"3","key":"6_CR20","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1093\/logcom\/8.3.401","volume":"8","author":"F. Giunchiglia","year":"1998","unstructured":"Giunchiglia, F., Benerecetti, M., Serafini, L.: Model checking multiagent systems. Journal of Logic and Computation\u00a08(3), 401\u2013423 (1998)","journal-title":"Journal of Logic and Computation"},{"key":"6_CR21","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":"6_CR22","doi-asserted-by":"crossref","unstructured":"Narayanan, S., McIlraith, S.A.: Simulation, verification and automated composition of web services. In: Proc. of the Eleventh International World Wide Web Conference, WWW-11 (May 2002)","DOI":"10.1145\/511446.511457"},{"key":"6_CR23","doi-asserted-by":"crossref","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), HYPERLINK https:\/\/2.zoppoz.workers.dev:443\/http\/www.fipa.org\/docs\/input\/f-in-00077\/","DOI":"10.1007\/3-540-44564-1_8"},{"key":"6_CR24","unstructured":"Patti, V.: Programming Rational Agents: a Modal Approach in a Logic Programming Setting. PhD thesis, Dipartimento di Informatica, Universit\u00e0 degli Studi di Torino, Italy (2002), Available at https:\/\/2.zoppoz.workers.dev:443\/http\/www.di.unito.it\/~patti\/"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Reiter, R.: The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. Artificial Intelligence and Mathematical Theory of Computation, 359\u2013380 (1991)","DOI":"10.1016\/B978-0-12-450010-5.50026-8"},{"key":"6_CR26","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":"6_CR27","volume-title":"Proc. of IJCAI 1998 Workshop on Agent Communication Languages","author":"M.P. Singh","year":"2000","unstructured":"Singh, M.P.: A social semantics for agent communication languages. In: Proc. of IJCAI 1998 Workshop on Agent Communication Languages, Springer, Heidelberg (2000)"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Wooldridge, M., Fisher, M., Huget, M.P., Parsons, S.: Model checking multiagent systems with mable. In: Proc. of AAMAS 2002, Bologna, pp. 952\u2013959 (2002)","DOI":"10.1145\/544964.544965"},{"key":"6_CR29","doi-asserted-by":"crossref","unstructured":"Yolum, P., Singh, M.P.: Flexible protocol specification and execution: Applying event calculus planning using commitments. In: Proc. of AAMAS 2002, Bologna, Italy, pp. 527\u2013534 (2002)","DOI":"10.1145\/544862.544867"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Semantic Web Reasoning"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24572-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,3]],"date-time":"2019-06-03T15:54:02Z","timestamp":1559577242000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/10.1007\/978-3-540-24572-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205821","9783540245728"],"references-count":29,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/978-3-540-24572-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}