Art

J-GLOBAL ID：200902246196436465   Reference number：07A1129413

λ Search Based on Proof and Disproof Numbers

証明数と反証数を用いたλ探索

Author (6)： SOEDA SHUNSUKE (公立はこだて未来大) ,  YOSHIZOE KAZUKI (中央大 研究開発機構) ,  KISHIMOTO AKIHIRO (公立はこだて未来大) ,  KANEKO TOMOYUKI (東大 大学院総合文化研究科) ,  TANAKA TETSURO (東大 情報基盤セ) ,  MUELLER Martin (アルバータ大)
Material： 情報処理学会論文誌  (IPSJ Journal)
Volume： 48  Issue： 11  Page： 3455-3462  Publication year： Nov. 15, 2007 
JST Material Number： Z0778A  ISSN： 0387-5806  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *search problem ,...
Semi thesaurus term： ラムダ探索 ,...

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=07A1129413&from=J-GLOBAL&jstjournalNo=Z0778A") }}

JST classification (2)： Artificial intelligence  (JE08000Z) ,  Game thoery  (KA03060T)

Reference (19)：

• Allis, L. V.: Searching for Solutions in Games and Artificial Intelligence, Ph. D. thesis, University of Limburg, Maastricht, the Netherlands (Sep. 1994).
• Allis, L. V., van der Meulen, M. and van den Herik, H. J.: Proof-number search, Artif. Intell., Vol.66, No.1, pp. 91-124(1994).
• Cazenave, T.: A generalized threats search algorithm, Computers and Games, Vol.2883 of Lecture Notes in Computer Science, pp. 75-87, Springer (2002).
• Kawano, Y.: Using similar positions to search game trees, Games of No Chance, pp. 193-202, Cambridge University Press (1996).
• Kishimoto, A.: Correct and Efficient Search Algorithms in the Presence of Repetitions, Ph. D. thesis, University of Alberta (2005).

Terms in the title (2)： 証明 ,  探索