Logic programs, iterated function systems, and recurrent radial basis function networks

DOI10.1016/j.jal.2004.03.003zbMath1072.68086MaRDI QIDQ1884270

Pascal Hitzler, Sebastian Bader

Publication date: 28 October 2004

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://corescholar.libraries.wright.edu/cse/100

zbMATH Keywords

Recurrent neural network; Radial basis function network; Iterated function system; Logic program; Neural-symbolic integration

Mathematics Subject Classification ID

68T05: Learning and adaptive systems in artificial intelligence

68N17: Logic programming

Related Items

Logic programs and connectionist networks

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Acyclic logic programs and the completeness of SLDNF-resolution
• Reasoning about termination of pure Prolog programs
• Knowledge-based artificial neural networks
• Generalized metrics and uniquely determined logic programs.
• Logic programs and connectionist networks
• Inductive Logic Programming: Theory and methods
• Metric Methods Three Examples and a Theorem
• A uniform approach to logic programming semantics
• Ultrametric spaces and logic programming
• The query topology in logic programming
• A logical calculus of the ideas immanent in nervous activity
• KI 2003: Advances in Artificial Intelligence
• Symbolic knowledge extraction from trained neural networks: A sound approach