An Analytic Propositional Proof System on Graphs.

Matteo Acclavio Ross Horne Lutz Straßburger

Published in: CoRR (2020)

Keyphrases

first order logic
propositional logic
graph theoretic
graph matching
clause learning
modal logic
graph databases
knowledge representation
graph partitioning
multi valued
probabilistic logic
graph clustering
graph kernels
predicate calculus
series parallel