( en | de | ru )

 

Disambiguation of "Furbach, Ulrich"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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.

Ulrich Furbach

Andreas Furbach

Eugen Furbach

Ulrich Pötter

Statistical models of incomplete data and their use in the social sciences. Uni Bochum, habilitation, (2009)

Ulrich Mayer

Analysis of the molecular mechanisms underlying the activity of the Ets-1-USF-1 transcription factor complex on the HIV-1 LTR. Uni Heidelberg, (2004)
 

Other publications of authors with the same name

An Application of Automated Reasoning in Natural Language Question Answering, , and . AI Communications, 23 (2--3): 241--265 (2010)Consciousness and Automated Reasoning., , and . FCR@KI, volume 2680 of CEUR Workshop Proceedings, page 12-26. CEUR-WS.org, (2020)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)In Memory of Steffen Hölldobler: From Logic to Formal and Cognitive Reasoning., and . Künstliche Intell., 37 (2): 249-254 (December 2023)Cognitive Reasoning: A Personal View, , , , and . KI, (2019)Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection., , and . CADE, volume 11716 of Lecture Notes in Computer Science, page 250-268. Springer, (2019)Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations., , and . Handbook of Automated Reasoning, Elsevier and MIT Press, (2001)Formation of a Research Discipline Artificial Intelligence and Intellectics at the Technical University of Munich., and . Künstliche Intell., 34 (1): 109-116 (2020)Semantically Guided Evolution of SHI ABoxes, and . Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, 2013, Proceedings, volume 8123 of Lecture Notes in Computer Science, Springer, (2013)