Automatic Learning of Proof Methods in Proof Planning期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

Automatic Learning of Proof Methods in Proof Planning

Authors:	Jamnik, Mateja Kerber, Manfred Pollet, Martin Benzmuller, Christoph

Affiliation:	¹ University of Cambridge Computer Laboratory, J.J. Thomson Avenue, Cambridge CB3 0FD, England, UK. E-mail: Mateja.Jamnik{at}cl.cam.ac.uk ² School of Computer Science, The University of Birmingham, Birmingham B15 2TT, England, UK. URL: http://www.cs.bham.ac.uk/mmk ³ Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany. E-mail: pollet{at}ags.uni-sb.de ⁴ Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany. E-mail: chris{at}ags.uni-sb.de

Abstract:

Keywords:	automated reasoning theorem proving proof planning knowledge acquisition machine learning
本文献已被 Oxford 等数据库收录！