Diagnosing the First-Order Logical Reasoning Ability Through LogicNLI.

Jidong Tian Yitian Li Wenqing Chen Liqiang Xiao Hao He Yaohui Jin

Published in: EMNLP (1) (2021)

Keyphrases

logical reasoning
formal semantics
higher order
first order logic
computer vision
multiscale
multi agent systems
database
databases
artificial intelligence
search engine
image sequences
key features
situation calculus
stochastic dominance
universally quantified