%0 Conference Paper %1 conf/dagstuhl/AlbertiCGLMMT07 %A Alberti, Marco %A Chesani, Federico %A Gavanelli, Marco %A Lamma, Evelina %A Mello, Paola %A Montali, Marco %A Torroni, Paolo %B Normative Multi-agent Systems %D 2007 %E Boella, Guido %E van der Torre, Leendert W. N. %E Verhagen, Harko %I Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany %K dblp %T Expressing and Verifying Business Contracts with Abductive Logic Programming. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P7122.html#AlbertiCGLMMT07 %V 07122

@inproceedings{conf/dagstuhl/AlbertiCGLMMT07, added-at = {2018-08-23T00:00:00.000+0200}, author = {Alberti, Marco and Chesani, Federico and Gavanelli, Marco and Lamma, Evelina and Mello, Paola and Montali, Marco and Torroni, Paolo}, biburl = {https://www.bibsonomy.org/bibtex/21a1753578ee8f91a1ce0dee191d0da6e/dblp}, booktitle = {Normative Multi-agent Systems}, crossref = {conf/dagstuhl/2007P7122}, editor = {Boella, Guido and van der Torre, Leendert W. N. and Verhagen, Harko}, ee = {http://drops.dagstuhl.de/opus/volltexte/2007/901}, interhash = {5923c289a3ddecf430cb87bf1cd09ac5}, intrahash = {1a1753578ee8f91a1ce0dee191d0da6e}, keywords = {dblp}, publisher = {Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2024-04-09T10:25:23.000+0200}, title = {Expressing and Verifying Business Contracts with Abductive Logic Programming.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P7122.html#AlbertiCGLMMT07}, volume = 07122, year = 2007 }