Neuro-symbolic representation of logic programs defining infinite sets

Authors:
Ekaterina Komendantskaya;Krysia Broda;Artur d'Avila Garcez
Affiliations:
School of Computing, University of Dundee, UK;Department of Computing, Imperial College, London, UK;Department of Computing, City University London, UK
Venue:
ICANN'10 Proceedings of the 20th international conference on Artificial neural networks: Part I
Year:
2010

Citing 7
Cited 1

Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
Logic programming, functional programming, and inductive definitions

Proceedings of the international workshop on Extensions of logic programming
Neural-Symbolic Learning System: Foundations and Applications

Neural-Symbolic Learning System: Foundations and Applications
Kernels and Distances for Structured Data

Machine Learning
Connectionist model generation: A first-order approach

Neurocomputing
Neural-Symbolic Cognitive Reasoning

Neural-Symbolic Cognitive Reasoning
Hybrid Markov logic networks

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2

Neural networks for proof-pattern recognition

ICANN'12 Proceedings of the 22nd international conference on Artificial Neural Networks and Machine Learning - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

It has been one of the great challenges of neurosymbolic 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.