Home > Publications

Invited Refereed Journals Publications

  1. A Model PM for Preprocessing and Data Mining Proper Process (with Ernestina Menasalvas, Christelle Scharff)- Commemorative Issue of Transactions on Rough Sets, Lecture Notes in Artificial Intelligence, Springer, 2006, pp67-71.

  2. Bayesian Network Multi-classifiers for Protein Secondary Structure Prediction (with Victor Robles, Pedro Larranaga, J. M. Pena, Ernestina Menasalvas, Maria S. Perez, Vanessa Herves) - a special volume of Artificial Intelligence in Medicine, 31, pp. 117 -136 , (2004)

  3. The lattice structure of the KDD process: Mathematical expression of the model and its operators (with Covadonga Fernández, Ernestina Menasalvas) special issue of IJIS and FI (2001), pp, 38- 51.

  4. Automating algebraic proofs in algebraic logic. (with J. Hsiang) Fundamenta Informaticae (Special Issue) 1998, pp. 78 -91.

  5. Application of a Rough Set-based Inductive Learning System. (with M. Hadjimichael ) Fundamenta Informaticae, v18, 209-220, 1993.

  6. Definable Sets in Knowledge Representation Systems. Bulletin of Polish Academy of Science, Vol. 35, No. 9-10, (1988), 629 - 636.

  7. DCF-Algorithms for Suszko Logic and One-to-One Gentzen Type Formalizations. Studia Logica , North Holland, XLLIII,4 (1984), 394-404.

    Publications in Refereed Journals [top]

  8. The lattice structure of the KDD process: Mathematical expression of the model and its operators (with Covadonga Fernández, Ernestina Menasalvas) special issue of IJIS and FI, 2001, pp. 48 - 62.

  9. Interactive Inductive Learning. (with M. Hadjimichael). International Journal of Man-Machine Studies, Vol. 38, (1993), 147- 167.

  10. An Inductive Learning System. (with M. Hadjimichael). Bulletin of The Polish Academy of Sciences, Technical Sciences, Vol. 39, No. 3, 1991.

  11. Rules Reduction for Knowledge Representation Systems (with M. Hadjimichael) Bulletin of Polish Academy of Science, Vol. 38, No. 1-12, (1990), 113 - 120.

  12. Syntactic Decision Procedures in Information Systems International Journal of Man-Machine Studies, 30 (1989), 273 -285.

  13. Linguistically Definable Concepts and Dependencies. The Journal of Symbolic Logic Vol. 54, No.2. (1989) (Abstracts of Association for Symbolic Logic European Meeting in Grenada, Spain), (1987), 671 -672.

  14. Approximate Classification and Static Learning. The Journal for the Integrated Study of Artificial Intelligence, Cognitive Science and Applied Epistemology Vol.6, 1.(1989), 75 -87.

  15. On Correctness of Decision Algorithms in Information Systems. Fundamenta Informaticae XI (1988), North Holland, 219- 240.

  16. On linguistic definability. The Journal of Symbolic Logic Vol.53, No.4.(1988),(Abstracts of American Linguistic Association and Association for Symbolic Logic Meeting in Stanford, Cal. (USA), (1987)),1281 - 1282.

  17. On Static Learning. The Journal of Symbolic Logic, Vol.53, No.4.(1988), (Abstracts of Association for Symbolic Logic National Meeting in Conjunction with the Symposium on the Theory of Computation (STOC), Courant Institute, New York (1987)), 1271 - 1272.

  18. Decision Algorithms in Decision Logic. The Journal of Symbolic Logic, Vol.52. No.1 (1987), (Abstract of Association for Symbolic Logic European Meeting in Paris, France), 348.

  19. Automatic Decisions in Information Systems. The Journal of Symbolic Logic, Vol.51. No.4 (1986), (Abstract of Association for Symbolic Logic National Meeting in Washington DC, (USA)), 1090-91.

  20. Deterministic Algorithms, Simple Languages and One-to- One Gentzen Type Formalizations. Zeitschrift für Mathematische Logik und Grundlangen der Mathematik, Bd.32(1986), 181-188.

  21. Monadic Second Order Definability as a Common Characterization of Finite Automata, Certain Classes of Programs and Logics. Fundamenta Informaticae, North Holland, VII (1985), 309-320.

  22. Programs and Logics. Studia Logica, North Holland, XLIV,2 (1985), 125-137.

  23. Some remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with Them. Zeitschrift für Mathematische Logik und Grundlangen der Mathematik, Bd.25. (1985), 289-294.

  24. Trees and Diagrams of Decomposition. Studia Logica, North Holland, XLIV,2(1985), 139-158.

  25. Gentzen Type Formalizations. The Journal of Symbolic Logic, Vol.50. No.1 (1985), (Abstracts of Association for Symbolic Logic European Meeting in Aachen (West Germany)), 279-280.

  26. Programs and Gentzen type formalizations. The Journal of Symbolic Logic, Vol.48 (1983), (Abstracts of Association for Symbolic Logic National Meeting in Madison, Wisconsin (USA)), 1238-1239.

  27. On the Gentzen Type Formalizations. Zeitschrift für Mathematische Logik und Grundlangen der Mathematik, Bd.25.s(1980), 349-444.

  28. A Constructive Proof of Craig's Interpolation Lemma for m-valued Logic. Studia Logica, North Holland, XXXVI, 3(1979), 267-275.

  29. Machines, Logics and Decidability. Fundamenta Informaticae, North Holland , Vol.I(1978), 291-303.

  30. Machines and decidability. The Journal of Symbolic Logic, Vol.42. No.3. (1976), (Abstracts of Association for Symbolic Logic European Meeting in Oxford (England)), 475-476.

  31. Relationship between Gentzen type formalizations and certain grammars. The Journal of Symbolic Logic, Vol.42. No.1(1976), (Abstracts of Association for Symbolic Logic European Meeting in Clermont-Ferrand (France)), 117.

  32. A Sequence Formalization for CSCI. Studia Logica, North Holland, XXXV, 3(1976), 214-217.

  33. The Diagrams of Formulas of the Intuitionistic Propositional Calculi. Studia Logica, North Holland, XXXII (1973), 109 -115.

  34. The Diagrams of Formulas of the Modal Propositional S4-Calculus. Studia Logica, North Holland, XXX (1972), 69-77.

  35. A Formalization of the Modal Propositional S4-Calculus. Studia Logica, North Holland, XXVII (1971), 134-149.

    Conference Publications in Proceedings [top]

  36. Descriptive Data Mining; A Granular Model, in the Proceedings of International Conference NAFIPS08 , New York, May 19-22, 2008. pp. 145-151, North America Fuzzy Information Processing Society, IEEE Publications, 2008IEEE-Omnipress.

  37. A Model for Protein Secondary Structure Prediction Meta - Classifiers, in the Proceedings of International Conference NAFIPS08 , New York, May 19-22, 2008. pp. 200- 2006, North America Fuzzy Information Processing Society, IEEE Publications, 2008IEEE-Omnipress.

  38. Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes (with Radu Grosu, Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Scott A. Smolka,) In the proceedings of the 11th International Conference on Hybrid Systems: Computation and Control (HSCC'08), St. Louis, USA, April, 2008. pp. 229-243. Lectures Notes in Computer Science vol. 4981. Springer 2008.

  39. Uniform Model for Data Mining (with Ernestina Menasalvas, Christelle Scharff), Proceedings of IEEE 5th International Conference on Data Mining, ICDM, 2005, Foundation of Semantic Oriented Data and Web Mining, Huston, Texas, Nov 27, 2005, pp. 120- 129.

  40. Data Mining A Classification Model: Syntax and Semantics for Classification (with Ernestina Menasalvas) in Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, Dominik Slezak, JingTao Yao, James F. Peters, Wojciech Ziarko, Xiaohua Hu, editors, Lecture Notes in Computer Science, Springer Berlin / Heidelberg, Volume 3642 / 2005, pp. 59 -68.

  41. Data Preprocessing and Data Mining as Generalization Process (with Ernestina Menasalvas Ruiz), Proceedings of Fourth IEEE International Conference on Data Mining, Foundations of Data Mining Workshop Brighton, UK, 1-4 November 2004, pp. 133-137.

  42. Data Mining Operators (with Ernestina Menasalvas Ruiz), Proceedings of Fourth IEEE International Conference on Data Mining, Foundations of Data Mining Workshop Brighton, UK, 1-4 November 2004, pp. 209-214.

  43. General Data Mining Model with Ernestina Menasalvas Ruiz), Proceedings of Third IEEE International Conference on Data Mining, Foundations of Data Mining Workshop 2004, pp. 34 -45.

  44. Extension of Relational Management System with Data Mining Capabilities (with Ernestina Menasalvas Ruiz, Maria C. Fernandez-Baizn, Juan F. Martinez, Michael Hadjimichael ), Proceedings of the Third International Conference RSCTC'02, Malvern, PA, USA, October 2002, pp. 421- 428. Springer Lecture Notes in Artificial Intelligence.

  45. Data Mining- A Semantical Model (with Ernestina Menasalvas Ruiz, Maria C. Fernandez-Baizn, Juan F. Martinez, proceedings of 2002 World Congress on Computational Intelligence, Honolulu, Hawaii, USA, May 11- 17, 2002, pp. 435 - 441.

  46. Data mining system- Model for an implementation (with E. Menasalvas, M. Hadjimichael, in IPMU2000, July, 2000. Madrid Spain, pp. 226 -229.

  47. Rough Sets Based Proofs Visualization (with L. Vigneron), in NAFIPS'99: 18th International Conference of the North American Fuzzy Information Processing Society (NAFIPS),June 10-12, 1999 New York, New York, USA , pp.805 -809.

  48. A Decision Procedure for Rough Sets Equalities (with Maxim Lifantsev), in NAFIPS'99: 18th International Conference of the North American Fuzzy Information Processing Society (NAFIPS),June 10-12, 1999 New York, New York, USA , pp.786-791.

  49. A Generalization Model for Implementing a Data Mining System (with Ernestina Menasalvas & Mike Hadjimichael), Proceedings of 1999 IFSA, August 21-23, 1999, Taipei, Taiwan, pp. 245 -251.

  50. Rough Sets Congruences and Diagrams (with L. Vigneron, INRIA, France) - for "EURO XVI", Brussels, July 12-15, 1998, pp. 455 -57.

  51. Transformation and Generalization operators in Data Mining (with Ernestina Menasalvas, Madrid, Spain ), Proceedings of IPMU-98: Information Processing and Management of Uncertainty in Knowledge Based Systems (Paris July 1-6, 1998), pp. 135-141.

  52. Modelization of rough set functions in the KDD frame. (with Ernestina Menasalvas Ruiz, María C. Fernández-Baizán). 1st International Conference on Rough Sets and Current Trends in Computing (RSCTC'98) June 22 - 26 1998, Warsaw, Poland.

  53. Rough Diagrams. (with Laurent Vigneron) Proceedings of the Fourth Joint Conference on Information Sciences, Rough Sets, Data Mining and Granular Computing (RSDMGrC'98), Research Triangle Park (North Carolina), October 1998, 343-346.

  54. A Hierarchical Model for Information Generalization.( with M. Hadjimichael) Proceedings of the Fourth Joint Conference on Information Sciences, Rough Sets, Data Mining and Granular Computing (RSDMGrC'98), Research Triangle Park (North Carolina), October 1998, pp.306-309.

  55. On Generalized Rough Sets (with L. Vigneron) Third Joint Conference on Information Sciences, INTELLIGENT SYSTEMS, Scientific Foundations and Spectrum of Applications, pp.185-188, March 2-5, 1997, Research Triangle Park, NC, USA.

  56. Rough and Fuzzy sets H. Rasiowa in Memorium, Banach Center Mini- Semester, pp. 23- 28, November- December 1996, Warsaw, Poland.

  57. Automated Study of Rough and Modal Algebras. (with Laurent Vigneron) In M. Rodriguez-Artalejo, editor, Proceedings of the Workshop on Construction of Computational Logics (CCL'96), San Lorenzo (Spain), September 1996.

  58. On Rough and LT-Fuzzy Sets. Proceedings of 1996 ASIAN FUZZY SYSTEMS SYMPOSIUM - Soft Computing and Information Processing, Kenting, Taiwan, ROC. pp 13 -18, December 11-14, 1996.

  59. Rough and Modal algebras. (with L. Vigneron) Proceedings of CESA'96 IMACS Multiconference: Computational Engineering in System Applications, Lille, France. Volume I, 123 - 130, July 1996.

  60. Rough Equality Algebras. (with L. Vigneron) In Annual Joint Conference on Information Sciences, Conference Proceedings, Wrightsville Beach, North Carolina, USA, pp 26 -30, October, 1995.

  61. Rough Sets and Topological Quasi-Boolean Algebras (with M. Banjeere) Proceedings of CSC'95 Workshop on Rough Sets and Database Mining, Nashville, Tennessee, USA, pp. 54- 59.

  62. Conditional Probabilistic Learning Algorithm - CPLA. ( with M. Hadjimichael ) Methodologies for Intelligent Systems: Selected Papers, Emrich et al. eds. ICAIT, Knoxville, TN, (1990), 180-190.

  63. On Syntactic and Linguistic Definability. Computing and Information. Proceedings of the International Conference on Computing and Information, ICC'89, Toronto, Canada, 23-27 May. 1989, 427 - 432.

  64. Knowledge Representation Systems - Syntactic Methods. Proceedings of IPMU-88 Conference, Springer Verlag, Lecture Notes on Computer Science, # 313, 1988, 239 - 254.

  65. On Static learning. 20th International Congress Communication and Cognition, Gant, Belgium, 1988, Communication and Cognition #CC20, 225 -228.

  66. On Normal Term Theorem. Proceedings of Logic and Computer Science Workshop, University of Kentucky, Lexington, Kentucky, (1986), 60 - 69.

  67. Programs, automata, Gentzen type formalizations. Vth International Congress of Logic, Methodology and Philosophy of Science, Salzburg (1983), 163-165.

  68. On Gentzen Type Formalizations. IVth International Congress of Logic, Methodology and Philosophy of Science, Hanover (1979), 153-155.

    Invited Chapters in books [top]

  69. A Granular Model for Data Mining (with Ernestina Menasalvas), Encyclopedia of Complexity and System Science, Springer, to appear 2008.

  70. Data Preprocessing and Data Mining as Generalization (with Ernestina Menasalvas), in Data Mining: Foundations and Practice, Tsau Young Lin, Ying Xie, Anita Wasilewska, Churn-Jung Liau, editors. Studies in Computational Intelligence (SCI)118, Springer-Verlag 2008, pp.453-468.

  71. Data Mining as Generalization: A Formal Model, in Foundations and Novel Approaches in Data Mining, T.Y. Lin, S. Ohsuga, C. J. Liau, and X. Hu , editors. Springer 2006, Studies in Computational Intelligence 9, pp 99-126.

  72. A model for RSDM Implementation (with. C. Baizan and E. Menasalvas) Rough Sets and Current Trends in Computing, L. Polkowski, A. Skowron, editors, Springer, Lecture Notes in Computer Science; 1424; Lecture Notes in AI, 1998, pp. 186 - 196.

  73. Rough Algebras and Automated Deduction (with L. Vigneron, CRIN & INRIA, France) Rough Set Theory and its Applications in Various Fields, A. Skowron, editor, in series Soft Computing Physica Verlag ( division of Springer Verlag). Chapter 14, pp. 261- 276.

  74. A. Wasilewska. Topological Rough Algebras. In Rough Sets and Database Mining T.Y. Lin, Kluwer Academic Publishers (1997), chapter 21, pp. 411 - 425.

  75. Rough sets - Based Study of Voter-Preference in 1988 USA Presidential Election. (with M. Hadjimichael ) - Intelligent Decision Support. Handbook of Applications and Advances of the Rough Set Theory. R. Slowinski, ed. Kluwer Academic Publishers, Theory and Decision Library, 1992, Chapter 10, pp. 137-153.

    Books [top]

  76. Data Mining: Foundations and Practice, co-editor with Tsau Young Lin, Ying Xie, Churn-Jung Liau, Springer Studies in Computational Intelligence, 2008 [Link]

  77. An Introduction to Classical and Non- Classical Logics, SUNY Stony Brook, 2005

  78. On The Decidability Theorems, PAN (Polish Academy of Sciences), Warsaw, Poland, 1978

    Experimental Education Publications [top]

  79. Gentzen Type formalizations. Matematyka 9/1982, 25 -32.

  80. Logic houses. Matematyka 4/1981, 42-45.

  81. Tautologies. Matematyka 1/1981, 42-46.

  82. Logic Trees. Matematyka 6/1980, 25-31.

  83. Logic Games. Matematyka 4/1980 , 35-43, (with E.Herman and A.Konopka).

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.