{Verification from Declarative Specifications Using Logic Programming} Read more about {Verification from Declarative Specifications Using Logic Programming}
{Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting} Read more about {Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting}
{Compliance Checking of Execution Traces to Business Rules: an Approach Based on Logic Programming} Read more about {Compliance Checking of Execution Traces to Business Rules: an Approach Based on Logic Programming}
{Process Quality Assessment in Automatic Management of Wastewater Treatment Plants Using Formal Verification} Read more about {Process Quality Assessment in Automatic Management of Wastewater Treatment Plants Using Formal Verification}
{B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification} Read more about {B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification}
{Learning DecSerFlow Models from Labeled Traces} Read more about {Learning DecSerFlow Models from Labeled Traces}
{Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification} Read more about {Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification}
{Abduction for Specifying and Verifying Web Service Choreographies} Read more about {Abduction for Specifying and Verifying Web Service Choreographies}
{Testing Guidelines Conformance by Translating a Graphical Language to Computational Logic} Read more about {Testing Guidelines Conformance by Translating a Graphical Language to Computational Logic}
AI @ UniBOArtificial Intelligence Research at the University of Bologna