Steffen Hölldobler, Hans-Peter Störr  Home/Search
Context Related
Links: DBLP | pikas.inf.tudresden.de/steffe...s01.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: pikas.inf.tudresden.de/ste...pub (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In [8] we have shown how to construct a 3--layer recurrent neural network that computes the iteration of the meaning function TP of a given propositional logic program, what corresponds to the computation of the semantics of the program. In this article we define a notion of approximation for interpretations and prove that there exists a 3--layer feed forward neural network that approximates the calculation of TP for a given (first order) recurrent logic program with an injective level mapping... (Update)
Cited by: More
Integrating First-Order Logic Programs and Connectionist.. - Bader, Hitzler, Witzel (2005) (Correct)
Ontology Learning as a Use-Case for Neural-Symbolic.. - Hitzler, Bader, Garcez (2005) (Correct)
Similar documents (at the sentence level):
75.6%: Approximating the Semantics of Logic Programs by.. - Hölldobler, Störr.. (1999) (Correct)
43.1%: Recurrent Neural Networks to Approximate the Semantics.. - Hölldobler, Kalinke.. (Correct)
Active bibliography (related documents): More All
0.3: Using Connectionist Term Representations for First-Order.. - Kalinke (1997) (Correct)
0.2: An Incremental Learning Algorithm That Optimizes Network Size and.. - Zhang (1994) (Correct)
0.2: A Recursive Neural Network for Reflexive Reasoning - Hölldobler, Kalinke, Wunderlich (2000) (Correct)
Similar documents based on text: More All
0.6: Challenge problems for the integration of logic and.. - Hölldobler (1999) (Correct)
0.6: Towards a New Massively Parallel Computational Model for.. - Hölldobler, Kalinke (Correct)
Related documents from co-citation: More All
2: Towards a massively parallel computational model for logic programming (context) - en, olldobler et al. - 1994
2: and recurrent radial basis function networks (context) - Bader, Hitzler et al.
2: Neural-Symbolic Learning Systems: Foundations and Applications (context) - Garcez, Broda et al. - 2002
BibTeX entry: (Update)
Steffen H olldobler, Yvonne Kalinke, and Hans-Peter St orr. Approximating the semantics of logic programs by recurrent neural networks. Applied Intelligence, 11:45--58, 1999. http://citeseer.ist.psu.edu/olldobler99approximating.html More
@misc{ olldobler99approximating,
author = "S. olldobler and Y. Kalinke and H. orr",
title = "Approximating the semantics of logic programs by recurrent neural networks",
text = "Steffen H olldobler, Yvonne Kalinke, and Hans-Peter St orr. Approximating
the semantics of logic programs by recurrent neural networks. Applied Intelligence,
11:45--58, 1999.",
year = "1999",
url = "citeseer.ist.psu.edu/olldobler99approximating.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987 ACM
759 Negation as failure (context) - Clark - 1977 ACM DBLP
623 Multilayer feedforward networks are universal approximators (context) - Hornik, Stinchcombe et al. - 1989 ACM
156 SATCHMO: A Theorem Prover Implemented in Prolog (context) - Manthey, Bry - 1988 DBLP
144 Contributions to the Theory of Logic Programming (context) - Apt, Van Emden - 1982 ACM DBLP
142 the Proper Treatment of Connectionism (context) - Smolensky - 1988
50 Metric methods -- three examples and a theorem - Fitting - 1994
50 General Topology (context) - Willard - 1970
38 Scott: A model--guided theorem prover - Slaney - 1993
32 Distributed Representations and Nested Compositional Structu.. - Plate - 1994 ACM
24 Model Generation Theorem Provers on a Parallel Inference Mac.. (context) - Fujita, Hasegawa et al. - 1992 DBLP
20 Towards a massively parallel computational model for logic p.. (context) - Holldobler, Kalinke - 1994
20 International Computer Science Institute (context) - Sperduti, Technical - 1992
9 Logic programming and inductive learning in artificial neura.. (context) - Garcez, Zaverucha et al. - 1997
6 Generating Rational Models (context) - --E - 1996
4 Hove and London (context) - Johnson--Laird, Byrne et al. - 1991
4 the approximate realization of continuous mappingsby neural .. (context) - --I, On - 1989
Documents on the same site (http://pikas.inf.tu-dresden.de/steffen/pub.html): More
A Recursive Neural Network for Reflexive Reasoning - Hölldobler, Kalinke, Wunderlich (Correct)
Descriptions in the Fluent Calculus - Hölldobler (Correct)
Massively Parallel Reasoning - Bornscheuer, Hölldobler, Kalinke.. (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC