Learning2Reason

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

doi:10.1007/978-3-642-22673-1_27

Learning2Reason

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

Formal System Analysis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-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 language	English
Title of host publication	Intelligent Computer Mathematics (18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings)
Editors	J.H. Davenport, W.M. Farmer, F. Rabe, J. Urban
Place of Publication	Berlin
Publisher	Springer
Pages	298-300
ISBN (Print)	978-3-642-22672-4
DOIs	https://doi.org/10.1007/978-3-642-22673-1_27
Publication status	Published - 2011

Publication series

Name	Lecture Notes in Computer Science
Volume	6824
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-642-22673-1_27

Cite this

Kühlwein, D., Urban, J., Tsivtsivadze, E., Geuvers, J. H., & Heskes, T. (2011). Learning2Reason. In J. H. Davenport, W. M. Farmer, F. Rabe, & J. Urban (Eds.), 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; Vol. 6824). Springer. https://doi.org/10.1007/978-3-642-22673-1_27

@inproceedings{5eca6e0066ff4944add985eed1f6c0e8,

title = "Learning2Reason",

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.",

author = "D. K{\"u}hlwein and J. Urban and E. Tsivtsivadze and J.H. Geuvers and T. Heskes",

year = "2011",

doi = "10.1007/978-3-642-22673-1_27",

language = "English",

isbn = "978-3-642-22672-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "298--300",

editor = "J.H. Davenport and W.M. Farmer and F. Rabe and J. Urban",

booktitle = "Intelligent Computer Mathematics (18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings)",

}

Kühlwein, D, Urban, J, Tsivtsivadze, E, Geuvers, JH & Heskes, T 2011, Learning2Reason. in JH Davenport, WM Farmer, F Rabe & J Urban (eds), 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, vol. 6824, Springer, Berlin, pp. 298-300. https://doi.org/10.1007/978-3-642-22673-1_27

Learning2Reason. / Kühlwein, D.; Urban, J.; Tsivtsivadze, E. et al.
Intelligent Computer Mathematics (18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings). ed. / J.H. Davenport; W.M. Farmer; F. Rabe; J. Urban. Berlin: Springer, 2011. p. 298-300 (Lecture Notes in Computer Science; Vol. 6824).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Learning2Reason

AU - Kühlwein, D.

AU - Urban, J.

AU - Tsivtsivadze, E.

AU - Geuvers, J.H.

AU - Heskes, T.

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-22673-1_27

DO - 10.1007/978-3-642-22673-1_27

M3 - Conference contribution

SN - 978-3-642-22672-4

T3 - Lecture Notes in Computer Science

SP - 298

EP - 300

BT - Intelligent Computer Mathematics (18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings)

A2 - Davenport, J.H.

A2 - Farmer, W.M.

A2 - Rabe, F.

A2 - Urban, J.

PB - Springer

CY - Berlin

ER -

Kühlwein D, Urban J, Tsivtsivadze E, Geuvers JH, Heskes T. Learning2Reason. In Davenport JH, Farmer WM, Rabe F, Urban J, editors, Intelligent Computer Mathematics (18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings). Berlin: Springer. 2011. p. 298-300. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-22673-1_27

Learning2Reason

Abstract

Publication series

Access to Document

Fingerprint

Cite this