Abstract | ||
---|---|---|
In recent years, large corpora of formally expressed knowledge have become available in the fields of formal mathematics, software verification, and real-world ontologies. The Learning2Reason project aims to develop novel machine learning methods for computer-assisted reasoning on such corpora. Our global research goals are to provide good methods for selecting relevant knowledge from large formal knowledge bases, and to combine them with automated reasoning methods. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1007/978-3-642-22673-1_27 | Calculemus/MKM |
Keywords | DocType | Citations |
novel machine,good method,computer-assisted reasoning,global research goal,relevant knowledge,automated reasoning method,formal mathematics,large formal knowledge base,Learning2Reason project,large corpus | Conference | 0 |
PageRank | References | Authors |
0.34 | 2 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Daniel Kühlwein | 1 | 154 | 8.75 |
Josef Urban | 2 | 635 | 46.75 |
Evgeni Tsivtsivadze | 3 | 179 | 12.61 |
Herman Geuvers | 4 | 457 | 53.92 |
Tom Heskes | 5 | 1519 | 198.44 |