Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni. Expressing and Verifying Business Contracts with Abductive Logic Programming. In Guido Boella, Leendert W. N. van der Torre, Harko Verhagen, editors, Normative Multi-agent Systems, 18.03. - 23.03.2007. Volume 07122 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2007. [doi]
Abstract is missing.