( 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

 

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

On the notion of interestingness in automated mathematical discovery., , и . Int. J. Hum. Comput. Stud., 53 (3): 351-375 (2000)Commentary on: solving symbolic equations with PRESS., , , и . SIGSAM Bull., 22 (2): 27-40 (1988)Incidence Calculus: A Mechanism for Probabilistic Reasoning.. J. Autom. Reason., 1 (3): 263-283 (1985)Proof planning for maintainable configuration systems., , и . Artif. Intell. Eng. Des. Anal. Manuf., 12 (4): 345-356 (1998)A Broader Interpretation of Logic in Logic Programming.. ICLP/SLP, стр. 1624-1648. MIT Press, (1988)MATHsAiD: Automated mathematical theory exploration., , и . Appl. Intell., 47 (3): 585-606 (2017)Inconstancy: An Ontology Repair Plan for Adding Hidden Variables., и . AAAI Fall Symposium: Automated Scientific Discovery, том FS-08-03 из AAAI Technical Report, стр. 10-17. AAAI, (2008)An Adversarial Planning Approach to Go., , , и . Computers and Games, том 1558 из Lecture Notes in Computer Science, стр. 93-112. Springer, (1998)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)