Assessing GPT4-V on Structured Reasoning Tasks.
Mukul SinghJosé CambroneroSumit GulwaniVu LeGust VerbruggenPublished in: CoRR (2023)
Keyphrases
- reasoning tasks
- description logics
- logic programming
- temporal reasoning
- event calculus
- automated reasoning
- answer set programming
- situation calculus
- reasoning problems
- abductive reasoning
- bucket elimination
- temporal constraints
- logic programs
- fuzzy description logics
- database
- interval algebra
- quantified boolean formulas