Expressing and Verifying Business Contracts with Abductive Logic Programming
Expressing and Verifying Business Contracts with Abductive Logic Programming. M. Alberti 1 , F. Chesani 2 , M. Gavanelli 1 , E. Lamma 1 , P. Mello 2 , M. Montali 2 , P. Torroni 2 1 ENDIF, University of Ferrara 2 DEIS, University of Bologna. Normative Multiagent System. (from discussion group)
505 views • 37 slides