Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/ijecommerce/AlbertiCGLMMT08
%A Alberti, Marco
%A Chesani, Federico
%A Gavanelli, Marco
%A Lamma, Evelina
%A Mello, Paola
%A Montali, Marco
%A Torroni, Paolo
%D 2008
%J Int. J. Electron. Commer.
%K
%N 4
%P 9-38
%T Expressing and Verifying Business Contracts with Abductive Logic Programming.
%U http://dblp.uni-trier.de/db/journals/ijecommerce/ijecommerce12.html#AlbertiCGLMMT08
%V 12
@article{journals/ijecommerce/AlbertiCGLMMT08,
added-at = {2023-12-12T22:58:42.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/2bf9d37d79d447f7f79492a47b3495f3a/admin},
ee = {https://www.wikidata.org/entity/Q57977959},
interhash = {50a0df61f1fc9fd4df8bffcff19bc90c},
intrahash = {bf9d37d79d447f7f79492a47b3495f3a},
journal = {Int. J. Electron. Commer.},
keywords = {},
number = 4,
pages = {9-38},
timestamp = {2023-12-12T22:58:42.000+0100},
title = {Expressing and Verifying Business Contracts with Abductive Logic Programming.},
url = {http://dblp.uni-trier.de/db/journals/ijecommerce/ijecommerce12.html#AlbertiCGLMMT08},
volume = 12,
year = 2008
}