Reasoning about Web services in a temporal action logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4155 LNAI, Issue , 2006, Pages 229-246

  Martelli, Alberto ^a   Giordano, Laura ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF EASTERN PIEDMONT   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ACTION LOGIC; ACTION THEORY; AGENT COMMUNICATIONS; INCOMPLETE INFORMATION; INTER-ACTION PROTOCOLS;

AGENTS; FLOW INTERACTIONS; INFORMATION SERVICES; MATHEMATICAL OPERATORS; TEMPORAL LOGIC; WEB SERVICES; WORLD WIDE WEB;

INTERNET PROTOCOLS;

EID: 49949107811     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11829263_13     Document Type: Conference Paper

References (24)

1. M. Baldoni, L. Giordano, A. Martelli, and Viviana Patti. Reasoning about complex actions with incomplete knowledge: a modal approach. In Proc. ICTCS'01- LNCS 2202, 405-425, 2001.
2. D. Berardi, G. De Giacomo, M. Lenzerini, M. Mecella and D Calvanese. Syntesis of Underspecified Composite e-Services based on Automated Reasoning. In Proc. ICSOC'04, 105-114, 2004.
3. U. Dal Lago, M. Pistore, P. Traverso: Planning with a Language for Extended Goals. AAAI 2002, 447-454, 2002.
4. F. Dignum and M. Greaves, "Issues in Agent Communication:An Introduction". In F.Dignum and M.Greaves (Eds.), Issues in Agent Communication, LNAI 1916, 1-16, 1999.
5. N. Fornara and M. Colombetti. Defining Interaction Protocols using a Commitment-based Agent Communication Language. Proc. AAMAS'03, Melbourne, 520-527, 2003.
6. L. Giordano and A. Martelli. Tableau-based Automata Construction for Dynamic Linear Time Temporal Logic. Annals of Mathematics and Artificial Intelligence, Vol.46, n. 3, pages 289-315, Springer, 2006.
7. L. Giordano, A. Martelli, and C. Schwind. Verifying Communicating Agents by Model Checking in a Temporal Action Logic. Proc. Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, Springer LNAI 3229, 57-69, 2004.
8. L. Giordano, A. Martelli, and C Schwind. Specialization of Interaction Protocols in a Temporal Action Logic. LCMAS05 (3rd Int. Workshop on Logic and Communication in Multi- Agent Systems), ENTCS 157, 4, 1-138, 2006.
9. L. Giordano, A. Martelli and C. Schwind. Specifying and Verifying Interaction Protocols in a Temporal Action Logic Journal of Applied Logic (Special issue on Logic Based Agent Verification), Elsevier, to appear 2006.
10. M. Greaves, H. Holmback and J. Bradshaw. What Is a Conversation Policy?. Issues in Agent Communication, LNCS 1916 Springer, 118-131, 2000.
11. F. Guerin and J. Pitt. Verification and Compliance Testing. Communications in Multiagent Systems, Springer LNAI 2650, 98-112, 2003.
12. J.G. Henriksen and P.S. Thiagarajan. Dynamic Linear Time Temporal Logic. in Annals of Pure and Applied logic, vol.96, n.1-3, 187-207, 1999
13. N.R. Jennings. Commitments and Conventions: the foundation of coordination in multi-agent systems. In The knowledge engineering review, 8(3),233-250, 1993.
14. N. Maudet and B. Chaib-draa. Commitment-based and dialogue-game based protocols: new trends in agent communication languages. The Knowledge Engineering Review, 17(2):157-179, June 2002.
15. S. Narayanan and S. McIlraith. Simulation, Verification and Automated Composition of Web Services. In Proceedings of the Eleventh International World Wide Web Conference (WWW-11), 77-88, May 2002.
16. R. Petrick and F. Bacchus. A knowledge-based approach to planning with incomplete information and sensing. In Proceedings of the International Conference on Artificial Intelligence Planning (AIPS), 212-222, 2002.
17. M. Pistore and P. Traverso. Planning as Model Checking for Extended Goals in Non-deterministic Domains. Proc. IJCAI'01, Seattle, 479-484, 2001.
18. M. Pistore, P. Traverso and P. Bertoli. Automated Composition of Web Services by Planning in Asynchronous Domains. ICAPS 2005. 2-11, 2005.
19. M. Pistore, A. Marconi, P. Bertoli and P. Traverso. Automated Composition of Web Services by Planning at the Knowledge Level. Proc. International Joint Conference on Artificial Intelligence (IJCAI), 1252-1259, 2005.
20. R. Reiter. The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, V. Lifschitz, ed., 359-380, Academic Press, 1991.
21. M.P. Singh. Agent communication languages: Rethinking the principles. IEEE Computer, 31(12), 40-47, 1998.
22. M.P. Singh. A social semantics for Agent Communication Languages. In Issues in Agent Communication, Springer LNCS 1916, 31-45, 2000.
23. B. Srivastava and J. Koehler. Web Service Composition - Current Solutions and Open Problems, In ICAPS 2003 Workshop on Planning for Web Services, 28 - 35, Trento, Italy, June 2003.
24. P. Yolum and M.P. Singh. Flexible Protocol Specification and Execution: Applying Event Calculus Planning using Commitments. In AAMAS'02, 527-534, Bologna, Italy, 2002.