Preservation theorems hold for all lattice semirings but fail for tropical, Viterbi, Łukasiewicz, and natural semirings, while existential preservation holds on finite interpretations for lattices unlike the Boolean case.
Probabilities on finite models
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Scaling MLN weights by 1/n induces a weight-independent 0-1 law for FO logic; unscaled weights produce seven regimes with possible phase transitions and convergence laws.
citing papers explorer
-
Preservation Theorems in Semiring Semantics
Preservation theorems hold for all lattice semirings but fail for tropical, Viterbi, Łukasiewicz, and natural semirings, while existential preservation holds on finite interpretations for lattices unlike the Boolean case.
-
Random coloured digraphs defined by a Markov logic network
Scaling MLN weights by 1/n induces a weight-independent 0-1 law for FO logic; unscaled weights produce seven regimes with possible phase transitions and convergence laws.