3 citations · 5 across the 5 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.FL2017★ 3 cited
MK-fuzzy Automata and MSO Logics
Manfred Droste, Temur Kutsia, George Rahonis +1
We introduce MK-fuzzy automata over a bimonoid K which is related to the fuzzification of the McCarthy-Kleene logic. Our automata are inspired by, and intend to contribute to, prac…
cs.LO2017
Weighted propositional configuration logics: A specification language for architectures with quantitative features
Paulina Paraponiari, George Rahonis
We introduce and investigate a weighted propositional configuration logic over commutative semirings. Our logic is intended to serve as a specification language for software archit…