Expressing and Verifying Business Contracts with Abductive Logic Programming
| Year of publication: |
2008
|
|---|---|
| Authors: | Alberti, Marco ; Chesani, Federico ; Gavanelli, Marco ; Lamma, Evelina ; Mello, Paola ; Montali, Marco ; Torroni, Paolo |
| Published in: |
International journal of electronic commerce : IJEC. - Armonk, NY : Sharpe, ISSN 1086-4415, ZDB-ID 14026600. - Vol. 12.2008, 4, p. 9-38
|