-
2
-
-
0030082140
-
Go-moku solved by new search techniques
-
Allis, L.V., van den Herik, H.J., Huntjens, M.P.H.: Go-moku solved by new search techniques. Computational Intelligence 12 (1996) 7–23
-
(1996)
Computational Intelligence
, vol.12
, pp. 7-23
-
-
Allis, L.V.1
Van Den Herik, H.J.2
Huntjens, M.3
-
3
-
-
84958743851
-
Abstract proof search
-
In Marsland, T.A., Frank, I., eds
-
Cazenave, T.: Abstract proof search. In Marsland, T.A., Frank, I., eds.: Computers and Games. Volume 2063 of Lecture Notes in Computer Science., Springer (2002) 39–54
-
(2002)
Computers and Games. Volume 2063 of Lecture Notes in Computer Science., Springer
, pp. 39-54
-
-
Cazenave, T.1
-
4
-
-
77049100215
-
Lambda-search in game trees - With application to go
-
In Marsland, T.A., Frank, I., eds
-
Thomsen, T.: Lambda-search in game trees - with application to go. In Marsland, T.A., Frank, I., eds.: Computers and Games. Volume 2063 of Lecture Notes in Computer Science., Springer (2002) 19–38
-
(2002)
Computers and Games. Volume 2063 of Lecture Notes in Computer Science., Springer
, pp. 19-38
-
-
Thomsen, T.1
-
5
-
-
1642383671
-
Gradual abstract proof search
-
Angers, France
-
Cazenave, T.: Gradual abstract proof search. In: Proceedings of RFIA, Angers, France (2002)
-
(2002)
Proceedings of RFIA
-
-
Cazenave, T.1
-
8
-
-
0003504344
-
Generation of patterns with external conditions for the game of go
-
In van den Herik, H., Monien, B., eds, Universiteit Maastricht, Maastricht
-
Cazenave, T.: Generation of patterns with external conditions for the game of go. In van den Herik, H., Monien, B., eds.: Advance in Computer Games 9. Universiteit Maastricht, Maastricht (2001) 275–293 ISBN 90 6216 566 4.
-
(2001)
Advance in Computer Games 9
, pp. 275-293
-
-
Cazenave, T.1
-
10
-
-
84956861181
-
Synthesis of an efficient tactical theorempro ver for the game of go
-
Cazenave, T.: Synthesis of an efficient tactical theorempro ver for the game of go. ACM Computing Surveys 30 (1998)
-
(1998)
ACM Computing Surveys
, vol.30
-
-
Cazenave, T.1
-
11
-
-
0028484996
-
Automatically generating abstractions for planning
-
Knoblock, C.A.: Automatically generating abstractions for planning. Artificial Intelligence 68 (1994) 243–302
-
(1994)
Artificial Intelligence
, vol.68
, pp. 243-302
-
-
Knoblock, C.A.1
-
12
-
-
0029275262
-
Quantitatively relating abstractness to the accuracy of admissible heuristics
-
Prieditis, A., Davis, R.: Quantitatively relating abstractness to the accuracy of admissible heuristics. Artificial Intelligence 74 (1995) 165–175
-
(1995)
Artificial Intelligence
, vol.74
, pp. 165-175
-
-
Prieditis, A.1
Davis, R.2
|