{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:24:08Z","timestamp":1725470648820},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540379010"},{"type":"electronic","value":"9783540379027"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11829263_13","type":"book-chapter","created":{"date-parts":[[2006,9,19]],"date-time":"2006-09-19T03:32:51Z","timestamp":1158636771000},"page":"229-246","source":"Crossref","is-referenced-by-count":3,"title":["Reasoning About Web Services in a Temporal Action Logic"],"prefix":"10.1007","author":[{"given":"Alberto","family":"Martelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laura","family":"Giordano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","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":"13_CR2","doi-asserted-by":"crossref","unstructured":"Berardi, D., De Giacomo, G., Lenzerini, M., Mecella, M., Calvanese, D.: Synthesis of Underspecified Composite e-Services based on Automated Reasoning. In: Proc. ICSOC 2004, pp. 105\u2013114 (2004)","DOI":"10.1145\/1035167.1035183"},{"key":"13_CR3","unstructured":"Dal Lago, U., Pistore, M., Traverso, P.: Planning with a Language for Extended Goals. In: AAAI 2002, pp. 447\u2013454 (2002)"},{"key":"13_CR4","series-title":"LNAI","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: An Introduction. In: Dignum, F., Greaves, M. (eds.) Issues in Agent Communication. LNCS (LNAI), vol.\u00a01916, pp. 1\u201316. Springer, Heidelberg (2000)"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Fornara, N., Colombetti, M.: Defining Interaction Protocols using a Commitment-based Agent Communication Language. In: Proc. AAMAS 2003, Melbourne, pp. 520\u2013527 (2003)","DOI":"10.1145\/860575.860659"},{"key":"13_CR6","first-page":"289","volume-title":"Annals of Mathematics and Artificial Intelligence","author":"L. Giordano","year":"2006","unstructured":"Giordano, L., Martelli, A.: Tableau-based Automata Construction for Dynamic Linear Time Temporal Logic. In: Annals of Mathematics and Artificial Intelligence, vol.\u00a046(3), pp. 289\u2013315. Springer, Heidelberg (2006)"},{"key":"13_CR7","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-540-30227-8_8","volume-title":"Logics in Artificial Intelligence","author":"L. Giordano","year":"2004","unstructured":"Giordano, L., Martelli, A., Schwind, C.B.: Verifying Communicating Agents by Model Checking in a Temporal Action Logic. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 57\u201369. Springer, Heidelberg (2004)"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Giordano, L., Martelli, A., Schwind, C.: Specialization of Interaction Protocols in a Temporal Action Logic. In: LCMAS 2005 (3rd Int. Workshop on Logic and Communication in Multi- Agent Systems). ENTCS, vol.\u00a0157(4), pp. 1\u2013138 (2006)","DOI":"10.1016\/j.entcs.2006.02.010"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Giordano, L., Martelli, A., Schwind, C.: Specifying and Verifying Interaction Protocols in a Temporal Action Logic. Journal of Applied Logic (Special issue on Logic Based Agent Verification) (to appear, 2006)","DOI":"10.1016\/j.jal.2005.12.011"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/10722777_8","volume-title":"Issues in Agent Communication","author":"M. Greaves","year":"2000","unstructured":"Greaves, M., Holmback, H., Bradshaw, J.: What Is a Conversation Policy? In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol.\u00a01916, pp. 118\u2013131. Springer, Heidelberg (2000)"},{"key":"13_CR11","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-540-44972-0_4","volume-title":"Communication in Multiagent Systems","author":"F. Guerin","year":"2003","unstructured":"Guerin, F., Pitt, J.: Verification and Compliance Testing. In: Huget, M.-P. (ed.) Communication in Multiagent Systems. LNCS (LNAI), vol.\u00a02650, pp. 98\u2013112. Springer, Heidelberg (2003)"},{"issue":"1-3","key":"13_CR12","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"},{"issue":"3","key":"13_CR13","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1017\/S0269888900000205","volume":"8","author":"N.R. Jennings","year":"1993","unstructured":"Jennings, N.R.: Commitments and Conventions: the foundation of coordination in multi-agent systems. The knowledge engineering review\u00a08(3), 233\u2013250 (1993)","journal-title":"The knowledge engineering review"},{"issue":"2","key":"13_CR14","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1017\/S0269888902000486","volume":"17","author":"N. Maudet","year":"2002","unstructured":"Maudet, N., Chaib-draa, B.: Commitment-based and dialogue-game based protocols: New trends in agent communication languages. The Knowledge Engineering Review\u00a017(2), 157\u2013179 (2002)","journal-title":"The Knowledge Engineering Review"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Narayanan, S., McIlraith, S.: Simulation, Verification and Automated Composition of Web Services. In: Proceedings of the Eleventh International World Wide Web Conference (WWW-11), pp. 77\u201388 (May 2002)","DOI":"10.1145\/511446.511457"},{"key":"13_CR16","unstructured":"Petrick, R., Bacchus, F.: A knowledge-based approach to planning with incomplete information and sensing. In: Proceedings of the International Conference on Artificial Intelligence Planning (AIPS), pp. 212\u2013222 (2002)"},{"key":"13_CR17","unstructured":"Pistore, M., Traverso, P.: Planning as Model Checking for Extended Goals in Non-deterministic Domains. In: Proc. IJCAI 2001, Seattle, pp. 479\u2013484 (2001)"},{"key":"13_CR18","unstructured":"Pistore, M., Traverso, P., Bertoli, P.: Automated Composition of Web Services by Planning in Asynchronous Domains. In: ICAPS 2005, pp. 2\u201311 (2005)"},{"key":"13_CR19","unstructured":"Pistore, M., Marconi, A., Bertoli, P., Traverso, P.: Automated Composition of Web Services by Planning at the Knowledge Level. In: Proc. International Joint Conference on Artificial Intelligence (IJCAI), pp. 1252\u20131259 (2005)"},{"key":"13_CR20","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/B978-0-12-450010-5.50026-8","volume-title":"Artificial Intelligence and Mathematical Theory of Computation: Papers in 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 Honor of John McCarthy, pp. 359\u2013380. Academic Press, London (1991)"},{"issue":"12","key":"13_CR21","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.735849","volume":"31","author":"M.P. Singh","year":"1998","unstructured":"Singh, M.P.: Agent communication languages: Rethinking the principles. IEEE Computer\u00a031(12), 40\u201347 (1998)","journal-title":"IEEE Computer"},{"key":"13_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/10722777_3","volume-title":"Issues in Agent Communication","author":"M.P. Singh","year":"2000","unstructured":"Singh, M.P.: A social semantics for Agent Communication Languages. In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol.\u00a01916, pp. 31\u201345. Springer, Heidelberg (2000)"},{"key":"13_CR23","unstructured":"Srivastava, B., Koehler, J.: Web Service Composition - Current Solutions and Open Problems. In: Srivastava, B., Koehler, J. (eds.) ICAPS 2003 Workshop on Planning for Web Services, Trento, Italy, pp. 28\u201335 (June 2003)"},{"key":"13_CR24","series-title":"Lecture Notes in Computer Science","first-page":"527","volume-title":"Trust, Reputation, and Security: Theories and Practice","author":"P. Yolum","year":"2003","unstructured":"Yolum, P., Singh, M.P.: Flexible Protocol Specification and Execution: Applying Event Calculus Planning using Commitments. In: Falcone, R., Barber, S., Korba, L., Singh, M.P. (eds.) AAMAS 2002. LNCS, vol.\u00a02631, pp. 527\u2013534. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Reasoning, Action and Interaction in AI Theories and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11829263_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:18:18Z","timestamp":1605626298000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11829263_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540379010","9783540379027"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11829263_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}