Difference between revisions of "Michael Thielscher"

From Chessprogramming wiki
Jump to: navigation, search
(Created page with "'''Home * People * Michael Thielscher''' FILE:Thielscher.jpg|border|right|thumb|link=hhttp://www.computational-logic.org/content/study/master/staff/thiels...")
 
 
Line 22: Line 22:
 
* [[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]]
 
* [[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 ...==
 
==2010 ...==
 +
* [[Michael Thielscher]]  ('''2011'''). ''The General Game Playing Description Language Is Universal''. [[Conferences#IJCAI2011|IJCAI 2011]] [https://www.ijcai.org/Proceedings/11/Papers/189.pdf pdf]
 
* [[Michael Thielscher]] ('''2011'''). ''Special Issue on General Game Playing''. [https://dblp.uni-trier.de/db/journals/ki/ki25.html KI 25], No. 2
 
* [[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]]
 
* [[Ji Ruan]], [[Michael Thielscher]] ('''2012'''). ''Model Checking Games in GDL-II''. [[ECAI CGW 2012]]

Latest revision as of 16:12, 4 October 2019

Home * People * Michael Thielscher

Michael Thielscher [1]

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 [2]. He received his postgraduate diploma in 1992, his Ph.D. in 1994, and habilitation in computer science in 1997 from Darmstadt University [3], his research interest include cognitive agents and robots, General Game Playing [4], and constraint logic programming. Michael Thielscher is co-author of the General Game Playing system FluxPlayer [5], and contributed to extensions of the Game Description Language (GDL).

Selected Publications

[6]

1994 ...

2000 ...

2010 ...

External Links

References

Up one level