Discovery - University of Dundee - Online Publications

Library & Learning Centre

Neural networks for proof-pattern recognition

Standard

Neural networks for proof-pattern recognition. / Komendantskaya, Ekaterina; Lichota, Kacper.

Artificial Neural Networks and Machine Learning : ICANN 2012. ed. / Alessandro E. P. Villa; Wlodzislaw Duch; Peter Erdi; Francesco Masulli; Gunther Palm. Vol. 7553 Heidelberg : Springer, 2012. p. 427-434 (Lecture Notes in Computer Science; Vol. 7553).

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

Harvard

Komendantskaya, E & Lichota, K 2012, 'Neural networks for proof-pattern recognition'. in AEP Villa, W Duch, P Erdi, F Masulli & G Palm (eds), Artificial Neural Networks and Machine Learning : ICANN 2012. vol. 7553 , Lecture Notes in Computer Science, vol. 7553, Springer, Heidelberg, pp. 427-434, 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, 11-14 September., 10.1007/978-3-642-33266-1_53

APA

Komendantskaya, E., & Lichota, K. (2012). Neural networks for proof-pattern recognition. In A. E. P. Villa, W. Duch, P. Erdi, F. Masulli, & G. Palm (Eds.), Artificial Neural Networks and Machine Learning : ICANN 2012. (Vol. 7553 , pp. 427-434). (Lecture Notes in Computer Science; Vol. 7553). Heidelberg: Springer. 10.1007/978-3-642-33266-1_53

Vancouver

Komendantskaya E, Lichota K. Neural networks for proof-pattern recognition. In Villa AEP, Duch W, Erdi P, Masulli F, Palm G, editors, Artificial Neural Networks and Machine Learning : ICANN 2012. Vol. 7553 . Heidelberg: Springer. 2012. p. 427-434. (Lecture Notes in Computer Science). Available from: 10.1007/978-3-642-33266-1_53

Author

Komendantskaya, Ekaterina; Lichota, Kacper / Neural networks for proof-pattern recognition.

Artificial Neural Networks and Machine Learning : ICANN 2012. ed. / Alessandro E. P. Villa; Wlodzislaw Duch; Peter Erdi; Francesco Masulli; Gunther Palm. Vol. 7553 Heidelberg : Springer, 2012. p. 427-434 (Lecture Notes in Computer Science; Vol. 7553).

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

Bibtex - Download

@inbook{2cafaa88f71045a887d93031834d7471,
title = "Neural networks for proof-pattern recognition",
publisher = "Springer",
author = "Ekaterina Komendantskaya and Kacper Lichota",
year = "2012",
doi = "10.1007/978-3-642-33266-1_53",
editor = "Villa, {Alessandro E. P.} and Wlodzislaw Duch and Peter Erdi and Francesco Masulli and Gunther Palm",
volume = "7553",
isbn = "9783642332654",
series = "Lecture Notes in Computer Science",
pages = "427-434",
booktitle = "Artificial Neural Networks and Machine Learning",

}

RIS (suitable for import to EndNote) - Download

TY - CHAP

T1 - Neural networks for proof-pattern recognition

A1 - Komendantskaya,Ekaterina

A1 - Lichota,Kacper

AU - Komendantskaya,Ekaterina

AU - Lichota,Kacper

PB - Springer

CY - Heidelberg

PY - 2012

Y1 - 2012

N2 - We propose a new method of feature extraction that allows to apply pattern-recognition abilities of neural networks to data-mine automated proofs. We propose a new algorithm to represent proofs for first-order logic programs as feature vectors; and present its implementation. We test the method on a number of problems and implementation scenarios, using three-layer neural nets with backpropagation learning. © 2012 Springer-Verlag.

AB - We propose a new method of feature extraction that allows to apply pattern-recognition abilities of neural networks to data-mine automated proofs. We propose a new algorithm to represent proofs for first-order logic programs as feature vectors; and present its implementation. We test the method on a number of problems and implementation scenarios, using three-layer neural nets with backpropagation learning. © 2012 Springer-Verlag.

UR - http://www.scopus.com/inward/record.url?scp=84867678467&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-33266-1_53

DO - 10.1007/978-3-642-33266-1_53

M1 - Other chapter contribution

SN - 9783642332654

VL - 7553

BT - Artificial Neural Networks and Machine Learning

T2 - Artificial Neural Networks and Machine Learning

A2 - Palm,Gunther

ED - Palm,Gunther

T3 - Lecture Notes in Computer Science

T3 - en_GB

SP - 427

EP - 434

ER -

Documents

Library & Learning Centre

Contact | Accessibility | Policy