2911 search results - page 2 / 583 » A Logic of Graph Constraints |
TAMC
2009
Springer
13 years 11 months ago
2009
Springer
TOCL
2011
12 years 11 months ago
2011
CORR
2004
Springer
13 years 4 months ago
2004
Springer
We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in ...
COCO
2008
Springer
13 years 6 months ago
2008
Springer
We introduce a simple game family, called Constraint Logic, where players reverse edges in a directed graph while satisfying vertex in-flow constraints. This game family can be in...
CORR
2012
Springer
12 years 18 days ago
2012
Springer
We present a novel approach to constraintbased causal discovery, that takes the form of straightforward logical inference, applied to a list of simple, logical statements about ca...