U.T.Dallas Computer Science Program

Klaus Truemper

Professor Emeritus of Computer Science

   E-mail: [email protected]
   Office: (972) 883-2712



    Books

    1. The Construction of Mathematics: The Human Mind's Greatest Achievement, Leibniz Company, 2017.

    2. Matroid Decomposition (Revised Edition) , Leibniz Company, 2017. Can also be downloaded free of charge as e-book . See the Internet for mirror websites.

    3. Design of Logic-based Intelligent Systems , Wiley, 2004. An errata file is kept current.

    4. Effective Logic Computation , Wiley, New York, 1998. Addenda and Errata. Revised edition available free of charge as e-book , Leibniz Company, 2010. The methodology is used in the Leibniz System.

    5. Introduction to Wittgenstein's Tractatus Logico-Philosophicus by F. Hülster, translation by W. E. O'Hea, edited by I. Truemper and K. Truemper, Leibniz Company, 2017. Can also be downloaded free of charge as e-book.

    Leibniz System Software and References

    1. The entire Leibniz System software is available in source code form and free of charge under the GNU Lesser General Public License (LGPL).

    2. Subgroup Discovery Method SUBARP , by K. Truemper, 2015.

    3. Dimension Reduction of Chemical Process Simulation Data , by G. Janiga and K. Truemper, 2011.

    4. Multivariate Classification of Children with Speech Delay of Unknown Origin , by J. Vick, C. A. Moore, T. Campbell, L. Shriberg, J. Green, and K. Truemper, Presentation at American Speech-Language Hearing Association Convention (ASHA) 2009. Describes example application of Subgroup Discovery module of Leibniz System.

    5. The Needles-In-Haystack-Problem , by K. Moreland and K. Truemper; a summarizing version appears in Proceedings of International Conference on Machine Learning and Data Mining (MLDM), 2009.

    6. Discretization of Target Attributes for Subgroup Discovery , by K. Moreland and K. Truemper, Proceedings of International Conference on Machine Learning and Data Mining (MLDM), 2009.

    7. Improved Comprehensibility and Reliability of Explanations via Restricted Halfspace Discretization , by K. Truemper, Proceedings of International Conference on Machine Learning and Data Mining (MLDM), 2009.

    8. An Alternative Representation for QBF , by A. Remshagen and K. Truemper, Proceedings of International Conference on Artificial Intelligence (ICAI), 2009.

    9. A Solver for Quantified Formula Problem Q-ALL SAT , by A. Remshagen and K. Truemper, 2008.

    10. Construction of Deterministic, Consistent, and Stable Explanations from Numerical Data and Prior Domain Knowledge , by K. Riehl and K. Truemper, 2007.

    11. Design of Logic-based Intelligent Systems , John Wiley & Sons, 2004. Errata .

    Other Software

    1. Free installation, for noncommercial as well as commercial use, of Unimodularity Library for deciding unimodularity, strong unimodularity, and total unimodularity of integer matrices. The program is supplied in source code form and can be installed on any computer with C++ compiler.

    2. Free installation, for noncommercial as well as commercial use, of the Laempel System for checking of spelling and syntax of English texts. The system is supplied in source code form and can be installed on any computer with C compiler.

    Airplane Improvements: The Zenith 601HDS

      We have developed and implemented several design changes for the Zenith 601 HDS airplane. For details, go to Design Improvements .

    Flying

      The blog Passion for Flight describes flying trips.

      The blog Points for Pilots contains posts about safe low-level flying.

      Weather Abbreviations is a handy list for interpretation of weather information of AIR/SIGMETS and NOTAMS.