{Engineering and Verifying Agent-Oriented Requirements Augmented by Business Constraints with B-Tropos} Read more about {Engineering and Verifying Agent-Oriented Requirements Augmented by Business Constraints with B-Tropos}
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes Read more about Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes
{Modeling and Verification of Business Processes and Choreographies in ALP} Read more about {Modeling and Verification of Business Processes and Choreographies in ALP}
{A Rule-Based Approach for Reasoning about Collaboration between Smart Web-Services} Read more about {A Rule-Based Approach for Reasoning about Collaboration between Smart Web-Services}
{A Framework for Defining and Verifying Clinical Guidelines: a Case Study on Cancer Screening} Read more about {A Framework for Defining and Verifying Clinical Guidelines: a Case Study on Cancer Screening}
{Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols} Read more about {Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols}
{{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}
{A Computational Logic-Based Approach to Verification of IT Systems} Read more about {A Computational Logic-Based Approach to Verification of IT Systems}
{Protocol Specification and Verification by Using Computational Logic} Read more about {Protocol Specification and Verification by Using Computational Logic}
{Verifying A-Priori the Composition of Declarative Specified Services} Read more about {Verifying A-Priori the Composition of Declarative Specified Services}
AI @ UniBOArtificial Intelligence Research at the University of Bologna