


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
2020 – today
- 2024
- [i12]Ole Fenske, Sebastian Bader, Thomas Kirste:
Neuro-Symbolic Artificial Intelligence for Patient Monitoring. CoRR abs/2407.11995 (2024) - 2023
- [j8]Thomas Platz
, Ann Pedersen, Philipp Deutsch, Alexandru-Nicolae Umlauft, Sebastian Bader
:
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) - [c45]Ole Fenske, Sebastian Bader
, Thomas Kirste
:
Neuro-symbolic Artificial Intelligence for Patient Monitoring. PKDD/ECML Workshops (4) 2023: 19-25 - [i11]Muhammad Salman Shaukat, Johann-Christian Põder, Sebastian Bader
, Thomas Kirste:
Towards Measuring Ethicality of an Intelligent Assistive System. CoRR abs/2303.03929 (2023) - 2022
- [j7]Timon Felske
, Sebastian Bader
, Thomas Kirste
:
Automatic Generation of Personalised and Context-Dependent Textual Interventions During Neuro-rehabilitation. Künstliche Intell. 36(2): 189-193 (2022) - [c44]Maximilian Popko
, Sebastian Bader, Stefan Lüdtke, Thomas Kirste:
Discovering Behavioural Predispositions in Data to Improve Human Activity Recognition. iWOAR 2022: 3:1-3:7 - [c43]A. B. M. Tariqul Islam
, Sebastian Bader, Thomas Kirste:
Evaluating neurorehabilitation exercises captured with commodity sensors and machine-learning framework. iWOAR 2022: 4:1-4:10 - [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
, Stefan Lüdtke, Thomas Kirste:
Discovering Behavioral Predispositions in Data to Improve Human Activity Recognition. CoRR abs/2207.08816 (2022) - 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
, Peter Forbrig:
Interaction and Dialogue Design of a Humanoid Social Robot in an Analogue Neurorehabilitation Application. KES-HCIS 2021: 76-85 - [p3]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, Priscila Machado Vieira Lima, Leo de Penning, Gadi Pinkas, Hoifung Poon, Gerson Zaverucha:
Neural-Symbolic Learning and Reasoning: A Survey and Interpretation. Neuro-Symbolic Artificial Intelligence 2021: 1-51 - [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)
2010 – 2019
- 2018
- [j6]Stefan Lüdtke, Max Schröder, Frank Krüger
, Sebastian Bader
, Thomas Kirste:
State-Space Abstractions for Probabilistic Inference: A Systematic Review. J. Artif. Intell. Res. 63: 789-848 (2018) - [c40]Stefan Lüdtke, Max Schröder
, Sebastian Bader
, Kristian Kersting, Thomas Kirste:
Lifted Filtering via Exchangeable Decomposition. IJCAI 2018: 5067-5073 - [c39]Kristina Y. Yordanova
, Sebastian Bader
, Sarah Weschke
, Frank Krüger
, Judith Henf, Stefan J. Teipel, Thomas Kirste:
Discovery of Causal Relations in the Challenging Behaviour of People with Dementia. PerCom Workshops 2018: 492-495 - [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
- [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
, Thomas Kirste:
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
, Thomas Kirste:
Concept and Realization of a Diagnostic System for Smart Environments. ICAART (2) 2017: 318-329 - [c35]Frank Krüger
, Sebastian Bader
, Albert Hein, Thomas Kirste:
A Virtual Research Environment to Support Remote Behaviour Monitoring from Data Collection to Analysis. ICDM Workshops 2017: 711-718 - [c34]Max Schröder
, Stefan Lüdtke, Sebastian Bader
, Frank Krüger
, Thomas Kirste:
LiMa: Sequential Lifted Marginal Filtering on Multiset State Descriptions. KI 2017: 222-235 - [c33]Albert Hein, Frank Krüger
, Sebastian Bader
, Peter Eschholz, Thomas Kirste:
Challenges of collecting empirical sensor data from people with dementia in a field study. PerCom Workshops 2017: 22-25 - [c32]Frank Krüger
, Christina Heine, Sebastian Bader
, Albert Hein, Stefan J. Teipel, Thomas Kirste:
On the applicability of clinical observation tools for human activity annotation. PerCom Workshops 2017: 129-134 - [e2]Kristina Y. Yordanova, Max Schröder
, Sebastian Bader, Thomas Kirste:
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] - [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) - 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
, Sebastian Bader
, Frank Krüger
, Thomas Kirste:
Reconstruction of Everyday Life Behaviour based on Noisy Sensor Data. ICAART (2) 2016: 430-437 - [c29]Mario Aehnelt
, Sebastian Bader
:
Providing and Adapting Information Assistance for Smart Assembly Stations. IntelliSys (1) 2016: 540-562 - [c28]Kristina Y. Yordanova
, Sebastian Bader
, Christina Heine, Stefan J. Teipel, Thomas Kirste:
Towards a situation model for assessing challenging behaviour of people with dementia. iWOAR 2016: 7:1-7:6 - [c27]Max Schröder
, Kristina Y. Yordanova
, Sebastian Bader
, Thomas Kirste:
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
, Sebastian Bader
:
From Information Assistance to Cognitive Automation: A Smart Assembly Use Case. ICAART (Revised Selected Papers) 2015: 207-222 - [c24]Sebastian Bader
, Frank Krüger
, Thomas Kirste:
Computational causal behaviour models for assisted manufacturing. iWOAR 2015: 14:1-14:6 - [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 - 2014
- [j5]Philipp Lehsten, Sebastian Bader
, Djamshid Tavangarian:
CASA - Context-Aware Service Access. J. Integr. Des. Process. Sci. 18(1): 21-38 (2014) - [c23]Daniel Moos, Sebastian Bader
, Thomas Kirste:
From Annotated Objects to Distributed Planning in Heterogeneous and Dynamic Environments. HCI (21) 2014: 462-473 - [c22]Sebastian Bader
, Mario Aehnelt
:
Tracking Assembly Processes and Providing Assistance in Smart Factories. ICAART (1) 2014: 161-168 - [c21]Daniel Moos, Sebastian Bader
, Thomas Kirste:
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
, Sebastian Bader
, Gernot Ruscher, Frank Krüger
, Bodo Urban, Thomas Kirste:
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
, Robin Nicolay, Thomas Kirste:
Agent-Based Proactive Support in Smart Environments. Intelligent Environments 2013: 220-223 - [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] - 2012
- [c16]Frank Krüger
, Alexander Steiniger, Sebastian Bader
, Thomas Kirste:
Evaluating the robustness of activity recognition using computational causal behavior models. UbiComp 2012: 1066-1074 - [c15]Till Wollenberg, Sebastian Bader
, Andreas Ahrens
:
Measuring channel occupancy for 802.11 wireless LAN in the 2.4 GHz ISM band. MSWiM 2012: 305-308 - [c14]Sebastian Bader
, Martin Nyolt:
A context-aware publish-subscribe middleware for distributed smart environments. PerCom Workshops 2012: 100-104 - 2011
- [j4]Frank Krüger
, Gernot Ruscher, Sebastian Bader, Thomas Kirste:
A Context-Aware Proactive Controller for Smart Environments. i-com 10(1): 41-48 (2011) - [c13]Sebastian Bader
, René Leistikow:
Levels of Adaptation and Control. DCAI 2011: 385-388 - [c12]Sebastian Bader
, Martin Dyrba
:
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
- [j3]Jens Lehmann
, Sebastian Bader
, Pascal Hitzler:
Extracting reduced logic programs from artificial neural networks. Appl. Intell. 32(3): 249-266 (2010) - [c10]Sebastian Bader
, Gernot Ruscher, Thomas Kirste:
A middleware for rapid prototyping smart environments: experiences in research and teaching. UbiComp (Adjunct Papers) 2010: 355-356 - [c9]Sebastian Bader
, Thomas Kirste, William G. Griswold
, Alke Martens:
PerEd 2010: the third workshop on pervasive computing education. UbiComp (Adjunct Papers) 2010: 531-534
2000 – 2009
- 2009
- [b1]Sebastian Bader:
Neural-symbolic integration. Dresden University of Technology, 2009, pp. 1-184 - [c8]Sebastian Bader:
Extracting Propositional Rules from Feedforward Neural Networks by Means of Binary Decision Diagrams. NeSy 2009 - 2008
- [j2]Sebastian Bader
, Pascal Hitzler, Steffen Hölldobler:
Connectionist model generation: A first-order approach. Neurocomputing 71(13-15): 2420-2432 (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 - [p1]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
- [c4]Sebastian Bader
, Steffen Hölldobler:
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 - [i2]Sebastian Bader, Pascal Hitzler:
Dimensions of Neural-symbolic Integration - A Structured Survey. CoRR abs/cs/0511042 (2005) - 2004
- [j1]Sebastian Bader
, Pascal Hitzler:
Logic programs, iterated function systems, and recurrent radial basis function networks. J. Appl. Log. 2(3): 273-300 (2004) - [c1]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 - [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-02-05 21:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint