QDMR-based Planning-and-Solving Prompting for Complex Reasoning Tasks.
Jinfeng HuangQiaoqiao SheWenbin JiangHua WuYang HaoTong XuFeng WuPublished in: LREC/COLING (2024)
Keyphrases
- reasoning tasks
- description logics
- logic programming
- event calculus
- automated reasoning
- answer set programming
- temporal reasoning
- reasoning problems
- quantified boolean formulas
- knowledge base
- fuzzy description logics
- combinatorial optimization
- heuristic search
- general purpose
- abductive reasoning
- object oriented
- high level