4 citations · 4 across the 2 of their papers we have counts for
1 paper · 1 filter
Clotilde Bizière, Erich Grädel, Matthias Naaf
Semiring semantics of first-order logic generalises classical Boolean semantics by permitting truth values from a commutative semiring, which can model information such as costs or…