{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:42:11Z","timestamp":1747546931002},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201199"},{"type":"electronic","value":"9783540398530"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39853-0_25","type":"book-chapter","created":{"date-parts":[[2011,1,13]],"date-time":"2011-01-13T06:13:01Z","timestamp":1294899181000},"page":"300-311","source":"Crossref","is-referenced-by-count":1,"title":["Reasoning about Conversation Protocols in a Logic-Based Agent Language"],"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":"25_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) (to appear)"},{"key":"25_CR2","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":"25_CR3","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":"25_CR4","unstructured":"Chinnici, R., Gudgin, M., Moreau, J.J., Weerawarana, S.: Web Services Description Language (WSDL) version 1.2 (2003); Working Draft"},{"key":"25_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/3-540-48005-6_27","volume-title":"The Semantic Web - ISWC 2002","author":"A. Ankolekar","year":"2002","unstructured":"Ankolekar, A., Burstein, M., Hobbs, J.R., Lassila, O., Martin, D., McDermott, D., McIlraith, S.A., Narayanan, S., Paolucci, M., Payne, T.R., Sycara, K.: The DAML-S coalition. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, p. 348. Springer, Heidelberg (2002)"},{"key":"25_CR6","volume-title":"Proc. of ILPS 1993","author":"M. Denecker","year":"1993","unstructured":"Denecker, M., De Schreye, D.: Representing Incomplete Knowledge in Abduction Logic Programming. In: Proc. of ILPS 1993, Vancouver. The MIT Press, Cambridge (1993)"},{"key":"25_CR7","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":"25_CR8","unstructured":"FIPA. Fipa 2000, fipa Query Interaction Protocol Specification. Technical report, FIPA (Foundation for Intelligent Physical Agents) (November 2000)"},{"key":"25_CR9","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":"25_CR10","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":"25_CR11","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":"25_CR12","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 Parunak, H.D., Bauer, B.: Representing agent interaction protocols in UML. In: Agent-Oriented Software Engineering, pp. 121\u2013140. Springer, Heidelberg (2001), \n                    \n                      http:\/\/www.fipa.org\/docs\/input\/f-in-00077\/"},{"key":"25_CR13","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 \n                    \n                      http:\/\/www.di.unito.it\/~patti\/"},{"key":"25_CR14","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":"2001","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 (2001)"},{"key":"25_CR15","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\u00e9ance, 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","AI*IA 2003: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39853-0_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:32:49Z","timestamp":1558294369000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39853-0_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201199","9783540398530"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39853-0_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}