Learning2Reason

Authors :: Kühlwein, D.A.
Urban, J.
Tsivtsivadze, E.
Geuvers, H.
Heskes, T.
Davenport, J.
Farmer, W.
Rabe, F.
Davenport, J.
Farmer, W.
Urban, J.
Rabe, F.
Formal System Analysis
Source :: Davenport, J.; Farmer, W.; Urban, J. (ed.), Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings, pp. 298-300, Lecture Notes in Computer Science ISBN: 9783642226724, Intelligent Computer Mathematics (18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings), 298-300, STARTPAGE=298;ENDPAGE=300;TITLE=Intelligent Computer Mathematics (18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings), Lecture notes in computer science ; 6824, 298-300. Berlin : Springer, STARTPAGE=298;ENDPAGE=300;TITLE=Lecture notes in computer science ; 6824
Publication Year :: 2011
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.

Language :: English
ISBN :: 978-3-642-22672-4
ISSN :: 03029743
ISBNs :: 9783642226724
Database :: OpenAIRE
Journal :: Intelligent Computer Mathematics (18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings)
Accession number :: edsair.doi.dedup.....3f47d99aee657fe2f10f057809fff90d

Tools