Pascal Hitzler, Steffen Hölldobler, Anthony Karel Seda  Home/Search
Context Related
| wv.inf.tudresden.de/~pasca...hhs03.pdf 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: wv.inf.tudresden.de/~pasca...pub (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: One facet of the question of integration of Logic and Connectionist Systems, and how these can complement each other, concerns the points of contact, in terms of semantics, between neural networks and logic programs. In this paper, we show that certain semantic operators for propositional logic programs can be computed by feedforward connectionist networks, and that the same semantic operators for first-order normal logic programs can be approximated by feedforward connectionist networks. ... (Update)
Cited by: More
Integrating First-Order Logic Programs and Connectionist.. - Bader, Hitzler, Witzel (2005) (Correct)
Extracting Reduced Logic Programs from Artificial Neural.. - Lehmann, Bader, Hitzler (2005) (Correct)
The Integration of Connectionism and First-Order.. - Bader, Hitzler.. (2004) (Correct)
Similar documents (at the sentence level):
9.2%: Continuity of Semantic Operators in Logic Programming and.. - Hitzler, Seda (2003) (Correct)
Active bibliography (related documents): More All
1.2: Corollaries on the fixpoint completion: studying the stable.. - Hitzler (2004) (Correct)
0.9: Dimensions of Neural-symbolic Integration - A Structured Survey - Bader, Hitzler (Correct)
0.9: Logic Programs, Iterated Function Systems, and Recurrent.. - Bader, Hitzler (Correct)
Similar documents based on text: More All
0.4: A Note on the Relationships between Logic Programs and Neural.. - Hitzler, Seda (2000) (Correct)
0.3: Strictly Level-Decreasing Logic Programs - Seda, Hitzler (1998) (Correct)
0.3: On the Coincidence of Semantics for Uniquely Determined Programs - Hitzler, Seda (Correct)
Related documents from co-citation: More All
7: Symbolic knowledge extraction from trained neural networks: A sound approach - Garcez, Broda et al. - 2001
7: and recurrent radial basis function networks (context) - Bader, Hitzler et al.
7: Neural-Symbolic Learning Systems: Foundations and Applications (context) - Garcez, Broda et al. - 2002
BibTeX entry: (Update)
Pascal Hitzler, Ste#en Holldobler, and Anthony K. Seda. Logic programs and connectionist networks. Journal of Applied Logic, 2004. In this volume. http://citeseer.ist.psu.edu/hitzler04logic.html More
@misc{ hitzler04logic,
author = "P. Hitzler and S. en and H. Anthony and K. Seda",
title = "Logic programs and connectionist networks",
text = "Pascal Hitzler, Ste#en Holldobler, and Anthony K. Seda. Logic programs
and connectionist networks. Journal of Applied Logic, 2004. In this volume.",
year = "2004",
url = "citeseer.ist.psu.edu/hitzler04logic.html" }
Citations (may not include all citations):1056 Introduction to the Theory of Neural Computation (context) - Hertz, Krogh et al. - 1991
858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
759 Negation as failure (context) - Clark - 1978
623 Multilayer feedforward networks are universal approximators (context) - Hornik, Stinchcombe et al. - 1989
268 Parallel algorithms for sharedmemory machines (context) - Karp, Ramachandran - 1990
235 the approximate realization of continuous mappings by neural.. (context) - Funahashi - 1989
234 The well-founded semantics for general logic programs - van Gelder, Ross et al. - 1991
198 Connectionism and cognitive architecture: A critical analysi.. - Fodor, Pylyshyn - 1988
142 the proper treatment of connectionism (context) - Smolensky - 1988
133 Foundations of Logic Programming (context) - Lloyd - 1988
126 A survey and critique of techniques for extracting rules fro.. (context) - Andrews, Diederich et al. - 1995
116 Reasoning about termination of pure Prolog programs - Apt, Pedreschi - 1993
102 Principles of Neurodynamics: Perceptrons and the Theory of B.. (context) - Rosenblatt - 1962
97 Knowledge-based artificial neural networks - rey, Towell et al. - 1994
65 Physical symbol systems (context) - Newell - 1980
50 General Topology (context) - Willard - 1970
50 Metric methods: Three examples and a theorem - Fitting - 1994
46 Fixpoint semantics for logic programming --- A survey - Fitting - 2002
42 A Kripke-Kleene semantics for general logic programs (context) - Fitting - 1985
41 Characterizing termination of logic programs with level mapp.. (context) - Bezem - 1989
40 Holographic reduced representations - Plate - 1991
35 Recursive auto-associative memory: Devising compositional di.. (context) - Pollack - 1988
29 Topology and the semantics of logic programs - Seda - 1995
26 Linear-time algorithms for testing the satisfiability of pro.. (context) - Dowling, Gallier - 1984
24 Topological model set deformations in logic programming (context) - Batarekh, Subrahmanian - 1989
23 From associations to systematic reasoning: A connectionist r.. (context) - Shastri, Ajjanagadde - 1993
22 Domain theory (context) - Abramsky, Jung - 1994
21 Generalized Metrics and Topology in Logic Programming Semant.. (context) - Hitzler - 2001
19 Generalized metrics and uniquely determined logic programs - Hitzler, Seda - 2003
18 Symbolic knowledge extraction from trained neural networks: .. - Garcez, Broda et al. - 2001
18 NeuralSymbolic Learning Systems --- Foundations and Applicat.. (context) - Garcez, Broda et al. - 2002
13 Learning internal representations by error propagation (context) - Rumelhart, rey et al. - 1986
12 well-founded fixpoints and applications in non-monotonic rea.. (context) - Denecker, Marek et al. - 2000
10 A note on relationships between logic programs and neural ne.. - Hitzler, Seda - 2000
10 Approximating the semantics of logic programs by recurrent n.. (context) - en, Yvonne et al. - 1999
8 and recurrent radial basis function networks (context) - Bader, Hitzler et al. - 2003
8 The Elements of Integration (context) - Bartle - 1966
8 The connectionist inductive learning and logic programming s.. (context) - Garcez, Zaverucha - 1999
6 Technical Report AIDA (context) - en, inferencing et al. - 1993
6 Unfolding the well-founded semantics - Wendt - 2002
5 A recursive neural network for reflexive reasoning - en, Yvonne et al. - 2000
5 Towards a massively parallel computational model for logic p.. (context) - en, Yvonne - 1994
4 Complete problems for deterministic sequential time (context) - Jones, Laaser - 1977
4 Logical inference and inductive learning in artificial neura.. (context) - Garcez, Zaverucha et al. - 1997
3 Continuity of semantic operators in logic programming and th.. - Hitzler, Seda - 2003
3 Theoretical Computer Science (context) - Cavedon, the et al. - 1991
2 A note on Dowling and Gallier's top-down algorithm for propo.. (context) - Scutella - 1990
1 the Banach contraction mapping theorem (context) - Hitzler, Seda et al. - 2001
1 A connectionist inductive learning system for modal logic pr.. (context) - Garcez, Lamb et al. - 2002
1 Minsky and Seymour Papert (context) - Marvin - 1972
1 Modellgenerierung mit konnektionistischen Systemen (context) - McIntyre - 2000
1 Epistomological challenges for connectionism (context) - McCarthy - 1988
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.wv.inf.tu-dresden.de/~pascal/pub.html): More
A "Converse" of the Banach Contraction Mapping Theorem - Hitzler, Seda (Correct)
Semantic Operators and Fixed-Point Theory in Logic Programming - Hitzler, Seda (2001) (Correct)
Dislocated Topologies - Hitzler, Seda (2000) (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