Logical relations for coherence of effect subtyping.

Dariusz Biernacki Piotr Polesiuk

Published in: Log. Methods Comput. Sci. (2018)

Keyphrases

logical structure
image processing
semantic relations
neural network
real world
multi agent
search algorithm
structural information
spatial relations
logical reasoning