( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
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.

Franz Bundy

Bogáta Dóra Bundy

Safwat Alani

Maia Alandjiyska

Yilmaz Alan

 

Другие публикации лиц с тем же именем

The Automation of Proof by Mathematical Induction.. Handbook of Automated Reasoning, Elsevier and MIT Press, (2001)Homogenization: Preparing Equations for Change of Unknown., и . IJCAI, стр. 551-553. William Kaufmann, (1981)Incidence Calculus: A Mechanism for Probabilistic Reasoning.. FGCS, стр. 166-174. OHMSHA Ltd. Tokyo and North-Holland, (1984)Observant: An Annotated Term-Rewriting System for Deciding Observation Congruence., , и . ECAI, стр. 393-397. John Wiley and Sons, (1998)Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs., , и . CADE, том 1249 из Lecture Notes in Computer Science, стр. 276-290. Springer, (1997)The Use of Explicit Plans to Guide Inductive Proofs.. CADE, том 310 из Lecture Notes in Computer Science, стр. 111-120. Springer, (1988)The Oyster-Clam System., , , и . CADE, том 449 из Lecture Notes in Computer Science, стр. 647-648. Springer, (1990)A Science of Reasoning: Extended Abstract.. CADE, том 449 из Lecture Notes in Computer Science, стр. 633-640. Springer, (1990)Searching for a Solution to Program Verification=Equation Solving in CCS., , и . MICAI, том 1793 из Lecture Notes in Computer Science, стр. 1-12. Springer, (2000)Will it Reach the Top? Prediction in the Mechanics World.. Artif. Intell., 10 (2): 129-146 (1978)