Expressing and verifying business contracts with abductive logic programming

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
Online-Ressource
Language
Englisch

Classification
Informatik

Event
Veröffentlichung
(where)
[Wadern]
(who)
[Internat. Begegnungs- und Forschungszentrum für Informatik]
(when)
[2007]
Contributor
Alberti, Marco
Chesani, Federico
Gavanelli, Marco
Lamma, Evelina
Mello, Paola
Montali, Marco
Torroni, Paolo

URN
urn:nbn:de:0030-drops-9017
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
14.08.2025, 10:55 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

  • Alberti, Marco
  • Chesani, Federico
  • Gavanelli, Marco
  • Lamma, Evelina
  • Mello, Paola
  • Montali, Marco
  • Torroni, Paolo
  • [Internat. Begegnungs- und Forschungszentrum für Informatik]

Time of origin

  • [2007]

Other Objects (12)