Undecidability of the Lambek Calculus with a Relevant Modality.

Max I. Kanovich Stepan L. Kuznetsov Andre Scedrov

Published in: FG (2016)

Keyphrases

medical images
multi modal
higher level
database
neural network
information retrieval
website
image sequences
state space
description logics
algebraic structure