620 search results - page 38 / 124 » About the logical relations between cases and rules |
ICDM
2003
IEEE
15 years 5 months ago
2003
IEEE
In the literature of data mining, many different algorithms for association rule mining have been proposed. However, there is relatively little study on how association rules can ...
ER
2007
Springer
15 years 6 months ago
2007
Springer
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...
FUZZIEEE
2007
IEEE
15 years 6 months ago
2007
IEEE
— Incremental rule base learning techniques can be used to learn models and classifiers from interval or fuzzyvalued data. These algorithms are efficient when the observation e...
KR
2004
Springer
15 years 5 months ago
2004
Springer
Several logical languages have been considered in AI for encoding compactly preference relations over a set of alternatives. In this paper, we analyze both the expressiveness and ...
CADE
2001
Springer
16 years 3 days ago
2001
Springer
In this paper, we present a syntax-directed termination and reduction checker for higher-order logic programs. The reduction checker verifies parametric higher-order subterm orderi...