Rational Region-Based Affine Logic of the Real Plane.

Published in: ACM Trans. Comput. Log. (2016)

Keyphrases

decision making
image segmentation
three dimensional
real life
logic programming
real world
image retrieval
logical framework
proof theory