2062 search results - page 27 / 413 » Derivatives of Logical Formulas |
JEI
2006
14 years 10 months ago
2006
The method of paired comparison based on Thurstone's Case V of his Law of Comparative Judgments is often used as a psychophysical method to derive interval scales of perceptua...
ILP
2005
Springer
15 years 4 months ago
2005
Springer
Recursive loops in a logic program present a challenging problem to the PLP framework. On the one hand, they loop forever so that the PLP backward-chaining inferences would never s...
AMAI
2004
Springer
15 years 4 months ago
2004
Springer
In reasoning tasks involving logical formulas, high expressiveness is desirable, although it often leads to high computational complexity. We study a simple measure of expressiven...
IGPL
1998
14 years 10 months ago
1998
Is it possible to compute in which logics a given formula is deducible? The aim of this paper is to provide a formal basis to answer positively this question in the context of sub...
CSFW
2003
IEEE
15 years 4 months ago
2003
IEEE