Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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