Inproceedings,

Expressing and Verifying Business Contracts with Abductive Logic Programming.

, , , , , , and .
Normative Multi-agent Systems, volume 07122 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)

Meta data

Tags

Users

  • @dblp

Comments and Reviews