Difference between revisions of "Christian Posthoff"
GerdIsenberg (talk | contribs) (Created page with "'''Home * People * Christian Posthoff''' FILE:ChristianPosthoff.jpg|border|right|thumb|240px|link=http://www.posthoff.de/science/| Christian Posthoff <ref...") |
GerdIsenberg (talk | contribs) |
||
| Line 4: | Line 4: | ||
'''Christian Posthoff''',<br/> | '''Christian Posthoff''',<br/> | ||
| − | a German mathematician and computer scientist, Ph.D. in 1975 from [https://en.wikipedia.org/wiki/Leipzig_University Leipzig University], [https://en.wikipedia.org/wiki/Habilitation Dr.-Ing. habil.] in 1979 from [[Chemnitz University of Technology]], promoting to assistant professor for [https://en.wikipedia.org/wiki/Logic_synthesis 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 <ref>The Faculty of Science and Agriculture no longer exists, [http://sta.uwi.edu/fsa/dmcs/ Department of Mathematics and Computer Science]</ref>, [https://en.wikipedia.org/wiki/University_of_the_West_Indies University of The West Indies], [https://en.wikipedia.org/wiki/Saint_Augustine,_Trinidad_and_Tobago St. Augustine], [https://en.wikipedia.org/wiki/Trinidad_and_Tobago Trinidad and Tobago] | + | a German mathematician and computer scientist, Ph.D. in 1975 from [https://en.wikipedia.org/wiki/Leipzig_University Leipzig University], [https://en.wikipedia.org/wiki/Habilitation Dr.-Ing. habil.] in 1979 from [[Chemnitz University of Technology]], promoting to assistant professor for [https://en.wikipedia.org/wiki/Logic_synthesis 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 <ref>The Faculty of Science and Agriculture no longer exists, [http://sta.uwi.edu/fsa/dmcs/ Department of Mathematics and Computer Science]</ref>, [https://en.wikipedia.org/wiki/University_of_the_West_Indies University of The West Indies], [https://en.wikipedia.org/wiki/Saint_Augustine,_Trinidad_and_Tobago St. Augustine], [https://en.wikipedia.org/wiki/Trinidad_and_Tobago Trinidad and Tobago]. Beside other things, his research interest covers [https://en.wikipedia.org/wiki/Fuzzy_logic Fuzzy Logic] and the [https://en.wikipedia.org/wiki/Boolean_satisfiability_problem 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 <ref>[http://www.researchgate.net/profile/Christian_Posthoff/ Christian Posthoff] | [https://en.wikipedia.org/wiki/ResearchGate ResearchGate]</ref>, along with [[Bernd Steinbach]], he solved a [https://en.wikipedia.org/wiki/Four_color_theorem 4-coloring] of 17x17 grids without monochromatic rectangles <ref>[[Bernd Steinbach]], [[Christian Posthoff]] ('''2012'''). ''Extremely Complex 4-Colored Rectangle-Free Grids: Solution of Open Multiple-Valued Problems''. [http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2012.html#SteinbachP12 ISMVL 2012]</ref> <ref>[http://blog.computationalcomplexity.org/2009/11/17x17-challenge-worth-28900-this-is-not.html Computational Complexity: The 17x17 challenge. Worth $289.00. This is not a joke] by [http://www.cs.umd.edu/~gasarch/ Bill Gasarch], November 30, 2009</ref> <ref>[http://blog.computationalcomplexity.org/2012/02/17x17-problem-solved-also-18x18.html Computational Complexity: The 17x17 problem SOLVED! (also 18x18)] by [http://www.cs.umd.edu/~gasarch/ Bill Gasarch], February 08, 2012</ref> <ref>[http://mathlesstraveled.com/2012/02/09/17x17-4-coloring-with-no-monochromatic-rectangles/ 17×17 4-coloring with no monochromatic rectangles | The Math Less Traveled], February 09, 2012</ref> <ref>[http://www.spiegel.de/wissenschaft/mensch/loesung-des-vierfarbenraetsels-drei-ecken-duerft-ihr-bilden-a-816497.html Lösung des Vierfarbenrätsels: Drei Ecken dürft ihr bilden] by [http://www.spiegel.de/extra/a-632103.html Holger Dambeck], [https://en.wikipedia.org/wiki/Spiegel_Online Spiegel Online], February 22, 2012 (German)</ref>. |
=Quote= | =Quote= | ||
| Line 11: | Line 11: | ||
=Selected Publications= | =Selected Publications= | ||
| − | <ref>[http://ilk.uvt.nl/icga/journal/docs/References.pdf ICGA Reference Database] (pdf)</ref> <ref>[http://www.informatik.tu-freiberg.de/index.php?option=com_content&task=view&id=35&Itemid=63 Prof. Steinbach Publikationen]</ref> <ref>[http://www.informatik.uni-trier.de/~ley/pers/hd/p/Posthoff:Christian.html | + | <ref>[http://ilk.uvt.nl/icga/journal/docs/References.pdf ICGA Reference Database] (pdf)</ref> <ref>[http://www.informatik.tu-freiberg.de/index.php?option=com_content&task=view&id=35&Itemid=63 Prof. Steinbach Publikationen]</ref> <ref>[http://www.informatik.uni-trier.de/~ley/pers/hd/p/Posthoff:Christian.html dblp: Christian Posthoff]</ref> |
==1979== | ==1979== | ||
* [[Christian Posthoff]], [[Bernd Steinbach]] ('''1979'''). ''Binäre Gleichungen- Algorithmen und Programme (Logic Equations - Algorithms and Programs)'' Wissenschaftliche Schriftenreihe der TH [https://en.wikipedia.org/wiki/Chemnitz Karl-Marx-Stadt], Heft 1/1979. | * [[Christian Posthoff]], [[Bernd Steinbach]] ('''1979'''). ''Binäre Gleichungen- Algorithmen und Programme (Logic Equations - Algorithms and Programs)'' Wissenschaftliche Schriftenreihe der TH [https://en.wikipedia.org/wiki/Chemnitz Karl-Marx-Stadt], Heft 1/1979. | ||
Revision as of 09:28, 16 June 2018
Home * People * Christian Posthoff
Christian Posthoff [1]
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 [2], 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 [3], along with Bernd Steinbach, he solved a 4-coloring of 17x17 grids without monochromatic rectangles [4] [5] [6] [7] [8].
Contents
Quote
A Quote from his biography [9] :
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
1979
- Christian Posthoff, Bernd Steinbach (1979). Binäre Gleichungen- Algorithmen und Programme (Logic Equations - Algorithms and Programs) Wissenschaftliche Schriftenreihe der TH 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 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. with cooperation of Rainer Knaak, Michael Schlosser, Rainer Staudte, Rüdiger Worbs, Akademie-Verlag Berlin, booklooker [13]
1990 ...
- Christian Posthoff, Rainer Staudte (1990). Suchverfahren in Prolog (Teile 1 und 2). Computerschach und Spiele, No. 4, pp. 28-32; 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! In: Proc. 3rd KADS Meeting, Munich, March 8-9 1993, Siemens AG, Corporate Research and Development, 305-326, 1993.
- 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, Lissabon, 10.-14. Januar, 1994, S. 273-277.
- 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. In: Proc. of the FUZZ-IEEE/IFES'95, Yokohama/Japan, 20.-24. März 1995, Vol. II, 979-986.
- Christian Posthoff, Günter Reinemann, Rainer Knaak, Michael Schlosser, Rainer Staudte (1999). Computerschach, Schachcomputer. Harri Deutsch, ISBN-13: 978-3817110377, Amazon.de, buchpreis24.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 [14] [15]
- 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
- ↑ Image cropped from Christian Posthoff's homepage
- ↑ The Faculty of Science and Agriculture no longer exists, Department of Mathematics and Computer Science
- ↑ Christian Posthoff | ResearchGate
- ↑ Bernd Steinbach, Christian Posthoff (2012). Extremely Complex 4-Colored Rectangle-Free Grids: Solution of Open Multiple-Valued Problems. ISMVL 2012
- ↑ Computational Complexity: The 17x17 challenge. Worth $289.00. This is not a joke by Bill Gasarch, November 30, 2009
- ↑ 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
- ↑ Lösung des Vierfarbenrätsels: Drei Ecken dürft ihr bilden by Holger Dambeck, Spiegel Online, February 22, 2012 (German)
- ↑ Dr.-Ing. habil. Dr. rer. nat. Christian Posthoff - Scientific Biography (pdf)
- ↑ ICGA Reference Database (pdf)
- ↑ Prof. Steinbach Publikationen
- ↑ dblp: Christian Posthoff
- ↑ Dap Hartmann (1988). Christian Posthoff and Günter Reinemann: Computerschach - Schachcomputer. ICCA Journal, Vol. 11, No. 1 (Review)
- ↑ CHESS AND MATHEMATICS - Workshop Dresden, 21st - 23rd November 2008
- ↑ Workshop Chess and Mathematics (pdf) agenda and abstracts
