http://popups.lib.uliege.be/1373-5411/index.php?id=189 We consider the problem of discovering patterns from a given logic that are significant (i.e. interesting and sufficiently valid) with respect to a given data set. We first define two types of patterns that extend the notions of query and clause, and we propose new measures of interest and confidence. In this framework, we establish connections between our measures, first-order logic and logics of probability of Halpern. Then, we present mining algorithms based on the generic levelwise search method proposed by Mannila, and discuss implementation issues in a relational database environment. Finally, we offer concluding remarks and suggestions for future research. Full text issues Volume 6 Knowledge and Data Processing fr Wed, 19 Jun 2024 11:12:43 +0200 Wed, 19 Jun 2024 11:12:55 +0200 http://popups.lib.uliege.be/1373-5411/index.php?id=189 0