U.T.Dallas Computer Science Program
Klaus Truemper
Professor Emeritus of Computer Science
Email: truemper@utdallas.edu
Office: (972) 8832712
Recent News/Papers/Talks:
 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.
 Implementation of a Unimodularity Test ,
by M. Walter and K. Truemper. To be published by Springer, Mathematical Programming Computation, volume 5, number 1, pp. 5773, 2013.
 Dimension Reduction of Chemical Process Simulation Data ,
by G. Janiga and K. Truemper.
 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 SpeechLanguage Hearing Association Convention
(ASHA) 2009. Describes example application of
Subgroup Discovery module of Leibniz System.
 The NeedlesInHaystackProblem ,
by K. Moreland and K. Truemper; a summarizing version appears in
Proceedings of International Conference on Machine Learning
and Data Mining (MLDM), 2009.
 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.
 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.
 An Alternative Representation for QBF , by A. Remshagen and K. Truemper,
Proceedings of International Conference on Artificial Intelligence (ICAI), 2009.
 Construction of Deterministic, Consistent, and
Stable Explanations from Numerical Data and Prior Domain
Knowledge , by K. Riehl and K. Truemper.
Available Software/Books:
 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.
 The basic version of the
Leibniz System software in source code, is available
free of charge to any purchaser of the book
Design of Logicbased
Intelligent Systems .
The expanded version of the Leibniz System
is available by license from the
UTD Office of Technology Commercialization . The Leibniz System
can be installed on any computer with C compiler.
 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.
 Free of charge copying of book
Matroid
Decomposition (Revised Edition) .
Also available from
The Electronic Library of Mathematics .
 Free of charge copying of book
Effective Logic Computation (Revised Edition) .
Available Optimization Software of Other Sites:
 Free installation, for noncommercial use, of
Soplex Linear Programming System
of Zuse Institute Berlin, Germany.
Research Projects

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.

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

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

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

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.

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

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

Leibniz System .
Supports logic computation and data mining for the construction
of intelligent systems. Work started in 1987.
Current version 14.0.
 FasTrac: For design and simulation of
decentralized traffic control systems.
Joint work with G. Felici and G. Rinaldi,
CNRIASI, Rome, Italy, 19911996.

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. AlMubaid, Ph.D. student, graduated 2000.
Current version 7.0.
 Kritzel: For handwriting interpretation.
Joint work with G. Qian, Ph.D. student, graduated 1997.
 OCHEM: (Optimal Cost Hazard Exposure
Management): For
optimal exposure management of hazardous materials.
Joint work with J. Straach, Ph.D. student, graduated 1998.
 Lsquare System:
For learning logic and data
mining. Joint work with G. Felici, CNRIASI, Rome,
Italy, and with Ph.D. student F.S. Sun, graduated 1998.
Books
 Design of Logicbased
Intelligent Systems , Wiley, 2004. An
errata file is kept current.

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.
 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 lowlevel flying.
Weather Abbreviations
is a handy list for interpretation of weather information of
AIR/SIGMETS and NOTAMS.