{Inducing Declarative Logic-Based Models from Labeled Traces} Read more about {Inducing Declarative Logic-Based Models from Labeled Traces}
{Web Service contracting: Specification and Reasoning with SCIFF} Read more about {Web Service contracting: Specification and Reasoning with SCIFF}
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture Read more about Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture
{Monitoring Time-Aware Social Commitments with Reactive Event Calculus} Read more about {Monitoring Time-Aware Social Commitments with Reactive Event Calculus}
{Commitment Tracking via the Reactive Event Calculus} Read more about {Commitment Tracking via the Reactive Event Calculus}
Social Commitments in Time: Satisfied or Compensated Read more about Social Commitments in Time: Satisfied or Compensated
AI @ UniBOArtificial Intelligence Research at the University of Bologna