User:Paolo Torroni

The account of this former contributor was not re-activated after the server upgrade of March 2022.

I am an Assistant Professor in Computer Engineering at DEIS, University of Bologna, Italy. I obtained a PhD in Computer Engineering in 2002 with a dissertation on reasoning and interaction in logic-based multi-agent systems. My research interests are: autonomous agents and multi-agent systems, declarative languages and technologies, computational logics, logic programming, hypothetical reasoning, abduction, negotiation, dialogue, argumentation, resource exchange, interaction protocols and semantics of multi-agent communication, semantic web services, business processes. I have contributed to the development of the ALIAS and SOCS-SI systems for multi-agent reasoning, specification and verification of interaction, and of the SCIFF abductive logic programming proof-procedure. I have been involved in the organization of scientific events in the areas of multi-agent systems, computational logics, and argumentation, such as DALT, CLIMA, LADS and ArgNMR. I am a member of the Italian Logic Programming Interest Group (GULP), of which I currently serve as secretary.