Neuro-symbolic Representation of Logic Programs Defining Infinite Sets

Ekaterina Komendantskaya, Krysia Broda, Artur d'Avila Garcez

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (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 languageEnglish
Title of host publicationArtificial Neural Networks - ICANN 2010
Subtitle of host publication20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part I
EditorsKonstantinos Diamantaras, Wlodek Duch, Lazaros S. Iliadis
PublisherSpringer
Pages301-304
Number of pages4
ISBN (Electronic)9783642158193
ISBN (Print)9783642158186
DOIs
Publication statusPublished - 2010
Event20th International Conference on Artificial Neural Networks - Thessaloniki, Greece
Duration: 15 Sep 201018 Sep 2010

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
Volume6352
ISSN (Print)0302-9743

Conference

Conference20th International Conference on Artificial Neural Networks
Abbreviated titleICANN 2010
CountryGreece
CityThessaloniki
Period15/09/1018/09/10

Fingerprint Dive into the research topics of 'Neuro-symbolic Representation of Logic Programs Defining Infinite Sets'. Together they form a unique fingerprint.

Cite this