1635 search results - page 64 / 327 » Reasoning from Data Rather than Theory |
CADE
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. We give an optimal (exptime), sound and complete tableaubased algorithm for deciding satisfiability for propositional dynamic logic. Our main contribution is a sound meth...
CADE
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. The inverse method is a generalization of resolution that can be applied to non-classical logics. We have recently shown how Andreoli's focusing strategy can be adap...
TPHOL
1999
IEEE
14 years 1 months ago
1999
IEEE
Abstract. Isabelle/HOL has recently acquired new versions of definitional packages for inductive datatypes and primitive recursive functions. In contrast to its predecessors and mo...
EWCBR
2006
Springer
14 years 16 days ago
2006
Springer
In this paper we present TransUCP, a general framework for transformational analogy. Using our framework we demonstrate that transformational analogy does not meet a crucial condit...
FLOPS
2008
Springer
13 years 10 months ago
2008
Springer
We study various shortcut fusion rules for languages like Haskell. Following a careful semantic account of a recently proposed rule for circular program transformation, we propose ...