Edit distance Kernelization of NP theorem proving for polynomial-time machine learning of proof heuristics

Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 and Kammueller, Florian (2020) Edit distance Kernelization of NP theorem proving for polynomial-time machine learning of proof heuristics. In: FICC 2019: Future of Information and Communications Conference, 14-15 Mar 2019, San Francisco, USA. (doi:10.1007/978-3-030-12385-7_22)

[img] PDF - Final accepted version (with author's formatting)
Restricted to Repository staff and depositor only until 2 February 2020.

Download (261kB)


We outline a general strategy for the application of edit- distance based kernels to NP Theorem Proving in order to allow for polynomial-time machine learning of proof heuristics without the loss of sequential structural information associated with conventional feature- based machine learning. We provide a general short introduction to logic and proof considering a few important complexity results to set the scene and highlight the relevance of our findings.

Item Type: Conference or Workshop Item (Paper)
Additional Information: Paper published as: Windridge D., Kammüller F. (2020) Edit Distance Kernelization of NP Theorem Proving For Polynomial-Time Machine Learning of Proof Heuristics. In: Arai K., Bhatia R. (eds) Advances in Information and Communication. FICC 2019. Lecture Notes in Networks and Systems, vol 70. Springer, Cham
Research Areas: A. > School of Science and Technology > Computer Science
Item ID: 25283
Notes on copyright: This is a post-peer-review, pre-copyedit version of an article published in Advances in Information and Communication Networks: Proceedings of the 2019 Future of Information and Communication Conference (FICC), Volume 2. The final authenticated version is available online at: http://dx.doi.org/10.1007/978-3-030-12385-7_22
Useful Links:
Depositing User: Florian Kammueller
Date Deposited: 03 Oct 2018 15:49
Last Modified: 01 May 2019 15:06
ISBN: 9783030123840
URI: https://eprints.mdx.ac.uk/id/eprint/25283

Actions (login required)

Edit Item Edit Item

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year