Algorithmic correspondence and canonicity for possibility semantics.

Published in: J. Log. Comput. (2021)

Keyphrases

formal semantics
logic programming
computer vision
image matching
logical language
semantic information
conceptual graphs
default reasoning
semantic representation
machine learning
case study
high level
similarity measure
point correspondences