Making Logical Relations More Relatable (Proof Pearl).

Emmanuel Suárez Acevedo Stephanie Weirich

Published in: CoRR (2023)

Keyphrases

logical rules
logical structure
data sets
machine learning
mathematical proofs
real time
databases
real world
relational databases
background knowledge
belief revision
semantic relations
conditional independence
logical representation
logical reasoning
logical operations