Michael+Thielscher

a German mathematician, computer scientist and professor at School of Computer Science and Engineering, [|University of New South Wales], and before associate professor of [|Computational Logic] at [|Dresden University of Technology]. He received his postgraduate diploma in 1992, his Ph.D. in 1994, and his 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, based on the high-level programming system for cognitive agents of all kinds, Flux. || toc =Selected Publications=
 * Home * People * Michael Thielscher**
 * [[image:Thielscher.jpg width="133" height="168" link="http://www.computational-logic.org/content/study/master/staff/thielscher.php"]] ||~  || **Michael Thielscher**,
 * Michael Thielscher ||~  ||^   ||

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], [|CiteSeerX]
 * Michael Thielscher (**2005**). //Flux: A logic programming method for reasoning agents//. [|Theory Pract.Log. Program, 5(4-5)]
 * Stephan Schiffel, Michael Thielscher (**2007**). //Fluxplayer: A successful general game player//. [|Proceedings of the AAAI National Conference on Artificial Intelligence], [|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(1)]
 * 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], [|Morgan & Claypool Publishers]
 * Stephan Schiffel, Michael Thielscher (**2014**). //[|Representing and Reasoning About the Rules of General Games With Imperfect Information]//. [|JAIR Vol. 49]

=External Links=
 * [|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= =What links here?= include page="Michael Thielscher" component="backlinks" limit="40"
 * Up one level**