 | 2011 |
| 18 |  | Sebastian Bader,
René Leistikow:
Levels of Adaptation and Control.
DCAI 2011: 385-388 |
| 17 |  | Sebastian Bader,
Martin Dyrba:
Goalaviour-Based Control of Heterogeneous and Distributed Smart Environments.
Intelligent Environments 2011: 142-148 |
| 16 |  | Sebastian Bader:
Agentification of Objects in Heterogeneous Dynamic Environments.
MATES 2011: 157-164 |
| 15 |  | Frank Krüger,
Gernot Ruscher,
Sebastian Bader,
Thomas Kirste:
A Context-Aware Proactive Controller for Smart Environments.
i-com 10(1): 41-48 (2011) |
| 2010 |
| 14 |  | Sebastian Bader,
Torsten Schölzel,
Bengt Oelmann:
A Method for Dimensioning Micro-Scale Solar Energy Harvesting Systems Based on Energy Level Simulations.
EUC 2010: 372-379 |
| 13 |  | Sebastian Bader,
Gernot Ruscher,
Thomas Kirste:
A middleware for rapid prototyping smart environments: experiences in research and teaching.
UbiComp (Adjunct Papers) 2010: 355-356 |
| 12 |  | Sebastian Bader,
Thomas Kirste,
William G. Griswold,
Alke Martens:
PerEd 2010: the third workshop on pervasive computing education.
UbiComp (Adjunct Papers) 2010: 531-534 |
| 11 |  | Jens Lehmann,
Sebastian Bader,
Pascal Hitzler:
Extracting reduced logic programs from artificial neural networks.
Appl. Intell. 32(3): 249-266 (2010) |
| 2007 |
| 10 |  | 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 |  | Sebastian Bader,
Steffen Hölldobler,
Valentin Mayer-Eichberger:
Extracting Propositional Rules from Feed-forward Neural Networks - A New Decompositional Approach.
NeSy 2007 |
| 8 |  | 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 |  | 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 |  | Sebastian Bader,
Pascal Hitzler:
Dimensions of Neural-symbolic Integration - A Structured Survey
CoRR abs/cs/0511042: (2005) |
| 2004 |
| 3 |  | 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 |  | 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 |  | Sebastian Bader,
Pascal Hitzler:
Logic programs, iterated function systems, and recurrent radial basis function networks.
J. Applied Logic 2(3): 273-300 (2004) |