Login / Signup
Expressing and Verifying Business Contracts with Abductive Logic Programming.
Marco Alberti
Federico Chesani
Marco Gavanelli
Evelina Lamma
Paola Mello
Marco Montali
Paolo Torroni
Published in:
Int. J. Electron. Commer. (2008)
Keyphrases
</>
abductive logic programming
logic programs
business transactions
decision making
business intelligence
information systems
supply chain
business process
business processes
model checking
machine learning
business rules
data mining
theorem prover