Weighted First-Order Logics over Semirings

DOI10.14232/ACTACYB.22.2.2015.13zbMath1349.68110OpenAlexW2620839626MaRDI QIDQ2803057

Eleni Mandrali, George Rahonis

Publication date: 3 May 2016

Published in: Acta Cybernetica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.14232/actacyb.22.2.2015.13

zbMATH Keywords

first-order logiclinear temporal logicformal languagestar-free expressions

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Algebraic theory of languages and automata (68Q70)

Related Items (3)

Weighted Linear Dynamic Logic ⋮ Unnamed Item ⋮ Semiring reasoning frameworks in AI and their computational complexity

This page was built for publication: Weighted First-Order Logics over Semirings