ReaSCAN: Compositional Reasoning in Language Grounding.
Zhengxuan WuElisa KreissDesmond C. OngChristopher PottsPublished in: NeurIPS Datasets and Benchmarks (2021)
Keyphrases
- natural language
- language learning
- programming language
- meta level
- uml class diagrams
- reasoning systems
- knowledge base
- highly expressive
- knowledge representation language
- analogical reasoning
- specification language
- intuitionistic logic
- logic programming language
- model based reasoning
- reasoning process
- computational linguistics
- language processing
- spatial reasoning
- description logics
- knowledge representation
- automated reasoning
- reasoning problems
- default reasoning
- proof theory
- ontology reasoning
- data sets