U.T.Dallas Computer Science Program

Klaus Truemper

Professor Emeritus of Computer Science

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

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 .

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

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).

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.

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.