{Computational Logic for the Run-time Verification of Web Service Choreographies: Exploiting the SOCS-SI Tool} Read more about {Computational Logic for the Run-time Verification of Web Service Choreographies: Exploiting the SOCS-SI Tool}
{Compliance Verification of Agent interaction: a Logic-Based Software Tool} Read more about {Compliance Verification of Agent interaction: a Logic-Based Software Tool}
{A Logic-Based, Reactive Calculus of Events} Read more about {A Logic-Based, Reactive Calculus of Events}
{A Logic-Based, Reactive Calculus of Events} Read more about {A Logic-Based, Reactive Calculus of Events}
{Verification of Choreographies During Execution Using the Reactive Event Calculus} Read more about {Verification of Choreographies During Execution Using the Reactive Event Calculus}
{Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines} Read more about {Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines}
{Checking Compliance of Execution Traces to Business Rules} Read more about {Checking Compliance of Execution Traces to Business Rules}
{Compliance Checking of Cancer-Screening Careflows: an Approach Based on Computational Logic} Read more about {Compliance Checking of Cancer-Screening Careflows: an Approach Based on Computational Logic}
{Formal Verification of Wastewater Treatment Processes Using Events Detected From Continuous Signals by Means of Artificial Neural Networks. Case Study: SBR Plant} Read more about {Formal Verification of Wastewater Treatment Processes Using Events Detected From Continuous Signals by Means of Artificial Neural Networks. Case Study: SBR Plant}
{Exploiting Inductive Logic Programming Techniques for Declarative Process Mining} Read more about {Exploiting Inductive Logic Programming Techniques for Declarative Process Mining}
AI @ UniBOArtificial Intelligence Research at the University of Bologna