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. Effective Logic Computation (Revised Edition) , Leibniz Company, 2017.
      The methodology is used in the Leibniz System.

    4. 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.
      German edition: Einführung in Wittgensteins Tractatus Logico-Philosophicus by F. Hülster, edited by K. Truemper, Leibniz Company, 2018.

    5. Design of Logic-based Intelligent Systems , Wiley, 2004. Errata.

    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

      My blogs Passion for Flight and Points for Pilots describe flying trips and contain posts about safe low-level flying and maintenance of small aircraft.

    Solutions for a Variety of Problems

      My blog A Few Creative Solutions provides answers for various problems where the Internet or, more generally, the market place didn't offer good or reasonably priced solutions.

    Professional Website

      My professional website contains details about the books I have written or edited in mathematics, philosophy, and computer science. The website is also used for rapid distribution of news and posts.