D. Kühlwein, J. Urban, E. Tsivtsivadze, J.H. Geuvers, T. Heskes

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review


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.
Original languageEnglish
Title of host publicationIntelligent Computer Mathematics (18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings)
EditorsJ.H. Davenport, W.M. Farmer, F. Rabe, J. Urban
Place of PublicationBerlin
ISBN (Print)978-3-642-22672-4
Publication statusPublished - 2011

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Dive into the research topics of 'Learning2Reason'. Together they form a unique fingerprint.

Cite this