MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure.

Yinya Huang Hongming Zhang Ruixin Hong Xiaodan Liang Changshui Zhang Dong Yu

Published in: CoRR (2022)

Keyphrases

fine grained
logical reasoning
coarse grained
access control
tightly coupled
massively parallel
data lineage
database
databases
machine learning
artificial intelligence
database systems
semantic similarity
formal semantics