LogicSeg: Parsing Visual Semantics with Neural Logic Learning and Reasoning.
Liulei LiWenguan WangYang YiPublished in: ICCV (2023)
Keyphrases
- learning process
- proof theory
- learning algorithm
- learning rules
- logical framework
- automated reasoning
- sound and complete axiomatization
- predicate logic
- computational properties
- network architecture
- unsupervised learning
- natural language
- formal semantics
- visual information
- logical rules
- neural computation
- proof theoretic
- derivation rules