( en | de | ru )

 

Disambiguierung von "Bundy, Alan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reprint of "Robert Kowalski, Computational Logic and Human Thinking: How to Be Artificially Intelligent, 2011".

. Artif. Intell., (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Franz Bundy

Bogáta Dóra Bundy

Safwat Alani

Maia Alandjiyska

Yilmaz Alan

 

Weitere Publikationen von Autoren mit dem selben Namen

Will it Reach the Top? Prediction in the Mechanics World.. Artif. Intell., 10 (2): 129-146 (1978)Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts., , und . Ann. Math. Artif. Intell., 29 (1-4): 99-138 (2000)AI Bridges and Dreams.. AI Soc., 1 (1): 62-71 (1987)AI Bridges and Dreams.. AI Soc., 21 (4): 659-668 (2007)Assignment methods for incidence calculus., , und . Int. J. Approx. Reason., 12 (1): 21-41 (1995)Inconstancy: An Ontology Repair Plan for Adding Hidden Variables., und . AAAI Fall Symposium: Automated Scientific Discovery, Volume FS-08-03 von AAAI Technical Report, Seite 10-17. AAAI, (2008)An Adversarial Planning Approach to Go., , , und . Computers and Games, Volume 1558 von Lecture Notes in Computer Science, Seite 93-112. Springer, (1998)The Automation of Proof by Mathematical Induction.. Handbook of Automated Reasoning, Elsevier and MIT Press, (2001)Observant: An Annotated Term-Rewriting System for Deciding Observation Congruence., , und . ECAI, Seite 393-397. John Wiley and Sons, (1998)Incidence Calculus: A Mechanism for Probabilistic Reasoning.. FGCS, Seite 166-174. OHMSHA Ltd. Tokyo and North-Holland, (1984)