| 2007 |
|---|
| 10 | EE | Sebastian Bader,
Pascal Hitzler,
Steffen Hölldobler,
Andreas Witzel:
A Fully Connectionist Model Generator for Covered First-Order Logic Programs.
IJCAI 2007: 666-671 |
| 9 | EE | Sebastian Bader,
Steffen Hölldobler,
Valentin Mayer-Eichberger:
Extracting Propositional Rules from Feed-forward Neural Networks - A New Decompositional Approach.
NeSy 2007 |
| 8 | EE | Sebastian Bader,
Pascal Hitzler,
Steffen Hölldobler,
Andreas Witzel:
The Core Method: Connectionist Model Generation for First-Order Logic Programs.
Perspectives of Neural-Symbolic Integration 2007: 205-232 |
| 2006 |
|---|
| 7 | EE | Sebastian Bader,
Steffen Hölldobler:
The Core Method: Connectionist Model Generation.
ICANN (2) 2006: 1-13 |
| 2005 |
|---|
| 6 | | Sebastian Bader,
Artur S. d'Avila Garcez,
Pascal Hitzler:
Computing First-Order Logic Programs by Fibring Artificial Neural Networks.
FLAIRS Conference 2005: 314-319 |
| 5 | | Sebastian Bader,
Pascal Hitzler:
Dimensions of Neural-symbolic Integration - A Structured Survey.
We Will Show Them! (1) 2005: 167-194 |
| 4 | EE | Sebastian Bader,
Pascal Hitzler:
Dimensions of Neural-symbolic Integration - A Structured Survey
CoRR abs/cs/0511042: (2005) |
| 2004 |
|---|
| 3 | EE | Sebastian Bader,
Steffen Hölldobler,
Alexandre Scalzitti:
Semiring Artificial Neural Networks and Weighted Automata. And an Application to Digital Image Encoding.
KI 2004: 281-294 |
| 2 | EE | Sebastian Bader,
Pascal Hitzler,
Steffen Hölldobler:
The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence
CoRR cs.AI/0408069: (2004) |
| 1 | EE | Sebastian Bader,
Pascal Hitzler:
Logic programs, iterated function systems, and recurrent radial basis function networks.
J. Applied Logic 2(3): 273-300 (2004) |
