Reasoning About Partial Contracts.

Shaun Azzopardi Albert Gatt Gordon J. Pace

Published in: JURIX (2016)

Keyphrases

formal theory
qualitative reasoning
supply chain
relational databases
spatial reasoning
search algorithm
moral hazard
recursive functions
search space
databases
multiscale
database systems
case study
metadata
computer vision
genetic algorithm
information retrieval