Neural Logic Vision Language Explainer.
Xiaofeng YangFayao LiuGuosheng LinPublished in: IEEE Trans. Multim. (2024)
Keyphrases
- formal language
- proof theory
- dynamic logic
- neural network
- programming language
- computer vision
- operational semantics
- formal theory
- vision system
- highly expressive
- language learning
- network architecture
- natural language
- real time
- linear temporal logic
- predicate calculus
- predicate logic
- conditional logic
- multi valued
- bio inspired
- modal logic
- database language
- logic programming
- intuitionistic logic
- propositional dynamic logic
- lambda calculus
- functional programs
- monadic second order logic
- formal logic
- constraint language
- logic programming language
- classical logic
- automated reasoning
- logic programs