Matches in SemOpenAlex for { <https://semopenalex.org/work/W2204174169> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2204174169 endingPage "1065" @default.
- W2204174169 startingPage "1047" @default.
- W2204174169 abstract "Logical formalisms equivalent to weighted automata have been the topic of numerous research papers in the recent years. It started with the seminal result by Droste and Gastin on weighted logics over semirings for words. It has been extended in two dimensions by many authors. First, the weight domain has been extended to valuation monoids, valuation structures, etc. to capture more quantitative properties. Along another dimension, different structures such as ranked or unranked trees, nested words, Mazurkiewicz traces, etc. have been considered. The long and involved proofs of equivalences in all these papers are implicitly based on the same core arguments. This article provides a meta-theorem which unifies these different approaches. Towards this, we first revisit weighted automata by defining a new semantics for them in two phases—an abstract semantics based on multisets of weight structures (independent of particular weight domains) followed by a concrete semantics. Then, we introduce a core weighted logic with a minimal number of features and a simplified syntax, and lift the new semantics to this logic. We show at the level of the abstract semantics that weighted automata and core weighted logic have the same expressive power. Finally, we show how previous results can be recovered from our result by logical reasoning. In this paper, we prove the meta-theorem for words, ranked and unranked trees, showing the robustness of our approach." @default.
- W2204174169 created "2016-06-24" @default.
- W2204174169 creator A5064833291 @default.
- W2204174169 creator A5066787748 @default.
- W2204174169 date "2015-12-29" @default.
- W2204174169 modified "2023-09-25" @default.
- W2204174169 title "A unifying survey on weighted logics and weighted automata" @default.
- W2204174169 cites W1491991866 @default.
- W2204174169 cites W1559990457 @default.
- W2204174169 cites W1607161872 @default.
- W2204174169 cites W1669385163 @default.
- W2204174169 cites W1698854595 @default.
- W2204174169 cites W1839854015 @default.
- W2204174169 cites W1981797649 @default.
- W2204174169 cites W1983682288 @default.
- W2204174169 cites W1984151763 @default.
- W2204174169 cites W202483378 @default.
- W2204174169 cites W2035020702 @default.
- W2204174169 cites W2040997422 @default.
- W2204174169 cites W2047705796 @default.
- W2204174169 cites W2087912140 @default.
- W2204174169 cites W2154932389 @default.
- W2204174169 cites W2293780282 @default.
- W2204174169 cites W3100653010 @default.
- W2204174169 cites W4205178514 @default.
- W2204174169 cites W49543784 @default.
- W2204174169 doi "https://doi.org/10.1007/s00500-015-1952-6" @default.
- W2204174169 hasPublicationYear "2015" @default.
- W2204174169 type Work @default.
- W2204174169 sameAs 2204174169 @default.
- W2204174169 citedByCount "11" @default.
- W2204174169 countsByYear W22041741692016 @default.
- W2204174169 countsByYear W22041741692017 @default.
- W2204174169 countsByYear W22041741692019 @default.
- W2204174169 countsByYear W22041741692020 @default.
- W2204174169 countsByYear W22041741692021 @default.
- W2204174169 countsByYear W22041741692022 @default.
- W2204174169 crossrefType "journal-article" @default.
- W2204174169 hasAuthorship W2204174169A5064833291 @default.
- W2204174169 hasAuthorship W2204174169A5066787748 @default.
- W2204174169 hasBestOaLocation W22041741692 @default.
- W2204174169 hasConcept C108710211 @default.
- W2204174169 hasConcept C112505250 @default.
- W2204174169 hasConcept C118615104 @default.
- W2204174169 hasConcept C171018156 @default.
- W2204174169 hasConcept C184337299 @default.
- W2204174169 hasConcept C199360897 @default.
- W2204174169 hasConcept C2524010 @default.
- W2204174169 hasConcept C33923547 @default.
- W2204174169 hasConcept C41008148 @default.
- W2204174169 hasConcept C80444323 @default.
- W2204174169 hasConceptScore W2204174169C108710211 @default.
- W2204174169 hasConceptScore W2204174169C112505250 @default.
- W2204174169 hasConceptScore W2204174169C118615104 @default.
- W2204174169 hasConceptScore W2204174169C171018156 @default.
- W2204174169 hasConceptScore W2204174169C184337299 @default.
- W2204174169 hasConceptScore W2204174169C199360897 @default.
- W2204174169 hasConceptScore W2204174169C2524010 @default.
- W2204174169 hasConceptScore W2204174169C33923547 @default.
- W2204174169 hasConceptScore W2204174169C41008148 @default.
- W2204174169 hasConceptScore W2204174169C80444323 @default.
- W2204174169 hasFunder F4320334960 @default.
- W2204174169 hasIssue "4" @default.
- W2204174169 hasLocation W22041741691 @default.
- W2204174169 hasLocation W22041741692 @default.
- W2204174169 hasLocation W22041741693 @default.
- W2204174169 hasLocation W22041741694 @default.
- W2204174169 hasLocation W22041741695 @default.
- W2204174169 hasLocation W22041741696 @default.
- W2204174169 hasLocation W22041741697 @default.
- W2204174169 hasOpenAccess W2204174169 @default.
- W2204174169 hasPrimaryLocation W22041741691 @default.
- W2204174169 hasRelatedWork W1518566078 @default.
- W2204174169 hasRelatedWork W1900197421 @default.
- W2204174169 hasRelatedWork W1992520358 @default.
- W2204174169 hasRelatedWork W2038010400 @default.
- W2204174169 hasRelatedWork W206853891 @default.
- W2204174169 hasRelatedWork W2293183098 @default.
- W2204174169 hasRelatedWork W2304710474 @default.
- W2204174169 hasRelatedWork W2484578205 @default.
- W2204174169 hasRelatedWork W2518552594 @default.
- W2204174169 hasRelatedWork W2991618286 @default.
- W2204174169 hasVolume "22" @default.
- W2204174169 isParatext "false" @default.
- W2204174169 isRetracted "false" @default.
- W2204174169 magId "2204174169" @default.
- W2204174169 workType "article" @default.