Fact-driven Logical Reasoning.

Siru Ouyang Zhuosheng Zhang Hai Zhao

Published in: CoRR (2021)

Keyphrases

logical reasoning
formal semantics
data driven
data sets
artificial intelligence
software engineering
database
databases
neural network
genetic algorithm
three dimensional
cooperative
domain knowledge