Travelled to:1 × France
1 × USA
2 × United Kingdom
Collaborated with:J.Urban E.Tsivtsivadze T.Heskes S.Schulz M.Cramer P.Koepke B.Schröder T.v.Laarhoven H.Geuvers
Talks about:select (2) premis (2) techniqu (1) overview (1) mathemat (1) naproch (1) theori (1) system (1) reason (1) output (1)
Person: Daniel Kühlwein
DBLP: K=uuml=hlwein:Daniel
Contributed to:
2013
2012
20112010Wrote 4 papers:
- CADE-2013-KuhlweinSU
- E-MaLeS 1.1 (DK, SS, JU), pp. 407–413.
- IJCAR-2012-KuhlweinLTUH #evaluation #overview #scalability
- Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics (DK, TvL, ET, JU, TH), pp. 378–392.
- KDIR-2011-KuhlweinUTGH #automation #multi #ranking #reasoning
- Multi-output Ranking for Automated Reasoning (DK, JU, ET, HG, TH), pp. 42–51.
- IJCAR-2010-CramerKKS
- Premise Selection in the Naproche System (MC, PK, DK, BS), pp. 434–440.