Weighted first-order logics over semirings

DOI10.14232/ACTACYB.22.2.2015.13MaRDI QIDQ2803057zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(6)

• On weighted first-order logics with discounting
• Weighted Linear Dynamic Logic
• Weighted linear dynamic logic
• Characterizations of Weighted First-Order Logics over Semirings
• A Weighted-Logic Representation of C-Revising Ordinal Conditional Functions
• 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)