Semiring Artificial Neural Networks and Weighted Automata. And an Application to Digital Image Encoding. - Sebastian Bader 001; Steffen Hölldobler; Alexandre Scalzitti (KI, 2004)

The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence - Sebastian Bader 001; Pascal Hitzler; Steffen Hölldobler (CoRR, 2004)

Logic programs, iterated function systems, and recurrent radial basis function networks. - Sebastian Bader 001; Pascal Hitzler (J. Appl. Log., 2004)

Dimensions of Neural-symbolic Integration - A Structured Survey. - Sebastian Bader 001; Pascal Hitzler (We Will Show Them! (1), 2005)

Computing First-Order Logic Programs by Fibring Artificial Neural Networks. - Sebastian Bader 001; Artur S. d'Avila Garcez; Pascal Hitzler (FLAIRS, 2005)

The Core Method: Connectionist Model Generation. - Sebastian Bader 001; Steffen Hölldobler (ICANN (2), 2006)

A Fully Connectionist Model Generator for Covered First-Order Logic Programs. - Sebastian Bader 001; Pascal Hitzler; Steffen Hölldobler; Andreas Witzel (IJCAI, 2007)

Extracting Propositional Rules from Feed-forward Neural Networks - A New Decompositional Approach. - Sebastian Bader 001; Steffen Hölldobler; Valentin Mayer-Eichberger (NeSy, 2007)

The Core Method: Connectionist Model Generation for First-Order Logic Programs. - Sebastian Bader 001; Pascal Hitzler; Steffen Hölldobler; Andreas Witzel (Perspectives of Neural-Symbolic Integration, 2007)

Guiding Backprop by Inserting Rules. - Sebastian Bader 001; Steffen Hölldobler; Nuno C. Marques (NeSy, 2008)

Connectionist model generation: A first-order approach. - Sebastian Bader 001; Pascal Hitzler; Steffen Hölldobler (Neurocomputing, 2008)

Extracting Propositional Rules from Feedforward Neural Networks by Means of Binary Decision Diagrams. - Sebastian Bader 001 (NeSy, 2009)

Neural-symbolic integration. - Sebastian Bader 001 (2009)

PerEd 2010: the third workshop on pervasive computing education. - Sebastian Bader 001; Thomas Kirste; William G. Griswold; Alke Martens (UbiComp (Adjunct Papers), 2010)

A middleware for rapid prototyping smart environments: experiences in research and teaching. - Sebastian Bader 001; Gernot Ruscher; Thomas Kirste (UbiComp (Adjunct Papers), 2010)

Extracting reduced logic programs from artificial neural networks. - Jens Lehmann 001; Sebastian Bader 001; Pascal Hitzler (Appl. Intell., 2010)

Levels of Adaptation and Control. - Sebastian Bader 001; René Leistikow (DCAI, 2011)

Goalaviour-Based Control of Heterogeneous and Distributed Smart Environments. - Sebastian Bader 001; Martin Dyrba (Intelligent Environments, 2011)

Agentification of Objects in Heterogeneous Dynamic Environments. - Sebastian Bader 001 (MATES, 2011)

A Context-Aware Proactive Controller for Smart Environments. - Frank Krüger 001; Gernot Ruscher; Sebastian Bader 001; Thomas Kirste (i-com, 2011)

Evaluating the robustness of activity recognition using computational causal behavior models. - Frank Krüger 001; Alexander Steiniger; Sebastian Bader 001; Thomas Kirste (UbiComp, 2012)

Measuring channel occupancy for 802.11 wireless LAN in the 2.4 GHz ISM band. - Till Wollenberg; Sebastian Bader 001; Andreas Ahrens (MSWiM, 2012)

A context-aware publish-subscribe middleware for distributed smart environments. - Sebastian Bader 001; Martin Nyolt (PerCom Workshops, 2012)

Generating Explanations for Pro-active Assistance from Formal Action Descriptions. - Sebastian Bader 001 (AmI, 2013)

Situation Aware Interaction with Multi-modal Business Applications in Smart Environments. - Mario Aehnelt; Sebastian Bader 001; Gernot Ruscher; Frank Krüger 001; Bodo Urban; Thomas Kirste (HCI (15), 2013)

Consistency of Goalaviour-Based Control Systems. - Sebastian Bader 001 (Intelligent Environments, 2013)

