SAS Output

Bibliography by Subject

The FREQ Procedure

Subject
key	Frequency	Percent	Cumulative Frequency	Cumulative Percent
Games	117	46.06	117	46.06
Learning	53	20.87	170	66.93
Combinatorial Game Theory	40	15.75	210	82.68
Computation	27	10.63	237	93.31
Game Logic	6	2.36	243	95.67
Genetic Algorithm	4	1.57	247	97.24
Lambda	3	1.18	250	98.43
AI	1	0.39	251	98.82
Game Semantics	1	0.39	252	99.21
Markup	1	0.39	253	99.61
Semantics	1	0.39	254	100.00

Bibliography by Subject

Subject=AI

id	Reference	pdfhref	href
17	Dave Cliff. AI and A-Life: Never Mind the Blocksworld. In A Cohn, editor, ECAI94: Proceedings of the 11th European Conference on Artificial Intelligence, pages 803–808, John Wiley and Sons Ltd., 1994.		[URL]

Subject=Combinatorial Game Theory

id	Reference	pdfhref	href
14	Paul Rendell. A Turing Machine in Conway s Game Life. Unpublished, August, 2001.	[PDF]
35	David Wolfe and William Fraser. Counting the number of games. Theoretical Computer Science, 313(3):527-532, 2004.	[PDF]	[PS]
75	Erik D. Demaine. Playing Games with Algorithms: Algorithmic Combinatorial Game Theory. In Ji\vr\ \i Sgall and Ale\vs Pultr and Petr Kolman, editors, Proceedings of the 26th Symposium on Mathematical Foundations in Computer Science (MFCS 2001), pages 18–32, 2001.		[URL]
105	David Wolfe and William Fraser and Susan Hirshberg. The Structure of the Distributed Lattice of Games Born on Day n. Unpublished, April, 2002.	[PDF]
112	Elwyn R. Berlekamp and John H. Conway and Richard K. Guy. Winning Ways for your Mathematical Plays., Vol. 1, A.K. Peters, 2001.
113	Elwyn Berlekamp. The Economist s View of Combinatorial Games. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 365-405, Cambridge University Press, 1998.	[PDF]
114	Elwyn Berlekamp and Yonghoan Kim. Where Is the ``Thousand-Dollar Ko ?. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 203-226, Cambridge University Press, 1998.	[PDF]
115	David Blackwell. Games with Infinitely Many Moves and Slightly Imperfect Information (Extended Abstract). In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 407-408, Cambridge University Press, 1998.	[PDF]
116	Dan Calistrate. The Reduced Canonical Form of a Game. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 409-416, Cambridge University Press, 1998.	[PDF]
117	John H. Conway. The Angel Problem. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 3-12, Cambridge University Press, 1998.	[PDF]
118	Noam D. Elkies. On Numbers and Endgames: Combinatorial Game Theory in Chess Endgames. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 135-150, Cambridge University Press, 1998.	[PDF]
119	Jeff Erickson. New Toads and Frogs Results. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 299-310, Cambridge University Press, 1998.	[PDF]
120	Jeff Erickson. Sowing Games. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 287-297, Cambridge University Press, 1998.	[PDF]
121	Aviezri Fraenkel. Scenic Trails Ascending from Sea-Level Nim to Alpine Chess. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 13-42, Cambridge University Press, 1998.	[PDF]
122	Aviezri Fraenkel. Error-Correcting Codes Derived from Combinatorial Games. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 417-431, Cambridge University Press, 1998.	[PDF]
123	Aviezri Fraenkel. Combinatorial Games: Selected Bibliography with a Succinct Gourmet Introduction. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 493-537, Cambridge University Press, 1998.	[PDF]
124	Dan Garcia. Xdom: A Graphical, X-Based Front-End for Domineering. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 311-313, Cambridge University Press, 1998.	[PDF]
125	Ralph Gasser. Solving Nine Men s Morris. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 101-113, Cambridge University Press, 1998.	[PDF]
126	Richard K. Guy. Impartial Games. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 61-78, Cambridge University Press, 1998.
127	Richard K. Guy. What is a Game?. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 43-60, Cambridge University Press, 1998.
128	Richard K. Guy. Unsolved Problems in Combinatorial Games. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 475-491, Cambridge University Press, 1998.	[PDF]
129	Hiroyuki Iida and Yoshiyuki Kotani and Jos W. H. M. Uiterwijk. Tutoring Strategies in Game-Tree Search (Extended Abstract). In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 433-435, Cambridge University Press, 1998.	[PDF]
130	Yasuhito Kawano. Using Similar Positions to Search Game Trees. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 193-202, Cambridge University Press, 1998.	[PDF]
131	Howard A. Landman. Eyespace Values in Go. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 227-257, Cambridge University Press, 1998.	[PDF]
132	Andrew J. Lazarus and Daniel E. Loeb and James G. Propp and Daniel Ullman. Richman Games. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 439-449, Cambridge University Press, 1998.	[PDF]
133	Daniel E. Loeb. Stable Winning Coalitions. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 451-471, Cambridge University Press, 1998.	[PDF]
134	Martin M:uller and Ralph Gasser. Experiments in Computer Go Endgames. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 273, Cambridge University Press, 1998.	[PDF]
135	David Moews. Infinitesimals and Coin-Sliding. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 315-327, Cambridge University Press, 1998.	[PDF]
136	David Moews. Loopy Games and Go. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 259-272, Cambridge University Press, 1998.	[PDF]
137	Richard J. Nowakowski and David G. Poole. Geography Played on Products of Directed Cycles. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 329-337, Cambridge University Press, 1998.	[PDF]
138	Hilarie K. Orman. Pentominoes: A First Player Win. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 339-344, Cambridge University Press, 1998.	[PDF]
139	James G. Propp. About David Richman. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 437, Cambridge University Press, 1998.	[PDF]
140	Jonathan Schaeffer. Marion Tinsley: Human Perfection at Checkers?. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 115-118, Cambridge University Press, 1998.	[PDF]
141	Jonathan Schaeffer and Robert Lake. Solving the Game of Checkers. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 119-133, Cambridge University Press, 1998.	[PDF]
142	Lewis Stiller. Multilinear Algebra and Chess Endgames. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 151-192, Cambridge University Press, 1998.	[PDF]
143	Julian West. Championship-Level Play of Dots-and-Boxes. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 79-84, Cambridge University Press, 1998.	[PDF]
144	Julian West. Championship-Level Play of Domineering. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 85-91, Cambridge University Press, 1998.	[PDF]
145	Julian West. New Values for Top Entails. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 345-350, Cambridge University Press, 1998.	[PDF]
146	David Wolfe. The Gamesman s Toolkit. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 93-98, Cambridge University Press, 1998.	[PDF]
147	Michael Zieve. Take-Away Games. In Richard Nowakowski, editor, Games of No Chance, Mathematical Sciences Research Institution Publication, pages 351-361, Cambridge University Press, 1998.	[PDF]

