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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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.
Originele taal-2Engels
TitelIntelligent Computer Mathematics (18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings)
RedacteurenJ.H. Davenport, W.M. Farmer, F. Rabe, J. Urban
Plaats van productieBerlin
ISBN van geprinte versie978-3-642-22672-4
StatusGepubliceerd - 2011

Publicatie series

NaamLecture Notes in Computer Science
ISSN van geprinte versie0302-9743


Duik in de onderzoeksthema's van 'Learning2Reason'. Samen vormen ze een unieke vingerafdruk.

Citeer dit