Searching for authors named "Sebastian Bader" – sorted by Relevance.
-
Logic Programs, Iterated Function Systems, and Recurrent Radial Basis Function Networks
- Logic Programs, Iterated Function Systems, and Recurrent Radial Basis Function Networks Sebastian
- Cited by 13 (10 self) – Add To MetaCart
-
Dimensions of Neural-symbolic Integration - A Structured Survey
- Dimensions of Neural-symbolic Integration — A Structured Survey Sebastian Bader 1 and Pascal
- Cited by 12 (4 self) – Add To MetaCart
-
Extracting Reduced Logic Programs from Artificial Neural Networks
- Extracting Reduced Logic Programs from Artificial Neural Networks Jens Lehmann 1 , Sebastian Bader
- Cited by 1 (1 self) – Add To MetaCart
-
Ontology Learning as a Use-Case for Neural-Symbolic Integration
- ∗ , Sebastian Bader 2† , Artur Garcez 3 1 AIFB, University of Karlsruhe, Germany 2 International Center
- Cited by 1 (1 self) – Add To MetaCart
-
A fully connectionist model generator for covered first-order logic programs
- A Fully Connectionist Model Generator for Covered First-Order Logic Programs Sebastian Bader
- Cited by 7 (3 self) – Add To MetaCart
-
The integration of connectionism and first-order knowledge representation and reasoning as a challenge for artificial intelligence
- Challenge for Artificial Intelligence Sebastian Bader 1 , Pascal Hitzler 2 , Steffen Hölldobler 1 1
- Cited by 8 (6 self) – Add To MetaCart
-
Integrating First-Order Logic Programs and Connectionist Systems - A Constructive Approach
- Sebastian Bader 1∗ , Pascal Hitzler 2† , Andreas Witzel 3 1 International Center for Computational Logic
- Cited by 8 (5 self) – Add To MetaCart
-
Extracting Propositional Rules from Feed-forward Neural Networks — A New Decompositional Approach
- Sebastian Bader and Steffen Hölldobler and Valentin Mayer-Eichberger International Center for Computational
- Add To MetaCart
-
Guiding Backprop by Inserting Rules
- Guiding Backprop by Inserting Rules Sebastian Bader 1 and Steffen Hölldobler 2 and Nuno C. Marques
- Add To MetaCart
-
The Core Method: Connectionist model generation
- 9 The Core Method: Connectionist Model Generation for First-Order Logic Programs Sebastian Bader
- Cited by 2 (2 self) – Add To MetaCart