Subject=Computation

id	Reference	pdfhref	href
1	Uffe H. Engberg and Engberg Nielsen. A Calculus of Communicating Systems with Label Passing–Ten Years After. In Gordon Plotkin and Colin Stirling and Mads Tofte, editors, Proof, Language, and Interaction; Essays in Honour of Robin Milner, Foundations of Computing, chapter V, Mobility, pages 599–622, MIT Press, MIT Press 2000.	[PDF]
2	Robin Milner, Joachim Parrow, and David Walker. A Calculus of Mobile Processes, Part I. Information and Computation, 100:1-46, 1992.
14	Paul Rendell. A Turing Machine in Conway s Game Life. Unpublished, August, 2001.	[PDF]
16	Mark L. Iron. A Universal Turing Machine. Unpublished, November, 2000.		[URL]
27	Frans Faase. BF is Turing Complete. Unpublished.		[URL]
28	Takumi Kasai and Akeo Adachi and Shigeki Iwata. Classes of pebble games and complete problems. SIAM Journal on Computing, 8(4):574–586, 1979.
32	Peter Wegner and Dina Goldin. Computation beyond turing machines. Commun. ACM, 46(4):100–102, 2003.	[PDF]
33	David Eppstein. Computational Complexity of Games and Puzzles. Unpublished, 2000.		[URL]
41	Jonathan van Benthem. Extensive games as process models. Journal of Logic, Language,and Information, 11(3):289-313, 2002.	[PDF]
45	Boudewijin P. de Bruin. Game Transformations and Game Equivalence. Technical report, Institute for Logic, Language and Computation, 1999.		[PS.gz]
49	Joan Feigenbaum. Games, Complexity Classes, and Approximation Algorithms. In Proceedings of the International Congress of Mathematicians, volume III: Invited Lectures, Documenta Mathematica, Journal der Deutschen Mathematiker-Vereinigung, 1998.	[PDF]
50	David Wolfe. Go Endgames are PSPACE-hard. In Richard Nowakowksi, editor, More Games of No Chance, Mathematical Sciences Research Institution Publication, pages 125–136, Cambridge University Press, 2002.		[PS]
57	Richard Kaye. Infinite Versions of Minesweeper are Turing Complete. Technical report, School of Mathematics and Statistics, The University of Birmingham, 2000.	[PDF]
58	Peter Wegner. Interactive foundations of computing. Theoretical Computer Science, 192(2):315–351, 1998.	[PDF]
71	David Kempe. On the Complexity of the "Reflextions" game. Unpublished, January, 2003.	[PDF]
77	Vladimir Zakharov. Preliminary Analysis of the Security of Control Flow Code Transformations. Technical report, Institute for System Programming, Russion Academy of Sciences, Moscow, Russia, 2001.
78	Jin-Yi Cai and Anne Condon and Richard J. Lipton. PSPACE is provable by two provers in one round. J. Comput. Syst. Sci., 48(1):183–193, 1994.
84	Michael Buro. Simple Amazons Endgames and Their Connection to Hamilton Circuits in Cubic Subgrid Graphs. In T. Marsland and I. Frank, editors, Proceedings of the Second International Conference on Computers and Games, CG00, pages 250-261, Springer-Verlag New York, Inc, 2001.
85	Joseph C. Culberson. Sokoban is PSPACE-complete. In Elena Lodi, Linda Pagli, and Nicola Santoro, editors, Proceedings of the International Conference on Fun with Algorithms (FUN98), pages pages 65-76, Carleton Scientific, 1998.		[PS]
91	Luca Alfaro and Rupak Majumdar and Thomas A. Henzinger. Symbolic Algorithms for Infinite-State Games. In Proceedings of the 12th International Conference on Concurrency Theory, pages 536-550, Springer-Verlag, 2001.		[PS]
92	Ling Zhao. Tackling Post s Correspondence Problem. In Jonathan Schaeffer and Martin Muller III and Yngvi Bjornsson, editors, Computers and Games, pages 326-344, Springer, 2003.
95	Gerard Berry and Gerard Boudol. The chemical abstract machine. In Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 81–94, ACM Press, 1990.
101	Cristian Giumale. The Markov Algorithmic Machine. Unpublished.	[PDF]
103	Robert A. Hearn and Erik D. Demaine. The Nondeterministic Constraint Logic Model of Computation: Reductions and Applications. In Lecture Notes in Computer Science, pages 401-413, 2002.
104	Robin Milner. The Polyadic Pi-Calculus: a Tutorial. In F. L. Bauer and W. Brauer and H. Schwichtenberg, editors, Logic and Algebra of Specification, pages 428-440, Springer, 1993.
106	Dina Q. Goldin and Scott A. Smolka and Peter Wegner. Turing Machines, Transition Systems, and Interaction. In Luca Aceto and Prakash Panangaden, editors, Electronic Notes in Theoretical Computer Science, Elsevier, 2002.
107	João Pedro Guerreiro Neto and Hava T. Siegelmann and José Félix Costa and Carmen Paz Suárez Araujo. Turing Universality of Neural Nets (Revisited). In Computer Aided Systems Theory - EUROCAST 97, A Selection of Papers from the 6th International Workshop on Computer Aided Systems Theory, pages 361-366, Springer, 1997.	[PDF]

