2138 search results - page 25 / 428 » Logics for the Relational Syllogistic |
FUIN
2008
14 years 9 months ago
2008
CORR
2010
Springer
14 years 7 months ago
2010
Springer
ESSLLI
2009
Springer
14 years 7 months ago
2009
Springer
CORR
2012
Springer
13 years 5 months 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...
TAP
2010
Springer
15 years 2 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...