Learning2Reason

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Samenvatting

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
UitgeverijSpringer
Pagina's298-300
ISBN van geprinte versie978-3-642-22672-4
DOI's
StatusGepubliceerd - 2011

Publicatie series

NaamLecture Notes in Computer Science
Volume6824
ISSN van geprinte versie0302-9743

Vingerafdruk

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

Citeer dit