Vision-Language Navigation With Self-Supervised Auxiliary Reasoning Tasks.
Fengda ZhuYi ZhuXiaojun ChangXiaodan LiangPublished in: CVPR (2020)
Keyphrases
- reasoning tasks
- description logics
- logic programming
- automated reasoning
- temporal reasoning
- programming language
- event calculus
- answer set programming
- situation calculus
- computer vision
- natural language
- bucket elimination
- reasoning problems
- abductive reasoning
- databases
- general purpose
- bayesian networks
- knowledge base
- dl lite
- data mining
- quantified boolean formulas