default search action
Sebastian Bader 0001
Person information
- affiliation: University of Rostock, Department of Computer Science, Germany
- affiliation: TU Dresden, International Center for Computational Logic, Germany
Other persons with the same name
- Sebastian Bader 0002
— Mid Sweden University, Department of Electronics Design, Sundsvall, Sweden
- Sebastian Bader 0003 — University of Ulm, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2009
- [b1]Sebastian Bader:
Neural-symbolic integration. Dresden University of Technology, 2009, pp. 1-184
Journal Articles
- 2023
- [j8]Thomas Platz
Analysis of the therapeutic interaction provided by a humanoid robot serving stroke survivors as a therapeutic assistant for arm rehabilitation. Frontiers Robotics AI 10 (2023) - 2022
- [j7]Timon Felske
Automatic Generation of Personalised and Context-Dependent Textual Interventions During Neuro-rehabilitation. Künstliche Intell. 36(2): 189-193 (2022) - 2018
- [j6]Stefan Lüdtke, Max Schröder, Frank Krüger
State-Space Abstractions for Probabilistic Inference: A Systematic Review. J. Artif. Intell. Res. 63: 789-848 (2018) - 2014
- [j5]Philipp Lehsten, Sebastian Bader
CASA - Context-Aware Service Access. J. Integr. Des. Process. Sci. 18(1): 21-38 (2014) - 2011
- [j4]Frank Krüger
A Context-Aware Proactive Controller for Smart Environments. i-com 10(1): 41-48 (2011) - 2010
- [j3]Jens Lehmann
Extracting reduced logic programs from artificial neural networks. Appl. Intell. 32(3): 249-266 (2010) - 2008
- [j2]Sebastian Bader
Connectionist model generation: A first-order approach. Neurocomputing 71(13-15): 2420-2432 (2008) - 2004
- [j1]Sebastian Bader
Logic programs, iterated function systems, and recurrent radial basis function networks. J. Appl. Log. 2(3): 273-300 (2004)
Conference and Workshop Papers
- 2025
- [c46]Bjarne C. Hiller, Sebastian Bader, Devesh Singh
Evaluating the Fidelity of Explanations for Convolutional Neural Networks in Alzheimer's Disease Detection. Bildverarbeitung für die Medizin 2025: 76-81 - 2023
- [c45]Ole Fenske
Neuro-symbolic Artificial Intelligence for Patient Monitoring. PKDD/ECML Workshops (4) 2023: 19-25 - 2022
- [c44]Maximilian Popko
Discovering Behavioural Predispositions in Data to Improve Human Activity Recognition. iWOAR 2022: 3:1-3:7 - [c43]A. B. M. Tariqul Islam
Evaluating neurorehabilitation exercises captured with commodity sensors and machine-learning framework. iWOAR 2022: 4:1-4:10 - 2021
- [c42]Peter Forbrig, Alexandru Bundea, Sebastian Bader
Engineering the Interaction of a Humanoid Robot Pepper with Post-Stroke Patients During Training Tasks. EICS 2021: 38-43 - [c41]Alexandru Bundea, Sebastian Bader
Interaction and Dialogue Design of a Humanoid Social Robot in an Analogue Neurorehabilitation Application. KES-HCIS 2021: 76-85 - 2018
- [c40]Stefan Lüdtke, Max Schröder
Lifted Filtering via Exchangeable Decomposition. IJCAI 2018: 5067-5073 - [c39]Kristina Y. Yordanova
Discovery of Causal Relations in the Challenging Behaviour of People with Dementia. PerCom Workshops 2018: 492-495 - 2017
- [c38]Max Schröder, Stefan Lüdtke, Sebastian Bader, Frank Krüger, Thomas Kirste:
Abstracting from Observation-Equivalent Entities in Human Behavior Modeling. AAAI Workshops 2017 - [c37]Stefan Lüdtke, Albert Hein, Frank Krüger, Sebastian Bader
Actigraphic Sleep Detection for Real-World Data of Healthy Young Adults and People with Alzheimer' s Disease. BIOSIGNALS 2017: 185-192 - [c36]Eric Heiden, Sebastian Bader
Concept and Realization of a Diagnostic System for Smart Environments. ICAART (2) 2017: 318-329 - [c35]Frank Krüger
A Virtual Research Environment to Support Remote Behaviour Monitoring from Data Collection to Analysis. ICDM Workshops 2017: 711-718 - [c34]Max Schröder
LiMa: Sequential Lifted Marginal Filtering on Multiset State Descriptions. KI 2017: 222-235 - [c33]Albert Hein, Frank Krüger
Challenges of collecting empirical sensor data from people with dementia in a field study. PerCom Workshops 2017: 22-25 - [c32]Frank Krüger
On the applicability of clinical observation tools for human activity annotation. PerCom Workshops 2017: 129-134 - 2016
- [c31]Kristina Y. Yordanova, Sebastian Bader, Frank Krüger, Albert Hein, Thomas Kirste:
Automatic Detection of Challenging Behaviour of People with Dementia and Identification of Intervention Strategies - Requirements and Challenges. EPS 2016 - [c30]Max Schröder
Reconstruction of Everyday Life Behaviour based on Noisy Sensor Data. ICAART (2) 2016: 430-437 - [c29]Mario Aehnelt
Providing and Adapting Information Assistance for Smart Assembly Stations. IntelliSys (1) 2016: 540-562 - [c28]Kristina Y. Yordanova
Towards a situation model for assessing challenging behaviour of people with dementia. iWOAR 2016: 7:1-7:6 - [c27]Max Schröder
Tool support for the online annotation of sensor data. iWOAR 2016: 9:1-9:7 - 2015
- [c26]Mario Aehnelt, Sebastian Bader:
Information Assistance for Smart Assembly Stations. ICAART (2) 2015: 143-150 - [c25]Mario Aehnelt
From Information Assistance to Cognitive Automation: A Smart Assembly Use Case. ICAART (Revised Selected Papers) 2015: 207-222 - [c24]Sebastian Bader
Computational causal behaviour models for assisted manufacturing. iWOAR 2015: 14:1-14:6 - 2014
- [c23]Daniel Moos, Sebastian Bader
From Annotated Objects to Distributed Planning in Heterogeneous and Dynamic Environments. HCI (21) 2014: 462-473 - [c22]Sebastian Bader
Tracking Assembly Processes and Providing Assistance in Smart Factories. ICAART (1) 2014: 161-168 - [c21]Daniel Moos, Sebastian Bader
From Intelligibility to Debuggability in Context-Aware Systems. KI 2014: 219-224 - 2013
- [c20]Sebastian Bader
Generating Explanations for Pro-active Assistance from Formal Action Descriptions. AmI 2013: 19-31 - [c19]Mario Aehnelt
Situation Aware Interaction with Multi-modal Business Applications in Smart Environments. HCI (15) 2013: 413-422 - [c18]Sebastian Bader
Consistency of Goalaviour-Based Control Systems. Intelligent Environments 2013: 45-50 - [c17]Sebastian Bader
Agent-Based Proactive Support in Smart Environments. Intelligent Environments 2013: 220-223 - 2012
- [c16]Frank Krüger
Evaluating the robustness of activity recognition using computational causal behavior models. UbiComp 2012: 1066-1074 - [c15]Till Wollenberg, Sebastian Bader
Measuring channel occupancy for 802.11 wireless LAN in the 2.4 GHz ISM band. MSWiM 2012: 305-308 - [c14]Sebastian Bader
A context-aware publish-subscribe middleware for distributed smart environments. PerCom Workshops 2012: 100-104 - 2011
- [c13]Sebastian Bader
Levels of Adaptation and Control. DCAI 2011: 385-388 - [c12]Sebastian Bader
Goalaviour-Based Control of Heterogeneous and Distributed Smart Environments. Intelligent Environments 2011: 142-148 - [c11]Sebastian Bader
Agentification of Objects in Heterogeneous Dynamic Environments. MATES 2011: 157-164 - 2010
- [c10]Sebastian Bader
A middleware for rapid prototyping smart environments: experiences in research and teaching. UbiComp (Adjunct Papers) 2010: 355-356 - [c9]Sebastian Bader
PerEd 2010: the third workshop on pervasive computing education. UbiComp (Adjunct Papers) 2010: 531-534 - 2009
- [c8]Sebastian Bader:
Extracting Propositional Rules from Feedforward Neural Networks by Means of Binary Decision Diagrams. NeSy 2009 - 2008
- [c7]Sebastian Bader, Steffen Hölldobler, Nuno C. Marques:
Guiding Backprop by Inserting Rules. NeSy 2008 - 2007
- [c6]Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel:
A Fully Connectionist Model Generator for Covered First-Order Logic Programs. IJCAI 2007: 666-671 - [c5]Sebastian Bader, Steffen Hölldobler, Valentin Mayer-Eichberger:
Extracting Propositional Rules from Feed-forward Neural Networks - A New Decompositional Approach. NeSy 2007 - 2006
- [c4]Sebastian Bader
The Core Method: Connectionist Model Generation. ICANN (2) 2006: 1-13 - 2005
- [c3]Sebastian Bader, Pascal Hitzler:
Dimensions of Neural-symbolic Integration - A Structured Survey. We Will Show Them! (1) 2005: 167-194 - [c2]Sebastian Bader, Artur S. d'Avila Garcez, Pascal Hitzler:
Computing First-Order Logic Programs by Fibring Artificial Neural Networks. FLAIRS 2005: 314-319 - 2004
- [c1]Sebastian Bader
Semiring Artificial Neural Networks and Weighted Automata. And an Application to Digital Image Encoding. KI 2004: 281-294
Parts in Books or Collections
- 2021
- [p3]Tarek R. Besold, Artur S. d'Avila Garcez, Sebastian Bader
Neural-Symbolic Learning and Reasoning: A Survey and Interpretation. Neuro-Symbolic Artificial Intelligence 2021: 1-51 - 2015
- [p2]Martin Nyolt, Alexander Steiniger, Sebastian Bader, Thomas Kirste:
Describing and Evaluating Assistance Using APDL. Smart Modeling and Simulation for Complex Systems 2015: 59-81 - 2007
- [p1]Sebastian Bader
The Core Method: Connectionist Model Generation for First-Order Logic Programs. Perspectives of Neural-Symbolic Integration 2007: 205-232
Editorship
- 2017
- [e2]Kristina Y. Yordanova, Max Schröder
Proceedings of the 4th international Workshop on Sensor-based Activity Recognition and Interaction, iWOAR 2017, Rostock, Germany, September 21 - 22, 2017. ACM 2017, ISBN 978-1-4503-5223-9 [contents] - 2013
- [e1]Sebastian Bader, Anika Schumann, Stephan Sigg, Freddy Lécué, Biplav Srivastava, Zaiqing Nie, Christian Guttmann:
Joint Proceedings of the Workshop on AI Problems and Approaches for Intelligent Environments and Workshop on Semantic Cities, AIIP/Semantic Cities@IJCAI 2013, Beijing, China, August 4-5, 2013. ACM 2013, ISBN 978-1-4503-2346-8 [contents]
Informal and Other Publications
- 2025
- [i13]Muhammad Salman Shaukat, Yannik Käckenmeister, Sebastian Bader, Thomas Kirste:
Towards Training-Free Underwater 3D Object Detection from Sonar Point Clouds: A Comparison of Traditional and Deep Learning Approaches. CoRR abs/2508.18293 (2025) - 2024
- [i12]Ole Fenske, Sebastian Bader, Thomas Kirste:
Neuro-Symbolic Artificial Intelligence for Patient Monitoring. CoRR abs/2407.11995 (2024) - 2023
- [i11]Muhammad Salman Shaukat, Johann-Christian Põder, Sebastian Bader
Towards Measuring Ethicality of an Intelligent Assistive System. CoRR abs/2303.03929 (2023) - 2022
- [i10]Timon Felske, Stefan Lüdtke, Sebastian Bader, Thomas Kirste:
Activity Recognition in Assembly Tasks by Bayesian Filtering in Multi-Hypergraphs. CoRR abs/2202.00332 (2022) - [i9]Maximilian Popko, Sebastian Bader
Discovering Behavioral Predispositions in Data to Improve Human Activity Recognition. CoRR abs/2207.08816 (2022) - 2021
- [i8]Muhammad Salman Shaukat, Bjarne Christian Hiller, Sebastian Bader, Thomas Kirste:
SimDem A Multi-agent Simulation Environment to Model Persons with Dementia and their Assistance. CoRR abs/2107.05346 (2021) - 2020
- [i7]Martin Dyrba, Moritz Hanzig, Slawek Altenstein, Sebastian Bader, Tommaso Ballarini, Frederic Brosseron, Katharina Buerger, Daniel Cantré, Peter Dechent, Laura Dobisch, Emrah Düzel, Michael Ewers, Klaus Fliessbach, Wenzel Glanz, John D. Haynes, Michael T. Heneka, Daniel Janowitz, Deniz Baris Keles, Ingo Kilimann, Christoph Laske, Franziska Maier, Coraline D. Metzger, Matthias H. Munk, Robert Perneczky, Oliver Peters, Lukas Preis, Josef Priller, Boris Rauchmann, Nina Roy, Klaus Scheffler, Anja Schneider, Björn H. Schott, Annika Spottke, Eike J. Spruth, Marc-André Weber, Birgit Ertl-Wagner, Michael Wagner, Jens Wiltfang, Frank Jessen, Stefan J. Teipel:
Improving 3D convolutional neural network comprehensibility via interactive visualization of relevance maps: Evaluation in Alzheimer's disease. CoRR abs/2012.10294 (2020) - 2018
- [i6]Stefan Lüdtke, Max Schröder, Sebastian Bader, Kristian Kersting, Thomas Kirste:
Lifted Filtering via Exchangeable Decomposition. CoRR abs/1801.10495 (2018) - [i5]Stefan Lüdtke, Max Schröder, Frank Krüger, Sebastian Bader, Thomas Kirste:
State-Space Abstractions for Probabilistic Inference: A Systematic Review. CoRR abs/1804.06748 (2018) - 2017
- [i4]Max Schröder, Stefan Lüdtke, Sebastian Bader, Frank Krüger, Thomas Kirste:
Sequential Lifted Bayesian Filtering in Multiset Rewriting Systems. CoRR abs/1707.06446 (2017) - [i3]Tarek R. Besold, Artur S. d'Avila Garcez, Sebastian Bader, Howard Bowman, Pedro M. Domingos, Pascal Hitzler, Kai-Uwe Kühnberger, Luís C. Lamb, Daniel Lowd, Priscila Machado Vieira Lima, Leo de Penning, Gadi Pinkas, Hoifung Poon, Gerson Zaverucha:
Neural-Symbolic Learning and Reasoning: A Survey and Interpretation. CoRR abs/1711.03902 (2017) - 2005
- [i2]Sebastian Bader, Pascal Hitzler:
Dimensions of Neural-symbolic Integration - A Structured Survey. CoRR abs/cs/0511042 (2005) - 2004
- [i1]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)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-11-17 00:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: