5086 search results - page 131 / 1018 » The Power of Comparative Reasoning |
114
click to vote
ISSAC
2001
Springer
15 years 7 months ago
2001
Springer
Maple’s evaluator, together with a feature that is usually known as the assume facility, is a combination of modules with specialised reasoning capabilities. These modules are i...
122
click to vote
ELP
1993
15 years 7 months ago
1993
We describe how the calculus of partial inductive definitions is used to represent logics. This calculus includes the powerful principle of definitional reflection. We describe two...
131
click to vote
FLOPS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize t...
112
click to vote
FLOPS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper, we propose more flexible applicability conditions for the folding rule that increase the power of existing unfold/fold systems for normal logic programs. O...
126
click to vote
CL
2000
Springer
15 years 3 months ago
2000
Springer
The extension of the XSL (eXtensible Style sheet Language) by variables and passing of data values between template rules has generated a powerful XML query language: XSLT (eXtens...