U.T.Dallas Computer Science Program
Klaus Truemper
Professor Emeritus of Computer Science
Email: truemper@utdallas.edu
Office: (972) 8832712
Books
 The Construction of
Mathematics: The Human Mind's Greatest Achievement,
Leibniz Company, 2017.

Matroid
Decomposition (Revised Edition) , Leibniz
Company, 2017.
Can also be downloaded free of charge as
ebook . See the Internet for
mirror websites.
 Design of Logicbased
Intelligent Systems , Wiley, 2004. An
errata file is kept current.

Effective Logic Computation ,
Wiley, New York, 1998. Addenda and
Errata.
Revised edition available free of charge as
ebook ,
Leibniz Company, 2010.
The methodology is used in the
Leibniz System.
 Introduction to Wittgenstein's
Tractatus LogicoPhilosophicus by F. Hülster,
translation by W. E. O'Hea, edited by I. Truemper and
K. Truemper, Leibniz Company, 2017.
Can also be downloaded free of charge
as ebook.
Leibniz System Software and References
 The entire
Leibniz System software
is available in source code form
and free of charge under the GNU Lesser General Public License (LGPL).
 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 .
Other Software
 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.
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.
Personal Website
We have a
personal
website for rapid distribution of news and posts.