Affiliations: DEIS, University of Bologna, Viale Risorgimento 2, Bologna, Italy
Note:  Corresponding author. DEIS, University of Bologna, Viale Risorgimento 2, 40136 - Bologna, Italy. E-mails: email@example.com (P. Mello); firstname.lastname@example.org (F. Chesani); email@example.com (M. Montali); firstname.lastname@example.org (P. Torroni).
Abstract: In this article we survey our recent research activity concerning the use of logic programming, and in particular of abduction, for interaction specification and verification in several domains. We outline relevant results in the areas of multi-agent systems, argumentation, web services choreographies and business processes.
Keywords: Logic programming, hypothetical reasoning, interaction, modelling, verification, multi-agent systems, protocols, business processes, web services, choreographies, semantic web, argumentation