Agent-Based Proactive Support in Smart Environments. - Sebastian Bader 001; Robin Nicolay; Thomas Kirste (Intelligent Environments, 2013)

From Annotated Objects to Distributed Planning in Heterogeneous and Dynamic Environments. - Daniel Moos; Sebastian Bader 001; Thomas Kirste (HCI (21), 2014)

Tracking Assembly Processes and Providing Assistance in Smart Factories. - Sebastian Bader 001; Mario Aehnelt (ICAART (1), 2014)

From Intelligibility to Debuggability in Context-Aware Systems. - Daniel Moos; Sebastian Bader 001; Thomas Kirste (KI, 2014)

CASA - Context-Aware Service Access. - Philipp Lehsten; Sebastian Bader 001; Djamshid Tavangarian (J. Integr. Des. Process. Sci., 2014)

Information Assistance for Smart Assembly Stations. - Mario Aehnelt; Sebastian Bader 001 (ICAART (2), 2015)

From Information Assistance to Cognitive Automation: A Smart Assembly Use Case. - Mario Aehnelt; Sebastian Bader 001 (ICAART (Revised Selected Papers), 2015)

Computational causal behaviour models for assisted manufacturing. - Sebastian Bader 001; Frank Krüger 001; Thomas Kirste (iWOAR, 2015)

Describing and Evaluating Assistance Using APDL. - Martin Nyolt; Alexander Steiniger; Sebastian Bader 001; Thomas Kirste (Smart Modeling and Simulation for Complex Systems, 2015)

Automatic Detection of Challenging Behaviour of People with Dementia and Identification of Intervention Strategies - Requirements and Challenges. - Kristina Y. Yordanova; Sebastian Bader 001; Frank Krüger 001; Albert Hein; Thomas Kirste (EPS, 2016)

Reconstruction of Everyday Life Behaviour based on Noisy Sensor Data. - Max Schröder; Sebastian Bader 001; Frank Krüger 001; Thomas Kirste (ICAART (2), 2016)

Providing and Adapting Information Assistance for Smart Assembly Stations. - Mario Aehnelt; Sebastian Bader 001 (IntelliSys (1), 2016)

Tool support for the online annotation of sensor data. - Max Schröder; Kristina Y. Yordanova; Sebastian Bader 001; Thomas Kirste (iWOAR, 2016)

Towards a situation model for assessing challenging behaviour of people with dementia. - Kristina Y. Yordanova; Sebastian Bader 001; Christina Heine; Stefan J. Teipel; Thomas Kirste (iWOAR, 2016)

Abstracting from Observation-Equivalent Entities in Human Behavior Modeling. - Max Schröder; Stefan Lüdtke; Sebastian Bader 001; Frank Krüger 001; Thomas Kirste (AAAI Workshops, 2017)

Actigraphic Sleep Detection for Real-World Data of Healthy Young Adults and People with Alzheimer' s Disease. - Stefan Lüdtke; Albert Hein; Frank Krüger 001; Sebastian Bader 001; Thomas Kirste (BIOSIGNALS, 2017)

Concept and Realization of a Diagnostic System for Smart Environments. - Eric Heiden; Sebastian Bader 001; Thomas Kirste (ICAART (2), 2017)

A Virtual Research Environment to Support Remote Behaviour Monitoring from Data Collection to Analysis. - Frank Krüger 001; Sebastian Bader 001; Albert Hein; Thomas Kirste (ICDM Workshops, 2017)

LiMa: Sequential Lifted Marginal Filtering on Multiset State Descriptions. - Max Schröder; Stefan Lüdtke; Sebastian Bader 001; Frank Krüger 001; Thomas Kirste (KI, 2017)

On the applicability of clinical observation tools for human activity annotation. - Frank Krüger 001; Christina Heine; Sebastian Bader 001; Albert Hein; Stefan J. Teipel; Thomas Kirste (PerCom Workshops, 2017)

Challenges of collecting empirical sensor data from people with dementia in a field study. - Albert Hein; Frank Krüger 001; Sebastian Bader 001; Peter Eschholz; Thomas Kirste (PerCom Workshops, 2017)

Sequential Lifted Bayesian Filtering in Multiset Rewriting Systems. - Max Schröder; Stefan Lüdtke; Sebastian Bader 001; Frank Krüger 001; Thomas Kirste (CoRR, 2017)

