Results 211 to 220 of about 633,950 (258)

Pebble Weighted Automata and Weighted Logics [PDF]

open access: yesACM Transactions on Computational Logic, 2014
We introduce new classes of weighted automata on words. Equipped with pebbles, they go beyond the class of recognizable formal power series: they capture weighted first-order logic enriched with a quantitative version of transitive closure. In contrast to previous work, this calculus allows for unrestricted use of existential and universal ...
Paul Gastin   +2 more
exaly   +3 more sources

On Weighted Configuration Logics

open access: yesLecture Notes in Computer Science, 2017
We introduce and investigate a weighted propositional configuration logic over a commutative semiring. Our logic, which is proved to be sound and complete, is intended to serve as a specification language for software architectures with quantitative features.
George Rahonis, Paulina Paraponiari
exaly   +4 more sources

Weighted Tree Automata and Weighted Logics

open access: yesTheoretical Computer Science, 2006
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Heiko Vogler
exaly   +2 more sources

Weighted Logics for Artificial Intelligence – An Introductory Discussion [PDF]

open access: yesInternational Journal of Approximate Reasoning, 2014
International audienceBefore presenting the contents of the special issue, we propose a structured introductory overview of a landscape of the weighted logics (in a general sense) that can be found in the Artificial Intelligence literature, highlighting ...
Didier Dubois, Lluís Godo, Henri Prade
exaly   +2 more sources

Home - About - Disclaimer - Privacy