Logic programs, iterated function systems, and recurrent radial basis function networks
type: Item
instance of: scholarly article
title: Logic programs, iterated function systems, and recurrent radial basis function networks
zbMATH Open document ID: 1072.68086
author: Sebastian Bader
author: Pascal Hitzler
published in: Journal of Applied Logic
publication date: 2004-10-28T00:00:00Z
full work available at URL: https://corescholar.libraries.wright.edu/cse/100
Mathematics Subject Classification ID: 68T05
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 2111918
zbMATH Keywords: Neural-symbolic integration
zbMATH Keywords: Logic program
zbMATH Keywords: Iterated function system
zbMATH Keywords: Radial basis function network
zbMATH Keywords: Recurrent neural network
MaRDI profile type: Publication
OpenAlex ID: W1971389794
cites work: Reasoning about termination of pure Prolog programs
cites work: Q4040874
cites work: The query topology in logic programming
cites work: Q4204135
cites work: Q4702570
cites work: Acyclic logic programs and the completeness of SLDNF-resolution
cites work: Symbolic knowledge extraction from trained neural networks: A sound approach
cites work: Q4806970
cites work: Metric Methods Three Examples and a Theorem
cites work: KI 2003: Advances in Artificial Intelligence
cites work: Logic programs and connectionist networks
cites work: Generalized metrics and uniquely determined logic programs.
cites work: Q4412245
cites work: A uniform approach to logic programming semantics
cites work: Q3339245
cites work: Q3477931
cites work: Q4702577
cites work: A logical calculus of the ideas immanent in nervous activity
cites work: Inductive Logic Programming: Theory and methods
cites work: Q4012254
cites work: Ultrametric spaces and logic programming
cites work: Q4853319
cites work: Knowledge-based artificial neural networks
cites work: Q5605131
DOI: 10.1016/J.JAL.2004.03.003
description: scientific article; zbMATH DE number 2111918