Non-associative, Non-commutative Multi-modal Linear Logic.
Eben BlaisdellMax I. KanovichStepan L. KuznetsovElaine PimentelAndre ScedrovPublished in: IJCAR (2022)
Keyphrases
- multi modal
- linear logic
- fixed point
- cut elimination
- audio visual
- intuitionistic logic
- multi modality
- sequent calculus
- desirable properties
- logical framework
- logic programming
- proof theoretic
- high dimensional
- video search
- uni modal
- semantic concepts
- inference rules
- image processing
- cross modal
- theorem proving
- probabilistic model
- expert systems
- feature selection
- artificial intelligence