Learning2Reason

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

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

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.
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
PublisherSpringer
Pages298-300
ISBN (Print)978-3-642-22672-4
DOIs
Publication statusPublished - 2011

Publication series

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

Fingerprint

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

Cite this