Expressing and Verifying Business Contracts with Abductive Logic Programming.

Marco Alberti Federico Chesani Marco Gavanelli Evelina Lamma Paola Mello Marco Montali Paolo Torroni Expressing and Verifying Business Contracts with Abductive Logic Programming. 2007 conf/dagstuhl/2007P7122 Normative Multi-agent Systems http://drops.dagstuhl.de/opus/volltexte/2007/901 db/conf/dagstuhl/P7122.html#AlbertiCGLMMT07