default search action
BibTeX records: Sebastian Bader 0001
@inproceedings{DBLP:conf/bildmed/Hiller0SKBD25,
author = {Bjarne C. Hiller and
Sebastian Bader and
Devesh Singh and
Thomas Kirste and
Martin Becker and
Martin Dyrba},
title = {Evaluating the Fidelity of Explanations for Convolutional Neural Networks
in Alzheimer's Disease Detection},
booktitle = {Bildverarbeitung f{\"{u}}r die Medizin},
series = {Informatik Aktuell},
pages = {76--81},
publisher = {Springer},
year = {2025}
}
@article{DBLP:journals/corr/abs-2508-18293,
author = {Muhammad Salman Shaukat and
Yannik K{\"{a}}ckenmeister and
Sebastian Bader and
Thomas Kirste},
title = {Towards Training-Free Underwater 3D Object Detection from Sonar Point
Clouds: {A} Comparison of Traditional and Deep Learning Approaches},
journal = {CoRR},
volume = {abs/2508.18293},
year = {2025}
}
@article{DBLP:journals/corr/abs-2407-11995,
author = {Ole Fenske and
Sebastian Bader and
Thomas Kirste},
title = {Neuro-Symbolic Artificial Intelligence for Patient Monitoring},
journal = {CoRR},
volume = {abs/2407.11995},
year = {2024}
}
@article{DBLP:journals/firai/PlatzPDUB23,
author = {Thomas Platz and
Ann Pedersen and
Philipp Deutsch and
Alexandru{-}Nicolae Umlauft and
Sebastian Bader},
title = {Analysis of the therapeutic interaction provided by a humanoid robot
serving stroke survivors as a therapeutic assistant for arm rehabilitation},
journal = {Frontiers Robotics {AI}},
volume = {10},
year = {2023}
}
@inproceedings{DBLP:conf/pkdd/Fenske0K23,
author = {Ole Fenske and
Sebastian Bader and
Thomas Kirste},
title = {Neuro-symbolic Artificial Intelligence for Patient Monitoring},
booktitle = {{PKDD/ECML} Workshops {(4)}},
series = {Communications in Computer and Information Science},
volume = {2136},
pages = {19--25},
publisher = {Springer},
year = {2023}
}
@article{DBLP:journals/corr/abs-2303-03929,
author = {Muhammad Salman Shaukat and
Johann{-}Christian P{\~{o}}der and
Sebastian Bader and
Thomas Kirste},
title = {Towards Measuring Ethicality of an Intelligent Assistive System},
journal = {CoRR},
volume = {abs/2303.03929},
year = {2023}
}
@article{DBLP:journals/ki/FelskeBK22,
author = {Timon Felske and
Sebastian Bader and
Thomas Kirste},
title = {Automatic Generation of Personalised and Context-Dependent Textual
Interventions During Neuro-rehabilitation},
journal = {K{\"{u}}nstliche Intell.},
volume = {36},
number = {2},
pages = {189--193},
year = {2022}
}
@inproceedings{DBLP:conf/iwoar/Popko0LK22,
author = {Maximilian Popko and
Sebastian Bader and
Stefan L{\"{u}}dtke and
Thomas Kirste},
title = {Discovering Behavioural Predispositions in Data to Improve Human Activity
Recognition},
booktitle = {iWOAR},
pages = {3:1--3:7},
publisher = {{ACM}},
year = {2022}
}
@inproceedings{DBLP:conf/iwoar/Islam0K22,
author = {A. B. M. Tariqul Islam and
Sebastian Bader and
Thomas Kirste},
title = {Evaluating neurorehabilitation exercises captured with commodity sensors
and machine-learning framework},
booktitle = {iWOAR},
pages = {4:1--4:10},
publisher = {{ACM}},
year = {2022}
}
@article{DBLP:journals/corr/abs-2202-00332,
author = {Timon Felske and
Stefan L{\"{u}}dtke and
Sebastian Bader and
Thomas Kirste},
title = {Activity Recognition in Assembly Tasks by Bayesian Filtering in Multi-Hypergraphs},
journal = {CoRR},
volume = {abs/2202.00332},
year = {2022}
}
@article{DBLP:journals/corr/abs-2207-08816,
author = {Maximilian Popko and
Sebastian Bader and
Stefan L{\"{u}}dtke and
Thomas Kirste},
title = {Discovering Behavioral Predispositions in Data to Improve Human Activity
Recognition},
journal = {CoRR},
volume = {abs/2207.08816},
year = {2022}
}
@inproceedings{DBLP:conf/eics/ForbrigB021,
author = {Peter Forbrig and
Alexandru Bundea and
Sebastian Bader},
title = {Engineering the Interaction of a Humanoid Robot Pepper with Post-Stroke
Patients During Training Tasks},
booktitle = {{EICS}},
pages = {38--43},
publisher = {{ACM}},
year = {2021}
}
@inproceedings{DBLP:conf/keshcis/Bundea0F21,
author = {Alexandru Bundea and
Sebastian Bader and
Peter Forbrig},
title = {Interaction and Dialogue Design of a Humanoid Social Robot in an Analogue
Neurorehabilitation Application},
booktitle = {{KES-HCIS}},
series = {Smart Innovation, Systems and Technologies},
volume = {244},
pages = {76--85},
publisher = {Springer},
year = {2021}
}
@incollection{DBLP:series/faia/BesoldGBBDHKLLPPPZ21,
author = {Tarek R. Besold and
Artur S. d'Avila Garcez and
Sebastian Bader and
Howard Bowman and
Pedro M. Domingos and
Pascal Hitzler and
Kai{-}Uwe K{\"{u}}hnberger and
Lu{\'{\i}}s C. Lamb and
Priscila Machado Vieira Lima and
Leo de Penning and
Gadi Pinkas and
Hoifung Poon and
Gerson Zaverucha},
title = {Neural-Symbolic Learning and Reasoning: {A} Survey and Interpretation},
booktitle = {Neuro-Symbolic Artificial Intelligence},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {342},
pages = {1--51},
publisher = {{IOS} Press},
year = {2021}
}
@article{DBLP:journals/corr/abs-2107-05346,
author = {Muhammad Salman Shaukat and
Bjarne Christian Hiller and
Sebastian Bader and
Thomas Kirste},
title = {SimDem {A} Multi-agent Simulation Environment to Model Persons with
Dementia and their Assistance},
journal = {CoRR},
volume = {abs/2107.05346},
year = {2021}
}
@article{DBLP:journals/corr/abs-2012-10294,
author = {Martin Dyrba and
Moritz Hanzig and
Slawek Altenstein and
Sebastian Bader and
Tommaso Ballarini and
Frederic Brosseron and
Katharina Buerger and
Daniel Cantr{\'{e}} and
Peter Dechent and
Laura Dobisch and
Emrah D{\"{u}}zel and
Michael Ewers and
Klaus Fliessbach and
Wenzel Glanz and
John D. Haynes and
Michael T. Heneka and
Daniel Janowitz and
Deniz Baris Keles and
Ingo Kilimann and
Christoph Laske and
Franziska Maier and
Coraline D. Metzger and
Matthias H. Munk and
Robert Perneczky and
Oliver Peters and
Lukas Preis and
Josef Priller and
Boris Rauchmann and
Nina Roy and
Klaus Scheffler and
Anja Schneider and
Bj{\"{o}}rn H. Schott and
Annika Spottke and
Eike J. Spruth and
Marc{-}Andr{\'{e}} Weber and
Birgit Ertl{-}Wagner and
Michael Wagner and
Jens Wiltfang and
Frank Jessen and
Stefan J. Teipel},
title = {Improving 3D convolutional neural network comprehensibility via interactive
visualization of relevance maps: Evaluation in Alzheimer's disease},
journal = {CoRR},
volume = {abs/2012.10294},
year = {2020}
}
@article{DBLP:journals/jair/LudtkeS00K18,
author = {Stefan L{\"{u}}dtke and
Max Schr{\"{o}}der and
Frank Kr{\"{u}}ger and
Sebastian Bader and
Thomas Kirste},
title = {State-Space Abstractions for Probabilistic Inference: {A} Systematic
Review},
journal = {J. Artif. Intell. Res.},
volume = {63},
pages = {789--848},
year = {2018}
}
@inproceedings{DBLP:conf/ijcai/LudtkeS0KK18,
author = {Stefan L{\"{u}}dtke and
Max Schr{\"{o}}der and
Sebastian Bader and
Kristian Kersting and
Thomas Kirste},
title = {Lifted Filtering via Exchangeable Decomposition},
booktitle = {{IJCAI}},
pages = {5067--5073},
publisher = {ijcai.org},
year = {2018}
}
@inproceedings{DBLP:conf/percom/Yordanova0W0HTK18,
author = {Kristina Y. Yordanova and
Sebastian Bader and
Sarah Weschke and
Frank Kr{\"{u}}ger and
Judith Henf and
Stefan J. Teipel and
Thomas Kirste},
title = {Discovery of Causal Relations in the Challenging Behaviour of People
with Dementia},
booktitle = {PerCom Workshops},
pages = {492--495},
publisher = {{IEEE} Computer Society},
year = {2018}
}
@article{DBLP:journals/corr/abs-1801-10495,
author = {Stefan L{\"{u}}dtke and
Max Schr{\"{o}}der and
Sebastian Bader and
Kristian Kersting and
Thomas Kirste},
title = {Lifted Filtering via Exchangeable Decomposition},
journal = {CoRR},
volume = {abs/1801.10495},
year = {2018}
}
@article{DBLP:journals/corr/abs-1804-06748,
author = {Stefan L{\"{u}}dtke and
Max Schr{\"{o}}der and
Frank Kr{\"{u}}ger and
Sebastian Bader and
Thomas Kirste},
title = {State-Space Abstractions for Probabilistic Inference: {A} Systematic
Review},
journal = {CoRR},
volume = {abs/1804.06748},
year = {2018}
}
@inproceedings{DBLP:conf/aaai/SchroderL00K17,
author = {Max Schr{\"{o}}der and
Stefan L{\"{u}}dtke and
Sebastian Bader and
Frank Kr{\"{u}}ger and
Thomas Kirste},
title = {Abstracting from Observation-Equivalent Entities in Human Behavior
Modeling},
booktitle = {{AAAI} Workshops},
series = {{AAAI} Technical Report},
volume = {{WS-17}},
publisher = {{AAAI} Press},
year = {2017}
}
@inproceedings{DBLP:conf/biostec/LudtkeH0BK17,
author = {Stefan L{\"{u}}dtke and
Albert Hein and
Frank Kr{\"{u}}ger and
Sebastian Bader and
Thomas Kirste},
title = {Actigraphic Sleep Detection for Real-World Data of Healthy Young Adults
and People with Alzheimer' s Disease},
booktitle = {{BIOSIGNALS}},
pages = {185--192},
publisher = {SciTePress},
year = {2017}
}
@inproceedings{DBLP:conf/icaart/HeidenBK17,
author = {Eric Heiden and
Sebastian Bader and
Thomas Kirste},
title = {Concept and Realization of a Diagnostic System for Smart Environments},
booktitle = {{ICAART} {(2)}},
pages = {318--329},
publisher = {SciTePress},
year = {2017}
}
@inproceedings{DBLP:conf/icdm/00010HK17,
author = {Frank Kr{\"{u}}ger and
Sebastian Bader and
Albert Hein and
Thomas Kirste},
title = {A Virtual Research Environment to Support Remote Behaviour Monitoring
from Data Collection to Analysis},
booktitle = {{ICDM} Workshops},
pages = {711--718},
publisher = {{IEEE} Computer Society},
year = {2017}
}
@inproceedings{DBLP:conf/ki/SchroderLB0K17,
author = {Max Schr{\"{o}}der and
Stefan L{\"{u}}dtke and
Sebastian Bader and
Frank Kr{\"{u}}ger and
Thomas Kirste},
title = {LiMa: Sequential Lifted Marginal Filtering on Multiset State Descriptions},
booktitle = {{KI}},
series = {Lecture Notes in Computer Science},
volume = {10505},
pages = {222--235},
publisher = {Springer},
year = {2017}
}
@inproceedings{DBLP:conf/percom/Hein0BEK17,
author = {Albert Hein and
Frank Kr{\"{u}}ger and
Sebastian Bader and
Peter Eschholz and
Thomas Kirste},
title = {Challenges of collecting empirical sensor data from people with dementia
in a field study},
booktitle = {PerCom Workshops},
pages = {22--25},
publisher = {{IEEE}},
year = {2017}
}
@inproceedings{DBLP:conf/percom/0001HBHTK17,
author = {Frank Kr{\"{u}}ger and
Christina Heine and
Sebastian Bader and
Albert Hein and
Stefan J. Teipel and
Thomas Kirste},
title = {On the applicability of clinical observation tools for human activity
annotation},
booktitle = {PerCom Workshops},
pages = {129--134},
publisher = {{IEEE}},
year = {2017}
}
@proceedings{DBLP:conf/iwoar/2017,
editor = {Kristina Y. Yordanova and
Max Schr{\"{o}}der and
Sebastian Bader and
Thomas Kirste},
title = {Proceedings of the 4th international Workshop on Sensor-based Activity
Recognition and Interaction, iWOAR 2017, Rostock, Germany, September
21 - 22, 2017},
publisher = {{ACM}},
year = {2017}
}
@article{DBLP:journals/corr/SchroderLB0K17,
author = {Max Schr{\"{o}}der and
Stefan L{\"{u}}dtke and
Sebastian Bader and
Frank Kr{\"{u}}ger and
Thomas Kirste},
title = {Sequential Lifted Bayesian Filtering in Multiset Rewriting Systems},
journal = {CoRR},
volume = {abs/1707.06446},
year = {2017}
}
@article{DBLP:journals/corr/abs-1711-03902,
author = {Tarek R. Besold and
Artur S. d'Avila Garcez and
Sebastian Bader and
Howard Bowman and
Pedro M. Domingos and
Pascal Hitzler and
Kai{-}Uwe K{\"{u}}hnberger and
Lu{\'{\i}}s C. Lamb and
Daniel Lowd and
Priscila Machado Vieira Lima and
Leo de Penning and
Gadi Pinkas and
Hoifung Poon and
Gerson Zaverucha},
title = {Neural-Symbolic Learning and Reasoning: {A} Survey and Interpretation},
journal = {CoRR},
volume = {abs/1711.03902},
year = {2017}
}
@inproceedings{DBLP:conf/eups/YordanovaBKHK16,
author = {Kristina Y. Yordanova and
Sebastian Bader and
Frank Kr{\"{u}}ger and
Albert Hein and
Thomas Kirste},
title = {Automatic Detection of Challenging Behaviour of People with Dementia
and Identification of Intervention Strategies - Requirements and Challenges},
booktitle = {{EPS}},
publisher = {SciTePress},
year = {2016}
}
@inproceedings{DBLP:conf/icaart/SchroderB0K16,
author = {Max Schr{\"{o}}der and
Sebastian Bader and
Frank Kr{\"{u}}ger and
Thomas Kirste},
title = {Reconstruction of Everyday Life Behaviour based on Noisy Sensor Data},
booktitle = {{ICAART} {(2)}},
pages = {430--437},
publisher = {SciTePress},
year = {2016}
}
@inproceedings{DBLP:conf/intellisys/Aehnelt016,
author = {Mario Aehnelt and
Sebastian Bader},
title = {Providing and Adapting Information Assistance for Smart Assembly Stations},
booktitle = {IntelliSys {(1)}},
series = {Lecture Notes in Networks and Systems},
volume = {15},
pages = {540--562},
publisher = {Springer},
year = {2016}
}
@inproceedings{DBLP:conf/iwoar/Yordanova0HTK16,
author = {Kristina Y. Yordanova and
Sebastian Bader and
Christina Heine and
Stefan J. Teipel and
Thomas Kirste},
title = {Towards a situation model for assessing challenging behaviour of people
with dementia},
booktitle = {iWOAR},
pages = {7:1--7:6},
publisher = {{ACM}},
year = {2016}
}
@inproceedings{DBLP:conf/iwoar/SchroderY0K16,
author = {Max Schr{\"{o}}der and
Kristina Y. Yordanova and
Sebastian Bader and
Thomas Kirste},
title = {Tool support for the online annotation of sensor data},
booktitle = {iWOAR},
pages = {9:1--9:7},
publisher = {{ACM}},
year = {2016}
}
@inproceedings{DBLP:conf/icaart/AehneltB15,
author = {Mario Aehnelt and
Sebastian Bader},
title = {Information Assistance for Smart Assembly Stations},
booktitle = {{ICAART} {(2)}},
pages = {143--150},
publisher = {SciTePress},
year = {2015}
}
@inproceedings{DBLP:conf/icaart/AehneltB15a,
author = {Mario Aehnelt and
Sebastian Bader},
title = {From Information Assistance to Cognitive Automation: {A} Smart Assembly
Use Case},
booktitle = {{ICAART} (Revised Selected Papers)},
series = {Lecture Notes in Computer Science},
volume = {9494},
pages = {207--222},
publisher = {Springer},
year = {2015}
}
@inproceedings{DBLP:conf/iwoar/Bader0K15,
author = {Sebastian Bader and
Frank Kr{\"{u}}ger and
Thomas Kirste},
title = {Computational causal behaviour models for assisted manufacturing},
booktitle = {iWOAR},
pages = {14:1--14:6},
publisher = {{ACM}},
year = {2015}
}
@incollection{DBLP:series/sci/NyoltSBK15,
author = {Martin Nyolt and
Alexander Steiniger and
Sebastian Bader and
Thomas Kirste},
title = {Describing and Evaluating Assistance Using {APDL}},
booktitle = {Smart Modeling and Simulation for Complex Systems},
series = {Studies in Computational Intelligence},
volume = {564},
pages = {59--81},
publisher = {Springer},
year = {2015}
}
@article{DBLP:journals/jid/LehstenBT14,
author = {Philipp Lehsten and
Sebastian Bader and
Djamshid Tavangarian},
title = {{CASA} - Context-Aware Service Access},
journal = {J. Integr. Des. Process. Sci.},
volume = {18},
number = {1},
pages = {21--38},
year = {2014}
}
@inproceedings{DBLP:conf/hci/MoosBK14,
author = {Daniel Moos and
Sebastian Bader and
Thomas Kirste},
title = {From Annotated Objects to Distributed Planning in Heterogeneous and
Dynamic Environments},
booktitle = {{HCI} {(21)}},
series = {Lecture Notes in Computer Science},
volume = {8530},
pages = {462--473},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/icaart/BaderA14,
author = {Sebastian Bader and
Mario Aehnelt},
title = {Tracking Assembly Processes and Providing Assistance in Smart Factories},
booktitle = {{ICAART} {(1)}},
pages = {161--168},
publisher = {SciTePress},
year = {2014}
}
@inproceedings{DBLP:conf/ki/MoosBK14,
author = {Daniel Moos and
Sebastian Bader and
Thomas Kirste},
title = {From Intelligibility to Debuggability in Context-Aware Systems},
booktitle = {{KI}},
series = {Lecture Notes in Computer Science},
volume = {8736},
pages = {219--224},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/ami/Bader13,
author = {Sebastian Bader},
title = {Generating Explanations for Pro-active Assistance from Formal Action
Descriptions},
booktitle = {AmI},
series = {Lecture Notes in Computer Science},
volume = {8309},
pages = {19--31},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/hci/AehneltBRKUK13,
author = {Mario Aehnelt and
Sebastian Bader and
Gernot Ruscher and
Frank Kr{\"{u}}ger and
Bodo Urban and
Thomas Kirste},
title = {Situation Aware Interaction with Multi-modal Business Applications
in Smart Environments},
booktitle = {{HCI} {(15)}},
series = {Lecture Notes in Computer Science},
volume = {8018},
pages = {413--422},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/intenv/Bader13,
author = {Sebastian Bader},
title = {Consistency of Goalaviour-Based Control Systems},
booktitle = {Intelligent Environments},
pages = {45--50},
publisher = {{IEEE}},
year = {2013}
}
@inproceedings{DBLP:conf/intenv/BaderNK13,
author = {Sebastian Bader and
Robin Nicolay and
Thomas Kirste},
title = {Agent-Based Proactive Support in Smart Environments},
booktitle = {Intelligent Environments},
pages = {220--223},
publisher = {{IEEE}},
year = {2013}
}
@proceedings{DBLP:conf/ijcai/2013aiip,
editor = {Sebastian Bader and
Anika Schumann and
Stephan Sigg and
Freddy L{\'{e}}cu{\'{e}} and
Biplav Srivastava and
Zaiqing Nie and
Christian Guttmann},
title = {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},
publisher = {{ACM}},
year = {2013}
}
@inproceedings{DBLP:conf/huc/KrugerSBK12,
author = {Frank Kr{\"{u}}ger and
Alexander Steiniger and
Sebastian Bader and
Thomas Kirste},
title = {Evaluating the robustness of activity recognition using computational
causal behavior models},
booktitle = {UbiComp},
pages = {1066--1074},
publisher = {{ACM}},
year = {2012}
}
@inproceedings{DBLP:conf/mswim/WollenbergBA12,
author = {Till Wollenberg and
Sebastian Bader and
Andreas Ahrens},
title = {Measuring channel occupancy for 802.11 wireless {LAN} in the 2.4 GHz
{ISM} band},
booktitle = {MSWiM},
pages = {305--308},
publisher = {{ACM}},
year = {2012}
}
@inproceedings{DBLP:conf/percom/BaderN12,
author = {Sebastian Bader and
Martin Nyolt},
title = {A context-aware publish-subscribe middleware for distributed smart
environments},
booktitle = {PerCom Workshops},
pages = {100--104},
publisher = {{IEEE} Computer Society},
year = {2012}
}
@article{DBLP:journals/icom/KrugerRBK11,
author = {Frank Kr{\"{u}}ger and
Gernot Ruscher and
Sebastian Bader and
Thomas Kirste},
title = {A Context-Aware Proactive Controller for Smart Environments},
journal = {i-com},
volume = {10},
number = {1},
pages = {41--48},
year = {2011}
}
@inproceedings{DBLP:conf/dcai/BaderL11,
author = {Sebastian Bader and
Ren{\'{e}} Leistikow},
title = {Levels of Adaptation and Control},
booktitle = {{DCAI}},
series = {Advances in Intelligent and Soft Computing},
volume = {91},
pages = {385--388},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/intenv/BaderD11,
author = {Sebastian Bader and
Martin Dyrba},
title = {Goalaviour-Based Control of Heterogeneous and Distributed Smart Environments},
booktitle = {Intelligent Environments},
pages = {142--148},
publisher = {{IEEE} Computer Society},
year = {2011}
}
@inproceedings{DBLP:conf/mates/Bader11,
author = {Sebastian Bader},
title = {Agentification of Objects in Heterogeneous Dynamic Environments},
booktitle = {{MATES}},
series = {Lecture Notes in Computer Science},
volume = {6973},
pages = {157--164},
publisher = {Springer},
year = {2011}
}
@article{DBLP:journals/apin/LehmannBH10,
author = {Jens Lehmann and
Sebastian Bader and
Pascal Hitzler},
title = {Extracting reduced logic programs from artificial neural networks},
journal = {Appl. Intell.},
volume = {32},
number = {3},
pages = {249--266},
year = {2010}
}
@inproceedings{DBLP:conf/huc/BaderRK10,
author = {Sebastian Bader and
Gernot Ruscher and
Thomas Kirste},
title = {A middleware for rapid prototyping smart environments: experiences
in research and teaching},
booktitle = {UbiComp (Adjunct Papers)},
series = {{ACM} International Conference Proceeding Series},
pages = {355--356},
publisher = {{ACM}},
year = {2010}
}
@inproceedings{DBLP:conf/huc/BaderKGM10,
author = {Sebastian Bader and
Thomas Kirste and
William G. Griswold and
Alke Martens},
title = {PerEd 2010: the third workshop on pervasive computing education},
booktitle = {UbiComp (Adjunct Papers)},
series = {{ACM} International Conference Proceeding Series},
pages = {531--534},
publisher = {{ACM}},
year = {2010}
}
@phdthesis{DBLP:phd/de/Bader2009,
author = {Sebastian Bader},
title = {Neural-symbolic integration},
school = {Dresden University of Technology},
year = {2009}
}
@inproceedings{DBLP:conf/nesy/Bader09,
author = {Sebastian Bader},
title = {Extracting Propositional Rules from Feedforward Neural Networks by
Means of Binary Decision Diagrams},
booktitle = {NeSy},
series = {{CEUR} Workshop Proceedings},
volume = {481},
publisher = {CEUR-WS.org},
year = {2009}
}
@article{DBLP:journals/ijon/BaderHH08,
author = {Sebastian Bader and
Pascal Hitzler and
Steffen H{\"{o}}lldobler},
title = {Connectionist model generation: {A} first-order approach},
journal = {Neurocomputing},
volume = {71},
number = {13-15},
pages = {2420--2432},
year = {2008}
}
@inproceedings{DBLP:conf/nesy/0001HM08,
author = {Sebastian Bader and
Steffen H{\"{o}}lldobler and
Nuno C. Marques},
title = {Guiding Backprop by Inserting Rules},
booktitle = {NeSy},
series = {{CEUR} Workshop Proceedings},
volume = {366},
publisher = {CEUR-WS.org},
year = {2008}
}
@inproceedings{DBLP:conf/ijcai/BaderHHW07,
author = {Sebastian Bader and
Pascal Hitzler and
Steffen H{\"{o}}lldobler and
Andreas Witzel},
title = {A Fully Connectionist Model Generator for Covered First-Order Logic
Programs},
booktitle = {{IJCAI}},
pages = {666--671},
year = {2007}
}
@inproceedings{DBLP:conf/ijcai/BaderHM07,
author = {Sebastian Bader and
Steffen H{\"{o}}lldobler and
Valentin Mayer{-}Eichberger},
title = {Extracting Propositional Rules from Feed-forward Neural Networks -
{A} New Decompositional Approach},
booktitle = {NeSy},
series = {{CEUR} Workshop Proceedings},
volume = {230},
publisher = {CEUR-WS.org},
year = {2007}
}
@incollection{DBLP:series/sci/BaderHHW07,
author = {Sebastian Bader and
Pascal Hitzler and
Steffen H{\"{o}}lldobler and
Andreas Witzel},
title = {The Core Method: Connectionist Model Generation for First-Order Logic
Programs},
booktitle = {Perspectives of Neural-Symbolic Integration},
series = {Studies in Computational Intelligence},
volume = {77},
pages = {205--232},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/icann/BaderH06,
author = {Sebastian Bader and
Steffen H{\"{o}}lldobler},
title = {The Core Method: Connectionist Model Generation},
booktitle = {{ICANN} {(2)}},
series = {Lecture Notes in Computer Science},
volume = {4132},
pages = {1--13},
publisher = {Springer},
year = {2006}
}
@inproceedings{DBLP:conf/birthday/BaderH05,
author = {Sebastian Bader and
Pascal Hitzler},
title = {Dimensions of Neural-symbolic Integration - {A} Structured Survey},
booktitle = {We Will Show Them! {(1)}},
pages = {167--194},
publisher = {College Publications},
year = {2005}
}
@inproceedings{DBLP:conf/flairs/BaderGH05,
author = {Sebastian Bader and
Artur S. d'Avila Garcez and
Pascal Hitzler},
title = {Computing First-Order Logic Programs by Fibring Artificial Neural
Networks},
booktitle = {{FLAIRS}},
pages = {314--319},
publisher = {{AAAI} Press},
year = {2005}
}
@article{DBLP:journals/corr/abs-cs-0511042,
author = {Sebastian Bader and
Pascal Hitzler},
title = {Dimensions of Neural-symbolic Integration - {A} Structured Survey},
journal = {CoRR},
volume = {abs/cs/0511042},
year = {2005}
}
@article{DBLP:journals/japll/BaderH04,
author = {Sebastian Bader and
Pascal Hitzler},
title = {Logic programs, iterated function systems, and recurrent radial basis
function networks},
journal = {J. Appl. Log.},
volume = {2},
number = {3},
pages = {273--300},
year = {2004}
}
@inproceedings{DBLP:conf/ki/BaderHS04,
author = {Sebastian Bader and
Steffen H{\"{o}}lldobler and
Alexandre Scalzitti},
title = {Semiring Artificial Neural Networks and Weighted Automata. And an
Application to Digital Image Encoding},
booktitle = {{KI}},
series = {Lecture Notes in Computer Science},
volume = {3238},
pages = {281--294},
publisher = {Springer},
year = {2004}
}
@article{DBLP:journals/corr/cs-AI-0408069,
author = {Sebastian Bader and
Pascal Hitzler and
Steffen H{\"{o}}lldobler},
title = {The Integration of Connectionism and First-Order Knowledge Representation
and Reasoning as a Challenge for Artificial Intelligence},
journal = {CoRR},
volume = {cs.AI/0408069},
year = {2004}
}
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.
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: