Results 221 to 230 of about 633,950 (258)

Weighted Linear Dynamic Logic

International Journal of Foundations of Computer Science, 2023
We introduce a weighted linear dynamic logic (weighted LDL for short) and show the expressive equivalence of its formulas to weighted rational expressions. This adds a new characterization for recognizable series to the fundamental Schützenberger theorem. Surprisingly, the equivalence does not require any restriction to our weighted LDL.
Manfred Droste, Gustav Grabolle, George Rahonis   +2 more
openaire   +1 more source

Typology of Axioms for a Weighted Modal Logic

International Journal of Approximate Reasoning, 2017
This paper introduces and studies extensions of modal logics by investigating the soundness of classical modal axioms in a weighted framework. It discusses the notion of relevant weight values, in a specific weighted Kripke semantics and exploits accessibility relation properties.
Marie-Jeanne Lesot, Adrien Revault d'Allonnes   +1 more
exaly   +4 more sources

Weighted automata and weighted logics on infinite words

Russian Mathematics, 2006
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Manfred Droste, George Rahonis
openaire   +2 more sources

Weighted Picture Automata and Weighted Logics

Theory of Computing Systems, 2006
The author introduces a weighted MSO logic for defining series of pictures; here a picture is a finite rectangular array of symbols from a given (finite) alphabet. The main results of the paper show that the picture series over any commutative semiring definable by this logic are the same as the series recognized by weighted two-dimensional on-line ...
openaire   +3 more sources

Weighted Register Automata and Weighted Logic on Data Words

Theoretical Computer Science, 2016
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Parvaneh Babari, Manfred Droste, Vitaly Perevoshchikov   +2 more
openaire   +3 more sources

Weighted logical inference for pattern recognition

Pattern Recognition, 1980
Abstract Boolean control systems with some non-observable unknown parameters are considered here. In this study, these parameters have been evaluated by consideration of some variables associated to the system. An algorithm is suggested by means of which the values of the parameters can be found.
Thiry, S., Pavel, M., Bouckaert, André
openaire   +1 more source

Weighted Automata and Logics on Graphs

2015
Weighted automata model quantitative features of the behavior of systems and have been investigated for various structures like words, trees, traces, pictures, and nested words. In this paper, we introduce a general model of weighted automata acting on graphs, which form a quantitative version of Thomas’ unweighted model of graph acceptors. We derive a
Manfred Droste, Stefan Dück
openaire   +1 more source

Weighted Logics for Traces

2006
We study a quantitative model of traces, i.e. trace series which assign to every trace an element from a semiring. We show the coincidence of recognizable trace series with those which are definable by restricted formulas from a weighted logics over traces.
openaire   +2 more sources

Weighted Logics for Unranked Tree Automata

Theory of Computing Systems, 2009
Generalizing similar work on weighted string and tree languages, on the one hand, and work on unranked tree languages, on the other hand, the authors introduce weighted tree automata and a weighted monadic second-order (MSO) logic for unranked trees (i.e., trees in which a node labeled by a given symbol may have any number of children).
Manfred Droste, Heiko Vogler
openaire   +2 more sources

A Nivat theorem for weighted picture automata and weighted MSO logics

Journal of Computer and System Sciences, 2015
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Parvaneh Babari, Manfred Droste
openaire   +3 more sources