A Logic for Contracts.

Massimo Bartoletti Roberto Zunino

Published in: ICTCS (2009)

Keyphrases

classical logic
predicate logic
modal logic
supply chain
logic programming
databases
machine learning
e learning
digital circuits
database
real world
website
multi valued
logical framework
set theory
abductive reasoning