Expressing and verifying business contracts with abductive logic programming
Marco Alberti; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello ...
| Year of publication: |
2008
|
|---|---|
| Authors: | Alberti, Marco ; Chesani, Federico ; Gavanelli, Marco ; Lamma, Evelina ; Mello, Paola |
| Published in: |
International journal of electronic commerce : IJEC. - Philadelphia, Pa. : Routledge, Taylor & Francis Group, ISSN 1086-4415, ZDB-ID 1402660-0. - Vol. 12.2007/08, 4, p. 9-38
|
| Subject: | Unternehmenskooperation | Inter-firm cooperation | Vertrag | Contract | Software | Programmiersprache | Programming language | Logik | Logic |
| Extent: | graph. Darst. |
|---|---|
| Type of publication: | Article |
| Type of publication (narrower categories): | Aufsatz in Zeitschrift ; Article in journal |
| Language: | English |
| Source: | ECONIS - Online Catalogue of the ZBW |
Persistent link: https://ebvufind01.dmz1.zbw.eu/10003732234