Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes AI Group UNIBO
AI @ UniBOArtificial Intelligence Research at the University of Bologna