Edit distance Kernelization of NP theorem proving for polynomial-time machine learning of proof heuristics
Conference paper
Windridge, D. and Kammueller, F. 2020. Edit distance Kernelization of NP theorem proving for polynomial-time machine learning of proof heuristics. FICC 2019: Future of Information and Communications Conference. San Francisco, USA 14 - 15 Mar 2019 Springer. pp. 271-283 https://doi.org/10.1007/978-3-030-12385-7_22
Type | Conference paper |
---|---|
Title | Edit distance Kernelization of NP theorem proving for polynomial-time machine learning of proof heuristics |
Authors | Windridge, D. and Kammueller, F. |
Abstract | 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. |
Conference | FICC 2019: Future of Information and Communications Conference |
Page range | 271-283 |
ISSN | 2367-3370 |
ISBN | |
Hardcover | 9783030123840 |
Publisher | Springer |
Publication dates | |
Online | 02 Feb 2019 |
2020 | |
Publication process dates | |
Deposited | 03 Oct 2018 |
Accepted | 28 Jul 2018 |
Output status | Published |
Accepted author manuscript | |
Copyright Statement | 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 |
Additional information | Paper published as: |
Digital Object Identifier (DOI) | https://doi.org/10.1007/978-3-030-12385-7_22 |
Language | English |
Book title | Advances in Information and Communication Networks: Proceedings of the 2019 Future of Information and Communication Conference (FICC), Volume 2 |
https://repository.mdx.ac.uk/item/87z07
Download files
85
total views13
total downloads0
views this month0
downloads this month