LogicPrpBank: A Corpus for Logical Implication and Equivalence.

Zhexiong Liu Jing Zhang Jiaying Lu Wenjing Ma Joyce C. Ho

Published in: CoRR (2024)

Keyphrases

reduce the search space
logical implication
refinement operators
functional dependencies
automated reasoning
description logics
deductive databases
answering queries
integrity constraints
knowledge representation
database design
data mining
relational databases
graphical models
information sources
theorem proving