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

^*Corresponding author for this work

School of Computer Science

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

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	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages	301-304
Number of pages	4
Volume	6352 LNCS
Edition	PART 1
DOIs	https://doi.org/10.1007/978-3-642-15819-3_39
Publication status	Published - 2010
Event	20th International Conference on Artificial Neural Networks, ICANN 2010 - Thessaloniki, Greece Duration: 15 Sept 2010 → 18 Sept 2010

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Number	PART 1
Volume	6352 LNCS
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Conference

Conference	20th International Conference on Artificial Neural Networks, 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

Cite this

Komendantskaya, E., Broda, K., & Garcez, A. D. A. (2010). Neuro-symbolic representation of logic programs defining infinite sets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (PART 1 ed., Vol. 6352 LNCS, pp. 301-304). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6352 LNCS, No. PART 1). 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. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6352 LNCS PART 1. ed. 2010. pp. 301-304 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); PART 1).

@inproceedings{19e5570cc3804d0aa392f66f91aeaf2b,

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 = "3642158188",

volume = "6352 LNCS",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

number = "PART 1",

pages = "301--304",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

edition = "PART 1",

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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PART 1 edn, vol. 6352 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), no. PART 1, vol. 6352 LNCS, pp. 301-304, 20th International Conference on Artificial Neural Networks, ICANN 2010, 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.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6352 LNCS PART 1. ed. 2010. p. 301-304 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6352 LNCS, No. PART 1).

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

TY - GEN

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.

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

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

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

M3 - Conference contribution

AN - SCOPUS:78049355710

SN - 3642158188

SN - 9783642158186

VL - 6352 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 301

EP - 304

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

T2 - 20th International Conference on Artificial Neural Networks, ICANN 2010

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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PART 1 ed. Vol. 6352 LNCS. 2010. p. 301-304. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); PART 1). 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

Other files and links

Fingerprint

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

Cite this

Neuro-symbolic representation of logic programs defining infinite sets

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Projects

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

Cite this