U.T.Dallas Computer Science Program
Klaus Truemper
Professor Emeritus of Computer Science
E-mail: truemper@utdallas.edu
Office: (972) 883-2712

Recent News/Papers/Available Software/Books:
- Paper Construction of Deterministic, Consistent, and
Stable Explanations from Numerical Data and Prior Domain
Knowledge , by K. Riehl and K. Truemper.
- The book
Design of Logic-based
Intelligent Systems , published by
John Wiley & Sons is available since May 5, 2004. An
errata file is updated as needed.
Each purchaser of the book is licensed to
download the accompanying
Leibniz System software in source code form.
The 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.
- Since 2004 we have given lectures,
workshops, and tutorials on intelligent systems.
The lectures cover material of the book
Design of Logic-based Intelligent Systems
and the related Leibniz System software.
For details, see Schedule and Summary
of Workshops/Tutorials .
- Free of charge copying of book
Matroid
Decomposition (Revised Edition) .
Also available from
The Electronic Library of Mathematics .
Available Optimization Software of Other Sites:
- Free installation, for noncommercial use, of
Soplex Linear Programming System
of Zuse Institute Berlin, Germany.
Current Research Projects
-
Prediction of near-term onset of dementia using tests of
attention span and memory. With H. Bickel,
Neurological Clinic, Technical University Munich.
-
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.
-
Cost-effective systems for drug evaluation and certification,
medical diagnosis, and treatment selection. With G. Schaller,
bioxsys GmbH, Berlin.
-
Chronic injury diagnosis and treatment. With D. A. McClellan and
F. Edmiston,
Brazos
Family Medicine Residency.
-
Research on multimodal intelligent systems. With T. Sullivan
STS Inc.
-
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
IASI-CNR
"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
IASI-CNR
"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 8.1.
- FasTrac: For design and simulation of
decentralized traffic control systems.
Joint work with G. Felici and G. Rinaldi,
CNR-IASI, Rome, Italy, 1991-1996.
-
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.
- 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, CNR-IASI, Rome,
Italy, and with Ph.D. student F.-S. Sun, graduated 1998.
Books
- Design of Logic-based
Intelligent Systems , Wiley, 2004. An
errata file is updated as needed.
-
Effective Logic Computation , Wiley,
New York, 1998.
Contents and
Addenda and
Errata. 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
We have written articles on
Flying .