Weighted first-order logics over semirings

DOI10.14232/ACTACYB.22.2.2015.13zbMATH Open1349.68110OpenAlexW2620839626MaRDI QIDQ2803057FDOQ2803057

Authors: 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

Recommendations

• Characterizations of Weighted First-Order Logics over Semirings
• On weighted first-order logics with discounting
• Weighted automata and weighted logics
• Automata, Languages and Programming
• Weighted tree automata and weighted logics

zbMATH Keywords

first-order logicformal languagelinear temporal logicstar-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)

Cited In (6)

• On weighted first-order logics with discounting
• Weighted Linear Dynamic Logic
• Weighted linear dynamic logic
• A Weighted-Logic Representation of C-Revising Ordinal Conditional Functions
• Characterizations of Weighted First-Order Logics over Semirings
• Semiring reasoning frameworks in AI and their computational complexity

This page was built for publication: Weighted first-order logics over semirings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2803057)