Vision-Language Navigation with Self-Supervised Auxiliary Reasoning Tasks.
Fengda ZhuYi ZhuXiaojun ChangXiaodan LiangPublished in: CoRR (2019)
Keyphrases
- reasoning tasks
- description logics
- logic programming
- temporal reasoning
- event calculus
- automated reasoning
- answer set programming
- abductive reasoning
- programming language
- natural language
- reasoning problems
- situation calculus
- bucket elimination
- computer vision
- knowledge base
- general purpose
- software engineering
- mobile devices
- quantified boolean formulas
- database