Difference between revisions of "Victor Allis"
GerdIsenberg (talk | contribs) (Created page with "'''Home * People * Victor Allis''' FILE:VictorAllis.JPG|border|right|thumb| Victor Allis <ref>[http://web.archive.org/web/20041204234709/www.cs.vu.nl/~v...") |
GerdIsenberg (talk | contribs) |
||
Line 50: | Line 50: | ||
'''[[People|Up one level]]''' | '''[[People|Up one level]]''' | ||
+ | [[Category:Researcher|Allis]] | ||
+ | [[Category:Programmer|Allis]] |
Revision as of 09:45, 3 September 2018
Louis Victor Allis,
a Dutch computer and games scientist and CEO of Quintiq. He defended his M.Sc. degree with the thesis A Knowledge-Based Approach of Connect Four [2] in 1988 at Vrije Universteit, Amsterdam, solving the game of Connect Four, and his Ph.D. with the thesis Searching for Solutions in Games and Artificial Intelligence at Maastricht University in 1994, elaborating on Proof-number search and dependency-based search [3]. Victor Allis authored and co-authored more than 30 publications on search algorithms, Graph History Interaction (GHI) and games. From 1993 to 1995 he worked as assistant professor at the Vrije Universiteit. He is author and co-author of several programs competing at ICGA tournaments, winning six gold medals at Computer Olympiads [4].
Contents
Selected Publications
1988 ...
- Victor Allis (1988). A Knowledge-Based Approach of Connect Four: The Game is Over, White to Move Wins. M.Sc. thesis, Report No. IR-163, Faculty of Mathematics and Computer Science, Vrije Universteit, Amsterdam
- Jos Uiterwijk, Jaap van den Herik, Victor Allis (1989). A Knowledge-Based Approach to Connect Four: The Game is Over, White to Move Wins. Heuristic Programming in AI 1
1990 ...
- Maarten van der Meulen, Victor Allis, Jaap van den Herik ('1990). A Comment on `Conspiracy-Number Search. ICCA Journal, Vol. 13, No. 2
- Maarten van der Meulen, Victor Allis, Jaap van den Herik (1990). Lithidion: an Awari-playing Program. Technical Report 90-05, University of Limburg
- Victor Allis, Maarten van der Meulen, Jaap van den Herik (1990). Databases in Awari. Technical Report CS-90-5, University of Limburg
1991
- Victor Allis, Jaap van den Herik, Bob Herschberg (1991). Which Games Will Survive? Heuristic Programming in AI 2
- Victor Allis, Maarten van der Meulen, Jaap van den Herik (1991). Omniscience in Lithidion. Heuristic Programming in AI 2
- Victor Allis, Maarten van der Meulen, Jaap van den Herik (1991). Databases in Awari.Heuristic Programming in AI 2
- Victor Allis, Maarten van der Meulen, Jaap van den Herik (1991). Proof-Number Search. Technical Report CS 91-01, University of Limburg
- Victor Allis, Maarten van der Meulen, Jaap van den Herik (1991). Conspiracy-Number Search. Advances in Computer Chess 6
1992
- Dennis Breuker, Victor Allis, Jaap van den Herik, Bob Herschberg (1992). A Database as a Second. ICCA Journal, Vol. 15, No. 1
- Victor Allis (1992). Ingo Althöfer: On Pathology in Game Tree and Other Recursion Tree Models. ICCA Journal, Vol. 15, No. 2
- Jaap van den Herik, Victor Allis (Eds.) (1992). Heuristic Programming in Artificial Intelligence 3 - The Third Computer Olympiad. Ellis Horwood » 3rd Computer Olympiad
- Victor Allis, Patrick Schoo (1992). Qubic Solved Again. Heuristic Programming in AI 3
- Remko Popma, Victor Allis (1992). Life and Death Refined. Heuristic Programming in AI 3
1993
- Victor Allis, Jaap van den Herik, Matty Huntjens (1993). Go-Moku Solved and Threat-Space Search. Technical Report CS 93-02, University of Limburg, pdf
- Victor Allis, Jaap van den Herik, Matty Huntjens (1993). Go-Moku Solved by New Search Techniques. AAAI Technical Report FS-93-02, pdf
1994
- Victor Allis (1994). Searching for Solutions in Games and Artificial Intelligence. Ph.D. thesis, University of Limburg, pdf
- Dennis Breuker, Victor Allis, Jaap van den Herik (1994). How to Mate: Applying Proof-Number Search. Advances in Computer Chess 7, reprint as Mate in 38: Applying Proof-Number Search from Ed Schroder's Programmer's Stuff site
- Victor Allis, Maarten van der Meulen, Jaap van den Herik (1994). Proof-Number Search. Artificial Intelligence, Vol. 66, No. 1
- Martin Schijf, Victor Allis, Jos Uiterwijk (1994). Proof-Number Search and Transpositions. ICCA Journal, Vol. 17, No. 2
1995 ...
- Henri Bal, Victor Allis (1995). Parallel Retrograde Analysis on a Distributed System. Supercomputing ’95, San Diego, CA.
- Dennis Breuker, Jaap van den Herik, Jos Uiterwijk, Victor Allis (1998). A Solution to the GHI Problem for Best-First Search. CG 1998
2000 ...
- Dennis Breuker, Jaap van den Herik, Jos Uiterwijk, Victor Allis (2001). A Solution to the GHI Problem for Best-First Search. Theoretical Computer Science, Vol. 252, Nos. 1-2
External Links
References
- ↑ Victor Allis - Where has he been? Where did he go?
- ↑ Victor Allis (1988). A Knowledge-Based Approach of Connect Four: The Game is Over, White to Move Wins. M.Sc. Thesis, Report No. IR-163, Faculty of Mathematics and Computer Science, Vrije Universteit, Amsterdam
- ↑ Victor Allis (1994). Searching for Solutions in Games and Artificial Intelligence. Ph.D. Thesis, University of Limburg, pdf
- ↑ Victor Allis' ICGA Tournaments
- ↑ ICGA Reference Database (pdf)
- ↑ dblp: L. Victor Allis