Undecidability of the Lambek calculus with subexponentials and bracket modalities.

Max I. Kanovich Stepan L. Kuznetsov Andre Scedrov

Published in: CoRR (2016)

Keyphrases

description logics
number restrictions
probabilistic planning
real time
cross modal
computer algebra
information retrieval
knowledge base
image retrieval
answering queries
query containment
algebraic structure