Neuro-symbolic Representation of Logic Programs Defining Infinite Sets

Ekaterina Komendantskaya; Krysia Broda; Artur d'Avila Garcez

doi:10.1007/978-3-642-15819-3_39

Neuro-symbolic Representation of Logic Programs Defining Infinite Sets

Ekaterina Komendantskaya, Krysia Broda, Artur d'Avila Garcez

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

2 Citations (Scopus)

Abstract

It has been one of the great challenges of neuro-symbolic integration to represent recursive logic programs using neural networks of finite size. In this paper, we propose to implement neural networks that can process recursive programs viewed as inductive definitions.

Original language	English
Title of host publication	Artificial Neural Networks - ICANN 2010
Subtitle of host publication	20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part I
Editors	Konstantinos Diamantaras, Wlodek Duch, Lazaros S. Iliadis
Publisher	Springer
Pages	301-304
Number of pages	4
ISBN (Electronic)	9783642158193
ISBN (Print)	9783642158186
DOIs	https://doi.org/10.1007/978-3-642-15819-3_39
Publication status	Published - 2010
Event	20th International Conference on Artificial Neural Networks - Thessaloniki, Greece Duration: 15 Sept 2010 → 18 Sept 2010

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin Heidelberg
Volume	6352
ISSN (Print)	0302-9743

Conference

Conference	20th International Conference on Artificial Neural Networks
Abbreviated title	ICANN 2010
Country/Territory	Greece
City	Thessaloniki
Period	15/09/10 → 18/09/10

Access to Document

10.1007/978-3-642-15819-3_39

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

Cite this

Komendantskaya, E., Broda, K., & Garcez, A. DA. (2010). Neuro-symbolic Representation of Logic Programs Defining Infinite Sets. In K. Diamantaras, W. Duch, & L. S. Iliadis (Eds.), Artificial Neural Networks - ICANN 2010: 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part I (pp. 301-304). (Lecture Notes in Computer Science; Vol. 6352). Springer. https://doi.org/10.1007/978-3-642-15819-3_39

Komendantskaya, Ekaterina ; Broda, Krysia ; Garcez, Artur d'Avila. / Neuro-symbolic Representation of Logic Programs Defining Infinite Sets. Artificial Neural Networks - ICANN 2010: 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part I. editor / Konstantinos Diamantaras ; Wlodek Duch ; Lazaros S. Iliadis. Springer, 2010. pp. 301-304 (Lecture Notes in Computer Science).

@inbook{ea3523b31f1d4333a509c350069a9327,

title = "Neuro-symbolic Representation of Logic Programs Defining Infinite Sets",

abstract = "It has been one of the great challenges of neuro-symbolic integration to represent recursive logic programs using neural networks of finite size. In this paper, we propose to implement neural networks that can process recursive programs viewed as inductive definitions.",

author = "Ekaterina Komendantskaya and Krysia Broda and Garcez, {Artur d'Avila}",

year = "2010",

doi = "10.1007/978-3-642-15819-3_39",

language = "English",

isbn = "9783642158186",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "301--304",

editor = "Konstantinos Diamantaras and Wlodek Duch and Iliadis, {Lazaros S.}",

booktitle = "Artificial Neural Networks - ICANN 2010",

note = "20th International Conference on Artificial Neural Networks, ICANN 2010 ; Conference date: 15-09-2010 Through 18-09-2010",

}

Komendantskaya, E, Broda, K & Garcez, ADA 2010, Neuro-symbolic Representation of Logic Programs Defining Infinite Sets. in K Diamantaras, W Duch & LS Iliadis (eds), Artificial Neural Networks - ICANN 2010: 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part I. Lecture Notes in Computer Science, vol. 6352, Springer, pp. 301-304, 20th International Conference on Artificial Neural Networks, Thessaloniki, Greece, 15/09/10. https://doi.org/10.1007/978-3-642-15819-3_39

Neuro-symbolic Representation of Logic Programs Defining Infinite Sets. / Komendantskaya, Ekaterina; Broda, Krysia; Garcez, Artur d'Avila.
Artificial Neural Networks - ICANN 2010: 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part I. ed. / Konstantinos Diamantaras; Wlodek Duch; Lazaros S. Iliadis. Springer, 2010. p. 301-304 (Lecture Notes in Computer Science; Vol. 6352).

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

TY - CHAP

T1 - Neuro-symbolic Representation of Logic Programs Defining Infinite Sets

AU - Komendantskaya, Ekaterina

AU - Broda, Krysia

AU - Garcez, Artur d'Avila

PY - 2010

Y1 - 2010

N2 - It has been one of the great challenges of neuro-symbolic integration to represent recursive logic programs using neural networks of finite size. In this paper, we propose to implement neural networks that can process recursive programs viewed as inductive definitions.

AB - It has been one of the great challenges of neuro-symbolic integration to represent recursive logic programs using neural networks of finite size. In this paper, we propose to implement neural networks that can process recursive programs viewed as inductive definitions.

U2 - 10.1007/978-3-642-15819-3_39

DO - 10.1007/978-3-642-15819-3_39

M3 - Chapter

SN - 9783642158186

T3 - Lecture Notes in Computer Science

SP - 301

EP - 304

BT - Artificial Neural Networks - ICANN 2010

A2 - Diamantaras, Konstantinos

A2 - Duch, Wlodek

A2 - Iliadis, Lazaros S.

PB - Springer

T2 - 20th International Conference on Artificial Neural Networks

Y2 - 15 September 2010 through 18 September 2010

ER -

Komendantskaya E, Broda K, Garcez ADA. Neuro-symbolic Representation of Logic Programs Defining Infinite Sets. In Diamantaras K, Duch W, Iliadis LS, editors, Artificial Neural Networks - ICANN 2010: 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part I. Springer. 2010. p. 301-304. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-15819-3_39

Neuro-symbolic Representation of Logic Programs Defining Infinite Sets

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this