C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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