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.

 

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

Transformation systems for program synthesis: Knuth-Bendix completion and fold/unfold, и . Forschungsberichte, TU Munich, (1988)In memoriam: Christian Freksa (1950-2020)., , , и . Spatial Cogn. Comput., 24 (1): 1-5 (января 2024)CAMPUS NEWS - an Information Network for Pervasive Universities., , и . GI Jahrestagung (1), том P-109 из LNI, стр. 508-512. GI, (2007)An Application of Automated Reasoning in Natural Language Question Answering, , и . AI Communications, 23 (2--3): 241--265 (2010)Cognitive Reasoning: A Personal View., , , , и . Künstliche Intell., 33 (3): 209-217 (2019)Interview with Professor Hector Levesque, University of Toronto.. Künstliche Intell., 33 (3): 307-308 (2019)Consciousness and Automated Reasoning., , и . FCR@KI, том 2680 из CEUR Workshop Proceedings, стр. 12-26. CEUR-WS.org, (2020)Names are not just Sound and Smoke: Word Embeddings for Axiom Selection, , и . CADE 27, 27st International Conference on Automated Deduction, Natal, Brasil, August 25-30, 2019, (2019)Künstliche Intelligenz, quo vadis?, и . CoRR, (2021)Do we need Asimov's Laws?, и . GI-Jahrestagung, том P-220 из LNI, стр. 1077-1084. GI, (2013)