Christian Posthoff

Home * People * Christian Posthoff

Christian Posthoff ¹

Christian Posthoff,
a German mathematician and computer scientist, Ph.D. in 1975 from Leipzig University, Dr.-Ing. habil. in 1979 from Chemnitz University of Technology, promoting to assistant professor for logic design, since 1983 full professor for CS at TU Chemnitz, and since 1994 professor of CS at the Department of Mathematics and Computer Science ¹, University of The West Indies, St. Augustine, Trinidad and Tobago. Beside other things, his research interest covers Fuzzy Logic and the satisfiability problem (SAT), also applied to computer chess. In the 80s, Christian Posthoff was co-author of various computer chess books. In 2012, as now retired professor ², along with Bernd Steinbach, he solved a 4-coloring of 17x17 grids without monochromatic rectangles ^{3 4 5 6 7}.

Quote

A Quote from his biography ⁸ :

An independent direction of research activities within AI, investigations of computer chess and other strategic games, arose from my love to chess. My actual research activities mainly concern the application of fuzzy logics for the modeling of human-like ”thinking” methods, the learning from examples, the construction of intelligent tutoring systems, the parallelization of inference mechanisms, systems of diagnosis and configuration. In cooperation with colleagues from directions of mechanical engineering and medicine, I have been supervising the construction of several expert systems. Four times I received the Scientific Award of the Chemnitz University of Technology. 

Selected Publications

^{9 10}

1979

• Christian Posthoff, Bernd Steinbach (1979). Binäre Gleichungen- Algorithmen und Programme (Logic Equations - Algorithms and Programs) Wissenschaftliche Schriftenreihe der TH Chemnitz Karl-Marx-Stadt, Heft 1/1979.
• Christian Posthoff, Bernd Steinbach (1979). Binäre dynamische Systeme - Algorithmen und Programme (Binary Dynamic Systems - Algorithms and Programs) Wissenschaftliche Schriftenreihe der TH Chemnitz Karl-Marx-Stadt, Heft 8/1979.

1980 ...

• Christian Posthoff, Michael Schlosser (1987). Schach - eine Wissenschaft? Die Herausbildung der wissenschaftlichen Grundlagen des Schachs, Wissenschaft und fortschritt 5/1987, S. 127 - 130. (German)
• Christian Posthoff, Günter Reinemann (1987). Computerschach - Schachcomputer. in cooperation with Rainer Knaak, Michael Schlosser, Rainer Staudte, Rüdiger Worbs, Akademie-Verlag Berlin, booklooker ^{11 12}

1990 ...

• Christian Posthoff, Rainer Staudte (1990). Suchverfahren in Prolog (Teile 1 und 2). Computerschach und Spiele, No. 4; No. 5, pp. 32-34. (German)
• Christian Posthoff, Michael Schlosser (1992). Methoden zur Konstruktion von Bewertungsfunktionen (Methods for the construction of evaluation functions) GOSLER-Report 07/92, TH Leipzig.
• Christian Posthoff, Michael Schlosser, Rainer Staudte (1992). Wissensdarstellung und -verarbeitung in strategischen Spielen (Knowledge representation and processing in strategic games) TU Chemnitz, Preprint Nr. 218/6. Jg./1992.
• Christian Posthoff (1992). Fuzzy Logics - New Concepts for Computer Chess? Heuristic Programming in AI 3
• Christian Posthoff, Michael Schlosser, Jens Zeidler (1993). Search vs. Knowledge? - Search and Knowledge! 3rd KADS Meeting, Munich
• Christian Posthoff, Michael Schlosser (1993). Advances in Computer Chess Conference 7. ICCA Journal, Vol. 16, No. 3
• Christian Posthoff, Michael Schlosser (1994). Learning from Examples for the Construction of Fuzzy Evaluations. IEEE World Congress on Computational Intelligence, 26. Juni-2. Juli 1994, Orlando, Florida, Proceedings of Third IEEE International Conference on Fuzzy Systems, Volume 1, S. 368-371.
• Christian Posthoff, D. Rätz, Michael Schlosser (1994). Fuzzy and Machine Learning Methods in Innovative Design Proceedings 2nd World Congress on Expert Systems
• Christian Posthoff, S. Schawelski, Michael Schlosser (1994). Neural Network Learning in a Chess Endgame Positions. IEEE World Congress on Computational Intelligence
• Christian Posthoff, Rainer Staudte, Michael Schlosser (1994). Chess Programming and Computer-Science Education. Advances in Computer Chess 7
• Christian Posthoff, Michael Schlosser, Rainer Staudte, Jens Zeidler (1994). Transformations of Knowledge. Advances in Computer Chess 7

1995 ...

• Andreas Junghanns, Christian Posthoff, Michael Schlosser (1995). Search with Fuzzy Numbers. FUZZ-IEEE/IFES'95
• Christian Posthoff, Günter Reinemann, Rainer Knaak, Michael Schlosser, Rainer Staudte (1999). Computerschach, Schachcomputer. Harri Deutsch, Amazon.de

2000 ...

• Christian Posthoff, Bernd Steinbach (2004). Logic Functions and Equations. Binary Models for Computer Science, Springer
• Christian Posthoff, Michael Schlosser (2005). Optimal strategies — Learning from examples — Boolean equations. in Klaus P. Jantke, Steffen Lange (eds.) (2005). Algorithmic Learning for Knowledge-Based Systems, Lecture Notes in Computer Science 961, Springer
• Bernd Steinbach, Christian Posthoff (2007). Set-Based SAT-Solving. pdf
• Bernd Steinbach, Christian Posthoff (2008). Combinatorics on the Chess Board – Solutions using Logic Equations, Workshop Chess and Mathematics, Dresden ^{13 14}
• Christian Posthoff, Bernd Steinbach (2009). Logic Functions and Equations. Examples and Exercises, Springer

2010 ...

• Christian Posthoff, Bernd Steinbach (2010). The Solution of Discrete Constraint Problems using Boolean Models - The Use of Ternary Vectors for Parallel SAT-Solving. ICAART Vol. 1, pp. 487-493
• Bernd Steinbach, Christian Posthoff (2011). Improvements of the Construction of Exact Minimal Covers of Boolean Functions. EUROCAST 2011, pp. 272-279
• Bernd Steinbach, Christian Posthoff (2012). Extremely Complex 4-Colored Rectangle-Free Grids: Solution of Open Multiple-Valued Problems. ISMVL 2012
• Christian Posthoff, Bernd Steinbach (2014). Solving the Game of Sudoku. ICGA Journal, Vol. 37, No. 2 » Sudoku
• Christian Posthoff, Bernd Steinbach (2014). How to Solve Bishop-Problems. ICGA Journal, Vol. 37, No. 3

External Links

• Christian Posthoff's homepage
• Christian Posthoff - University of The West Indies
• Christian Posthoff | ResearchGate
• Boolescher Differentialkalkül from Wikipedia.de (German)
• Computational Complexity: The 17x17 problem SOLVED! (also 18x18) by Bill Gasarch, February 08, 2012
• 17×17 4-coloring with no monochromatic rectangles | The Math Less Traveled, February 09, 2012

References