2012 search results - page 27 / 403 » CORAL - Control, Relations and Logic |
CORR
2010
Springer
15 years 2 months ago
2010
Springer
156
click to vote
CORR
2012
Springer
14 years 11 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...
142
click to vote
TAP
2010
Springer
15 years 9 months ago
2010
Springer
This paper presents techniques for applying a finite relational model finder to logical specifications that involve (co)inductive predicates, (co)algebraic datatypes, and (co)re...