Reasoning about communicating agents in the Semantic Web

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

Volumn 2901, Issue , 2003, Pages 84-98

  Baldoni, Matteo ^a   Baroglio, Cristina ^a   Giordano, Laura ^b   Martelli, Alberto ^a   Patti, Viviana ^a  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF EASTERN PIEDMONT   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

MULTI AGENT SYSTEMS; WEB SERVICES;

COMMUNICATING AGENTS; INTER-OPERATING SYSTEMS; MULTI AGENT; REASONING ABOUT ACTIONS;

SEMANTIC WEB;

EID: 0346895362     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24572-8_6     Document Type: Article

References (29)

1. M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about self and others: communicating agents in a modal action logic. In C. Blundo and C. Laneve, editors, Proc. of ICTCS'2003, volume 2841 of LNCS. Springer, 2003.
2. M. Baldoni, C. Baroglio, and V. Patti. Applying logic inference techniques for gaining flexibility and adaptivity in tutoring systems. In C. Stephanidis, editor, Proc. of the HCII 2003, Crete, 2003. Lawrence Erlbaum Associates.
3. M. Baldoni, L. Giordano, A. Martelli, and V. Patti. Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. In Proc. of ICTCS'2001, volume 2202 of LNCS, pages 405-425. Springer, 2001.
4. P. Bretier and D. Sadek. A rational agent as the kernel of a cooperative spoken dialogue system: implementing a logical theory of interaction. In Intelligent Agents III, volume 1193 of LNAI. Springer-Verlag, 1997.
5. J. Bryson, D. Martin, S. McIlraith, and L. A. Stein. Agent-based composite services in DAML-S: The behavior-oriented design of an intelligent semantic web, 2002.
6. R. Chinnici, M. Gudgin, J. J. Moreau, and S. Weerawarana. Web Services Description Language (WSDL) version 1.2, 2003. Working Draft.
7. The DAML-S coalition. DAML-S: Web service description for the semantic web. In the 1st Int. Semantic Web Conference (ISWC), Sardinia, Italy, 2002.
8. F. Dignum and M. Greaves. Issues in agent communication. In Issues in Agent Communication, volume 1916 of LNCS, pages 1-16. Springer, 2000.
9. FIPA. FIPA 2000. Technical report, FIPA (Foundation for Intelligent Physical Agents), November 2000.
10. R. Gerth, D. Peled, M.Y. Vardi, and P. Wolper. Simple on-the-fly automatic verification of linear temporal logic. In Proc. 15th Work. Protocol Specification, Testing and Verification, Warsaw, 1995. North Holland.
11. G. De Giacomo, Y. Lespèrance, and H.J. Levesque. Congolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121:109-169, 2000.
12. L. Giordano, A. Martelli, and C. Schwind. Reasoning about actions in dynamic linear time temporal logic. In J. of the IGPL, Vol. 9, No. 2, pp. 289-303, March 2001.
13. L. Giordano, A. Martelli, and C. Schwind. Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. In A. Cappelli and F. Turini, editors, Proc. of the 8th Conf. of AI*IA, volume 2829 of LNAI. Springer, 2003.
14. F. Guerin. Specifying Agent Communication Languages. Phd thesis, Imperial College, London, April 2002.
15. D. Harel. First order dynamic logic. In D. Gabbay and F. Guenthner, editors, Extensions of Classical Logic, Handbook of Philosophical Logic, volume II, pages 497-604. D. Reidel, 1984.
16. J.G. Henriksen and P.S. Thiagarajan. A product version of dynamic linear time temporal logic. In Proc. of CONCUR'97, 1997.
17. J.G. Henriksen and P.S. Thiagarajan. Dynamic linear time temporal logic. Annals of Pure and Applied logic, 96(1-3):187-207, 1999.
18. A. Herzig and D. Longin. Beliefs dynamics in cooperative dialogues. In Proc. of AMSTELOGUE 99, 1999.
19. S.A. Mc Ilraith, T.C Son, and H. Zeng. Semantic web services. IEEE Intelligent Systems, pages 46-53, 2001.
20. F. Giunchiglia M. Benerecetti and L. Serafini. Model checking multiagent systems. Journal of Logic and Computation, 8(3):401-423, 1998.
21. A. Mamdani and J. Pitt. Communication protocols in multi-agent systems: A development method and reference architecture. In Issues in Agent Communication, volume 1916 of LNCS, pages 160-177. Springer, 2000.
22. S. Narayanan and S. A. McIlraith. Simulation, verification and automated composition of web services. In Proc. of the Eleventh International World Wide Web Conference, WWW-11, May 2002.
23. James H. Odell, H. Van Dyke Parunak, and Bernhard Bauer. Representing agent interaction protocols in UML. In Agent-Oriented Software Engineering, pages 121-140. Springer, 2001. http://www.fipa.org/docs/input/f-in-00077/.
24. ∼patti/.
25. R. Reiter. 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, pages 359-380, 1991.
26. F. Sadri, F. Toni, and P. Torroni. Dialogues for Negotiation: Agent Varieties and Dialogue Sequences. In Proc. of ATAL'01, Seattle, WA, 2001.
27. M. P. Singh. A social semantics for agent communication languages. In Proc. of IJCA1-98 Workshop on Agent Communication Languages, Berlin, 2000. Springer.
28. M. Wooldridge, M. Fisher, M.P. Huget, and S. Parsons. Model checking multi-agent systems with mable. In Proc. of AAMAS'02, pages 952-959, Bologna, 2002.
29. P. Yolum and M.P. Singh. Flexible protocol specification and execution: Applying event calculus planning using commitments. In Proc. of AAMAS'02, pages 527-534, Bologna, Italy, 2002.