658 search results - page 23 / 132 » A Logic for Graphs with QoS |
181
click to vote
CSL
2006
Springer
15 years 9 months ago
2006
Springer
Rational graphs are a family of graphs defined using labelled rational transducers. Unlike automatic graphs (defined using synchronized transducers) the first order theory of these...
155
click to vote
RR
2007
Springer
16 years 3 days ago
2007
Springer
This work presents a visualization algorithm for defeasible logic rule bases as well as a software tool that applies this algorithm, according to which, a directed graph is produce...
136
click to vote
IFIPTCS
2010
15 years 3 months ago
2010
We introduce a simple logic that allows to quantify over the subobjects of a categorical object. We subsequently show that, for the category of graphs, this logic is equally expres...
178
click to vote
LATA
2009
Springer
16 years 23 days ago
2009
Springer
This tutorial will present an overview of the use of Monadic Second-Order Logic to describe sets of finite graphs and graph transformations, in relation with the notions of tree-w...