Sebastian Bader
Sebastian Bader
Computer Science, University of Rostock, Germany
Verified email at uni-rostock.de - Homepage
Title
Cited by
Cited by
Year
Dimensions of neural-symbolic integration-a structured survey
S Bader, P Hitzler
arXiv preprint cs/0511042, 2005
842005
Connectionist model generation: A first-order approach
S Bader, P Hitzler, S Hölldobler
Neurocomputing 71 (13-15), 2420-2432, 2008
522008
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
502017
A Fully Connectionist Model Generator for Covered First-Order Logic Programs.
S Bader, P Hitzler, S Hölldobler, A Witzel
IJCAI, 666-671, 2007
362007
Extracting reduced logic programs from artificial neural networks
J Lehmann, S Bader, P Hitzler
Applied intelligence 32 (3), 249-266, 2010
242010
Logic programs, iterated function systems, and recurrent radial basis function networks
S Bader, P Hitzler
Journal of Applied Logic 2 (3), 273-300, 2004
232004
Tracking Assembly Processes and Providing Assistance in Smart Factories.
S Bader, M Aehnelt
ICAART (1), 161-168, 2014
222014
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
222004
Providing and Adapting Information Assistance for Smart Assembly Stations
M Aehnelt, S Bader
Proceedings of SAI Intelligent Systems Conference, 540-562, 2016
192016
The core method: Connectionist model generation
S Bader, S Hölldobler
International Conference on Artificial Neural Networks, 1-13, 2006
182006
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
182005
Computing First-Order Logic Programs by Fibring Artificial Neural Networks.
S Bader, ASA Garcez, P Hitzler
FLAIRS Conference, 314-319, 2005
162005
Neuro-symbolic word tagging
NC Marques, S Bader, V Rocio, S Hölldobler
Workshop on Text Mining and Applications, Portuguese Conf. on Artificial …, 2007
152007
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
132010
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
132005
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
122017
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
112013
Goalaviour-based control of heterogeneous and distributed smart environments
S Bader, M Dyrba
2011 Seventh International Conference on Intelligent Environments, 142-148, 2011
112011
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
102016
Synthesising generative probabilistic models for high-level activity recognition
C Burghardt, M Wurdel, S Bader, G Ruscher, T Kirste
Activity Recognition in Pervasive Intelligent Environments, 209-236, 2011
102011
The system can't perform the operation now. Try again later.
Articles 1–20