U.T.Dallas Computer Science Program

Klaus Truemper

Professor Emeritus of Computer Science

   E-mail: truemper@utdallas.edu
   Office: (972) 883-2712

Recent Books/Software/Papers/Talks:

  1. Introduction to Wittgenstein's Tractatus Logico-Philosophicus written by Friedrich Hülster in German in the 1960s and subsequently translated into English by W. E. O'Hea, has been edited and is now available free of charge as an e-book.

  2. The entire Leibniz System software is now available in source code form and free of charge under the GNU Lesser General Public License (LGPL). See details below in section Available Software/Books.

  3. Simple Seeding of Evolutionary Algorithms for HardMultiobjective Minimization Problems, by K. Truemper, 2015.

  4. Parallelized hybrid optimization methods for nonsmooth problems using NOMAD and linesearch, by G. Liuzzi and K. Truemper, 2015.

  5. Mathematics: Discovered or Constructed? , invited presentation given at the Aussois Combinatorial Optimization Workshop, Aussois, France, January 2013. The file includes verbal comments of the presentation.

  6. Implementation of a Unimodularity Test , by M. Walter and K. Truemper. Mathematical Programming Computation, volume 5, number 1, pp. 57-73, 2013.

References related to the Leibniz System Software:

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

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

  3. 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.

  4. 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.

  5. 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.

  6. 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.

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

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

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

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

Available Software/Books:

  1. The entire Leibniz System software is available in source code form and free of charge under the GNU Lesser General Public License (LGPL), which actually should be called "More General Public License" since so much more can be done under the LGPL than under the GNU General Public License (GPL). In simple language, the Leibniz System can be freely and without charge used by or incorporated into noncommercial, or commercial, or public, or proprietary software, as long as that software is not derivative work and the use of the Leibniz System under the LGPL is acknowledged.

  2. 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.

  3. 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.

  4. Free of charge copying of book Matroid Decomposition (Revised Edition) . Also available from The Electronic Library of Mathematics .

  5. Free of charge copying of book Effective Logic Computation (Revised Edition) .

Research Projects

  1. Treatment for severe dysarthria in children: identifying target consonant movements for use with animated 3D visual biofeedback software. Work with J. C. Vick, Case Western Reserve University.

  2. Modeling of biological processes, solution of engineering optimization problems. Work with R. Weismantel and D. Thevenin, University Magdeburg.

  3. Obtaining explanations from numerical data, including cases of very small data sets with very long records such as DNA-microarrays. Work with PhD students K. Moreland and K. Riehl.

  4. Chronic injury diagnosis and treatment. With D. A. McClellan and F. Edmiston, Brazos Family Medicine Residency.

  5. Quantified SAT and MINSAT: Techniques for solving logic problems at the second and higher levels of the polynomial hierarchy. With A. Remshagen, University of West Georgia.

  6. Learning in combinatorial optimization algorithms. With G. Felici of IASI-CNR "Antonio Ruberti", Rome, and F. Liers of University of Cologne.

  7. Decentralized traffic control system TraVerS: At each intersection, a logic program for control of traffic lights. With G. Felici and G. Rinaldi of IASI-CNR "Antonio Ruberti", Rome, A. Sforza (U. of Naples), and researchers of Fiat Elasis Institute (Naples).

Software Systems

  1. Leibniz System. Supports logic computation and data mining for the construction of intelligent systems. Work started in 1987.

  2. FasTrac: For design and simulation of decentralized traffic control systems. Joint work with G. Felici and G. Rinaldi, CNR-IASI, Rome, Italy, 1991-1996.

  3. Laempel System: For finding and correcting spelling, syntactic, and semantic errors in English text. Joint work with Y. Zhao, Ph.D. student, graduated 1996, and H. Al-Mubaid, Ph.D. student, graduated 2000.

  4. Kritzel: For handwriting interpretation. Joint work with G. Qian, Ph.D. student, graduated 1997.

  5. OCHEM: (Optimal Cost Hazard Exposure Management): For optimal exposure management of hazardous materials. Joint work with J. Straach, Ph.D. student, graduated 1998.

  6. Lsquare System: For learning logic and data mining. Joint work with G. Felici, CNR-IASI, Rome, Italy, and with Ph.D. student F.-S. Sun, graduated 1998.

Books

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

  2. Effective Logic Computation , Wiley, New York, 1998; Revised Edition , Leibniz, Plano, Texas, 2010. The publisher of the revised edition has granted permission to individuals to print, without charge, single copies of the book for personal use. Addenda and Errata for original edition. The methodology is used in the Leibniz System.

  3. Matroid Decomposition , Academic Press, Boston, 1992; revised edition Leibniz, Plano, Texas, 1998. The publisher of the revised edition has granted permission to individuals to print, without charge, single copies of the book for personal use.

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.