most citedExtracting Rules from Event Data for Study Planning

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2022

Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics

Erich Grädel, Hayyan Helal, Matthias Naaf +1

Semiring semantics evaluates logical statements by values in some commutative semiring K. Random semiring interpretations, induced by a probability distribution on K, generalise ra…