Login / Signup
Faster lifting for two-variable logic using cell graphs.
Timothy van Bremen
Ondrej Kuzelka
Published in:
UAI (2021)
Keyphrases
</>
wavelet transform
modal logic
graph matching
directed graph
data sets
graph representation
classical logic
multi valued
graph theoretic
weighted graph
computational properties
logical formulas
complex structures
graph databases
probability theory
graph mining
graph clustering
defeasible logic
microscope images