Autor der Publikation

Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection.

, , und . CADE, Volume 11716 von Lecture Notes in Computer Science, Seite 250-268. Springer, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Transformation systems for program synthesis: Knuth-Bendix completion and fold/unfold, und . Forschungsberichte, TU Munich, (1988)In memoriam: Christian Freksa (1950-2020)., , , und . Spatial Cogn. Comput., 24 (1): 1-5 (Januar 2024)CAMPUS NEWS - an Information Network for Pervasive Universities., , und . GI Jahrestagung (1), Volume P-109 von LNI, Seite 508-512. GI, (2007)An Application of Automated Reasoning in Natural Language Question Answering, , und . 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., , , , und . Künstliche Intell., 33 (3): 209-217 (2019)Consciousness and Automated Reasoning., , und . FCR@KI, Volume 2680 von CEUR Workshop Proceedings, Seite 12-26. CEUR-WS.org, (2020)Names are not just Sound and Smoke: Word Embeddings for Axiom Selection, , und . CADE 27, 27st International Conference on Automated Deduction, Natal, Brasil, August 25-30, 2019, (2019)Künstliche Intelligenz, quo vadis?, und . CoRR, (2021)Do we need Asimov's Laws?, und . GI-Jahrestagung, Volume P-220 von LNI, Seite 1077-1084. GI, (2013)