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 › Conference contribution

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, Pt I
Editors	K Diamantaras, W Duch, LS Iliadis
Place of Publication	Berlin
Publisher	Springer
Pages	301-304
Number of pages	4
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 http://delab.csd.auth.gr/icann2010/index.html

Conference

Conference	20th International Conference on Artificial Neural Networks
Abbreviated title	20th ICANN 2010
Country/Territory	Greece
City	Thessaloniki
Period	15/09/10 → 18/09/10
Internet address	http://delab.csd.auth.gr/icann2010/index.html

Keywords

Neurosymbolic integration
Structured learning
Mathematical theory of neurocomputing
Logic programming

Access to Document

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

http://dl.acm.org/citation.cfm?id=1886395

Cite this

@inproceedings{4e4b667a37fa42ab8c2a5776c5e35f33,

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.",

keywords = "Neurosymbolic integration, Structured learning, Mathematical theory of neurocomputing, Logic programming",

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

pages = "301--304",

editor = "K Diamantaras and W Duch and LS Iliadis",

booktitle = "Artificial Neural Networks-Icann 2010, Pt I",

publisher = "Springer ",

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

url = "http://delab.csd.auth.gr/icann2010/index.html",

}

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, Pt I. Springer , Berlin, 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

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.

KW - Neurosymbolic integration

KW - Structured learning

KW - Mathematical theory of neurocomputing

KW - Logic programming

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

SN - 9783642158186

SP - 301

EP - 304

BT - Artificial Neural Networks-Icann 2010, Pt I

A2 - Diamantaras, K

A2 - Duch, W

A2 - Iliadis, LS

PB - Springer

CY - Berlin

T2 - 20th International Conference on Artificial Neural Networks

Y2 - 15 September 2010 through 18 September 2010

ER -

Neuro-symbolic representation of logic programs defining infinite sets

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this