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:
Normative Multi-agent Systems (2007)
Keyphrases
</>
abductive logic programming
logic programs
business processes
business transactions
business process
information systems
decision making
knowledge management
business intelligence
data mining
supply chain
business rules
orders of magnitude
answer sets