( en | de | ru )

 

Disambiguation of "Bundy, Alan"

Author of the publication

copydeleteadd this publication to your clipboard
An Adversarial Planning Approach to Go.

, , , and . Computers and Games, volume 1558 of Lecture Notes in Computer Science, page 93-112. Springer, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Franz Bundy

Bogáta Dóra Bundy

Safwat Alani

Maia Alandjiyska

Yilmaz Alan

 

Other publications of authors with the same name

Towards Ontology Evolution in Physics., and . WoLLIC, volume 5110 of Lecture Notes in Computer Science, page 98-110. Springer, (2008)Experiments in Automating Hardware Verification Using Inductive Proof Planning., , , and . FMCAD, volume 1166 of Lecture Notes in Computer Science, page 94-108. Springer, (1996)Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic., and . Calculemus/MKM, volume 4573 of Lecture Notes in Computer Science, page 80-93. Springer, (2007)Using Animation in Diagrammatic Theorem Proving., , , and . Diagrams, volume 2317 of Lecture Notes in Computer Science, page 46-60. Springer, (2002)A Critique of Proof Planning.. Computational Logic: Logic Programming and Beyond, volume 2408 of Lecture Notes in Computer Science, page 160-177. Springer, (2002)Preparing for the future of Artificial Intelligence.. AI Soc., 32 (2): 285-287 (2017)A Science of Reasoning (Extended Abstract).. TABLEAUX, volume 1397 of Lecture Notes in Computer Science, page 10-17. Springer, (1998)The Use of Proof Plans in Formal Methods.. DISCO, volume 429 of Lecture Notes in Computer Science, page 151-153. Springer, (1990)Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation., and . CADE, volume 87 of Lecture Notes in Computer Science, page 24-38. Springer, (1980)Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs., , and . CADE, volume 607 of Lecture Notes in Computer Science, page 310-324. Springer, (1992)