Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
%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 = {2023-12-12T23:42:35.000+0100},
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/admin},
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 = {},
publisher = {Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany},
series = {Dagstuhl Seminar Proceedings},
timestamp = {2023-12-12T23:42:35.000+0100},
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
}