25,161
edits
Changes
Created page with "'''Home * People * Michael Thielscher''' FILE:Thielscher.jpg|border|right|thumb|link=hhttp://www.computational-logic.org/content/study/master/staff/thiels..."
'''[[Main Page|Home]] * [[People]] * Michael Thielscher'''
[[FILE:Thielscher.jpg|border|right|thumb|link=hhttp://www.computational-logic.org/content/study/master/staff/thielscher.php| Michael Thielscher <ref>[http://www.computational-logic.org/content/study/master/staff/thielscher.php ICCL - Study - International MSc - Guests and Events]</ref> ]]
'''Michael Thielscher''',<br/>
a German mathematician, computer scientist and professor at School of Computer Science and Engineering, [https://en.wikipedia.org/wiki/University_of_New_South_Wales University of New South Wales], and adjunct professor with the School of Computing and Mathematics at the [https://en.wikipedia.org/wiki/Western_Sydney_University University of Western Sydney], previously associate professor of [https://en.wikipedia.org/wiki/Computational_logic Computational Logic] at [https://en.wikipedia.org/wiki/Dresden_University_of_Technology Dresden University of Technology] <ref>[https://research.unsw.edu.au/people/professor-michael-thielscher Professor Michael Thielscher | UNSW Research]</ref>.
He received his postgraduate diploma in 1992, his Ph.D. in 1994, and habilitation in computer science in 1997 from [[Darmstadt University of Technology|Darmstadt University]] <ref>[http://cgi.cse.unsw.edu.au/~mit/ Michael Thielscher]</ref>,
his research interest include [[Cognition|cognitive agents]] and [[Robots|robots]], [[General Game Playing]] <ref>[http://www.general-game-playing.de/ General Game Playing]</ref>, and [https://en.wikipedia.org/wiki/Constraint_logic_programming constraint logic programming].
Michael Thielscher is co-author of the General Game Playing system [[FluxPlayer]] <ref>[http://www.general-game-playing.de/research.html Research - General Game Playing]</ref>, and contributed to extensions of the [[General Game Playing#GDL|Game Description Language]] (GDL).
=Selected Publications=
<ref>[https://dblp.uni-trier.de/pers/hd/t/Thielscher:Michael.html dblp: Michael Thielscher]</ref>
==1994 ...==
* [[Michael Thielscher]] ('''1994'''). ''[https://www.researchgate.net/publication/33962862_Automatisiertes_Schliessen_uber_Kausalbeziehungen_mit_SLDENF-Resolution Automatisiertes Schliessen über Kausalbeziehungen mit SLDENF-Resolution]''. Ph.D. thesis, [[Darmstadt University of Technology]], advisor [[Mathematician#WolfgangBibel|Wolfgang Bibel]]
* [[Michael Thielscher]] ('''1995'''). ''[https://link.springer.com/chapter/10.1007/3-540-60343-3_34 What Is a Skeptical Proof?]'' [https://dblp.uni-trier.de/db/conf/ki/ki95.html KI 1995]
* [[Michael Thielscher]] ('''1996'''). ''[https://link.springer.com/article/10.1007%2FBF00244496 On the completeness of SLDENF-resolution]''. [https://en.wikipedia.org/wiki/Journal_of_Automated_Reasoning Journal of Automated Reasoning]
==2000 ...==
* [[Michael Thielscher]] ('''2000'''). ''Representing the Knowledge of a Robot''. [https://dblp.uni-trier.de/db/conf/kr/kr2000.html KR 2000]
* [[Michael Thielscher]] ('''2005'''). ''Flux: A logic programming method for reasoning agents''. [https://dblp.uni-trier.de/db/journals/tplp/tplp5.html Theory and Practice of Logic Programming], Vol. 5
* [[Stephan Schiffel]], [[Michael Thielscher]] ('''2007'''). ''Fluxplayer: A successful general game player''. [[Conferences#AAAI-2007|AAAI 2007]], [http://www.aaai.org/Papers/AAAI/2007/AAAI07-189.pdf pdf]
* [[Michael Thielscher]] ('''2008'''). ''Artificial Intelligence and General Game Playing''. [[Workshop Chess and Mathematics]]
* [[Stephan Schiffel]], [[Michael Thielscher]] ('''2009'''). ''[https://scholar.google.com/citations?view_op=view_citation&hl=en&user=jRcb4G4AAAAJ&citation_for_view=jRcb4G4AAAAJ:roLk4NBRz8UC Automated Theorem Proving for General Game Playing]''. [[Conferences#IJCAI2009|IJCAI 2009]]
==2010 ...==
* [[Michael Thielscher]] ('''2011'''). ''Special Issue on General Game Playing''. [https://dblp.uni-trier.de/db/journals/ki/ki25.html KI 25], No. 2
* [[Ji Ruan]], [[Michael Thielscher]] ('''2012'''). ''Model Checking Games in GDL-II''. [[ECAI CGW 2012]]
* [[Michael Genesereth]], [[Michael Thielscher]] ('''2014'''). ''[https://www.morganclaypool.com/doi/abs/10.2200/S00564ED1V01Y201311AIM024 General Game Playing]''. [https://www.morganclaypool.com/toc/aim/1/1 Synthesis Lectures on Artificial Intelligence and Machine Learning], March 2014
* [[Stephan Schiffel]], [[Michael Thielscher]] ('''2014'''). ''[https://www.jair.org/index.php/jair/article/view/10862 Representing and Reasoning About the Rules of General Games With Imperfect Information]''. [https://www.jair.org/index.php/jair/issue/view/1133 JAIR, Vol. 49]
* [[Tristan Cazenave]], [[Abdallah Saffidine]], [[Michael Schofield]], [[Michael Thielscher]] ('''2016'''). ''Nested Monte Carlo Search for Two-Player Games''. [[Conferences#AAAI-2016|AAAI 2016]], [https://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/12134/11652 pdf]
* [[Michael Thielscher]] ('''2017'''). ''GDL-III: A Description Language for Epistemic General Game Playing''. [[Conferences#IJCAI2017|IJCAI 2017]], [https://www.ijcai.org/proceedings/2017/0177.pdf pdf]
* [[Armin Chitizadeh]], [[Michael Thielscher]] ('''2018'''). ''[https://link.springer.com/chapter/10.1007/978-3-030-24337-1_5 Iterative Tree Search in General Game Playing with Incomplete Information]''. [[Conferences#CGW|CGW 2018]] @ [[Conferences#IJCAI2018|IJCAI 2018]]
* [[Armin Chitizadeh]], [[Michael Thielscher]] ('''2018'''). ''[https://link.springer.com/chapter/10.1007/978-3-030-03991-2_5 General Language Evolution in General Game Playing]''. [https://dblp.uni-trier.de/db/conf/ausai/ausai2018.html Australasian Conference on Artificial Intelligence 2018]
=External Links=
* [https://research.unsw.edu.au/people/professor-michael-thielscher Professor Michael Thielscher | UNSW Research]
* [http://cgi.cse.unsw.edu.au/~mit/ Michael Thielscher]
* [http://videolectures.net/michael_thielscher/ Michael Thielscher - School of Computer Science and Engineering, University of New South Wales - VideoLectures]
* [http://www.computational-logic.org/content/study/master/staff/thielscher.php Prof. Michael Thielscher] at [https://en.wikipedia.org/wiki/Dresden_University_of_Technology Dresden University of Technology]
* [https://www.genealogy.math.ndsu.nodak.edu/id.php?id=10808 The Mathematics Genealogy Project - Michael Thielscher]
=References=
<references />
'''[[People|Up one level]]'''
[[Category:Researcher|Thielscher]]
[[Category:Programmer|Thielscher]]
[[FILE:Thielscher.jpg|border|right|thumb|link=hhttp://www.computational-logic.org/content/study/master/staff/thielscher.php| Michael Thielscher <ref>[http://www.computational-logic.org/content/study/master/staff/thielscher.php ICCL - Study - International MSc - Guests and Events]</ref> ]]
'''Michael Thielscher''',<br/>
a German mathematician, computer scientist and professor at School of Computer Science and Engineering, [https://en.wikipedia.org/wiki/University_of_New_South_Wales University of New South Wales], and adjunct professor with the School of Computing and Mathematics at the [https://en.wikipedia.org/wiki/Western_Sydney_University University of Western Sydney], previously associate professor of [https://en.wikipedia.org/wiki/Computational_logic Computational Logic] at [https://en.wikipedia.org/wiki/Dresden_University_of_Technology Dresden University of Technology] <ref>[https://research.unsw.edu.au/people/professor-michael-thielscher Professor Michael Thielscher | UNSW Research]</ref>.
He received his postgraduate diploma in 1992, his Ph.D. in 1994, and habilitation in computer science in 1997 from [[Darmstadt University of Technology|Darmstadt University]] <ref>[http://cgi.cse.unsw.edu.au/~mit/ Michael Thielscher]</ref>,
his research interest include [[Cognition|cognitive agents]] and [[Robots|robots]], [[General Game Playing]] <ref>[http://www.general-game-playing.de/ General Game Playing]</ref>, and [https://en.wikipedia.org/wiki/Constraint_logic_programming constraint logic programming].
Michael Thielscher is co-author of the General Game Playing system [[FluxPlayer]] <ref>[http://www.general-game-playing.de/research.html Research - General Game Playing]</ref>, and contributed to extensions of the [[General Game Playing#GDL|Game Description Language]] (GDL).
=Selected Publications=
<ref>[https://dblp.uni-trier.de/pers/hd/t/Thielscher:Michael.html dblp: Michael Thielscher]</ref>
==1994 ...==
* [[Michael Thielscher]] ('''1994'''). ''[https://www.researchgate.net/publication/33962862_Automatisiertes_Schliessen_uber_Kausalbeziehungen_mit_SLDENF-Resolution Automatisiertes Schliessen über Kausalbeziehungen mit SLDENF-Resolution]''. Ph.D. thesis, [[Darmstadt University of Technology]], advisor [[Mathematician#WolfgangBibel|Wolfgang Bibel]]
* [[Michael Thielscher]] ('''1995'''). ''[https://link.springer.com/chapter/10.1007/3-540-60343-3_34 What Is a Skeptical Proof?]'' [https://dblp.uni-trier.de/db/conf/ki/ki95.html KI 1995]
* [[Michael Thielscher]] ('''1996'''). ''[https://link.springer.com/article/10.1007%2FBF00244496 On the completeness of SLDENF-resolution]''. [https://en.wikipedia.org/wiki/Journal_of_Automated_Reasoning Journal of Automated Reasoning]
==2000 ...==
* [[Michael Thielscher]] ('''2000'''). ''Representing the Knowledge of a Robot''. [https://dblp.uni-trier.de/db/conf/kr/kr2000.html KR 2000]
* [[Michael Thielscher]] ('''2005'''). ''Flux: A logic programming method for reasoning agents''. [https://dblp.uni-trier.de/db/journals/tplp/tplp5.html Theory and Practice of Logic Programming], Vol. 5
* [[Stephan Schiffel]], [[Michael Thielscher]] ('''2007'''). ''Fluxplayer: A successful general game player''. [[Conferences#AAAI-2007|AAAI 2007]], [http://www.aaai.org/Papers/AAAI/2007/AAAI07-189.pdf pdf]
* [[Michael Thielscher]] ('''2008'''). ''Artificial Intelligence and General Game Playing''. [[Workshop Chess and Mathematics]]
* [[Stephan Schiffel]], [[Michael Thielscher]] ('''2009'''). ''[https://scholar.google.com/citations?view_op=view_citation&hl=en&user=jRcb4G4AAAAJ&citation_for_view=jRcb4G4AAAAJ:roLk4NBRz8UC Automated Theorem Proving for General Game Playing]''. [[Conferences#IJCAI2009|IJCAI 2009]]
==2010 ...==
* [[Michael Thielscher]] ('''2011'''). ''Special Issue on General Game Playing''. [https://dblp.uni-trier.de/db/journals/ki/ki25.html KI 25], No. 2
* [[Ji Ruan]], [[Michael Thielscher]] ('''2012'''). ''Model Checking Games in GDL-II''. [[ECAI CGW 2012]]
* [[Michael Genesereth]], [[Michael Thielscher]] ('''2014'''). ''[https://www.morganclaypool.com/doi/abs/10.2200/S00564ED1V01Y201311AIM024 General Game Playing]''. [https://www.morganclaypool.com/toc/aim/1/1 Synthesis Lectures on Artificial Intelligence and Machine Learning], March 2014
* [[Stephan Schiffel]], [[Michael Thielscher]] ('''2014'''). ''[https://www.jair.org/index.php/jair/article/view/10862 Representing and Reasoning About the Rules of General Games With Imperfect Information]''. [https://www.jair.org/index.php/jair/issue/view/1133 JAIR, Vol. 49]
* [[Tristan Cazenave]], [[Abdallah Saffidine]], [[Michael Schofield]], [[Michael Thielscher]] ('''2016'''). ''Nested Monte Carlo Search for Two-Player Games''. [[Conferences#AAAI-2016|AAAI 2016]], [https://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/12134/11652 pdf]
* [[Michael Thielscher]] ('''2017'''). ''GDL-III: A Description Language for Epistemic General Game Playing''. [[Conferences#IJCAI2017|IJCAI 2017]], [https://www.ijcai.org/proceedings/2017/0177.pdf pdf]
* [[Armin Chitizadeh]], [[Michael Thielscher]] ('''2018'''). ''[https://link.springer.com/chapter/10.1007/978-3-030-24337-1_5 Iterative Tree Search in General Game Playing with Incomplete Information]''. [[Conferences#CGW|CGW 2018]] @ [[Conferences#IJCAI2018|IJCAI 2018]]
* [[Armin Chitizadeh]], [[Michael Thielscher]] ('''2018'''). ''[https://link.springer.com/chapter/10.1007/978-3-030-03991-2_5 General Language Evolution in General Game Playing]''. [https://dblp.uni-trier.de/db/conf/ausai/ausai2018.html Australasian Conference on Artificial Intelligence 2018]
=External Links=
* [https://research.unsw.edu.au/people/professor-michael-thielscher Professor Michael Thielscher | UNSW Research]
* [http://cgi.cse.unsw.edu.au/~mit/ Michael Thielscher]
* [http://videolectures.net/michael_thielscher/ Michael Thielscher - School of Computer Science and Engineering, University of New South Wales - VideoLectures]
* [http://www.computational-logic.org/content/study/master/staff/thielscher.php Prof. Michael Thielscher] at [https://en.wikipedia.org/wiki/Dresden_University_of_Technology Dresden University of Technology]
* [https://www.genealogy.math.ndsu.nodak.edu/id.php?id=10808 The Mathematics Genealogy Project - Michael Thielscher]
=References=
<references />
'''[[People|Up one level]]'''
[[Category:Researcher|Thielscher]]
[[Category:Programmer|Thielscher]]
