Professor Emeritus of Computer Science

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

Recent News/Papers/Available Software/Books:

1. 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.
   
   
2. 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.
   
   
3. 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.
   
   
4. An Alternative Representation for QBF , by A. Remshagen and K. Truemper, Proceedings of International Conference on Artificial Intelligence (ICAI), 2009.
   
   
5. Construction of Deterministic, Consistent, and Stable Explanations from Numerical Data and Prior Domain Knowledge , by K. Riehl and K. Truemper.
   
   
6. Leibniz System software in source code, available to any purchaser of the book Design of Logic-based Intelligent Systems . The Leibniz System can be installed on any computer with C compiler.
   
   
7. Free installation, for noncommercial as well as commercial use, of 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.
   
   
8. Free of charge copying of book Matroid Decomposition (Revised Edition) . Also available from The Electronic Library of Mathematics .

Available Optimization Software of Other Sites:

1. Free installation, for noncommercial use, of Soplex Linear Programming System of Zuse Institute Berlin, Germany.

Current Research Projects

1. Modeling of biological processes, solution of engineering optimization problems. Work with R. Weismantel and D. Thevenin, University Magdeburg.
   
   
2. 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.
   
   
3. Chronic injury diagnosis and treatment. With D. A. McClellan and F. Edmiston, Brazos Family Medicine Residency.
   
   
4. 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.
   
   
5. Learning in combinatorial optimization algorithms. With G. Felici of IASI-CNR "Antonio Ruberti", Rome, and F. Liers of University of Cologne.
   
   
6. 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. Current version 8.1.
   
   
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. Current version 7.0.
   
   
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 updated as needed.
   
   
2. Effective Logic Computation , Wiley, New York, 1998. Contents and Addenda and Errata. 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

We have written articles on Flying .