Dipl.-Math. Daniel Kühlwein
PhD Student, Radboud University NijmegenNijmegen, Netherlands
Research field: Computer and Information Science - Artificial Intelligence
Automated Reasoning, Machine Learning, Interactive Theorem Provers, Relevance Filters for ATP problems, Controlled Natural Languages
Publications
-
Journal Article (5)
-
Daniel Kühlwein, Josef Urban, Evgeni Tsivtsivadze et al. (2011) Learning2Reason, 298–300. In Intelligent Computer Mathematics.Download PDF (157.25 KB)
-
M. Cramer, P. Koepke, D. Kühlwein et al. (2010) Premise Selection in the Naproche System, 434–440. In Automated Reasoning.Download PDF (125.59 KB)
-
Marcos Cramer, D. Kühlwein, B. Schröder (2010) Presupposition Projection and Accommodation in Mathematical Texts, 29-36. In Semantic Approaches in Natural Language Processing.Download PDF (131.81 KB)
-
M Cramer, B Fisseni, P Koepke et al. (2010) The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts, 170–186. In Controlled Natural Language.Download PDF (193.17 KB)
-
Jesse Alama, Daniel Kühlwein, Evgeni Tsivtsivadze et al. Premise Selection for Mathematics by Corpus Analysis and Kernel Methods, 1-17. In preprint, submitted.Download PDF (386.18 KB)
-
-
Conference Proceedings (1)
-
Daniel Kühlwein, Josef Urban, Evgeni Tsivtsivadze et al. (2011) MULTI-OUTPUT RANKING FOR AUTOMATED REASONING, 42-51. In Proceedings of the International Conference on Knowledge Discovery and Information Retrieval.Download PDF (4.54 MB)
-
-
Thesis (1)
Contact Information
| Address: | Faculty of Science, University of Nijmegen, Postbus 9010, Nijmegen, 6500 GL, Netherlands |
| E-mail: | |
| Phone: | +31-24-36-51272 |
Publication Statistics
Graphed by cumulative total
Graphed by month
Graphed by day
Graphed by day
Data temporarily unavailable.
Not enough data available.
Public Groups
Public groups Daniel is a member of
Public groups Daniel is following
- Not following any groups yet.
- Find new public groups.
Sign up today - FREE
Mendeley saves you time finding and organizing research. Learn more