Changes

Jump to: navigation, search

Michael Thielscher

199 bytes added, 15:12, 4 October 2019
no edit summary
* [[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'''). ''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
* [[Ji Ruan]], [[Michael Thielscher]] ('''2012'''). ''Model Checking Games in GDL-II''. [[ECAI CGW 2012]]

Navigation menu