Expressing and Verifying Business Contracts with Abductive Logic Programming - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni. Expressing and Verifying Business Contracts with Abductive Logic Programming. In Guido Boella, Leendert W. N. van der Torre, Harko Verhagen, editors, Normative Multi-agent Systems, 18.03. - 23.03.2007. Volume 07122 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2007. [doi]

The following publications are possibly variants of this publication:

Expressing and Verifying Business Contracts with Abductive Logic ProgrammingMarco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni. ijecommerce, 12(4):9-38, 2008. [doi]

Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting ArchitectureMarco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Marco Montali, Paola Mello, Paolo Torroni. icws 2009: 254-261 [doi]

Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business ProcessesMarco Montali, Paolo Torroni, Federico Chesani, Paola Mello, Marco Alberti, Evelina Lamma. FUIN, 102(3-4):325-361, 2010. [doi]

Ontological Reasoning and Abductive Logic Programming for Service Discovery and ContractingFederico Chesani, Paola Mello, Marco Montali, Paolo Torroni. swap 2008: [doi]

runs on WebDSL