U.T.Dallas Computer Science Program
Klaus Truemper
Professor Emeritus of Computer Science
Email: truemper@utdallas.edu
Office: (972) 8832712
Recent News/Papers/Talks:
 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.
 Simple Seeding of Evolutionary Algorithms for HardMultiobjective Minimization Problems, by K. Truemper, 2015.
 Parallelized hybrid optimization methods for nonsmooth problems using NOMAD and linesearch, by G. Liuzzi and K. Truemper, 2015.
 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. Mathematical Programming Computation, volume 5, number 1, pp. 5773, 2013.
References related to the Leibniz System Software:
 Subgroup Discovery Method SUBARP , by K. Truemper, 2015.
 Dimension Reduction of Chemical Process Simulation Data ,
by G. Janiga and K. Truemper, 2011.
 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.
 A Solver for Quantified Formula Problem QALL SAT , by A. Remshagen and K. Truemper, 2008.
 Construction of Deterministic, Consistent, and
Stable Explanations from Numerical Data and Prior Domain
Knowledge , by K. Riehl and K. Truemper, 2007.

Design of Logicbased
Intelligent Systems ,
John Wiley & Sons, 2004.
Errata .
Available Software/Books:
 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.
 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.
 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.
 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) .
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.
 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.
 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.