Sebastian Bader
Sebastian Bader
Computer Science, University of Rostock, Germany
Verified email at - Homepage
Cited by
Cited by
Dimensions of neural-symbolic integration-a structured survey
S Bader, P Hitzler
arXiv preprint cs/0511042, 2005
Neural-symbolic learning and reasoning: A survey and interpretation
TR Besold, AA Garcez, S Bader, H Bowman, P Domingos, P Hitzler, ...
arXiv preprint arXiv:1711.03902, 2017
Connectionist model generation: A first-order approach
S Bader, P Hitzler, S Hölldobler
Neurocomputing 71 (13-15), 2420-2432, 2008
A Fully Connectionist Model Generator for Covered First-Order Logic Programs.
S Bader, P Hitzler, S Hölldobler, A Witzel
IJCAI, 666-671, 2007
Tracking Assembly Processes and Providing Assistance in Smart Factories.
S Bader, M Aehnelt
ICAART (1), 161-168, 2014
Logic programs, iterated function systems, and recurrent radial basis function networks
S Bader, P Hitzler
Journal of Applied Logic 2 (3), 273-300, 2004
Extracting reduced logic programs from artificial neural networks
J Lehmann, S Bader, P Hitzler
Applied intelligence 32 (3), 249-266, 2010
Information Assistance for Smart Assembly Stations.
M Aehnelt, S Bader
ICAART (2), 143-150, 2015
The integration of connectionism and first-order knowledge representation and reasoning as a challenge for artificial intelligence
S Bader, P Hitzler, S Hölldobler
arXiv preprint cs/0408069, 2004
Integrating first-order logic programs and connectionist systems-a constructive approach
S Bader, A Witzel, P Hitzler
Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, 2005
The core method: Connectionist model generation
S Bader, S Hölldobler
International Conference on Artificial Neural Networks, 1-13, 2006
Computing First-Order Logic Programs by Fibring Artificial Neural Networks.
S Bader, ASA Garcez, P Hitzler
FLAIRS Conference, 314-319, 2005
Neuro-symbolic word tagging
NC Marques, S Bader, V Rocio, S Hölldobler
Workshop on Text Mining and Applications, Portuguese Conf. on Artificial …, 2007
Multidimensional assessment of challenging behaviors in advanced stages of dementia in nursing homes—The insideDEM framework
S Teipel, C Heine, A Hein, F Krüger, A Kutschke, S Kernebeck, M Halek, ...
Alzheimer's & Dementia: Diagnosis, Assessment & Disease Monitoring 8, 36-44, 2017
Ontology learning as a use-case for neural-symbolic integration
P Hitzler, S Bader, A Garcez
Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, 2005
A middleware for rapid prototyping smart environments: experiences in research and teaching
S Bader, G Ruscher, T Kirste
Proceedings of the 12th ACM international conference adjunct papers on …, 2010
Tool support for the online annotation of sensor data
M Schröder, K Yordanova, S Bader, T Kirste
Proceedings of the 3rd International Workshop on Sensor-based Activity …, 2016
Situation aware interaction with multi-modal business applications in smart environments
M Aehnelt, S Bader, G Ruscher, F Krüger, B Urban, T Kirste
International Conference on Human Interface and the Management of …, 2013
Goalaviour-based control of heterogeneous and distributed smart environments
S Bader, M Dyrba
2011 Seventh International Conference on Intelligent Environments, 142-148, 2011
Extracting Propositional Rules from Feed-forward Neural Networks-A New Decompositional Approach.
S Bader, S Hölldobler, V Mayer-Eichberger
NeSy, 2007
The system can't perform the operation now. Try again later.
Articles 1–20