Mandrali, Eleni, and George Rahonis. 2015. “Weighted First-Order Logics over Semirings”. Acta Cybernetica 22 (2), 435-83. https://doi.org/10.14232/actacyb.22.2.2015.13.