Unifying Structure Reasoning and Language Pre-Training for Complex Reasoning Tasks.
Siyuan WangZhongyu WeiJiarong XuTaishan LiZhihao FanPublished in: IEEE ACM Trans. Audio Speech Lang. Process. (2024)
Keyphrases
- reasoning tasks
- description logics
- automated reasoning
- logic programming
- answer set programming
- temporal reasoning
- event calculus
- reasoning problems
- logical framework
- abductive reasoning
- situation calculus
- programming language
- fuzzy description logics
- rule based reasoning
- temporal constraints
- logic programs
- quantified boolean formulas
- high level
- knowledge representation
- search space
- database systems