Sciweavers

340 search results - page 30 / 68
» Association Rules in the Relational Calculus
Sort
View
SLOGICA
1998
128views more  SLOGICA 1998»
14 years 11 months ago
Encoding Modal Logics in Logical Frameworks
We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deductionstyle proof systems for ...
Arnon Avron, Furio Honsell, Marino Miculan, Cristi...
SEBD
1997
132views Database» more  SEBD 1997»
15 years 1 months ago
Amore: An Integrated Environment for Database Mining
Abstract. While extensive e orts have been devoted to the development of e cient ad-hoc algorithms for association rules mining, little or no interest has been paid to the integrat...
Elena Baralis, Stefano Ceri, Rosa Meo, Giuseppe Ps...
INTELLCOMM
2004
Springer
15 years 5 months ago
On Using WS-Policy, Ontology, and Rule Reasoning to Discover Web Services
This paper proposes an approach to behaviour-based discovery of Web Services by which business rules that govern service behaviour are described as a policy. The policy is represen...
Natenapa Sriharee, Twittie Senivongse, Kunal Verma...
ECAI
2006
Springer
15 years 3 months ago
Conceptual Hierarchies Matching: An Approach Based on Discovery of Implication Rules Between Concepts
Abstract. Most research works about ontology or schema matching are based on symmetric similarity measures. By transposing the association rules paradigm, we propose to use asymmet...
Jérôme David, Fabrice Guillet, R&eacu...
CIKM
2006
Springer
15 years 3 months ago
Matching directories and OWL ontologies with AROMA
This paper presents a simple and adaptable matching method dealing with web directories, catalogs and OWL ontologies. By using a well-known Knowledge Discovery in Databases model,...
Jérôme David, Fabrice Guillet, Henri ...