Michael Thielscher

Home * People * Michael Thielscher



Michael Thielscher, a German mathematician, computer scientist and professor at School of Computer Science and Engineering, University of New South Wales, and adjunct professor with the School of Computing and Mathematics at the University of Western Sydney, previously associate professor of Computational Logic at Dresden University of Technology. He received his postgraduate diploma in 1992, his Ph.D. in 1994, and habilitation in computer science in 1997 from Darmstadt University , his research interest include cognitive agents and robots, General Game Playing, and constraint logic programming. Michael Thielscher is co-author of the General Game Playing system FluxPlayer, and contributed to extensions of the Game Description Language (GDL).

=Selected Publications=

1994 ...

 * Michael Thielscher (1994). Automatisiertes Schliessen über Kausalbeziehungen mit SLDENF-Resolution. Ph.D. thesis, Darmstadt University of Technology, advisor Wolfgang Bibel
 * Michael Thielscher (1995). What Is a Skeptical Proof? KI 1995
 * Michael Thielscher (1996). On the completeness of SLDENF-resolution. Journal of Automated Reasoning

2000 ...

 * Michael Thielscher (2000). Representing the Knowledge of a Robot. KR 2000
 * Michael Thielscher (2005). Flux: A logic programming method for reasoning agents. Theory and Practice of Logic Programming, Vol. 5
 * Stephan Schiffel, Michael Thielscher (2007). Fluxplayer: A successful general game player. AAAI 2007, pdf
 * Michael Thielscher (2008). Artificial Intelligence and General Game Playing. Workshop Chess and Mathematics
 * Stephan Schiffel, Michael Thielscher (2009). Automated Theorem Proving for General Game Playing. IJCAI 2009

2010 ...

 * Michael Thielscher (2011). Special Issue on General Game Playing. KI 25, No. 2
 * Ji Ruan, Michael Thielscher (2012). Model Checking Games in GDL-II. ECAI CGW 2012
 * Michael Genesereth, Michael Thielscher (2014). General Game Playing. Synthesis Lectures on Artificial Intelligence and Machine Learning, March 2014
 * Stephan Schiffel, Michael Thielscher (2014). Representing and Reasoning About the Rules of General Games With Imperfect Information. JAIR, Vol. 49
 * Tristan Cazenave, Abdallah Saffidine, Michael Schofield, Michael Thielscher (2016). Nested Monte Carlo Search for Two-Player Games. AAAI 2016, pdf
 * Michael Thielscher (2017). GDL-III: A Description Language for Epistemic General Game Playing. IJCAI 2017, pdf
 * Armin Chitizadeh, Michael Thielscher (2018). Iterative Tree Search in General Game Playing with Incomplete Information. CGW 2018 @ IJCAI 2018
 * Armin Chitizadeh, Michael Thielscher (2018). General Language Evolution in General Game Playing. Australasian Conference on Artificial Intelligence 2018

=External Links=
 * Professor Michael Thielscher | UNSW Research
 * Michael Thielscher
 * Michael Thielscher - School of Computer Science and Engineering, University of New South Wales - VideoLectures
 * Prof. Michael Thielscher at Dresden University of Technology
 * The Mathematics Genealogy Project - Michael Thielscher

=References= Up one level