{Declarative Specification and Verification of Service Choreographies} Read more about {Declarative Specification and Verification of Service Choreographies}
{A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance} Read more about {A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance}
{Specification, Execution and Verification of Interaction Protocols: an Approach based on Computational Logic} Read more about {Specification, Execution and Verification of Interaction Protocols: an Approach based on Computational Logic}
{Modelling Interactions via Commitments and Expectations} Read more about {Modelling Interactions via Commitments and Expectations}
{Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach} Read more about {Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach}
{On the Integration of Declarative Choreographies and Commitment-based Agent Societies into the SCIFF Logic Programming Framework} Read more about {On the Integration of Declarative Choreographies and Commitment-based Agent Societies into the SCIFF Logic Programming Framework}
{Verification from Declarative Specifications Using Logic Programming} Read more about {Verification from Declarative Specifications Using Logic Programming}
{Expressing and Verifying Business Contracts with Abductive Logic Programming} Read more about {Expressing and Verifying Business Contracts with Abductive Logic Programming}
{Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic} Read more about {Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic}
{An Abductive Framework for A-Priori Verification of Web Services} Read more about {An Abductive Framework for A-Priori Verification of Web Services}
AI @ UniBOArtificial Intelligence Research at the University of Bologna