Sebastian Bader

75 papers A* 2A 1B 3C 4Misc 7Journal 22Unranked 30

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Evaluating the Fidelity of Explanations for Convolutional Neural Networks in Alzheimer's Disease Detection. Bildverarbeitung für die Medizin Bjarne C. Hiller, Sebastian Bader, Devesh Singh, Thomas Kirste, Martin Becker, Martin Dyrba
2025	C	`conf`	Neurosymbolic Learning in Structured Probability Spaces: A Case Study. NeSy Ole Fenske, Sebastian Bader, Thomas Kirste
2025	J	`jnl`	Towards Training-Free Underwater 3D Object Detection from Sonar Point Clouds: A Comparison of Traditional and Deep Learning Approaches. CoRR Muhammad Salman Shaukat, Yannik Käckenmeister, Sebastian Bader, Thomas Kirste
2025	J	`jnl`	Towards representation agnostic probabilistic programming. CoRR Ole Fenske, Maximilian Popko, Sebastian Bader, Thomas Kirste
2024	J	`jnl`	Neuro-Symbolic Artificial Intelligence for Patient Monitoring. CoRR Ole Fenske, Sebastian Bader, Thomas Kirste
2023	J	`jnl`	Analysis of the therapeutic interaction provided by a humanoid robot serving stroke survivors as a therapeutic assistant for arm rehabilitation. Frontiers Robotics AI Thomas Platz, Ann Pedersen, Philipp Deutsch, Alexandru-Nicolae Umlauft, Sebastian Bader
2023	—	`conf`	Neuro-symbolic Artificial Intelligence for Patient Monitoring. PKDD/ECML Workshops (4) Ole Fenske, Sebastian Bader, Thomas Kirste
2023	J	`jnl`	Towards Measuring Ethicality of an Intelligent Assistive System. CoRR Muhammad Salman Shaukat, Johann-Christian Põder, Sebastian Bader, Thomas Kirste
2022	J	`jnl`	Activity Recognition in Assembly Tasks by Bayesian Filtering in Multi-Hypergraphs. CoRR Timon Felske, Stefan Lüdtke, Sebastian Bader, Thomas Kirste
2022	J	`jnl`	Automatic Generation of Personalised and Context-Dependent Textual Interventions During Neuro-rehabilitation. Künstliche Intell. Timon Felske, Sebastian Bader, Thomas Kirste
2022	J	`jnl`	Discovering Behavioral Predispositions in Data to Improve Human Activity Recognition. CoRR Maximilian Popko, Sebastian Bader, Stefan Lüdtke, Thomas Kirste
2022	—	`conf`	Discovering Behavioural Predispositions in Data to Improve Human Activity Recognition. iWOAR Maximilian Popko, Sebastian Bader, Stefan Lüdtke, Thomas Kirste
2022	—	`conf`	Evaluating neurorehabilitation exercises captured with commodity sensors and machine-learning framework. iWOAR A. B. M. Tariqul Islam, Sebastian Bader, Thomas Kirste
2021	Misc	`conf`	Engineering the Interaction of a Humanoid Robot Pepper with Post-Stroke Patients During Training Tasks. EICS Peter Forbrig, Alexandru Bundea, Sebastian Bader
2021	—	`conf`	Interaction and Dialogue Design of a Humanoid Social Robot in an Analogue Neurorehabilitation Application. KES-HCIS Alexandru Bundea, Sebastian Bader, Peter Forbrig
2021	—	`ch.`	Neural-Symbolic Learning and Reasoning: A Survey and Interpretation. Neuro-Symbolic Artificial Intelligence 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
2021	J	`jnl`	SimDem A Multi-agent Simulation Environment to Model Persons with Dementia and their Assistance. CoRR Muhammad Salman Shaukat, Bjarne Christian Hiller, Sebastian Bader, Thomas Kirste
2020	J	`jnl`	Improving 3D convolutional neural network comprehensibility via interactive visualization of relevance maps: Evaluation in Alzheimer's disease. CoRR 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
2018	—	`conf`	Discovery of Causal Relations in the Challenging Behaviour of People with Dementia. PerCom Workshops Kristina Y. Yordanova, Sebastian Bader, Sarah Weschke, Frank Krüger, Judith Henf, Stefan J. Teipel, Thomas Kirste
2018	A*	`conf`	Lifted Filtering via Exchangeable Decomposition. IJCAI Stefan Lüdtke, Max Schröder, Sebastian Bader, Kristian Kersting, Thomas Kirste
2018	J	`jnl`	Lifted Filtering via Exchangeable Decomposition. CoRR Stefan Lüdtke, Max Schröder, Sebastian Bader, Kristian Kersting, Thomas Kirste
2018	J	`jnl`	State-Space Abstractions for Probabilistic Inference: A Systematic Review. CoRR Stefan Lüdtke, Max Schröder, Frank Krüger, Sebastian Bader, Thomas Kirste
2018	J	`jnl`	State-Space Abstractions for Probabilistic Inference: A Systematic Review. J. Artif. Intell. Res. Stefan Lüdtke, Max Schröder, Frank Krüger, Sebastian Bader, Thomas Kirste
2017	—	`conf`	A Virtual Research Environment to Support Remote Behaviour Monitoring from Data Collection to Analysis. ICDM Workshops Frank Krüger, Sebastian Bader, Albert Hein, Thomas Kirste
2017	—	`conf`	Abstracting from Observation-Equivalent Entities in Human Behavior Modeling. AAAI Workshops Max Schröder, Stefan Lüdtke, Sebastian Bader, Frank Krüger, Thomas Kirste
2017	—	`conf`	Actigraphic Sleep Detection for Real-World Data of Healthy Young Adults and People with Alzheimer' s Disease. BIOSIGNALS Stefan Lüdtke, Albert Hein, Frank Krüger, Sebastian Bader, Thomas Kirste
2017	—	`conf`	Challenges of collecting empirical sensor data from people with dementia in a field study. PerCom Workshops Albert Hein, Frank Krüger, Sebastian Bader, Peter Eschholz, Thomas Kirste
2017	—	`conf`	Concept and Realization of a Diagnostic System for Smart Environments. ICAART (2) Eric Heiden, Sebastian Bader, Thomas Kirste
2017	Misc	`conf`	LiMa: Sequential Lifted Marginal Filtering on Multiset State Descriptions. KI Max Schröder, Stefan Lüdtke, Sebastian Bader, Frank Krüger, Thomas Kirste
2017	J	`jnl`	Neural-Symbolic Learning and Reasoning: A Survey and Interpretation. CoRR 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
2017	—	`conf`	On the applicability of clinical observation tools for human activity annotation. PerCom Workshops Frank Krüger, Christina Heine, Sebastian Bader, Albert Hein, Stefan J. Teipel, Thomas Kirste
2017	—	`ed.`	Proceedings of the 4th international Workshop on Sensor-based Activity Recognition and Interaction, iWOAR 2017, Rostock, Germany, September 21 - 22, 2017 iWOAR Kristina Y. Yordanova, Max Schröder, Sebastian Bader, Thomas Kirste
2017	J	`jnl`	Sequential Lifted Bayesian Filtering in Multiset Rewriting Systems. CoRR Max Schröder, Stefan Lüdtke, Sebastian Bader, Frank Krüger, Thomas Kirste
2016	—	`conf`	Automatic Detection of Challenging Behaviour of People with Dementia and Identification of Intervention Strategies - Requirements and Challenges. EPS Kristina Y. Yordanova, Sebastian Bader, Frank Krüger, Albert Hein, Thomas Kirste
2016	—	`conf`	Providing and Adapting Information Assistance for Smart Assembly Stations. IntelliSys (1) Mario Aehnelt, Sebastian Bader
2016	—	`conf`	Reconstruction of Everyday Life Behaviour based on Noisy Sensor Data. ICAART (2) Max Schröder, Sebastian Bader, Frank Krüger, Thomas Kirste
2016	—	`conf`	Tool support for the online annotation of sensor data. iWOAR Max Schröder, Kristina Y. Yordanova, Sebastian Bader, Thomas Kirste
2016	—	`conf`	Towards a situation model for assessing challenging behaviour of people with dementia. iWOAR Kristina Y. Yordanova, Sebastian Bader, Christina Heine, Stefan J. Teipel, Thomas Kirste
2015	—	`conf`	Computational causal behaviour models for assisted manufacturing. iWOAR Sebastian Bader, Frank Krüger, Thomas Kirste
2015	—	`ch.`	Describing and Evaluating Assistance Using APDL. Smart Modeling and Simulation for Complex Systems Martin Nyolt, Alexander Steiniger, Sebastian Bader, Thomas Kirste
2015	—	`conf`	From Information Assistance to Cognitive Automation: A Smart Assembly Use Case. ICAART (Revised Selected Papers) Mario Aehnelt, Sebastian Bader
2015	—	`conf`	Information Assistance for Smart Assembly Stations. ICAART (2) Mario Aehnelt, Sebastian Bader
2014	J	`jnl`	CASA - Context-Aware Service Access. J. Integr. Des. Process. Sci. Philipp Lehsten, Sebastian Bader, Djamshid Tavangarian
2014	—	`conf`	From Annotated Objects to Distributed Planning in Heterogeneous and Dynamic Environments. HCI (21) Daniel Moos, Sebastian Bader, Thomas Kirste
2014	Misc	`conf`	From Intelligibility to Debuggability in Context-Aware Systems. KI Daniel Moos, Sebastian Bader, Thomas Kirste
2014	—	`conf`	Tracking Assembly Processes and Providing Assistance in Smart Factories. ICAART (1) Sebastian Bader, Mario Aehnelt
2013	B	`conf`	Agent-Based Proactive Support in Smart Environments. Intelligent Environments Sebastian Bader, Robin Nicolay, Thomas Kirste
2013	B	`conf`	Consistency of Goalaviour-Based Control Systems. Intelligent Environments Sebastian Bader
2013	—	`conf`	Generating Explanations for Pro-active Assistance from Formal Action Descriptions. AmI Sebastian Bader
2013	—	`ed.`	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 AIIP/Semantic Cities@IJCAI Sebastian Bader, Anika Schumann, Stephan Sigg, Freddy Lécué, Biplav Srivastava, Zaiqing Nie, Christian Guttmann
2013	—	`conf`	Situation Aware Interaction with Multi-modal Business Applications in Smart Environments. HCI (15) Mario Aehnelt, Sebastian Bader, Gernot Ruscher, Frank Krüger, Bodo Urban, Thomas Kirste
2012	—	`conf`	A context-aware publish-subscribe middleware for distributed smart environments. PerCom Workshops Sebastian Bader, Martin Nyolt
2012	Misc	`conf`	Evaluating the robustness of activity recognition using computational causal behavior models. UbiComp Frank Krüger, Alexander Steiniger, Sebastian Bader, Thomas Kirste
2012	A	`conf`	Measuring channel occupancy for 802.11 wireless LAN in the 2.4 GHz ISM band. MSWiM Till Wollenberg, Sebastian Bader, Andreas Ahrens
2011	J	`jnl`	A Context-Aware Proactive Controller for Smart Environments. i-com Frank Krüger, Gernot Ruscher, Sebastian Bader, Thomas Kirste
2011	—	`conf`	Agentification of Objects in Heterogeneous Dynamic Environments. MATES Sebastian Bader
2011	B	`conf`	Goalaviour-Based Control of Heterogeneous and Distributed Smart Environments. Intelligent Environments Sebastian Bader, Martin Dyrba
2011	Misc	`conf`	Levels of Adaptation and Control. DCAI Sebastian Bader, René Leistikow
2010	—	`conf`	A middleware for rapid prototyping smart environments: experiences in research and teaching. UbiComp (Adjunct Papers) Sebastian Bader, Gernot Ruscher, Thomas Kirste
2010	J	`jnl`	Extracting reduced logic programs from artificial neural networks. Appl. Intell. Jens Lehmann, Sebastian Bader, Pascal Hitzler
2010	—	`conf`	PerEd 2010: the third workshop on pervasive computing education. UbiComp (Adjunct Papers) Sebastian Bader, Thomas Kirste, William G. Griswold, Alke Martens
2009	C	`conf`	Extracting Propositional Rules from Feedforward Neural Networks by Means of Binary Decision Diagrams. NeSy Sebastian Bader
2009	—	`—`	Neural-symbolic integration. Sebastian Bader
2008	J	`jnl`	Connectionist model generation: A first-order approach. Neurocomputing Sebastian Bader, Pascal Hitzler, Steffen Hölldobler
2008	C	`conf`	Guiding Backprop by Inserting Rules. NeSy Sebastian Bader, Steffen Hölldobler, Nuno C. Marques
2007	A*	`conf`	A Fully Connectionist Model Generator for Covered First-Order Logic Programs. IJCAI Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel
2007	C	`conf`	Extracting Propositional Rules from Feed-forward Neural Networks - A New Decompositional Approach. NeSy Sebastian Bader, Steffen Hölldobler, Valentin Mayer-Eichberger
2007	—	`ch.`	The Core Method: Connectionist Model Generation for First-Order Logic Programs. Perspectives of Neural-Symbolic Integration Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel
2006	—	`conf`	The Core Method: Connectionist Model Generation. ICANN (2) Sebastian Bader, Steffen Hölldobler
2005	Misc	`conf`	Computing First-Order Logic Programs by Fibring Artificial Neural Networks. FLAIRS Sebastian Bader, Artur S. d'Avila Garcez, Pascal Hitzler
2005	J	`jnl`	Dimensions of Neural-symbolic Integration - A Structured Survey CoRR Sebastian Bader, Pascal Hitzler
2005	—	`conf`	Dimensions of Neural-symbolic Integration - A Structured Survey. We Will Show Them! (1) Sebastian Bader, Pascal Hitzler
2004	J	`jnl`	Logic programs, iterated function systems, and recurrent radial basis function networks. J. Appl. Log. Sebastian Bader, Pascal Hitzler
2004	Misc	`conf`	Semiring Artificial Neural Networks and Weighted Automata. And an Application to Digital Image Encoding. KI Sebastian Bader, Steffen Hölldobler, Alexandre Scalzitti
2004	J	`jnl`	The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence CoRR Sebastian Bader, Pascal Hitzler, Steffen Hölldobler