Neural Networks for Proof-Pattern Recognition

Ekaterina Komendantskaya; Kacper Lichota

doi:10.1007/978-3-642-33266-1_53

Neural Networks for Proof-Pattern Recognition

Ekaterina Komendantskaya
, Kacper Lichota

School of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Original language	Undefined/Unknown
Title of host publication	Artificial Neural Networks and Machine Learning -- ICANN 2012: 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II
Editors	Alessandro E. P. Villa, Wlodzislaw Duch, Péter Érdi, Francesco Masulli, Günther Palm
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	427-434
Number of pages	8
ISBN (Print)	978-3-642-33266-1
DOIs	https://doi.org/10.1007/978-3-642-33266-1_53
Publication status	Published - 2012

Access to Document

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

http://dx.doi.org/10.1007/978-3-642-33266-1_53

Handle.net

Persistent link

Fellowship CLANN EP/F044046/1: Computational Logic in Artificial Neural Networks
Dyckhoff, R. (PI)
EPSRC
1/10/08 → 30/09/11
Project: Fellowship

Cite this

Komendantskaya, E., & Lichota, K. (2012). Neural Networks for Proof-Pattern Recognition. In A. E. P. Villa, W. Duch, P. Érdi, F. Masulli, & G. Palm (Eds.), Artificial Neural Networks and Machine Learning -- ICANN 2012: 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II (pp. 427-434). Springer. https://doi.org/10.1007/978-3-642-33266-1_53

Komendantskaya, Ekaterina ; Lichota, Kacper. / Neural Networks for Proof-Pattern Recognition. Artificial Neural Networks and Machine Learning -- ICANN 2012: 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II. editor / Alessandro E. P. Villa ; Wlodzislaw Duch ; Péter Érdi ; Francesco Masulli ; Günther Palm. Berlin, Heidelberg : Springer, 2012. pp. 427-434

@inbook{58fd6204a3824074ad0125f6a08f00b6,

title = "Neural Networks for Proof-Pattern Recognition",

author = "Ekaterina Komendantskaya and Kacper Lichota",

year = "2012",

doi = "10.1007/978-3-642-33266-1\_53",

language = "Undefined/Unknown",

isbn = "978-3-642-33266-1",

pages = "427--434",

editor = "Villa, \{Alessandro E. P.\} and Wlodzislaw Duch and P{\'e}ter {\'E}rdi and Francesco Masulli and G{\"u}nther Palm",

booktitle = "Artificial Neural Networks and Machine Learning -- ICANN 2012: 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II",

publisher = "Springer",

address = "Netherlands",

}

Komendantskaya, E & Lichota, K 2012, Neural Networks for Proof-Pattern Recognition. in AEP Villa, W Duch, P Érdi, F Masulli & G Palm (eds), Artificial Neural Networks and Machine Learning -- ICANN 2012: 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II. Springer, Berlin, Heidelberg, pp. 427-434. https://doi.org/10.1007/978-3-642-33266-1_53

Neural Networks for Proof-Pattern Recognition. / Komendantskaya, Ekaterina; Lichota, Kacper.
Artificial Neural Networks and Machine Learning -- ICANN 2012: 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II. ed. / Alessandro E. P. Villa; Wlodzislaw Duch; Péter Érdi; Francesco Masulli; Günther Palm. Berlin, Heidelberg: Springer, 2012. p. 427-434.

Research output: Chapter in Book/Report/Conference proceeding › Chapter

TY - CHAP

T1 - Neural Networks for Proof-Pattern Recognition

AU - Komendantskaya, Ekaterina

AU - Lichota, Kacper

PY - 2012

Y1 - 2012

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

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

M3 - Chapter

SN - 978-3-642-33266-1

SP - 427

EP - 434

BT - Artificial Neural Networks and Machine Learning -- ICANN 2012: 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II

A2 - Villa, Alessandro E. P.

A2 - Duch, Wlodzislaw

A2 - Érdi, Péter

A2 - Masulli, Francesco

A2 - Palm, Günther

PB - Springer

CY - Berlin, Heidelberg

ER -

Komendantskaya E, Lichota K. Neural Networks for Proof-Pattern Recognition. In Villa AEP, Duch W, Érdi P, Masulli F, Palm G, editors, Artificial Neural Networks and Machine Learning -- ICANN 2012: 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II. Berlin, Heidelberg: Springer. 2012. p. 427-434 doi: 10.1007/978-3-642-33266-1_53

Neural Networks for Proof-Pattern Recognition

Access to Document

Handle.net

Projects

Fellowship CLANN EP/F044046/1: Computational Logic in Artificial Neural Networks

Cite this