( en | de | ru )

 

Disambiguation of "Bundy, Alan"

Author of the publication

copydeleteadd this publication to your clipboard
Reprint of "Robert Kowalski, Computational Logic and Human Thinking: How to Be Artificially Intelligent, 2011".

. Artif. Intell., (2013)

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

Using Meta-Level Inference for Selective Application of Multiple Rewrite Rule Sets in Algebraic Manipulation., and . Artif. Intell., 16 (2): 189-212 (1981)European collaboration on automated reasoning.. AI Commun., 27 (1): 25-35 (2014)The Method of Assigning Incidences., , and . Appl. Intell., 9 (2): 139-161 (1998)Robert Kowalski, , Computational Logic and Human Thinking: How to Be Artificially Intelligent (2011) .. Artif. Intell., (2012)Preparing for the future of Artificial Intelligence.. AI Soc., 32 (2): 285-287 (2017)Reprint of "Robert Kowalski, Computational Logic and Human Thinking: How to Be Artificially Intelligent, 2011".. Artif. Intell., (2013)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)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)