Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions AI Group UNIBO
AI @ UniBOArtificial Intelligence Research at the University of Bologna