Sebastian Bader
Sebastian Bader
Computer Science, University of Rostock, Germany
Verified email at - Homepage
Cited by
Cited by
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
Dimensions of neural-symbolic integration-a structured survey
S Bader, P Hitzler
arXiv preprint cs/0511042, 2005
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
Computing First-Order Logic Programs by Fibring Artificial Neural Networks.
S Bader, ASA Garcez, P Hitzler
FLAIRS Conference, 314-319, 2005
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
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
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
Neuro-symbolic word tagging
NC Marques, S Bader, V Rocio, S Hölldobler
New Trends in Artificial Intelligence, APPIA-Associaçao Portuguesa para a …, 2007
Structuring reference architectures for the industrial internet of things
SR Bader, M Maleshkova, S Lohmann
Future Internet 11 (7), 151, 2019
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
Extracting propositional rules from feed-forward neural networks-a new decompositional approach
S Bader, S Hölldobler, V Mayer-Eichberger
NeSy, 2007
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
The system can't perform the operation now. Try again later.
Articles 1–20