From post

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.

 

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

Using ConceptNet to Teach Common Sense to an Automated Theorem Prover., , и . ARCADE@CADE, том 311 из EPTCS, стр. 19-24. (2019)CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning., и . LuxLogAI (Student / Workshop Papers), том 10 из Kalpa Publications in Computing, стр. 20-26. EasyChair, (2018)RoboCupSimData: Software and Data for Machine Learning from RoboCup Simulation League., , , и . RoboCup, том 11374 из Lecture Notes in Computer Science, стр. 230-237. Springer, (2018)Cognitive Reasoning: A Personal View., , , , и . Künstliche Intell., 33 (3): 209-217 (2019)The CoRg Project: Cognitive Reasoning., , и . Künstliche Intell., 33 (3): 293-299 (2019)Entwicklung interdisziplinärer Module in der Hochschulbildung., , , , , , и . GI-Jahrestagung, том P-337 из LNI, стр. 461-464. Gesellschaft für Informatik, Bonn, (2023)Joining Formal and Cognitive Reasoning., , , и . FLAP, 10 (2): 115-119 (2023)Cognitive Reasoning: A Personal View, , , , и . KI, (2019)Automating Defeasible Reasoning with Logic Programming., , , и . German-Argentinian Workshop on Information Technology, стр. 39-46. (1999)Periodicity Pitch Detection in Complex Harmonies on EEG Timeline Data., , , и . CoRR, (2020)