Neuro-symbolic representation of logic programs defining infinite sets

Ekaterina Komendantskaya*, Krysia Broda, Artur D Avila Garcez

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages301-304
Number of pages4
Volume6352 LNCS
EditionPART 1
DOIs
Publication statusPublished - 2010
Event20th International Conference on Artificial Neural Networks, ICANN 2010 - Thessaloniki, Greece
Duration: 15 Sept 201018 Sept 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
NumberPART 1
Volume6352 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Conference

Conference20th International Conference on Artificial Neural Networks, ICANN 2010
Country/TerritoryGreece
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