Abstract
In this article we overview our recent research activity concerning the use of logic programming for interaction specification and verification in several domains. We outline relevant results in the areas of multi-agent systems, argumentation and web services, and we devote a special emphasis to issues related to business processes and Web service choreographies.