A Concurrent Logical Relation.

Lars Birkedal Filip Sieczkowski Jacob Thamsborg

Published in: CSL (2012)

Keyphrases

real world
artificial intelligence
preference relations
metadata
image processing
objective function
data structure
binary relations
logical structure
logical representation
logical reasoning
logical operations