Subject=Game Logic

id	Reference	pdfhref	href
44	M. Pauly. Game logic for game theorists. Technical report, (CWI) National Research Institute for Mathematics and Computer Science, Amsterdam, Netherlands, 2000.	[PDF]
45	Boudewijin P. de Bruin. Game Transformations and Game Equivalence. Technical report, Institute for Logic, Language and Computation, 1999.		[PS.gz]
47	Johan van Benthem. Games and Strategies inside Elementary Logic. Unpublished, Jan, 2000.
93	Valentin Goranko. The Basic Algebra of Game Equivalences. Studia Logica, 75(2):221-238, 2001.		[PS]
94	Valentin Goranko. The Basic Algebra of Games. Unpublished, 2000.	[PDF]
111	Johan van Benthem. When are Two Games the Same?. Unpublished, 1999.

Subject=Game Semantics

id	Reference	pdfhref	href
3	Guy Mccusker and Russell Harmer. A Fully Abstract Game Semantics for Finite Nondeterminism. In Proceedings of the 14th Symposium on Logic in Computer Science, pages 422-430, IEEE Computer Society Press, 1999.		[PS.gz]

Subject=Games

id	Reference	pdfhref	href
5	Vadim V. Anshelevich. A Hierarchical Approach to Computer Hex. Artificial Intelligence, 134:101-120, 2002.	[PDF]
14	Paul Rendell. A Turing Machine in Conway s Game Life. Unpublished, August, 2001.	[PDF]
19	John Romein and Henri E. Bal and Dick Grune. An Application Domain Specific Language for Describing Board Games. In International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 97), IEEE, 1997.		[PS.gz]
23	Michael Buro and Igor Durdanovic. An Overview of NECI s Generic Game Server. In J.W.H.M. Uiterwijk, editor, Proceedings of 6th Computer Games Olympiad Workshop, 2001.	[PDF]
24	Jack van Rijswijck. Are Bees Better than Fruitflies? Experiments with a Hex Playing Program. In Howard J. Hamilton, editor, Advances in Artificial Intelligence, 13th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2000, pages 13-25, Springer, 2000.	[PDF]	[URL]
25	Hans van Ditmarsch. Axioms for Card Games. Technical report, University of Groningen, 2000.	[PDF]
26	Peter Stone and Manuela M. Veloso. Beating a Defender in Robotic Soccer: Memory-Based Learning of a Continuous Function. In David S. Touretzky and Michael C. Mozer and Michael E. Hasselmo, editors, NIPS-95, Advances in Neural Information Processing Systems 8, MIT press, 1995.
28	Takumi Kasai and Akeo Adachi and Shigeki Iwata. Classes of pebble games and complete problems. SIAM Journal on Computing, 8(4):574–586, 1979.
29	Alex Lubberts and Risto Miikkulainen. Co-Evolving a Go-Playing Neural Network. In Richard K. Belew and Hugues Juill\`e, editors, Coevolution: Turning Adaptive Algorithms upon Themselves, pages 14–19, 2001.
33	David Eppstein. Computational Complexity of Games and Puzzles. Unpublished, 2000.		[URL]
34	Bruno Bouzy and Tristan Cazenave. Computer Go: an AI oriented survey. Artif. Intell., 132(1):39–103, 2001.		[URL]
38	Jon Orwant. EGGG: Automated programming for game generation. IBM Systems Journal, 39(3/4):782–794, 2000.		[URL]
39	Jon Orwant. EGGG: The Extensible Graphical Game Generator., MIT, Boston, US, 2000.		[URL]
40	Lex Weaver and Terry Bossomaier. Evolution of Neural Networks to Play the Game of Dots-and-Boxes. In Proceedings of The 5th International Conference on Artificial Life (Alife V), pages 43–50, 1996.	[PDF]
41	Jonathan van Benthem. Extensive games as process models. Journal of Logic, Language,and Information, 11(3):289-313, 2002.	[PDF]
46	Natasha Dobrinen. Games and general distributive laws in Boolean algebras. In Proceedings of the American Mathematical Society, pages 309-318, 2003.
48	H. Jaap van den Herik and Jos. W. H. M. Uiterwijk and Jack van Rijswijck. Games Solved: Now and in the Future. Artificial Intelligence, 134(1–2):277–311, 2002.
49	Joan Feigenbaum. Games, Complexity Classes, and Approximation Algorithms. In Proceedings of the International Congress of Mathematicians, volume III: Invited Lectures, Documenta Mathematica, Journal der Deutschen Mathematiker-Vereinigung, 1998.	[PDF]
50	David Wolfe. Go Endgames are PSPACE-hard. In Richard Nowakowksi, editor, More Games of No Chance, Mathematical Sciences Research Institution Publication, pages 125–136, Cambridge University Press, 2002.		[PS]
51	Thore Graepel and Mike Goutrié and Marco Krüger and Ralf Herbrich. Go, SVM, Go. Unpublished, 2000.	[PDF]
53	Johan van Benthem. Homo Sapiens as Homo Ludens. Unpublished, 1999.	[PDF]
54	Fredrik A. Dahl. Honte, a Go-Playing Program Using Neural Nets. In Johannes Fürnkranz and Miroslav Kubat, editors, Workshop Notes: Machine Learning in Game Playing, Morgan Kaufmann, San Francisco, CA, 1999.		[PS.gz]
55	Michael Buro. How Machines Have Learned to Play Othello. IEEE Intelligent Systems, 14(6):12–14, 1999.	[PDF]
56	Ghita K. Mostefaoui and Soraya K. Mostefaoui. Implementing a Distributed Multi-player Blackjack Game Using the Java Shared Data Toolkit. Technical report, Department of Informatics, University of Fribourg, 2001.
57	Richard Kaye. Infinite Versions of Minesweeper are Turing Complete. Technical report, School of Mathematics and Statistics, The University of Birmingham, 2000.	[PDF]
62	Jack van Rijswijck. Learning from Perfection: A Data Mining Approach to Evaluation Function Learning in Awari. In T. A. Marsland and I. Frank, editors, Computers and Games: Proceedings of the 2nd International Conference (CG-00), pages 115–132, Springer-Verlag, 2001.		[PS]
64	Johannes F urnkranz. Machine Learning in Games: A Survey. Technical report, Austrian Research Institute for Artificial Intelligence, Schottengasse 3, A-1010Wien, Austria, 2001.	[PDF]
66	Aki Jarvinen. Making and Breaking Games: A Typology of Rules. Unpublished, July, 2003.	[PDF]
67	Dick Grune and Henri Bal and John Romein. Multigame - A Very High Level Language for Describing Board Games. In Proceedings of ASCI 95, the first annual conference of the Advanced School for Computing and Imaging, pages 278-287, 1995.		[PS.gz]
68	Lourdes Peña Castillo and Stefan Wrobel. Multirelational Active Learning for Games. ,.	[PDF]
69	David McAllester. Observations on Cognitive Judgments. Technical report, MIT Artificial Intelligence Laboratory, 1991.	[PDF]	[PS]
70	Ole Martin Halck and Fredrik A. Dahl. On classification of games and evaluation of players –- with some sweeping generalizations about the literature. In Johannes Fürnkranz and Miroslav Kubat, editors, Workshop Notes: Machine Learning in Game Playing, 1999.
73	Dimitrios Kalles and Panagiotis Kanellopoulos. On Verifying Game Designs and Playing Strategies using Reinforcement Learning. In Proceedings of the 2001 ACM Symposium on Applied Computing (SAC-01), pages 6-11, 2000.	[PDF]
74	Michael Buro. ORTS: A Hack-Free RTS Game Environment. In Martin Müller III Jonathan Schaeffer, editor, Proceedings of the International Computers and Games Conference 2002, pages 280-291, Springer, 2003.	[PDF]	[URL]
79	Michael Buro. Report on the IWEC-2002 Man-Machine Othello Match. ICGA Journal, 25(2):113-115, 2002.	[PDF]
80	Daphne Koller and Avi Pfeffer. Representations and Solutions for Game-Theoretic Problems. Artificial Intelligence, 94(1):167-215, 1997.
81	Jack van Rijswijck. Search and Evaluation in Hex. Technical report, University of Alberta, 2002.	[PDF]
84	Michael Buro. Simple Amazons Endgames and Their Connection to Hamilton Circuits in Cubic Subgrid Graphs. In T. Marsland and I. Frank, editors, Proceedings of the Second International Conference on Computers and Games, CG00, pages 250-261, Springer-Verlag New York, Inc, 2001.
91	Luca Alfaro and Rupak Majumdar and Thomas A. Henzinger. Symbolic Algorithms for Infinite-State Games. In Proceedings of the 12th International Conference on Concurrency Theory, pages 536-550, Springer-Verlag, 2001.		[PS]
96	Michael Buro. The Evolution Of Strong Othello Programs. In Proceedings of the IWEC-2002 Workshop on Entertainment Computing, 2002.	[PDF]
97	Vadim V. Anshelevich. The Game of Hex: An Automatic Theorem Proving Approach to Game Programming. In Proceedings of the 7th Conference on Artificial Intelligence (AAAI-00) and of the 12th Conference on Innovative Applications of Artificial Intelligence (IAAI-00), pages 189–194, AAAI Press, 2000.
98	Markku Eskelinen. The gaming situation. Game Studies, 1(1), 2001.		[URL]
102	Dick Grune and Henri E. Bal and John W. Romein. The Multigame Reference Manual. Technical report, Vrije Universiteit, Amsterdam, the Netherlands, 2000.		[PS.gz]
103	Robert A. Hearn and Erik D. Demaine. The Nondeterministic Constraint Logic Model of Computation: Reductions and Applications. In Lecture Notes in Computer Science, pages 401-413, 2002.
109	David Al-dabass and Julian Churchill and Richard Cant. Using Hard And Soft Artificial Intelligence Algorithms To Simulate Human Go Playing Techniques. International Journal of Simulation Systems, Science & Technology, 2(1):31-49, 2001.	[PDF]
110	Michail G. Lagoudakis and Ronald Parr. Value Function Approximation in Zero-Sum Markov Games. In Proceedings of the 18th Conference on Uncertainty in Artificial Intelligence (UAI 2002), pages 283-292, 2002.	[PDF]	[PS.gz]
148	Timothy Cain. Practical Optimizations for A* Path Generation. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
149	Daniel Higgins. How to Achieve Lightning Fast A. In Steve Rabin, editor, AI Game Programming Wisdom*, Charles River Media, Inc., 2002.
150	Daniel Higgins. Generic A* Pathfinding. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
151	James Matthews. Basic A* Pathfinding Made Simple. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
152	Daniel Higgins. Pathfinding Design Architecture. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
153	Sandeep V. Kharkar. Simulating Real Animal Behavior. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
154	Bob Alexander. An Architecture Based on Load Balancing. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
155	Bruce Blumberg and Damian Isla. Blackboard Architectures. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
156	Mike Christian. A Simple Inference Engine for a Rule-Based Architecture. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
157	Vernon Harmon. An Economic Approach to Goal-Directed Reasoning in an RTS. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
158	Alex McLean. An Efficient AI Architecture using Prioritized Task Categories. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
159	John O Brien. A Flexible Goal-Based Planning Architecture. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
160	Bob Scott. Architecting an RTS AI. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
161	Bob Scott. Architecting a Game AI. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
162	Paul Tozour. First-Person Shooter AI Architecture. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
163	Paul Tozour. Introduction to Bayesian Networks and Reasoning Under Uncertainty. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
164	François Dominic Laramée. A Rule-Based Architecture using Dempster-Shafer Theory. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
165	Steve Rabin. Enhancing a State Machine Language through Messaging. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
166	Steve Rabin. Implementing a State Machine Language. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
167	Thor Alexander. An Optimized Fuzzy Logic Architecture for Decision-Making. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
168	Jeff Orkin. A General Purpose Trigger System. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
169	Sandeep V. Kharkar. Camera AI for Replays. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
170	Joseph C. Adzima. Competitive AI Racing under Open Street Conditions. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
171	Gari Biasillo. Racing AI Logic. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
172	Gari Biasillo. Representing a Race Track for the AI. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
173	Gari Biasillo. Training an AI to Race. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
174	Tom Scutt. Simple Swarms as an Alternative to Flocking. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
175	Chad Dawson. Formations. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
176	P.J. Snavely. Agent Cooperation in FSMs for Baseball. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
177	Michael Zarozinski. An Open Source Fuzzy Logic Library. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
178	Bob Alexander. The Beauty of Response Curves. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
179	Neil Kirby. Solving the Right Problem. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
180	Jeff Orkin. 12 Tips from the Trenches. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
181	Bob Scott. The Illusion of Intelligence. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
182	Jeff Orkin. Realistic Character Behavior with Prioritized, Categorized Animation. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
183	Jeff Orkin. A Data-Driven Architecture for Animation Selection. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
184	Phil Carlisle. Designing a GUI Tool to Aid in the Development of Finite State Machines. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
185	Tom Vykruta. Simple and Efficient Line-of-Sight for 3D Landscapes. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
186	Paul Tozour. Building an AI Diagnostic Toolset. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
187	Paul Tozour. The Evolution of Game AI. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
188	Thor Alexander. GoCap: Game Observation Capture. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
189	Richard Evans. Varieties of Learning. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
190	John Manslow. Learning and Adaptation in Games. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
191	François Dominic Laramée. Genetic Algorithms: Evolving the Perfect Troll. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
192	Alex J. Champandard. The Dark Art of Neural Networks. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
193	John Manslow. Imitating Random Variations in Behavior using a Neural Network. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
194	Jonty Barnes and Jason Hutchens. Practical Natural Language Learning. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
195	François Dominic Laramée. Using N-Gram Statistical Models to Predict Player Behavior. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
196	Fri Mommersteeg. Pattern Recognition with Sequential Prediction. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
197	Jonty Barnes and Jason Hutchens. Testing Undefined Behavior as a Result of Learning. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
198	Mark Brockington. Level-Of-Detail AI for a Large Role-Playing Game. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
199	Noah Stein. Intercepting a Ball. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
200	Lars Lidén. Strategic and Tactical Reasoning with Waypoints. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
201	Smith Surasmith. Preprocessed Solution for Open Terrain Environments. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
202	Paul Tozour. Building a Near-Optimal Navigation Mesh. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
203	Chris Charla and Mike Mika. Simple, Cheap Pathfinding. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
204	John Hancock. Navigating Doors, Elevators, Ledges, and Other Obstacles. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
205	Marco Pinter. Realistic Turning between Waypoints. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
206	Greg Alt and Kristin King. A Dynamic Reputation System Based on Event Knowledge. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
207	Jonty Barnes and Jason Hutchens. Scripting for Undefined Circumstances. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
208	Lee Berger. Scripting: System Integration. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
209	Lee Berger. Scripting: Overview and Code Generation. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
210	Lee Berger. Scripting: The Interpreter Engine. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
211	Mark Brockington and Mark Darrah. How Not To Implement a Basic Scripting Language. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
212	Falko Poiker. Creating Scripting Languages for Non-Programmers. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
213	Paul Tozour. The Perils of AI Scripting. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
214	John Reynolds. Tactical Team AI Using a Command Hierarchy. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
215	William van der Sterren. Squad Tactics: Planned Maneuvers. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
216	William van der Sterren. Squad Tactics: Team AI and Emergent Maneuvers. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
217	Steven Woodcock. Recognizing Strategic Dispositions: Engaging the Enemy. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
218	Paul Tozour. The Basics of Ranged Weapon Combat. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.

Subject=Genetic Algorithm

id	Reference	pdfhref	href
13	E. Cantu-Paz. A survey of parallel genetic algorithms. Technical report, University of Illinois at Urbana-Champaign, 1997.	[PDF]
29	Alex Lubberts and Risto Miikkulainen. Co-Evolving a Go-Playing Neural Network. In Richard K. Belew and Hugues Juill\`e, editors, Coevolution: Turning Adaptive Algorithms upon Themselves, pages 14–19, 2001.
40	Lex Weaver and Terry Bossomaier. Evolution of Neural Networks to Play the Game of Dots-and-Boxes. In Proceedings of The 5th International Conference on Artificial Life (Alife V), pages 43–50, 1996.	[PDF]
96	Michael Buro. The Evolution Of Strong Othello Programs. In Proceedings of the IWEC-2002 Workshop on Entertainment Computing, 2002.	[PDF]

Subject=Lambda

id	Reference	pdfhref	href
60	Henk Barendregt. Lambda calculus with types. In S. Abramsky, D.M. Gabbay, and T.S.E. Maibaum, editors, Handbook of Logic in Computer Science, volume II, pages 118-310, Oxford University Press,, 1992.	[PDF]
99	Henk Barendregt. The Impact of the Lambda Calculus on Logic and Computer Science. Bulletin of Symbolic Logic, 3(3):181–215, 1997.		[PS]
100	S. Abramsky. The Lazy Lambda Calculus. In D. A. Turner, editor, Research Topics in Functional Programming, pages 65–116, Addison-Welsey, 1990.

Subject=Learning

id	Reference	pdfhref	href
4	Michael L. Littman and Csaba Szepesvári. A Generalized Reinforcement-Learning Model: Convergence and Applications. In Proceedings of the Thirteenth International Conference on Machine Learning, pages 310-318, 1996.		[PS]
6	M. Derthick. A Minimal Encoding Approach to Feature Discovery. In T. L. Dean and K. McKeown, editors, Proceedings of the 9th National Conference on Artificial Intelligence, pages 565–571, MIT Press, 1991.
7	Ronen I. Brafman and Moshe Tennenholtz. A Near-Optimal Poly-Time Algorithm for Learning a class of Stochastic Games. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, pages 734–739, Morgan Kaufmann Publishers Inc., 1999.
8	Terry B. Van Belle. A New Approach to Genetic-Based Automatic Feature Discovery. ,.		[PS.gz]
9	Peter W. Eklund. A Performance Survey of Public Domain Supervised Machine Learning Algorithms. Technical report, University of Queensland, St. Lucia Queensland, Australia, 2002.	[PDF]
10	Ke Chen and Liping Yang and Xiang Yu and Huisheng Chi. A self-generating modular neural network architecture for supervised learning. Neurocomputing, 16(1):33-48, 1997.	[PDF]
11	Jeremy Pickens. A Survey of Feature Selection Techniques for Music Information Retrieval. In Proceedings of the 2nd International Symposium on Music Information Retrieval (ISMIR), 2001.	[PDF]
12	A. Baraldi and P. Blonda. A Survey of Fuzzy Clustering Algorithms for Pattern Recognition. Technical report, 1998.	[PDF]
15	P. Jacquet and W. Szpankowski and I. Apostol. A universal predictor based on pattern matching. IEEE Transactions on Information Theory, 48(6):1462-1472, 2002.
18	Michail G. Lagoudakis and Michael L. Littman. Algorithm Selection using Reinforcement Learning. In Proceedings of the Seventeenth International Conference on Machine Learning, pages 511–518, Morgan Kaufmann Publishers Inc., 2000.
20	Surnjani Djoko and Diane J. Cook and Lawrence B. Holder. An Empirical Study of Domain Knowledge and its Benefits to Substructure Discovery. IEEE Transactions on Knowledge and Data Engineering, 9(4):575-586, 1997.
21	Klaus-Robert Müller and Sebastian Mika and Gunnar Rätsch and Koji Tsuda and Bernhard Schölkopf. An Introduction to Kernel-Based Learning Algorithms. IEEE Transactions on Neural Networks, 12(2):181-201, 2001.
22	Brian R Gaines. An Ounce of Knowledge is Worth a Ton of Data: Quantitative Studies of the Trade-off between Expertise and Data based on Statistically Well-founded Empirical Induction. In Proceedings of the Sixth International Workshop on Machine Learning, pages 156-159, Morgan Kaufmann, 1989.	[PDF]
26	Peter Stone and Manuela M. Veloso. Beating a Defender in Robotic Soccer: Memory-Based Learning of a Continuous Function. In David S. Touretzky and Michael C. Mozer and Michael E. Hasselmo, editors, NIPS-95, Advances in Neural Information Processing Systems 8, MIT press, 1995.
30	M. Abramson and H. Wechsler. Competitive Reinforcement Learning for Combinatorial Problems. In International Joint Conference on Neural Networks, 2001.
31	Paul Viola. Complex Feature Recognition: A Bayesian Approach for Learning to Recognize Objects. Technical report, MIT Artificial Intelligence Laboratory, 1996.	[PDF]	[PS]
36	Justus H. Piater and Roderic A. Grupen. Distinctive Features Should Be Learned. In H.H. Bülthoff S.W. Lee, editor, Biologically Motivated Computer Vision, First IEEE International Workshop, BMCV 2000, pages 52-61, Springer-Verlag Heidelberg, 2000.
37	Wan Po Man Polly and Man Hon Wong. Efficient and Robust Feature Extraction and Pattern Matching of Time Series by a Lattice Structure. In Henrique Paques and Ling Liu and David Grossman, editors, Proceedings of the Tenth International Conference on Information and Knowledge Management (CIKM-01), pages 271–278, ACM Press, 2001.
40	Lex Weaver and Terry Bossomaier. Evolution of Neural Networks to Play the Game of Dots-and-Boxes. In Proceedings of The 5th International Conference on Artificial Life (Alife V), pages 43–50, 1996.	[PDF]
42	Huan Liu and Rudy Setiono. Feature Selection and Classification - A Probabilistic Wrapper Approach. In Proceedings of Ninth International Conference on Industrial and Engineering Applications of AI and ES, pages 419-424, 1996.
43	Ron Kohavi and Dan Sommerfield. Feature Subset Selection Using the Wrapper Method: Overfitting and Dynamic Search Space Topology. In Proceedings of the First International Conference on Knowledge Discovery and Data Mining, pages 192-197, AAAI Press,Menlo Park, CA., 1995.		[PS]
51	Thore Graepel and Mike Goutrié and Marco Krüger and Ralf Herbrich. Go, SVM, Go. Unpublished, 2000.	[PDF]
53	Johan van Benthem. Homo Sapiens as Homo Ludens. Unpublished, 1999.	[PDF]
55	Michael Buro. How Machines Have Learned to Play Othello. IEEE Intelligent Systems, 14(6):12–14, 1999.	[PDF]
59	George H. John and Ron Kohavi and Karl Pfleger. Irrelevant Features and the Subset Selection Problem. In William W. Cohen & Haym Hirsh, editor, Machine Learning: Proceedings of the Eleventh International Conference, pages 121-129, Morgan Publishers, 1994.
61	Kamishima Toshihiro. Learning from Cluster Examples. Machine Learning, 53(3):199–233, 2003.	[PDF]
62	Jack van Rijswijck. Learning from Perfection: A Data Mining Approach to Evaluation Function Learning in Awari. In T. A. Marsland and I. Frank, editors, Computers and Games: Proceedings of the 2nd International Conference (CG-00), pages 115–132, Springer-Verlag, 2001.		[PS]
63	Bla\v z Zupan and Marko Bohanec and Ivan Bratko and Janez Dem\v sar. Machine learning by function decomposition. In Proc. 14th International Conference on Machine Learning, pages 421–429, Morgan Kaufmann, 1997.		[PS]
64	Johannes F urnkranz. Machine Learning in Games: A Survey. Technical report, Austrian Research Institute for Artificial Intelligence, Schottengasse 3, A-1010Wien, Austria, 2001.	[PDF]
65	Peter Clark. Machine Learning: Techniques and Recent Developments. In A. R. Mirzai, editor, Artificial Intelligence: Concepts and Applications in Engineering, Chapman and Hall, 1990.
68	Lourdes Peña Castillo and Stefan Wrobel. Multirelational Active Learning for Games. ,.	[PDF]
72	George Cybenko and Sirpa Saarinen and Robert Gray and others. On the effectiveness of memory-based methods in machine learning. In K. Warwick, editor, Dealing with Complexity, Springer-Verlag, 1997.
73	Dimitrios Kalles and Panagiotis Kanellopoulos. On Verifying Game Designs and Playing Strategies using Reinforcement Learning. In Proceedings of the 2001 ACM Symposium on Applied Computing (SAC-01), pages 6-11, 2000.	[PDF]
82	Michail Lagoudakis and Michael L. Littman and Ronald Parr. Selecting the Right Algorithm. In Proceedings of the 2001 AAAI Fall Symposium Series: Using Uncertainty within Computation, pages 74-75, 2001.
83	Pat Langley. Selection of Relevant Features in Machine Learning. In Proceedings of the AAAI Fall Symposium on Relevance, AAAI Press, 1994.		[PS]
86	Bernd Fritzke. Some Competitive Learning Methods. Unpublished, 1997.
87	Anil K. Jain and Robert P. W. Duin and Jianchang Mao. Statistical Pattern Recognition: A Review. IEEE Trans. Pattern Anal. Mach. Intell., 22(1):4–37, 2000.
88	David Foster and Peter Dayan. Structure in the Space of Value Functions. Machine Learning, 49(2-3):325–346, 2002.
89	Brian R Gaines. Structured and Unstructured Induction with EDAGs. In U. M. Fayyad and R. Uthurusamy, editors, Proceedings of the First International Conference on Knowledge Discovery and Data Mining (KDD-95), MIT Press, 1995.
90	Wulfram Gernster. Supervised Learning for Neural Networks: A Tutorial with JAVA-exercises. Technical report, 1988.		[URL]
108	Peter D. Turney. Types of Cost in Inductive Concept Learning. In Proceedings Workshop on Cost-Sensitive Learning at the Seventeenth International Conference on Machine Learning (WCSL at ICML-2000), pages 15-21, Stanford University, California, 2002.	[PDF]	[URL]
110	Michail G. Lagoudakis and Ronald Parr. Value Function Approximation in Zero-Sum Markov Games. In Proceedings of the 18th Conference on Uncertainty in Artificial Intelligence (UAI 2002), pages 283-292, 2002.	[PDF]	[PS.gz]
173	Gari Biasillo. Training an AI to Race. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
188	Thor Alexander. GoCap: Game Observation Capture. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
189	Richard Evans. Varieties of Learning. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
190	John Manslow. Learning and Adaptation in Games. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
191	François Dominic Laramée. Genetic Algorithms: Evolving the Perfect Troll. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
192	Alex J. Champandard. The Dark Art of Neural Networks. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
193	John Manslow. Imitating Random Variations in Behavior using a Neural Network. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
194	Jonty Barnes and Jason Hutchens. Practical Natural Language Learning. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
195	François Dominic Laramée. Using N-Gram Statistical Models to Predict Player Behavior. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
196	Fri Mommersteeg. Pattern Recognition with Sequential Prediction. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.
197	Jonty Barnes and Jason Hutchens. Testing Undefined Behavior as a Result of Learning. In Steve Rabin, editor, AI Game Programming Wisdom, Charles River Media, Inc., 2002.

Subject=Markup

id	Reference	pdfhref	href
76	Steven J. Edwards. Portable Game Notation Specification and Implementation Guide. ,.		[URL]

Subject=Semantics

id	Reference	pdfhref	href
52	M. VanInwegen and E. Gunter. HOL-ML. In J. J. Joyce and C.-J. H. Seger, editors, Proceedings of the 6th International Workshop on Higher Order Logic Theorem Proving and its Applications (HUG 93), pages 61–74, Springer-Verlag, 1994, 1993.	[PDF]