Changes

Jump to: navigation, search

Martin Müller

14,602 bytes added, 20:15, 1 November 2018
Created page with "'''Home * People * Martin Müller''' FILE:Martin_Muller_UAB.jpg|border|right|thumb|link=https://www.ualberta.ca/science/about-us/contact-us/faculty-direct..."
'''[[Main Page|Home]] * [[People]] * Martin Müller'''

[[FILE:Martin_Muller_UAB.jpg|border|right|thumb|link=https://www.ualberta.ca/science/about-us/contact-us/faculty-directory/martin-mueller| Martin Müller <ref>[https://www.ualberta.ca/science/about-us/contact-us/faculty-directory/martin-mueller Martin Müller - University of Alberta]</ref> ]]

'''Martin Müller''',<br/>
an Austrian computer scientist, researcher, since 2000 associate professor, and since 2009 full professor at [[University of Alberta]].
Martin Müller's academical career included the [https://en.wikipedia.org/wiki/Graz_University_of_Technology Graz University of Technology], [[Jürg Nievergelt|Jürg Nievergelt's]] group at [[ETH Zurich]], [[University of California, Berkeley]], ETL (Electrotechnical Laboratory) at [https://en.wikipedia.org/wiki/University_of_Tsukuba University of Tsukuba] and the [https://en.wikipedia.org/wiki/Nippon_Telegraph_and_Telephone NTT], [https://en.wikipedia.org/wiki/Atsugi,_Kanagawa Atsugi], Japan.
His research interests focuses on game-tree [[Search|search]] and two-player games, including [[Go|computer Go]], [[Monte-Carlo Tree Search|Monte-Carlo tree search]], [[Depth-First|depth-first]] [[Proof-Number Search|proof-number search]] and [[Graph History Interaction|graph history interaction]] (GHI). He worked within the team of [[Jonathan Schaeffer]] on solving [[Checkers]] <ref>[https://webdocs.cs.ualberta.ca/~chinook/authors/ Authors - Chinook - World Man-Machine Checkers Champion]</ref>,
and more recently with [[Ryan Hayward]] on the game of [[Hex]].
n
=Programs=
Martin Müller is co-author of two successful Go programs. The veteran program [https://www.game-ai-forum.org/icga-tournaments/program.php?id=144 Explorer] was developed along with [[Anders Kierulf]] and [[Keh-Hsun Chen|Ken Chen]] and played eight [[Computer Olympiad|Computer Olympiads]] from 1989 until 2005, two times winning Gold medals. His new program [https://www.game-ai-forum.org/icga-tournaments/program.php?id=535 Fuego] <ref>[http://fuego.sourceforge.net/ Fuego from sourceforge]</ref> , co-authored by [[Markus Enzenberger]], [[Broderick Arneson]], [[Richard Segal]], [[Gerald Tesauro]] and [[Arpad Rimmel]] (since 2010), won the Gold medal at the [[14th Computer Olympiad#Go9x9|14th Computer Olympia in 9x9 Go]], as well the Silver medal in [[14th Computer Olympiad#Go|19x19 Go]]
<ref>[[Markus Enzenberger]], [[Martin Müller]] ('''2009'''). ''Fuego - An Open-source Framework for Board Games and Go Engine Based on Monte-Carlo Tree Search''. Technical Report TR 09-08, [[University of Alberta]]</ref>
<ref>[[Martin Müller]] ('''2009'''). ''Fuego at the Computer Olympiad in Pamplona 2009: A Tournament Report''. Technical Report TR 09-09, [[University of Alberta]]</ref>. He has further competed in [[Amazons]] and is member of the [https://www.game-ai-forum.org/icga-tournaments/program.php?id=135 Wolve] team in [[Hex]].

=Selected Publications=
<ref>[http://ilk.uvt.nl/icga/journal/docs/References.pdf ICGA Reference Database] (pdf)</ref> <ref>[https://webdocs.cs.ualberta.ca/%7Emmueller/publications.html Publications of Martin Müller's Research Group]</ref> <ref>[https://dblp.uni-trier.de/pers/hd/m/M=uuml=ller_0003:Martin dblp: Martin Müller 0003]</ref>
==1989==
* [[Martin Müller]] ('''1989'''). ''Eine Theoretische Basis zur Programmierung von Go''. (A theoretical basis for programming Go.) Diplomarbeit, [https://en.wikipedia.org/wiki/Graz_University_of_Technology Graz University of Technology]
==1990 ...==
* [[Keh-Hsun Chen|Ken Chen]], [[Anders Kierulf]], [[Martin Müller]], [[Jürg Nievergelt]] ('''1990'''). ''The Design and Evolution of Go Explorer''. [[Computers, Chess, and Cognition]]
* [[Martin Müller]] ('''1991'''). ''The Smart Game Board as a Tool for Game Programmers''. [[2nd Computer Olympiad#Workshop|Heuristic Programming in AI 2]] » [[Anders Kierulf#SmartGameBoard|Smart Game Board]]
==1995 ...==
* [[Martin Müller]] ('''1995'''). ''[https://webdocs.cs.ualberta.ca/~mmueller/cgo/thesis.html Computer Go as a Sum of Local Games: An Application of Combinatorial Game Theory]''. Ph.D. Thesis. [[ETH Zurich]], Switzerland. [http://webdocs.cs.ualberta.ca/%7Emmueller/ps/th11006.pdf.zip zipped pdf]
* [[Martin Müller]], [[Elwyn Berlekamp]], [[Bill Spight]] ('''1996'''). ''Generalized thermography: Algorithms, implementation, and application to Go endgames''. Technical Report 96-030, ICSI Berkeley, 1996. [http://webdocs.cs.ualberta.ca/%7Emmueller/ps/tr-96-030a.ps.gz postscript]
* [[Martin Müller]], [[Ralph Gasser]] ('''1996'''). ''Experiments in Computer Go Endgames''. [http://library.msri.org/books/Book29/index.html Games of No Chance] edited by [[Richard J. Nowakowski]]
* [[Martin Müller]] ('''1998'''). ''[https://link.springer.com/chapter/10.1007/3-540-48957-6_17 Computer Go: A Research Agenda]''. [[CG 1998]]
==2000 ...==
* [[Martin Müller]] ('''2000'''). ''[https://link.springer.com/chapter/10.1007/3-540-45579-5_27 Review: Computer Go 1984–2000]''. [[CG 2000]]
* [[Hiroyuki Iida]], [[Martin Müller]] ('''2000'''). ''Report on the Second Open Computer-Amazons Championship''. [[ICGA Journal#23_1|ICGA Journal, Vol 23, No. 1]]
'''2001'''
* [[Jack van Rijswijck]], [[Martin Müller]] ('''2001'''). ''The Second International Conference on Computers and Games''. [[ICGA Journal#24_1|ICCA Journal, Vol. 24, No. 1]] » [[CG 2000]]
* [[Martin Müller]] ('''2001'''). ''Solving 5x5 Amazons''. [[Conferences#GPW|6th Game Programming Workshop]]
* [[Martin Müller]] ('''2001'''). ''Proof-Set Search''. Technical Report TR 01-09, [[University of Alberta]] <ref>[https://www.stmintz.com/ccc/index.php?id=233322 Re: A new(?) technique to recognize draws] by [[Dan Andersson]], [[CCC]], June 01, 2002</ref>
'''2002'''
* [[Martin Müller]] ('''2002'''). ''[https://link.springer.com/chapter/10.1007/978-3-540-40031-8_7 Proof-Set Search]''. [[CG 2002]]
* [[Adi Botea]], [[Martin Müller]], [[Jonathan Schaeffer]] ('''2002'''). ''[https://link.springer.com/chapter/10.1007/978-3-540-40031-8_24 Using Abstraction for Planning in Sokoban]''. [[CG 2002]]
* [[Martin Müller]], [[Theodore Tegos]] ('''2002'''). ''Experiments in Computer Amazons''. [http://library.msri.org/books/Book42/ More Games of No Chance] edited by [[Richard J. Nowakowski]]
* [[Martin Müller]] ('''2002'''). ''Position Evaluation in Computer Go''. [[ICGA Journal#25_4|ICGA Journal, Vol. 25, No. 4]]
'''2003'''
* [[Akihiro Kishimoto]], [[Martin Müller]]. ('''2003'''). ''Df-pn in Go: An Application to the One-Eye Problem''. [[Advances in Computer Games 10]]
'''2004'''
* [[Xiaozhen Niu]], [[Martin Müller]] ('''2004'''). ''[https://link.springer.com/chapter/10.1007/11674399_7 An Improved Safety Solver for Computer Go]''. [[CG 2004]]
* [[Martin Müller]], [[Zhichao Li]] ('''2004'''). ''[https://link.springer.com/chapter/10.1007/11674399_19 Locally Informed Global Search for Sums of Combinatorial Games]''. [[CG 2004]]
* [[Adi Botea]], [[Martin Müller]], [[Jonathan Schaeffer]] ('''2004'''). ''Near Optimal Hierarchical Path-Finding''. In Journal of Game Development, Vol. 1, No.1
* [[Adi Botea]], [[Markus Enzenberger]], [[Martin Müller]], [[Jonathan Schaeffer]] ('''2004'''). ''Macro-FF''. In Booklet of 4th International Planning Competition
* [[Akihiro Kishimoto]], [[Martin Müller]] ('''2004'''). ''A General Solution to the [[Graph History Interaction]] Problem''. [[Conferences#AAAI-2004|AAAI 2004]]
* [[Martin Müller]], [[Markus Enzenberger]], [[Jonathan Schaeffer]] ('''2004'''). ''Temperature Discovery Search''. [[Conferences#AAAI-2004|AAAI 2004]]
* [[Ling Zhao]], [[Martin Müller]] ('''2004'''). ''Game-SAT: A Preliminary Report''. [http://dblp.uni-trier.de/db/conf/sat/sat2004.html#ZhaoM04 SAT 2004] <ref>[http://www.cril.univ-artois.fr/~roussel/satgame/satgame.php?lang=eng The SAT Game]</ref>
==2005 ...==
* [[Xiaozhen Niu]], [[Akihiro Kishimoto]], [[Martin Müller]] ('''2005'''). ''[https://link.springer.com/chapter/10.1007/11922155_7 Recognizing Seki in Computer Go]''. [[Advances in Computer Games 11]]
* [[Ling Zhao]], [[Martin Müller]] ('''2005'''). ''[https://link.springer.com/chapter/10.1007/11922155_17 Solving Probabilistic Combinatorial Games]''. [[Advances in Computer Games 11]]
* [[Akihiro Kishimoto]], [[Martin Müller]] ('''2005'''). ''A Solution to the GHI Problem for Depth-First Proof-Number Search''. [https://www.informs.org/Meetings-Conferences/INFORMS-Conference-Calendar/Past-Events/7th-Joint-Conference-on-Information-Sciences 7th Joint Conference on Information Sciences]
* [[Adi Botea]], [[Markus Enzenberger]], [[Martin Müller]], [[Jonathan Schaeffer]] ('''2005'''). ''Macro-FF: Improving AI Planning with Automatically Learned Macro-Operators''. [https://en.wikipedia.org/wiki/Journal_of_Artificial_Intelligence_Research Journal of Artificial Intelligence Research], Vol. 24
* [[Jonathan Schaeffer]], [[Yngvi Björnsson]], [[Neil Burch]], [[Akihiro Kishimoto]], [[Martin Müller]], [[Rob Lake]], [[Paul Lu]], [[Steve Sutphen]] ('''2005'''). ''Solving Checkers''. [[Conferences#IJCAI2005|IJCAI 2005]]
'''2006'''
* [[Xiaozhen Niu]], [[Martin Müller]] ('''2006'''). ''[https://link.springer.com/chapter/10.1007/978-3-540-75538-8_4 An Open Boundary Safety-of-Territory Solver for the Game of Go]''. [[CG 2006]]
'''2007'''
* [[David Silver]], [[Richard Sutton]], [[Martin Müller]] ('''2007'''). ''Reinforcement learning of local shape in the game of Go''. [[Conferences#IJCAI2007|IJCAI 2007]]
* [[Kazuki Yoshizoe]], [[Akihiro Kishimoto]], [[Martin Müller]] ('''2007'''). ''Lambda Depth-First Proof-Number Search and Its Application to Go''. [[Conferences#IJCAI2007|IJCAI 2007]]
* [[Jonathan Schaeffer]], [[Neil Burch]], [[Yngvi Björnsson]], [[Akihiro Kishimoto]], [[Martin Müller]], [[Rob Lake]], [[Paul Lu]], [[Steve Sutphen]] ('''2007'''). ''[http://www.sciencemag.org/content/317/5844/1518.abstract Checkers is Solved]''. [https://en.wikipedia.org/wiki/Science_%28journal%29 Science], Vol. 317, no. 5844
'''2008'''
* [[Ling Zhao]], [[Martin Müller]] ('''2008'''). ''[https://link.springer.com/chapter/10.1007/978-3-540-87608-3_8 Using Artificial Boundaries in the Game of Go]''. [[CG 2008]]
* [[Xiaozhen Niu]], [[Martin Müller]] ('''2008'''). ''[https://link.springer.com/chapter/10.1007/978-3-540-87608-3_10 An Improved Safety Solver in Go Using Partial Regions]''. [[CG 2008]]
* [[Akihiro Kishimoto]], [[Martin Müller]] ('''2008'''). ''[https://link.springer.com/chapter/10.1007/978-3-540-87608-3_14 About the Completeness of Depth-First Proof-Number Search]''. [[CG 2008]]
* [[David Silver]], [[Richard Sutton]], [[Martin Müller]] ('''2008'''). ''Sample-Based Learning and Search with Permanent and Transient Memories''. In Proceedings of the 25th International Conference on Machine Learning
'''2009'''
* [[Markus Enzenberger]], [[Martin Müller]] ('''2009'''). ''A lock-free multithreaded Monte-Carlo tree search algorithm''. [[Advances in Computer Games 12]]
* [[Markus Enzenberger]], [[Martin Müller]] ('''2009'''). ''Fuego - An Open-source Framework for Board Games and Go Engine Based on Monte-Carlo Tree Search''. Technical Report TR 09-08, [[University of Alberta]]
* [[Martin Müller]] ('''2009'''). ''Fuego at the Computer Olympiad in Pamplona 2009: A Tournament Report''. Technical Report TR 09-09, [[University of Alberta]]
==2010 ...==
* [[Gabriel Van Eyck]], [[Martin Müller]] ('''2011'''). ''Revisiting Move Groups in Monte-Carlo Tree Search''. [[Advances in Computer Games 13]]
* [[Henry Brausen]], [[Ryan Hayward|Ryan B. Hayward]], [[Martin Müller]], [[Abdul Qadir]], [[David Spies]] ('''2011'''). ''Blunder Cost in Go and Hex''. [[Advances in Computer Games 13]]
* [[Akihiro Kishimoto]], [[Mark Winands]], [[Martin Müller]], [[Jahn-Takeshi Saito]] ('''2012'''). ''Game-Tree Search using Proof Numbers: The First Twenty Years''. [[ICGA Journal#35_3|ICGA Journal, Vol. 35, No. 3]]
* [[Shih-Chieh Huang]], [[Martin Müller]] ('''2013'''). '' Investigating the Limits of Monte Carlo Tree Search Methods in Computer Go''. [[CG 2013]]
* [[Shih-Chieh Huang]], [[Broderick Arneson]], [[Ryan Hayward]], [[Martin Müller]], [[Jakub Pawlewicz]] ('''2013'''). ''MoHex 2.0: a pattern-based MCTS Hex player''. [[CG 2013]]
* [[Sumudo Fernando]], [[Martin Müller]] ('''2013'''). ''Analyzing Simulations in Monte-Carlo Tree Search for the Game of Go''. [[CG 2013]]
* [[David Silver]], [[Richard Sutton]], [[Martin Müller]] ('''2013'''). ''Temporal-Difference Search in Computer Go''. Proceedings of the [http://icaps13.icaps-conference.org/technical-program/workshop-program/planning-and-learning/ ICAPS-13 Workshop on Planning and Learning]
==2015 ...==
* [[Jiaxing Song]], [[Martin Müller]] ('''2015'''). ''An Enhanced Solver for the Game of Amazons''. [[IEEE#TOCIAIGAMES|IEEE Transactions on Computational Intelligence and AI in Games]], Vol. 7, No. 1
* [[Martin Müller]] ('''2015'''). ''[https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7317659 Keynote speech III Computer go research - The challenges ahead]''. [[IEEE#CIG|CIG 2015]]
* [[Chenjun Xiao]], [[Martin Müller]] ('''2016'''). ''Factorization Ranking Model for Move Prediction in the Game of Go''. [[Conferences#AAAI-2016|AAAI 2016]]
* [[Chao Gao]], [[Martin Müller]], [[Ryan Hayward]] ('''2017'''). ''Focused Depth-first Proof Number Search using Convolutional Neural Networks for the Game of Hex''. [[Conferences#IJCAI2017|IJCAI 2017]]
* [[Chenjun Xiao]], [[Jincheng Mei]], [[Martin Müller]] ('''2018'''). ''Memory-Augmented Monte Carlo Tree Search''. [[Conferences#AAAI-2018|AAAI 2018]]
* [[Chao Gao]], [[Martin Müller]], [[Ryan Hayward]] ('''2018'''). ''Three-Head Neural Network Architecture for Monte Carlo Tree Search''. [[Conferences#IJCAI2018|IJCAI 2018]]

=External Links=
* [https://www.ualberta.ca/science/about-us/contact-us/faculty-directory/martin-mueller Martin Müller - University of Alberta]
* [https://webdocs.cs.ualberta.ca/~mmueller/ Martin Müller Homepage]
* [https://webdocs.cs.ualberta.ca/~mmueller/cgo/index.html Computer Go Research]
* [https://www.game-ai-forum.org/icga-tournaments/person.php?id=60 Martin Müller's ICGA Tournaments]
* [https://spectrum.ieee.org/robotics/artificial-intelligence/ais-have-mastered-chess-will-go-be-next AIs Have Mastered Chess. Will Go Be Next?] by [[Jonathan Schaeffer]], [[Martin Müller]] & [[Akihiro Kishimoto]], [[IEEE#Spectrum|IEEE Spectrum]], June 25, 2014

=References=
<references />
'''[[People|Up one level]]'''
[[Category:Researcher|Müller]]
[[Category:Programmer|Müller]]
[[Category:Go Programmer|Müller]]
[[Category:Hex Programmer|Müller]]

Navigation menu