Article thumbnail

Learning2Reason

By D Kühlwein, J Urban, E Tsivtsivadze, JH Herman Geuvers and T Heskes

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

Publisher: 'Springer Fachmedien Wiesbaden GmbH'
Year: 2011
OAI identifier: oai:library.tue.nl:731935
Provided by: Repository TU/e
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://repository.tue.nl/73193... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.