{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T07:34:56Z","timestamp":1777448096820,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":164,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540393825","type":"print"},{"value":"9783540393832","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11847465_16","type":"book-chapter","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T12:13:53Z","timestamp":1163765633000},"page":"334-506","source":"Crossref","is-referenced-by-count":105,"title":["Approximate Boolean Reasoning: Foundations and Applications in Data Mining"],"prefix":"10.1007","author":[{"given":"Hung Son","family":"Nguyen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Agrawal, R., Imielinski, T., Swami, A.N.: Mining Association Rules between Sets of Items in Large Databases. In: Buneman, P., Jajodia, S. (eds.) ACM SIGMOD International Conference on Management of Data, Washington, DC, 26-28, pp. 207\u2013216 (1993)","DOI":"10.1145\/170035.170072"},{"key":"16_CR2","first-page":"307","volume-title":"Advances in Knowledge Discovery and Data Mining","author":"R. Agrawal","year":"1996","unstructured":"Agrawal, R., Mannila, H., Srikant, R., Toivonen, H., Verkamo, A.I.: Fast Discovery of Association Rules. In: Advances in Knowledge Discovery and Data Mining, pp. 307\u2013328. AAAI Press\/The MIT Press, Menlo Park (1996)"},{"key":"16_CR3","first-page":"487","volume-title":"Twentieth International Conference on Very Large Data Bases VLDB","author":"R. Agrawal","year":"1994","unstructured":"Agrawal, R., Srikant, R.: Fast Algorithms for Mining Association Rules. In: Bocca, J.B., Jarke, M., Zaniolo, C. (eds.) Twentieth International Conference on Very Large Data Bases VLDB, May 12-15, 1994, pp. 487\u2013499. Morgan Kaufmann, San Francisco (1994)"},{"key":"16_CR4","unstructured":"Alsabti, K., Ranka, S., Singh, V.: CLOUDS: A Decision Tree Classifier for Large Datasets. In: Knowledge Discovery and Data Mining, pp. 2\u20138 (1998)"},{"key":"16_CR5","unstructured":"Andrade, H., Kurc, T., Sussman, A., Saltz, J.: Decision tree construction for data mining on clusters of shared-memory multiprocessors. Technical Report CS-TR-4203 and UMIACS-TR-2000-78. University of Maryland, Department of Computer Science and UMIACS (December 2000)"},{"key":"16_CR6","series-title":"Cambridge Tracts in Theoretical Computer Science","volume-title":"Computational learning theory: an introduction","author":"M. Anthony","year":"1992","unstructured":"Anthony, M., Biggs, N.: Computational learning theory: an introduction. Cambridge Tracts in Theoretical Computer Science, vol.\u00a030. Cambridge University Press, Cambridge (1992)"},{"key":"16_CR7","series-title":"Studies in Fuzziness and Soft Computing","first-page":"321","volume-title":"Rough Sets in Knowledge Discovery 1: Methodology and Applications","author":"J. Bazan","year":"1998","unstructured":"Bazan, J.: A Comparison of Dynamic and non-Dynamic Rough Set Methods for Extracting Laws from Decision Tables. In: Polkowski, L., Skowron, A. (eds.) Rough Sets in Knowledge Discovery 1: Methodology and Applications. Studies in Fuzziness and Soft Computing\u00a0ch.17, vol.\u00a018, pp. 321\u2013365. Springer, Heidelberg (1998)"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Bazan, J., Nguyen, H.S., Nguyen, S.H., Synak, P., Wr\u00f3blewski, J.: Rough set algorithms in classification problems. In: Polkowski, et al. (eds.) [116], pp. 49\u201388","DOI":"10.1007\/978-3-7908-1840-6_3"},{"key":"16_CR9","series-title":"LNAI","first-page":"627","volume-title":"Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing","author":"J. Bazan","year":"2003","unstructured":"Bazan, J., Nguyen, H.S., Skowron, A., Szczuka, M.: A View on Rough Set Concept Approximations. In: Wang, G., Liu, Q., Yao, Y., Skowron, A. (eds.) RSFDGrC 2003. LNCS (LNAI), vol.\u00a02639, pp. 627\u2013630. Springer, Heidelberg (2003)"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1007\/3-540-58495-1_35","volume-title":"Methodologies for Intelligent Systems","author":"J. Bazan","year":"1994","unstructured":"Bazan, J., Skowron, A., Synak, P.: Dynamic reducts as a tool for extracting laws from decision tables. In: Ra\u015b, Z.W., Zemankova, M. (eds.) ISMIS 1994. LNCS, vol.\u00a0869, pp. 346\u2013355. Springer, Heidelberg (1994)"},{"key":"16_CR11","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1007\/3-540-45554-X_12","volume-title":"Rough Sets and Current Trends in Computing","author":"J.G. Bazan","year":"2001","unstructured":"Bazan, J.G., Szczuka, M.S.: RSES and rSESlib - A collection of tools for rough set computations. In: Ziarko, W.P., Yao, Y. (eds.) RSCTC 2000. LNCS (LNAI), vol.\u00a02005, pp. 106\u2013113. Springer, Heidelberg (2001)"},{"key":"16_CR12","unstructured":"Blake, A.: Canonical Expressions in Boolean Algebra. PhD thesis, University of Chicago (1937)"},{"key":"16_CR13","unstructured":"Boole, G.: Mathematical Analysis of Logic, London (1847)"},{"key":"16_CR14","unstructured":"Boole, G.: The Law of Thought. MacMillan (Dover Publications, New-York) (1854)"},{"key":"16_CR15","volume-title":"Classification and Regression Trees","author":"L. Breiman","year":"1984","unstructured":"Breiman, L., Friedman, J., Olshen, R., Stone, C.: Classification and Regression Trees. Wadsworth and Brooks, Monterey (1984)"},{"key":"16_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2078-5","volume-title":"Boolean Reasoning","author":"F. Brown","year":"1990","unstructured":"Brown, F.: Boolean Reasoning. Kluwer Academic Publishers, Dordrecht (1990)"},{"key":"16_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1007\/BFb0017012","volume-title":"Machine Learning - EWSL-91","author":"J. Catlett","year":"1991","unstructured":"Catlett, J.: On Changing Continuous Attributes into Ordered Discrete Attributes. In: Kodratoff, Y. (ed.) EWSL 1991. LNCS, vol.\u00a0482, pp. 164\u2013178. Springer, Heidelberg (1991)"},{"issue":"1","key":"16_CR18","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/0012-365X(78)90168-1","volume":"24","author":"A.K. Chandra","year":"1978","unstructured":"Chandra, A.K., Markowsky, G.: On the number of prime implicants. Discrete Mathematics\u00a024(1), 7\u201311 (1978)","journal-title":"Discrete Mathematics"},{"key":"16_CR19","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C.-L. Chang","year":"1973","unstructured":"Chang, C.-L., Lee, R.C.-T.: Symbolic Logic and Mechanical Theorem Proving. Academic Press, London (1973)"},{"key":"16_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"537","DOI":"10.1007\/3-540-69115-4_74","volume-title":"Rough Sets and Current Trends in Computing","author":"B.S. Chlebus","year":"1998","unstructured":"Chlebus, B.S., Nguyen, S.H.: On finding optimal discretizations for two attributes. In: Polkowski, L., Skowron, A. (eds.) RSCTC 1998. LNCS, vol.\u00a01424, pp. 537\u2013544. Springer, Heidelberg (1998)"},{"issue":"4","key":"16_CR21","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/S0888-613X(96)00074-6","volume":"15","author":"M.R. Chmielewski","year":"1996","unstructured":"Chmielewski, M.R., Grzyma\u0142a-Busse, J.W.: Global discretization of continuous attributes as preprocessing for machine learning. Int. J. Approx. Reasoning\u00a015(4), 319\u2013331 (1996)","journal-title":"Int. J. Approx. Reasoning"},{"key":"16_CR22","first-page":"151","volume-title":"Proc. Fifth European Working Session on Learning","author":"P. Clark","year":"1991","unstructured":"Clark, P., Boswell, R.: Rule induction with CN2: Some recent improvements. In: Proc. Fifth European Working Session on Learning, pp. 151\u2013163. Springer, Berlin (1991)"},{"issue":"4","key":"16_CR23","first-page":"261","volume":"3","author":"P. Clark","year":"1989","unstructured":"Clark, P., Niblett, T.: The CN2 induction algorithm. Machine Learning\u00a03(4), 261\u2013283 (1989)","journal-title":"Machine Learning"},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"Cohen, W.W.: Fast Effective Rule Induction. In: Proceedings of the Twelfth International Conference on Machine Learning (ICML 1995), San Francisco, CA, pp. 115\u2013123 (1995)","DOI":"10.1016\/B978-1-55860-377-6.50023-2"},{"key":"16_CR25","unstructured":"Cohen, W.W.: Learning Trees and Rules with Set-Valued Features. In: Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI 1996), Portland, OR, pp. 709\u2013716 (August 1996)"},{"issue":"7","key":"16_CR26","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1145\/368273.368557","volume":"5","author":"M. Davis","year":"1962","unstructured":"Davis, M., Logemann, G., Loveland, D.: A machine program for theorem proving. Communications of the ACM\u00a05(7), 394\u2013397 (1962)","journal-title":"Communications of the ACM"},{"issue":"3","key":"16_CR27","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/321033.321034","volume":"7","author":"M. Davis","year":"1960","unstructured":"Davis, M., Putnam, H.: A computing procedure for quantification theory. Journal of the ACM\u00a07(3), 201\u2013215 (1960)","journal-title":"Journal of the ACM"},{"key":"16_CR28","doi-asserted-by":"crossref","unstructured":"Dougherty, J., Kohavi, R., Sahami, M.: Supervised and Unsupervised Discretization of Continuous Features. In: ICML, pp. 194\u2013202 (1995)","DOI":"10.1016\/B978-1-55860-377-6.50032-3"},{"key":"16_CR29","unstructured":"Duentsch, I., Gediga, G., Nguyen, H.S.: Rough Set Data Analysis in the KDD Process. In: Proc. of 8th International Conference IPMU 2000, Madrid, Spain, July 2000, pp. 220\u2013226. Universidad Politechnica de Madrid (2000)"},{"issue":"5","key":"16_CR30","doi-asserted-by":"crossref","first-page":"476","DOI":"10.1109\/34.589207","volume":"19","author":"F. Esposito","year":"1997","unstructured":"Esposito, F., Malerba, D., Semeraro, G.: A Comparative Analysis of Methods for Pruning Decision Trees. IEEE Transactions on Pattern Analysis and Machine Intelligence\u00a019(5), 476\u2013491 (1997)","journal-title":"IEEE Transactions on Pattern Analysis and Machine Intelligence"},{"key":"16_CR31","unstructured":"Fayyad, U.M., Irani, K.B.: Multi-Interval Discretization of Continuous-Valued Attributes for Classification Learning. In: IJCAI, pp. 1022\u20131029 (1993)"},{"key":"16_CR32","volume-title":"Advances in Knowledge Discovery and Data Mining","year":"1996","unstructured":"Fayyad, U.M., Piatetsky-Shapiro, G., Smyth, P., Uthurusamy, R. (eds.): Advances in Knowledge Discovery and Data Mining. The AAAI Press\/The MIT Pres, Cambridge (1996)"},{"key":"16_CR33","unstructured":"Friedman, J.H., Kohavi, R., Yun, Y.: Lazy Decision Trees. In: Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, AAAI\/IAAI 1996, vol.\u00a01, pp. 717\u2013724 (1996)"},{"key":"16_CR34","volume-title":"Logic and Databases","year":"1978","unstructured":"Gallaire, H., Minker, J. (eds.): Logic and Databases. Plenum Press, New York (1978)"},{"key":"16_CR35","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"M.R. Garey","year":"1979","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman & Co., New York (1979)"},{"key":"16_CR36","doi-asserted-by":"crossref","unstructured":"Goldberg, E., Novikov, Y.: BerkMin: A fast and robust SAT-solver. In: Proceedings of DATE 2002, pp. 142\u2013149 (2002)","DOI":"10.1109\/DATE.2002.998262"},{"key":"16_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1007\/11549345_36","volume-title":"Mathematical Foundations of Computer Science 2005","author":"J. Goldsmith","year":"2005","unstructured":"Goldsmith, J., Hagen, M., Mundhenk, M.: Complexity of DNF and isomorphism of monotone formulas. In: Jedrzejowicz, J., Szepietowski, A. (eds.) MFCS 2005. LNCS, vol.\u00a03618, pp. 410\u2013421. Springer, Heidelberg (2005)"},{"key":"16_CR38","first-page":"318","volume-title":"Handbook of KDD","author":"S. Greco","year":"2002","unstructured":"Greco, S., Matarazzo, B., S\u0142owi\u0144ski, R.: Data mining tasks and methods: Classification: multicriteria classification. In: Kloesgen, W., \u017bytkow, J. (eds.) Handbook of KDD, pp. 318\u2013328. Oxford University Press, Oxford (2002)"},{"key":"16_CR39","doi-asserted-by":"crossref","unstructured":"Grzyma\u0142a-Busse, J.W.: LERS \u2013 A System for Learning from Examples based on Rough Sets. In: S\u0142owi\u0144ski (ed.) [147], pp. 3\u201318","DOI":"10.1007\/978-94-015-7975-9_1"},{"key":"16_CR40","doi-asserted-by":"crossref","unstructured":"Grzyma\u0142a-Busse, J.W.: LERS \u2013 A Data Mining System. In: Maimon, Rokach (eds.) [67], pp. 1347\u20131351","DOI":"10.1007\/0-387-25465-X_65"},{"key":"16_CR41","doi-asserted-by":"crossref","unstructured":"Grzyma\u0142a-Busse, J.W.: Rule Induction. In: Maimon, Rokach (eds.) [67], pp. 277\u2013294","DOI":"10.1007\/0-387-25465-X_13"},{"key":"16_CR42","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1145\/332051.332082","volume":"43","author":"J.W. Grzyma\u0142a-Busse","year":"2000","unstructured":"Grzyma\u0142a-Busse, J.W., Ziarko, W.: Data Mining and Rough Set Theory. Communications of the ACM\u00a043, 108\u2013109 (2000)","journal-title":"Communications of the ACM"},{"key":"16_CR43","volume-title":"Data Mining: Concepts and Techniques","author":"J. Han","year":"2000","unstructured":"Han, J., Kamber, M.: Data Mining: Concepts and Techniques. Morgan Kaufmann Publishers Inc., San Francisco (2000)"},{"key":"16_CR44","first-page":"1","volume-title":"2000 ACM SIGMOD Intl. Conference on Management of Data","author":"J. Han","year":"2000","unstructured":"Han, J., Pei, J., Yin, Y.: Mining frequent patterns without candidate generation. In: Chen, W., Naughton, J., Bernstein, P.A. (eds.) 2000 ACM SIGMOD Intl. Conference on Management of Data, pp. 1\u201312. ACM Press, New York (2000)"},{"key":"16_CR45","volume-title":"Principles of Data Mining","author":"D. Hand","year":"2001","unstructured":"Hand, D., Mannila, H., Smyth, P.: Principles of Data Mining. MIT Press, Cambridge (2001)"},{"key":"16_CR46","first-page":"3","volume-title":"Building Expert Systems","author":"F. Hayes-Roth","year":"1983","unstructured":"Hayes-Roth, F., Waterman, D.A., Lenat, D.B.: An Overview of Expert Systems. In: Hayes-Roth, F., Waterman, D.A., Lenat, D.B. (eds.) Building Expert Systems, pp. 3\u201329. Addison-Wesley, London (1983)"},{"key":"16_CR47","unstructured":"Heath, D.G., Kasif, S., Salzberg, S.: Induction of Oblique Decision Trees. In: IJCAI, pp. 1002\u20131007 (1993)"},{"key":"16_CR48","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1023\/A:1022631118932","volume":"11","author":"R.C. Holte","year":"1993","unstructured":"Holte, R.C.: Very simple classification rules perform well on most commonly used datasets. Machine Learning\u00a011, 63\u201391 (1993)","journal-title":"Machine Learning"},{"key":"16_CR49","first-page":"557","volume":"35","author":"E.V. Huntington","year":"1933","unstructured":"Huntington, E.V.: Boolean algebra. A correction. Transactions of AMS\u00a035, 557\u2013558 (1933)","journal-title":"Transactions of AMS"},{"key":"16_CR50","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1007\/11548669_21","volume-title":"Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing","author":"R. Jensen","year":"2005","unstructured":"Jensen, R., Shen, Q., Tuson, A.: Finding rough set reducts with SAT. In: \u015al\u0119zak, D., Wang, G., Szczuka, M.S., D\u00fcntsch, I., Yao, Y. (eds.) RSFDGrC 2005. LNCS (LNAI), vol.\u00a03641, pp. 194\u2013203. Springer, Heidelberg (2005)"},{"key":"16_CR51","volume-title":"Logic-Based Decision Support. Mixed Integer Model Formulation","author":"R.G. Jeroslow","year":"1988","unstructured":"Jeroslow, R.G.: Logic-Based Decision Support. Mixed Integer Model Formulation. Elsevier, Amsterdam (1988)"},{"key":"16_CR52","first-page":"367","volume-title":"Proc. 2nd Int. Conf. Knowledge Discovery and Data Mining, KDD","author":"G.H. John","year":"1996","unstructured":"John, G.H., Langley, P.: Static Versus Dynamic Sampling for Data Mining. In: Simoudis, E., Han, J., Fayyad, U.M. (eds.) Proc. 2nd Int. Conf. Knowledge Discovery and Data Mining, KDD, 2\u20134, 1996, pp. 367\u2013370. AAAI Press, Menlo Park (1996)"},{"key":"16_CR53","unstructured":"Kautz, H.A., Selman, B.: Planning as Satisfiability. In: Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI 1992), pp. 359\u2013363 (1992)"},{"key":"16_CR54","unstructured":"Kautz, H.A., Selman, B.: Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search. In: Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI 1996), pp. 1194\u20131201 (1996)"},{"key":"16_CR55","unstructured":"Keefe, R.: Theories of Vagueness. Cambridge Studies in Philosophy, Cambridge, UK (2000)"},{"key":"16_CR56","first-page":"123","volume-title":"Proceedings of the Tenth National Conference on Artificial Intelligence","author":"R. Kerber","year":"1992","unstructured":"Kerber, R.: ChiMerge: Discretization of Numeric Attributes. In: Proceedings of the Tenth National Conference on Artificial Intelligence, San Jose, CA, pp. 123\u2013128. AAAI Press, Menlo Park (1992)"},{"key":"16_CR57","volume-title":"Handbook of Knowledge Discovery and Data Mining","year":"2002","unstructured":"Kloesgen, W., \u017bytkow, J. (eds.): Handbook of Knowledge Discovery and Data Mining. Oxford University Press, Oxford (2002)"},{"key":"16_CR58","first-page":"3","volume-title":"Rough Fuzzy Hybridization: A New Trend in Decision-Making","author":"J. Komorowski","year":"1999","unstructured":"Komorowski, J., Pawlak, Z., Polkowski, L., Skowron, A.: Rough sets: a tutorial. In: Pal, S.K., Skowron, A. (eds.) Rough Fuzzy Hybridization: A New Trend in Decision-Making, pp. 3\u201398. Springer, Singapore (1999)"},{"key":"16_CR59","volume-title":"Logic for problem solving","author":"R.A. Kowalski","year":"1980","unstructured":"Kowalski, R.A.: Logic for problem solving. North Holland, New York (1980)"},{"key":"16_CR60","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/978-1-4613-1461-5_18","volume-title":"Rough Sets and Data Mining \u2013 Analysis of Imperfect Data","author":"M. Kryszkiewicz","year":"1997","unstructured":"Kryszkiewicz, M.: Maintenance of reducts in the variable precision rough set model. In: Lin, T.Y., Cercone, N. (eds.) Rough Sets and Data Mining \u2013 Analysis of Imperfect Data, pp. 355\u2013372. Kluwer Academic Publishers, Boston (1997)"},{"key":"16_CR61","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1007\/978-3-540-27794-1_5","volume-title":"Transactions on Rough Sets II","author":"M. Kryszkiewicz","year":"2004","unstructured":"Kryszkiewicz, M., Cicho\u0144, K.: Towards Scalable Algorithms for Discovering Rough Set Reducts. In: Peters, J.F., Skowron, A., Dubois, D., Grzyma\u0142a-Busse, J.W., Inuiguchi, M., Polkowski, L. (eds.) Transactions on Rough Sets II. LNCS, vol.\u00a03135, pp. 120\u2013143. Springer, Heidelberg (2004)"},{"issue":"4","key":"16_CR62","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1023\/A:1016304305535","volume":"6","author":"H. Liu","year":"2002","unstructured":"Liu, H., Hussain, F., Tan, C.L., Dash, M.: Discretization: An Enabling Technique. Data Mining Knowledge Discovery\u00a06(4), 393\u2013423 (2002)","journal-title":"Data Mining Knowledge Discovery"},{"key":"16_CR63","volume-title":"Feature Selection for Knowledge Discovery and Data Mining","year":"1999","unstructured":"Liu, H., Motoda, H. (eds.): Feature Selection for Knowledge Discovery and Data Mining. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"16_CR64","first-page":"88","volume-title":"TAI 1995: Proceedings of the Seventh International Conference on Tools with Artificial Intelligence","author":"H. Liu","year":"1995","unstructured":"Liu, H., Setiono, R.: Chi2: Feature Selection and Discretization of Numeric Attributes. In: TAI 1995: Proceedings of the Seventh International Conference on Tools with Artificial Intelligence, Washington, DC, USA, p. 88. IEEE Computer Society Press, Los Alamitos (1995)"},{"key":"16_CR65","series-title":"Fundamental Studies in Computer Science","volume-title":"Automated Theorem Proving. A Logical Basis","author":"D.W. Loveland","year":"1978","unstructured":"Loveland, D.W.: Automated Theorem Proving. A Logical Basis. Fundamental Studies in Computer Science, vol.\u00a06. North-Holland, Amsterdam (1978)"},{"key":"16_CR66","doi-asserted-by":"crossref","unstructured":"Moskewicz, Y.Z.M., Madigan, C., Zhang, L.: Chaff: Engineering and efficient SAT solver. In: Proceedings of 38th Design Automation Conference (DAC2001) (June 2001)","DOI":"10.1145\/378239.379017"},{"key":"16_CR67","volume-title":"The Data Mining and Knowledge Discovery Handbook","year":"2005","unstructured":"Maimon, O., Rokach, L. (eds.): The Data Mining and Knowledge Discovery Handbook. Springer, Heidelberg (2005)"},{"key":"16_CR68","doi-asserted-by":"crossref","unstructured":"Manquinho, V.M., Flores, P.F., Silva, J.P.M., Oliveira, A.L.: Prime Implicant Computation Using Satisfiability Algorithms. In: 9th International Conference on Tools with Artificial Intelligence (ICTAI 1997), pp. 232\u2013239 (1997)","DOI":"10.1109\/TAI.1997.632261"},{"key":"16_CR69","doi-asserted-by":"crossref","unstructured":"Marques-Silva, J.P., Sakallah, K.A.: GRASP \u2013 A New Search Algorithm for Satisfiability. In: Proceedings of IEEE\/ACM International Conference on Computer-Aided Design, pp. 220\u2013227 (November 1996)","DOI":"10.1109\/ICCAD.1996.569607"},{"key":"16_CR70","doi-asserted-by":"crossref","unstructured":"Mehta, M., Agrawal, R., Rissanen, J.: SLIQ: A Fast Scalable Classifier for Data Mining. In: Extending Database Technology, pp. 18\u201332 (1996)","DOI":"10.1007\/BFb0014141"},{"key":"16_CR71","unstructured":"Mehta, M., Rissanen, J., Agrawal, R.: MDL-Based Decision Tree Pruning. In: Proceedings of the First International Conference on Knowledge Discovery and Data Mining (KDD 1995), pp. 216\u2013221 (1995)"},{"key":"16_CR72","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07418-3","volume-title":"Genetic Algorithms + Data Structures = Evolution Programs","author":"Z. Michalewicz","year":"1994","unstructured":"Michalewicz, Z.: Genetic Algorithms + Data Structures = Evolution Programs. Springer, New York (1994)"},{"key":"16_CR73","unstructured":"Michalski, R.: Discovery Classification Rules Using Variable-valued Logic System VL1. In: Proceedings of the Third International Conference on Artificial Intelligence, pp. 162\u2013172. Stanford University (1973)"},{"key":"16_CR74","first-page":"1041","volume-title":"Proc. Fifth National Conference on Artificial Intelligence","author":"R. Michalski","year":"1986","unstructured":"Michalski, R., Mozeti\u010d, I., Hong, J., Lavra\u010d, N.: The multi-purpose incremental learning system AQ15 and its testing application on three medical domains. In: Proc. Fifth National Conference on Artificial Intelligence, San Mateo, CA, pp. 1041\u20131045. Morgan Kaufmann, San Francisco (1986)"},{"key":"16_CR75","volume-title":"Machine learning, Neural and Statistical Classification","author":"D. Michie","year":"1994","unstructured":"Michie, D., Spiegelhalter, D.J., Taylor, C.: Machine learning, Neural and Statistical Classification. Ellis Horwood, New York (1994)"},{"issue":"2","key":"16_CR76","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1023\/A:1022604100933","volume":"4","author":"J. Mingers","year":"1989","unstructured":"Mingers, J.: An empirical comparison of pruning methods for decision tree induction. Machine Learning\u00a04(2), 227\u2013243 (1989)","journal-title":"Machine Learning"},{"key":"16_CR77","volume-title":"Machine Learning","author":"T. Mitchell","year":"1998","unstructured":"Mitchell, T.: Machine Learning. Mc Graw Hill, New York (1998)"},{"key":"16_CR78","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.63","volume":"2","author":"S.K. Murthy","year":"1994","unstructured":"Murthy, S.K., Kasif, S., Salzberg, S.: A System for Induction of Oblique Decision Trees. Journal of Artificial Intelligence Research\u00a02, 1\u201332 (1994)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"16_CR79","unstructured":"Nguyen, H.S.: Discretization of Real Value Attributes, Boolean Reasoning Approach. PhD thesis, Warsaw University, Warsaw, Poland (1997)"},{"key":"16_CR80","unstructured":"Nguyen, H.S.: Rule induction from Continuous Data: New Discretization Concepts. In: Proc. of the III Joint Conference on Information Sciences, NC, USA, March 1997, vol.\u00a03, pp. 81\u201384. Duke University (1997)"},{"key":"16_CR81","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/3-540-69115-4_75","volume-title":"Rough Sets and Current Trends in Computing","author":"H.S. Nguyen","year":"1998","unstructured":"Nguyen, H.S.: Discretization problem for rough sets methods. In: Polkowski, L., Skowron, A. (eds.) RSCTC 1998. LNCS (LNAI), vol.\u00a01424, pp. 545\u2013552. Springer, Heidelberg (1998)"},{"issue":"1\u20132","key":"16_CR82","first-page":"145","volume":"34","author":"H.S. Nguyen","year":"1998","unstructured":"Nguyen, H.S.: From Optimal Hyperplanes to Optimal Decision Trees. Fundamenta Informaticae\u00a034(1\u20132), 145\u2013174 (1998)","journal-title":"Fundamenta Informaticae"},{"key":"16_CR83","first-page":"806","volume-title":"Proc. of Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 1999","author":"H.S. Nguyen","year":"1999","unstructured":"Nguyen, H.S.: Efficient SQL-Querying Method for Data Mining in Large Data Bases. In: Proc. of Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 1999, Stockholm, Sweden, pp. 806\u2013811. Morgan Kaufmann, San Francisco (1999)"},{"issue":"1","key":"16_CR84","doi-asserted-by":"crossref","first-page":"61","DOI":"10.3233\/FUN-2001-48105","volume":"48","author":"H.S. Nguyen","year":"2001","unstructured":"Nguyen, H.S.: On Efficient Handling of Continuous Attributes in Large Data Bases. Fundamenta Informaticae\u00a048(1), 61\u201381 (2001)","journal-title":"Fundamenta Informaticae"},{"key":"16_CR85","first-page":"333","volume-title":"Rough-Neuro-Computing Techniques for Computing with Words","author":"H.S. Nguyen","year":"2002","unstructured":"Nguyen, H.S.: On Exploring Soft Discretization of Continuous Attributes. In: Pal, S.K., Polkowski, L., Skowron, A. (eds.) Rough-Neuro-Computing Techniques for Computing with Words, pp. 333\u2013350. Springer, New York (2002)"},{"key":"16_CR86","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1007\/3-540-45813-1_57","volume-title":"Rough Sets and Current Trends in Computing","author":"H.S. Nguyen","year":"2002","unstructured":"Nguyen, H.S.: Scalable classification method based on rough sets. In: Alpigini, J.J., Peters, J.F., Skowron, A., Zhong, N. (eds.) RSCTC 2002. LNCS (LNAI), vol.\u00a02475, pp. 433\u2013440. Springer, Heidelberg (2002)"},{"key":"16_CR87","series-title":"Advanced in Soft Computing","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/978-3-7908-1777-5_6","volume-title":"Intelligent Information Systems 2002 (Proc. IIS 2002)","author":"H.S. Nguyen","year":"2002","unstructured":"Nguyen, H.S.: A Soft Decision Tree. In: K\u0142opotek, M.A., Wierzcho\u0144, S., Michalewicz, M. (eds.) Intelligent Information Systems 2002 (Proc. IIS 2002). Advanced in Soft Computing, pp. 57\u201366. Springer, Heidelberg (2002)"},{"key":"16_CR88","series-title":"Cognitive Technologies","first-page":"333","volume-title":"Rough-Neural Computing: Techniques for Computing with Words","author":"H.S. Nguyen","year":"2003","unstructured":"Nguyen, H.S.: On Exploring Soft Discretization of Continuous Attributes. In: Pal, S.K., Polkowski, L., Skowron, A. (eds.) Rough-Neural Computing: Techniques for Computing with Words. Cognitive Technologies, pp. 333\u2013350. Springer, Heidelberg (2003)"},{"key":"16_CR89","volume-title":"Electronic Notes in Theoretical Computer Science","author":"H.S. Nguyen","year":"2003","unstructured":"Nguyen, H.S.: On the Decision Table with Maximal Number of Reducts. In: Skowron, A., Szczuka, M. (eds.) Electronic Notes in Theoretical Computer Science, vol.\u00a082. Elsevier, Amsterdam (2003)"},{"key":"16_CR90","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1007\/11548706_2","volume-title":"Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing","author":"H.S. Nguyen","year":"2005","unstructured":"Nguyen, H.S.: Approximate boolean reasoning approach to rough sets and data mining. In: \u015al\u0119zak, D., Yao, J., Peters, J.F., Ziarko, W.P., Hu, X. (eds.) RSFDGrC 2005. LNCS, vol.\u00a03642, pp. 12\u201322. Springer, Heidelberg (2005)"},{"key":"16_CR91","volume-title":"IEEE\/WIC\/ACM international conference on web intelligence and intelligent agent technology. tutorial notes of the 2005","author":"H.S. Nguyen","year":"2005","unstructured":"Nguyen, H.S.: Rough Sets Approach to Learning in MAS \u2013 A tutorial. In: IEEE\/WIC\/ACM international conference on web intelligence and intelligent agent technology. tutorial notes of the 2005, Compiegne University, Compiegne, France (2005)"},{"key":"16_CR92","unstructured":"Nguyen, H.S., Nguyen, S.H.: From Optimal Hyperplanes to Optimal Decision Trees. In: Tsumoto, S., Kobayashi, S., Yokomori, T., Tanaka, H., Nakamura, A. (eds.) Proceedings of the Fourth International Workshop on Rough Sets, Fuzzy Sets, and Machine Discovery (RSFD 1996), Tokyo, Japan, November 6-8, 1996, pp. 82\u201388, The University of Tokyo (1996)"},{"key":"16_CR93","first-page":"451","volume-title":"Rough Sets in Knowledge Discovery","author":"H.S. Nguyen","year":"1998","unstructured":"Nguyen, H.S., Nguyen, S.H.: Discretization Methods for Data Mining. In: Polkowski, L., Skowron, A. (eds.) Rough Sets in Knowledge Discovery, pp. 451\u2013482. Springer, Heidelberg (1998)"},{"issue":"2","key":"16_CR94","doi-asserted-by":"crossref","first-page":"149","DOI":"10.3233\/HIS-2005-2205","volume":"2","author":"H.S. Nguyen","year":"2005","unstructured":"Nguyen, H.S., Nguyen, S.H.: Fast split selection method and its application in decision tree construction from large databases. International Journal of Hybrid Intelligent Systems\u00a02(2), 149\u2013160 (2005)","journal-title":"International Journal of Hybrid Intelligent Systems"},{"key":"16_CR95","unstructured":"Nguyen, H.S., Skowron, A.: Quantization of Real Values Attributes, Rough set and Boolean Reasoning Approaches. In: Proc. of the Second Joint Conference on Information Sciences, Wrightsville Beach, NC, USA, pp. 34\u201337 (October 1995)"},{"key":"16_CR96","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/978-3-540-48061-7_18","volume-title":"New Directions in Rough Sets, Data Mining, and Granular-Soft Computing","author":"H.S. Nguyen","year":"1999","unstructured":"Nguyen, H.S., \u015al\u0119zak, D.: Approximate reducts and association rules. In: Zhong, N., Skowron, A., Ohsuga, S. (eds.) RSFDGrC 1999. LNCS (LNAI), vol.\u00a01711, pp. 137\u2013145. Springer, Heidelberg (1999)"},{"key":"16_CR97","unstructured":"Nguyen, H.S., Szczuka, M.: Rough Sets In Knowledge Discovery and Data Mining \u2013 A tutorial. In: Washio, T. (ed.) VAST-Vietnam academy of Science and Technology, Tutorial Notes of the 9th Pacific-Asia Conference on Knowledge Discovery and Data Mining, Hanoi, Wietnam, May 18 (2005)"},{"key":"16_CR98","series-title":"Studies in Fuzziness and Soft Computing","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/978-3-7908-1840-6_7","volume-title":"Rough Set Methods and Applications: New Developments in Knowledge Discovery in Information Systems","author":"S.H. Nguyen","year":"2000","unstructured":"Nguyen, S.H.: Regularity analysis and its applications in Data Mining. In: Polkowski, L., Lin, T.Y., Tsumoto, S. (eds.) Rough Set Methods and Applications: New Developments in Knowledge Discovery in Information Systems. Studies in Fuzziness and Soft Computing, vol.\u00a056, pp. 289\u2013378. Springer, Heidelberg (2000)"},{"key":"16_CR99","unstructured":"Nguyen, S.H.: Regularity Analysis and Its Applications in Data Mining. PhD thesis, Warsaw University, Warsaw, Poland (2000)"},{"key":"16_CR100","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/978-3-540-27794-1_9","volume-title":"Transactions on Rough Sets I","author":"S.H. Nguyen","year":"2004","unstructured":"Nguyen, S.H., Bazan, J.G., Skowron, A., Nguyen, H.S.: Layered learning for concept synthesis. In: Peters, J.F., Skowron, A., Grzyma\u0142a-Busse, J.W., Kostek, B.z., \u015awiniarski, R.W., Szczuka, M.S. (eds.) Transactions on Rough Sets I. LNCS, vol.\u00a03100, pp. 187\u2013208. Springer, Heidelberg (2004)"},{"key":"16_CR101","unstructured":"Nguyen, S.H., Nguyen, H.S.: Some Efficient Algorithms for Rough Set Methods. In: Sixth International Conference on Information Processing and Management of Uncertainty on Knowledge Based Systems IPMU 1996, Granada, Spain, July 1-5, 1996, vol.\u00a0III, pp. 1451\u20131456 (1996)"},{"key":"16_CR102","unstructured":"Nguyen, S.H., Nguyen, H.S.: Some Efficient Algorithms for Rough Set Methods. In: Proceedings of the Conference of Information Processing and Management of Uncertainty in Knowledge-Based Systems IPMU 1996, Granada, Spain, pp. 1451\u20131456 (July 1996)"},{"issue":"1\u20132","key":"16_CR103","doi-asserted-by":"crossref","first-page":"129","DOI":"10.3233\/FI-1998-341205","volume":"34","author":"S.H. Nguyen","year":"1998","unstructured":"Nguyen, S.H., Nguyen, H.S.: Pattern Extraction from Data. Fundamenta Informaticae\u00a034(1\u20132), 129\u2013144 (1998)","journal-title":"Fundamenta Informaticae"},{"key":"16_CR104","unstructured":"Nguyen, S.H., Nguyen, H.S.: Pattern Extraction from Data. In: Proceedings of the Conference of Information Processing and Management of Uncertainty in Knowledge-Based Systems IPMU 1998, Paris, France, pp. 1346\u20131353 (July 1998)"},{"key":"16_CR105","series-title":"Studies in Fuzziness and Soft Computing","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-3-7908-1883-3_4","volume-title":"Rough Sets in Knowledge Discovery 2: Applications, Case Studies and Software Systems","author":"S.H. Nguyen","year":"1998","unstructured":"Nguyen, S.H., Skowron, A., Synak, P.: Discovery of data patterns with applications to decomposition and classification problems. In: Polkowski, L., Skowron, A. (eds.) Rough Sets in Knowledge Discovery 2: Applications, Case Studies and Software Systems. Studies in Fuzziness and Soft Computing, vol.\u00a019, ch.4, pp. 55\u201397. Springer, Heidelberg (1998)"},{"key":"16_CR106","series-title":"Studies in Fuzziness and Soft Computing","first-page":"572","volume-title":"Rough Sets in Knowledge Discovery 2. Applications, Case Studies and Software Systems","author":"A. \u00d8hrn","year":"1998","unstructured":"\u00d8hrn, A., Komorowski, J., Skowron, A., Synak, P.: The ROSETTA software system. In: Polkowski, L., Skowron, A. (eds.) Rough Sets in Knowledge Discovery 2. Applications, Case Studies and Software Systems. Studies in Fuzziness and Soft Computing, vol.\u00a019, pp. 572\u2013576. Springer, Heidelberg (1998)"},{"key":"16_CR107","unstructured":"Pawlak, Z.: Classification of objects by means of attributes. Research Report PAS 429, Institute of Computer Science, Polish Academy of Sciences (1981) ISSN 138-0648"},{"key":"16_CR108","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/0306-4379(81)90023-5","volume":"6","author":"Z. Pawlak","year":"1981","unstructured":"Pawlak, Z.: Information systems \u2013 theoretical foundations. Information Systems\u00a06, 205\u2013218 (1981)","journal-title":"Information Systems"},{"key":"16_CR109","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/BF01001956","volume":"11","author":"Z. Pawlak","year":"1982","unstructured":"Pawlak, Z.: Rough sets. International Journal of Computer and Information Sciences\u00a011, 341\u2013356 (1982)","journal-title":"International Journal of Computer and Information Sciences"},{"issue":"5","key":"16_CR110","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1016\/S0020-7373(84)80022-X","volume":"20","author":"Z. Pawlak","year":"1984","unstructured":"Pawlak, Z.: Rough Classification. International Journal of Man-Machine Studies\u00a020(5), 469\u2013483 (1984)","journal-title":"International Journal of Man-Machine Studies"},{"key":"16_CR111","series-title":"System Theory, Knowledge Engineering and Problem Solving","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-3534-4","volume-title":"Rough Sets: Theoretical Aspects of Reasoning about Data","author":"Z. Pawlak","year":"1991","unstructured":"Pawlak, Z.: Rough Sets: Theoretical Aspects of Reasoning about Data. System Theory, Knowledge Engineering and Problem Solving, vol.\u00a09. Kluwer Academic Publishers, Dordrecht (1991)"},{"key":"16_CR112","first-page":"1","volume":"1","author":"Z. Pawlak","year":"2004","unstructured":"Pawlak, Z.: Some Issues on Rough Sets. Transactions on Rough Sets\u00a01, 1\u201358 (2004)","journal-title":"Transactions on Rough Sets"},{"key":"16_CR113","first-page":"227","volume-title":"Machine Learning and Uncertain Reasoning","author":"Z. Pawlak","year":"1990","unstructured":"Pawlak, Z., Wong, S.K.M., Ziarko, W.: Rough Sets: Probabilistic Versus Deterministic Approach. In: Gaines, B., Boose, J. (eds.) Machine Learning and Uncertain Reasoning, vol.\u00a03, pp. 227\u2013242. Academic Press, London (1990)"},{"key":"16_CR114","doi-asserted-by":"crossref","unstructured":"Pfahringer, B.: Compression-Based Discretization of Continuous Attributes. In: Proceedings of the 12th International Conference on Machine Learning, pp. 456\u2013463 (1995)","DOI":"10.1016\/B978-1-55860-377-6.50063-3"},{"key":"16_CR115","doi-asserted-by":"crossref","unstructured":"Pizzuti, C.: Computing Prime Implicants by Integer Programming. In: Eighth International Conference on Tools with Artificial Intelligence (ICTAI 1996), pp. 332\u2013336 (1996)","DOI":"10.1109\/TAI.1996.560473"},{"key":"16_CR116","series-title":"Studies in Fuzziness and Soft Computing","volume-title":"Rough Set Methods and Applications: New Developments in Knowledge Discovery in Information Systems","year":"2000","unstructured":"Polkowski, L., Lin, T.Y., Tsumoto, S. (eds.): Rough Set Methods and Applications: New Developments in Knowledge Discovery in Information Systems. Studies in Fuzziness and Soft Computing, vol.\u00a056. Springer, Heidelberg (2000)"},{"key":"16_CR117","series-title":"Studies in Fuzziness and Soft Computing","volume-title":"Rough Sets in Knowledge Discovery 2: Applications, Case Studies and Software Systems","year":"1998","unstructured":"Polkowski, L., Skowron, A. (eds.): Rough Sets in Knowledge Discovery 2: Applications, Case Studies and Software Systems. Studies in Fuzziness and Soft Computing, vol.\u00a019. Springer, Heidelberg (1998)"},{"issue":"3","key":"16_CR118","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1111\/j.1467-8640.1993.tb00310.x","volume":"9","author":"P. Prosser","year":"1993","unstructured":"Prosser, P.: Hybrid algorithms for the constraint satisfaction problem. Computational Intelligence\u00a09(3), 268\u2013299 (1993)","journal-title":"Computational Intelligence"},{"key":"16_CR119","unstructured":"Provost, F.J., Fawcett, T.: Analysis and Visualization of Classifier Performance: Comparison under Imprecise Class and Cost Distributions. In: Knowledge Discovery and Data Mining, pp. 43\u201348 (1997)"},{"issue":"1-4","key":"16_CR120","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/S0020-0255(99)00075-4","volume":"124","author":"M. Quafafou","year":"2000","unstructured":"Quafafou, M.: \u03b1-RST: A generalization of rough set theory. Information Sciences\u00a0124(1-4), 301\u2013316 (2000)","journal-title":"Information Sciences"},{"key":"16_CR121","doi-asserted-by":"crossref","first-page":"755","DOI":"10.1080\/00029890.1959.11989404","volume":"66","author":"W.V.O. Quine","year":"1959","unstructured":"Quine, W.V.O.: On cores and prime implicants of truth functions. American Mathematical \u2013 Monthly\u00a066, 755\u2013760 (1959)","journal-title":"American Mathematical \u2013 Monthly"},{"key":"16_CR122","volume-title":"Mathematical Logic","author":"W.V.O. Quine","year":"1961","unstructured":"Quine, W.V.O.: Mathematical Logic. Harward University Press, CambMass (1961)"},{"key":"16_CR123","volume-title":"C4.5 \u2013 Programs for Machine Learning","author":"J. Quinlan","year":"1993","unstructured":"Quinlan, J.: C4.5 \u2013 Programs for Machine Learning. Morgan Kaufmann, San Francisco (1993)"},{"key":"16_CR124","first-page":"81","volume":"1","author":"R. Quinlan","year":"1986","unstructured":"Quinlan, R.: Induction of Decision Trees. Machine Learning\u00a01, 81\u2013106 (1986)","journal-title":"Machine Learning"},{"key":"16_CR125","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/3-540-59286-5_81","volume-title":"Machine Learning: ECML-95","author":"M. Richeldi","year":"1995","unstructured":"Richeldi, M., Rossotto, M.: Class-driven statistical discretization of continuous attributes. In: Lavra\u010d, N., Wrobel, S. (eds.) ECML 1995. LNCS, vol.\u00a0912, pp. 335\u2013338. Springer, Heidelberg (1995)"},{"key":"16_CR126","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1016\/0005-1098(78)90005-5","volume":"14","author":"J. Rissanen","year":"1978","unstructured":"Rissanen, J.: Modeling by shortes data description. Automatica\u00a014, 465\u2013471 (1978)","journal-title":"Automatica"},{"key":"16_CR127","first-page":"523","volume-title":"Minimum-description-length principle","author":"J. Rissanen","year":"1985","unstructured":"Rissanen, J.: Minimum-description-length principle, pp. 523\u2013527. John Wiley & Sons, New York (1985)"},{"key":"16_CR128","volume-title":"Boolean Functions and Equations","author":"S. Rudeanu","year":"1974","unstructured":"Rudeanu, S.: Boolean Functions and Equations. North-Holland\/American Elsevier, Amsterdam (1974)"},{"key":"16_CR129","unstructured":"Ryan, L.O.: Efficient algorithms for clause-learning SAT solvers. Master\u2019s thesis, Simon Fraser University, Burnaby, Canada (2004)"},{"key":"16_CR130","unstructured":"Sarle, W.: Stopped training and other remedies for overfitting. In: Proceedings of the 27th Symposium on Interface (1995)"},{"key":"16_CR131","unstructured":"Selman, B., Kautz, H.A., McAllester, D.A.: Ten Challenges in Propositional Reasoning and Search. In: Proceedings of Fifteenth International Joint Conference on Artificial Intelligence, pp. 50\u201354 (1997)"},{"key":"16_CR132","unstructured":"Selman, B., Levesque, H., Mitchell, D.: A new method for solving hard satisfiability problems. In: Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI 1992), pp. 459\u2013465 (1992)"},{"key":"16_CR133","first-page":"157","volume-title":"SAC 1993: Proceedings of the 1993 ACM\/SIGAPP symposium on Applied computing","author":"S. Sen","year":"1993","unstructured":"Sen, S.: Minimal cost set covering using probabilistic methods. In: SAC 1993: Proceedings of the 1993 ACM\/SIGAPP symposium on Applied computing, pp. 157\u2013164. ACM Press, New York (1993)"},{"key":"16_CR134","first-page":"544","volume-title":"Proc. 22nd Int. Conf. Very Large Databases, VLDB","author":"J.C. Shafer","year":"1996","unstructured":"Shafer, J.C., Agrawal, R., Mehta, M.: SPRINT: A Scalable Parallel Classifier for Data Mining. In: Vijayaraman, T.M., Buchmann, A.P., Mohan, C., Sarda, N.L. (eds.) Proc. 22nd Int. Conf. Very Large Databases, VLDB, pp. 544\u2013555. Morgan Kaufmann, San Francisco (1996)"},{"key":"16_CR135","first-page":"713","volume":"57","author":"C.E. Shannon","year":"1938","unstructured":"Shannon, C.E.: A symbolic analysis of relay and switching circuits. Transactions of AIEE\u00a057, 713\u2013723 (1938)","journal-title":"Transactions of AIEE"},{"key":"16_CR136","unstructured":"Shannon, C.E.: A symbolic analysis of relay and switching circuits. MIT, Dept. of Electrical Engineering (1940)"},{"key":"16_CR137","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/3-540-56804-2_28","volume-title":"Methodologies for Intelligent Systems","author":"A. Skowron","year":"1993","unstructured":"Skowron, A.: Boolean Reasoning for Decision Rules Generation. In: Komorowski, J., Ra\u015b, Z.W. (eds.) ISMIS 1993. LNCS (LNAI), vol.\u00a0689, pp. 295\u2013305. Springer, Heidelberg (1993)"},{"key":"16_CR138","series-title":"Frontiers in Artificial Intelligence and Applications","first-page":"220","volume-title":"Fifth Scandinavian Conference on Artificial Intelligence SCAI\u20191995","author":"A. Skowron","year":"1995","unstructured":"Skowron, A.: Synthesis of Adaptive Decision Systems from Experimental Data. In: Aamodt, A., Komorowski, J. (eds.) Fifth Scandinavian Conference on Artificial Intelligence SCAI\u20191995, Trondheim, Norway, May 29-31, 1995. Frontiers in Artificial Intelligence and Applications, vol.\u00a028, pp. 220\u2013238. IOS Press, Amsterdam (1995)"},{"key":"16_CR139","first-page":"1","volume-title":"16-th World Computer Congress (IFIP 2000): Proceedings of Conference on Intelligent Information Processing (IIP 2000)","author":"A. Skowron","year":"2000","unstructured":"Skowron, A.: Rough sets in KDD \u2013 plenary talk. In: Shi, Z., Faltings, B., Musen, M. (eds.) 16-th World Computer Congress (IFIP 2000): Proceedings of Conference on Intelligent Information Processing (IIP 2000), pp. 1\u201314. Publishing House of Electronic Industry, Beijing (2000)"},{"key":"16_CR140","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/978-3-540-48247-5_12","volume-title":"Principles of Data Mining and Knowledge Discovery","author":"A. Skowron","year":"1999","unstructured":"Skowron, A., Nguyen, H.S.: Boolean reasoning scheme with some applications in data mining. In: \u017bytkow, J.M., Rauch, J. (eds.) PKDD 1999. LNCS (LNAI), vol.\u00a01704, pp. 107\u2013115. Springer, Heidelberg (1999)"},{"key":"16_CR141","unstructured":"Skowron, A., Pal, S.K. (eds.): Special volume: Rough sets, pattern recognition and data mining. Pattern Recognition Letters\u00a024(6) (2003)"},{"key":"16_CR142","first-page":"134","volume-title":"Handbook of KDD","author":"A. Skowron","year":"2002","unstructured":"Skowron, A., Pawlak, Z., Komorowski, J., Polkowski, L.: A rough set perspective on data and knowledge. In: Kloesgen, W., \u017bytkow, J. (eds.) Handbook of KDD, pp. 134\u2013149. Oxford University Press, Oxford (2002)"},{"key":"16_CR143","doi-asserted-by":"crossref","unstructured":"Skowron, A., Rauszer, C.: The Discernibility Matrices and Functions in Information Systems. In: [147], ch. 3, pp. 331\u2013362","DOI":"10.1007\/978-94-015-7975-9_21"},{"issue":"2-3","key":"16_CR144","doi-asserted-by":"crossref","first-page":"245","DOI":"10.3233\/FI-1996-272311","volume":"27","author":"A. Skowron","year":"1996","unstructured":"Skowron, A., Stepaniuk, J.: Tolerance Approximation Spaces. Fundamenta Informaticae\u00a027(2-3), 245\u2013253 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"16_CR145","doi-asserted-by":"crossref","unstructured":"\u015ale\u0327zak, D.: Various approaches to reasoning with frequency-based decision reducts: a survey. In: Polkowski, et al. (eds.) [116], pp. 235\u2013285","DOI":"10.1007\/978-3-7908-1840-6_6"},{"key":"16_CR146","doi-asserted-by":"crossref","first-page":"365","DOI":"10.3233\/FUN-2002-533-409","volume":"53","author":"D. \u015ale\u0327zak","year":"2002","unstructured":"\u015ale\u0327zak, D.: Approximate Entropy Reducts. Fundamenta Informaticae\u00a053, 365\u2013387 (2002)","journal-title":"Fundamenta Informaticae"},{"key":"16_CR147","volume-title":"Intelligent Decision Support \u2013 Handbook of Applications and Advances of the Rough Sets Theory","year":"1992","unstructured":"S\u0142owi\u0144ski, R. (ed.): Intelligent Decision Support \u2013 Handbook of Applications and Advances of the Rough Sets Theory. Kluwer Academic Publishers, Dordrecht (1992)"},{"key":"16_CR148","first-page":"17","volume-title":"Advances in Machine Intelligence and Soft Computing","author":"R. S\u0142owi\u0144ski","year":"1997","unstructured":"S\u0142owi\u0144ski, R., Vanderpooten, D.: Similarity Relation as a Basis for Rough Approximations. In: Wang, P. (ed.) Advances in Machine Intelligence and Soft Computing, vol.\u00a04, pp. 17\u201333. Duke University Press, Duke (1997)"},{"issue":"3","key":"16_CR149","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1111\/0824-7935.00162","volume":"17","author":"J. Stefanowski","year":"2001","unstructured":"Stefanowski, J., Tsouki\u00e0s, A.: Incomplete Information Tables and Rough Classification. International Journal of Computational Intelligence\u00a017(3), 545\u2013566 (2001)","journal-title":"International Journal of Computational Intelligence"},{"key":"16_CR150","doi-asserted-by":"crossref","unstructured":"Stepaniuk, J.: Approximation spaces, reducts and representatives. In: Polkowski, Skowron (eds.) [117], ch. 6, pp. 109\u2013126","DOI":"10.1007\/978-3-7908-1883-3_6"},{"key":"16_CR151","volume-title":"Scalable High Performance Computing for Knowledge Discovery and Data Mining","year":"1998","unstructured":"Stolorz, P., Musick, R. (eds.): Scalable High Performance Computing for Knowledge Discovery and Data Mining. Kluwer Academic Publishers, Norwell (1998)"},{"key":"16_CR152","first-page":"37","volume":"40","author":"M.H. Stone","year":"1936","unstructured":"Stone, M.H.: The theory of representations for Boolean algebras. Transactions of AMS\u00a040, 37\u2013111 (1936)","journal-title":"Transactions of AMS"},{"issue":"4","key":"16_CR153","doi-asserted-by":"crossref","first-page":"597","DOI":"10.1006\/jcss.2001.1775","volume":"63","author":"C. Umans","year":"2001","unstructured":"Umans, C.: The minimum equivalent dnf problem and shortest implicants. Journal of Computer and System Sciences\u00a063(4), 597\u2013611 (2001)","journal-title":"Journal of Computer and System Sciences"},{"key":"16_CR154","volume-title":"Statistical Learning Theory","author":"V. Vapnik","year":"1998","unstructured":"Vapnik, V.: Statistical Learning Theory. John Wiley & Sons, New York (1998)"},{"key":"16_CR155","volume-title":"Data Mining: Practical Machine Learning Tools and Techniques with Java Implementations","author":"I..H. Witten","year":"2005","unstructured":"Witten, I.H., Frank, E.: Data Mining: Practical Machine Learning Tools and Techniques with Java Implementations. Morgan Kaufmann, San Francisco (2005)"},{"key":"16_CR156","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1023\/A:1022622132310","volume":"14","author":"J. Wnek","year":"1994","unstructured":"Wnek, J., Michalski, R.S.: Hypothesis-Driven Constructive Induction in AQ17-HCI: A Method and Experiments. Machine Learning\u00a014, 139\u2013168 (1994)","journal-title":"Machine Learning"},{"issue":"3-4","key":"16_CR157","doi-asserted-by":"crossref","first-page":"423","DOI":"10.3233\/FI-1996-283414","volume":"28","author":"J. Wr\u00f3blewski","year":"1996","unstructured":"Wr\u00f3blewski, J.: Theoretical Foundations of Order-Based Genetic Algorithms. Fundamenta Informaticae\u00a028(3-4), 423\u2013430 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"16_CR158","doi-asserted-by":"crossref","unstructured":"Wr\u00f3blewski, J.: Genetic Algorithms in Decomposition and Classification Problem. In: Polkowski, Skowron (eds.) [117], pp. 471\u2013487","DOI":"10.1007\/978-3-7908-1883-3_24"},{"key":"16_CR159","unstructured":"Wr\u00f3blewski, J.: Adaptive Methods of Object Classification, Ph.D. Thesis. Warsaw University, Warsaw (2002)"},{"key":"16_CR160","doi-asserted-by":"crossref","unstructured":"Zadeh, L.: Fuzzy logic and the calculi of fuzzy rules, fuzzy graphs, and fuzzy probabilities. Comput. Math. Appl.\u00a037(11-12) (1999)","DOI":"10.1016\/S0898-1221(99)00140-6"},{"key":"16_CR161","doi-asserted-by":"crossref","unstructured":"Zaki, M.: Efficient Enumeration of Frequent Sequences. In: Seventh International Conference on Information and Knowledge Management, Washington DC, pp. 68\u201375 (1998)","DOI":"10.1145\/288627.288643"},{"key":"16_CR162","first-page":"195","volume-title":"Knowledge Discovery in Databases","author":"W. Ziarko","year":"1991","unstructured":"Ziarko, W.: The Discovery, Analysis and Representation of Data Dependencies in Databases. In: Piatetsky-Shapiro, G., Frawley, W.J. (eds.) Knowledge Discovery in Databases, pp. 195\u2013212. AAAI\/MIT Press, Palo Alto (1991)"},{"key":"16_CR163","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0022-0000(93)90048-2","volume":"46","author":"W. Ziarko","year":"1993","unstructured":"Ziarko, W.: Variable Precision Rough Set Model. Journal of Computer and System Sciences\u00a046, 39\u201359 (1993)","journal-title":"Journal of Computer and System Sciences"},{"key":"16_CR164","series-title":"Workshops in Computing","volume-title":"Rough Sets, Fuzzy Sets and Knowledge Discovery: Proceedings of the Second International Workshop on Rough Sets and Knowledge Discovery RSKD 1993","year":"1994","unstructured":"Ziarko, W. (ed.): Rough Sets, Fuzzy Sets and Knowledge Discovery: Proceedings of the Second International Workshop on Rough Sets and Knowledge Discovery RSKD 1993, Banff, Alberta, Canada, October 12\u201315, 1993. Workshops in Computing. Springer\u2013Verlag & British Computer Society, London, Berlin (1994)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Rough Sets V"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11847465_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T23:43:51Z","timestamp":1736639031000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11847465_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540393825","9783540393832"],"references-count":164,"URL":"https:\/\/doi.org\/10.1007\/11847465_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}