A verifiable logic-based agent architecture

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

Volumn 4203 LNAI, Issue , 2006, Pages 188-197

  Alberti, Marco ^a   Chesani, Federico ^b   Gavanelli, Marco ^a   Lamma, Evelina ^a   Mello, Paola ^b  

^a UNIVERSITY OF FERRARA   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; FORMAL LOGIC; LOGIC PROGRAMMING; MULTI AGENT SYSTEMS; NETWORK PROTOCOLS; PUBLIC POLICY;

COMPUTATIONAL LOGICS; INTERACTION PROTOCOLS; LOGIC BASED AGENT ARCHITECTURE;

INTELLIGENT AGENTS;

EID: 33750319895     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11875604_22     Document Type: Conference Paper

References (22)

1. Guerin, F., Pitt, J.: Proving properties of open agent systems. In Castelfranchi, C., Lewis Johnson, W., eds.: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), Part II, Bologna, Italy, ACM Press (2002) 557-558
2. Merz, S.: Model checking: A tutorial overview. In Cassez, F., Jard, C., Rozoy, B., M.D.Ryan, eds.: Modeling and Verification of Parallel Processes. Number 2067 in Lecture Notes in Computer Science, Springer-Verlag (2001) 3-38
3. Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: The SCIFF abductive proof-procedure. In: Proceedings of the 9th National Congress on Artificial Intelligence, AI*IA 2005. Volume 3673 of Lecture Notes in Artificial Intelligence., Springer-Verlag (2005) 135-147
4. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based tool. Applied Artificial Intelligence 20 (2006) 133-157
5. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Security protocols verification in abductive logic programming: a case study. In Dikenelli, O., Gleizes, M.P., Ricci, A., eds.: ESAW 2005 Post-proceedings. Number 3963 in LNAI, Kusadasi, Aydin, Turkey, Springer-Verlag (2006) 106-124
6. Kowalski, R.A., Sadri, F.: From logic programming towards multi-agent systems. Annals of Mathematics and Artificial Intelligence 25 (1999) 391-419
7. Bellifemine, F., Bergenti, F., Caire, G., Poggi, A.: Jade - a java agent development framework. In Bordini, R.H., Dastani, M., Dix, J., Fallah-Seghrouchni, A.E., eds.: Multi-Agent Programming: Languages, Platforms and Applications, Volume 15 of Multiagent Systems, Artificial Societies, and Simulated Organizations. Springer-Verlag (2005) 125-147
8. (FIPA: Foundation for Intelligent Physical Agents) Home Page: http ://www.fipa.org/.
9. Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive Logic Programming. Journal of Logic and Computation 2 (1993) 719-770
10. Kakas, A.C., Mancarella, P.: On the relation between Truth Maintenance and Abduction. In Fukumura, T., ed.: Proceedings of the 1st Pacific Rim International Conference on Artificial Intelligence, PRICAI-90, Nagoya, Japan, Ohmsha Ltd. (1990) 438-443
11. Fung, T.H., Kowalski, R.A.: The IFF proof procedure for abductive logic programming. Journal of Logic Programming 33 (1997) 151-165
12. Denecker, M., Schreye, D.D.: SLDNFA: an abductive procedure for abductive logic programs. Journal of Logic Programming 34 (1998) 111-167
13. Jaffar, J., Maher, M.: Constraint logic programming: a survey. Journal of Logic Programming 19-20(1994)503-582
14. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: The SOCS computational logic approach for the specification and verification of agent societies. In Priami, C., Quaglia, P., eds.: Global Computing: IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers. Volume 3267 of Lecture Notes in Artificial Intelligence. Springer-Verlag (2005) 324-339
15. FIPA Query Interaction Protocol (2001) Published on August 10th, 2001, available for download from the FIPA website, http://www.fipa.org.
16. Gavanelli, M., Lamma, E., Mello, P.: Proof of properties of the SCIFF proof-procedure. (Technical Report CS-2005-01)
17. Gavanelli, M., Lamma, E., Mello, P.: Proof of completeness of the SCIFF proof-procedure. (Technical Report CS-2005-02)
18. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Security protocols verification in Abductive Logic Programming: A case study. In Pettorossi, A., Proietti, M., Senni, V., eds.: CILC 2005 - Convegno Italiano di Logica Computazionale, Università degli Studi di Roma Tor Vergata (2005)
19. Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Verifying the conformance of web services to global interaction protocols: A first step. In Bravetti, M., Kloul, L., Zavattaro, G., eds.: EPEW/WS-FM. Volume 3670 of Lecture Notes in Computer Science., Springer (2005)
20. Endriss, U., Maudet, N., Sadri, F., Toni, F.: Protocol conformance for logic-based agents. In Gottlob, G., Walsh, T., eds.: Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico (IJCAI-03), Morgan Kaufmann Publishers (2003)
21. Endriss, U., Maudet, N., Sadri, F., Toni, F.: Logic-based agent communication protocols. In Dignum, F., ed.: Advances in Agent Communication. Volume 2922 of LNAI. Springer-Verlag (2004) 91-107
22. Russo, A., Miller, R., Nuseibeh, B., Kramer, J.: An abductive approach for analysing event-based requirements specifications. In Stuckey, P., ed.: Logic Programming, 18th International Conference, ICLP 2002. Volume 2401 of Lecture Notes in Computer Science., Berlin Heidelberg, Springer-Verlag (2002) 22-37