Neural-Symbolic Learning and Reasoning: A Survey and Interpretation. - Tarek R. Besold; Artur S. d'Avila Garcez; Sebastian Bader 001; 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; et al. (CoRR, 2017)

Lifted Filtering via Exchangeable Decomposition. - Stefan Lüdtke; Max Schröder; Sebastian Bader 001; Kristian Kersting; Thomas Kirste (IJCAI, 2018)

Discovery of Causal Relations in the Challenging Behaviour of People with Dementia. - Kristina Y. Yordanova; Sebastian Bader 001; Sarah Weschke; Frank Krüger 001; Judith Henf; Stefan J. Teipel; Thomas Kirste (PerCom Workshops, 2018)

State-Space Abstractions for Probabilistic Inference: A Systematic Review. - Stefan Lüdtke; Max Schröder; Frank Krüger 001; Sebastian Bader 001; Thomas Kirste (J. Artif. Intell. Res., 2018)

Improving 3D convolutional neural network comprehensibility via interactive visualization of relevance maps: Evaluation in Alzheimer's disease. - Martin Dyrba; Moritz Hanzig; Slawek Altenstein; Sebastian Bader 001; Tommaso Ballarini; Frederic Brosseron; Katharina Buerger; Daniel Cantré; Peter Dechent; Laura Dobisch; Emrah Düzel; Michael Ewers; et al. (CoRR, 2020)

Engineering the Interaction of a Humanoid Robot Pepper with Post-Stroke Patients During Training Tasks. - Peter Forbrig; Alexandru Bundea; Sebastian Bader 001 (EICS, 2021)

Interaction and Dialogue Design of a Humanoid Social Robot in an Analogue Neurorehabilitation Application. - Alexandru Bundea; Sebastian Bader 001; Peter Forbrig (KES-HCIS, 2021)

SimDem A Multi-agent Simulation Environment to Model Persons with Dementia and their Assistance. - Muhammad Salman Shaukat; Bjarne Christian Hiller; Sebastian Bader 001; Thomas Kirste (CoRR, 2021)

Neural-Symbolic Learning and Reasoning: A Survey and Interpretation. - Tarek R. Besold; Artur S. d'Avila Garcez; Sebastian Bader 001; 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; et al. (Neuro-Symbolic Artificial Intelligence, 2021)

Evaluating neurorehabilitation exercises captured with commodity sensors and machine-learning framework. - A. B. M. Tariqul Islam; Sebastian Bader 001; Thomas Kirste (iWOAR, 2022)

Discovering Behavioural Predispositions in Data to Improve Human Activity Recognition. - Maximilian Popko; Sebastian Bader 001; Stefan Lüdtke; Thomas Kirste (iWOAR, 2022)

Activity Recognition in Assembly Tasks by Bayesian Filtering in Multi-Hypergraphs. - Timon Felske; Stefan Lüdtke; Sebastian Bader 001; Thomas Kirste (CoRR, 2022)

Discovering Behavioral Predispositions in Data to Improve Human Activity Recognition. - Maximilian Popko; Sebastian Bader 001; Stefan Lüdtke; Thomas Kirste (CoRR, 2022)

Automatic Generation of Personalised and Context-Dependent Textual Interventions During Neuro-rehabilitation. - Timon Felske; Sebastian Bader 001; Thomas Kirste (Künstliche Intell., 2022)

Neuro-symbolic Artificial Intelligence for Patient Monitoring. - Ole Fenske; Sebastian Bader 001; Thomas Kirste (PKDD/ECML Workshops (4), 2023)

Towards Measuring Ethicality of an Intelligent Assistive System. - Muhammad Salman Shaukat; Johann-Christian Põder; Sebastian Bader 001; Thomas Kirste (CoRR, 2023)

Analysis of the therapeutic interaction provided by a humanoid robot serving stroke survivors as a therapeutic assistant for arm rehabilitation. - Thomas Platz; Ann Pedersen; Philipp Deutsch; Alexandru-Nicolae Umlauft; Sebastian Bader 001 (Frontiers Robotics AI, 2023)

Evaluating the Fidelity of Explanations for Convolutional Neural Networks in Alzheimer's Disease Detection. - Bjarne C. Hiller; Sebastian Bader 001; Devesh Singh; Thomas Kirste; Martin Becker; Martin Dyrba (Bildverarbeitung für die Medizin, 2025)