这是indexloc提供的服务,不要输入任何密码

BibTeX records: Sebastian Bader 0001

download as .bib file

@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 2025 - Proceedings, German
                  Conference on Medical Image Computing, Regensburg, March 09-11, 2025},
  pages        = {76--81},
  year         = {2025},
  crossref     = {DBLP:conf/bildmed/2025},
  url          = {https://doi.org/10.1007/978-3-658-47422-5\_18},
  doi          = {10.1007/978-3-658-47422-5\_18},
  timestamp    = {Tue, 01 Apr 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bildmed/Hiller0SKBD25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {https://doi.org/10.48550/arXiv.2508.18293},
  doi          = {10.48550/ARXIV.2508.18293},
  eprinttype    = {arXiv},
  eprint       = {2508.18293},
  timestamp    = {Sun, 21 Sep 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2508-18293.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {https://doi.org/10.48550/arXiv.2407.11995},
  doi          = {10.48550/ARXIV.2407.11995},
  eprinttype    = {arXiv},
  eprint       = {2407.11995},
  timestamp    = {Fri, 23 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2407-11995.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {https://doi.org/10.3389/frobt.2023.1103017},
  doi          = {10.3389/FROBT.2023.1103017},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/firai/PlatzPDUB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkdd/Fenske0K23,
  author       = {Ole Fenske and
                  Sebastian Bader and
                  Thomas Kirste},
  title        = {Neuro-symbolic Artificial Intelligence for Patient Monitoring},
  booktitle    = {Machine Learning and Principles and Practice of Knowledge Discovery
                  in Databases - International Workshops of {ECML} {PKDD} 2023, Turin,
                  Italy, September 18-22, 2023, Revised Selected Papers, Part {IV}},
  pages        = {19--25},
  year         = {2023},
  crossref     = {DBLP:conf/pkdd/2023-w4},
  url          = {https://doi.org/10.1007/978-3-031-74640-6\_2},
  doi          = {10.1007/978-3-031-74640-6\_2},
  timestamp    = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pkdd/Fenske0K23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {https://doi.org/10.48550/arXiv.2303.03929},
  doi          = {10.48550/ARXIV.2303.03929},
  eprinttype    = {arXiv},
  eprint       = {2303.03929},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2303-03929.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {https://doi.org/10.1007/s13218-022-00765-7},
  doi          = {10.1007/S13218-022-00765-7},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ki/FelskeBK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {Proceedings of the 7th International Workshop on Sensor-based Activity
                  Recognition and Artificial Intelligence, iWOAR 2022, Rostock, Germany,
                  September 19-20, 2022},
  pages        = {3:1--3:7},
  year         = {2022},
  crossref     = {DBLP:conf/iwoar/2022},
  url          = {https://doi.org/10.1145/3558884.3558892},
  doi          = {10.1145/3558884.3558892},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwoar/Popko0LK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {Proceedings of the 7th International Workshop on Sensor-based Activity
                  Recognition and Artificial Intelligence, iWOAR 2022, Rostock, Germany,
                  September 19-20, 2022},
  pages        = {4:1--4:10},
  year         = {2022},
  crossref     = {DBLP:conf/iwoar/2022},
  url          = {https://doi.org/10.1145/3558884.3558897},
  doi          = {10.1145/3558884.3558897},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwoar/Islam0K22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {https://arxiv.org/abs/2202.00332},
  eprinttype    = {arXiv},
  eprint       = {2202.00332},
  timestamp    = {Wed, 09 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2202-00332.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {https://doi.org/10.48550/arXiv.2207.08816},
  doi          = {10.48550/ARXIV.2207.08816},
  eprinttype    = {arXiv},
  eprint       = {2207.08816},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2207-08816.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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} '21: {ACM} {SIGCHI} Symposium on Engineering Interactive Computing
                  Systems, Virtual Event, The Netherlands, 8-11 June 2021},
  pages        = {38--43},
  year         = {2021},
  crossref     = {DBLP:conf/eics/2021},
  url          = {https://doi.org/10.1145/3459926.3464756},
  doi          = {10.1145/3459926.3464756},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eics/ForbrigB021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {Human Centred Intelligent Systems - Proceedings of {KES-HCIS} 2021
                  Conference, Virtual Event},
  pages        = {76--85},
  year         = {2021},
  crossref     = {DBLP:conf/keshcis/2021},
  url          = {https://doi.org/10.1007/978-981-16-3264-8\_8},
  doi          = {10.1007/978-981-16-3264-8\_8},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/keshcis/Bundea0F21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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: The State of the Art},
  pages        = {1--51},
  year         = {2021},
  crossref     = {DBLP:series/faia/342},
  url          = {https://doi.org/10.3233/FAIA210348},
  doi          = {10.3233/FAIA210348},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/faia/BesoldGBBDHKLLPPPZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {https://arxiv.org/abs/2107.05346},
  eprinttype    = {arXiv},
  eprint       = {2107.05346},
  timestamp    = {Tue, 20 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-05346.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {https://arxiv.org/abs/2012.10294},
  eprinttype    = {arXiv},
  eprint       = {2012.10294},
  timestamp    = {Mon, 26 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2012-10294.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {https://doi.org/10.1613/jair.1.11261},
  doi          = {10.1613/JAIR.1.11261},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jair/LudtkeS00K18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {Proceedings of the Twenty-Seventh International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
                  Sweden},
  pages        = {5067--5073},
  year         = {2018},
  crossref     = {DBLP:conf/ijcai/2018},
  url          = {https://doi.org/10.24963/ijcai.2018/703},
  doi          = {10.24963/IJCAI.2018/703},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/LudtkeS0KK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {2018 {IEEE} International Conference on Pervasive Computing and Communications
                  Workshops, PerCom Workshops 2018, Athens, Greece, March 19-23, 2018},
  pages        = {492--495},
  year         = {2018},
  crossref     = {DBLP:conf/percom/2018w},
  url          = {https://doi.org/10.1109/PERCOMW.2018.8480263},
  doi          = {10.1109/PERCOMW.2018.8480263},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/percom/Yordanova0W0HTK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {http://arxiv.org/abs/1801.10495},
  eprinttype    = {arXiv},
  eprint       = {1801.10495},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1801-10495.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {http://arxiv.org/abs/1804.06748},
  eprinttype    = {arXiv},
  eprint       = {1804.06748},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1804-06748.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {The Workshops of the The Thirty-First {AAAI} Conference on Artificial
                  Intelligence, Saturday, February 4-9, 2017, San Francisco, California,
                  {USA}},
  year         = {2017},
  crossref     = {DBLP:conf/aaai/2017w},
  url          = {http://aaai.org/ocs/index.php/WS/AAAIW17/paper/view/15183},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/SchroderL00K17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {Proceedings of the 10th International Joint Conference on Biomedical
                  Engineering Systems and Technologies {(BIOSTEC} 2017) - Volume 4:
                  BIOSIGNALS, Porto, Portugal, February 21-23, 2017},
  pages        = {185--192},
  year         = {2017},
  crossref     = {DBLP:conf/biostec/2017bs},
  url          = {https://doi.org/10.5220/0006158801850192},
  doi          = {10.5220/0006158801850192},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/biostec/LudtkeH0BK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {Proceedings of the 9th International Conference on Agents and Artificial
                  Intelligence, {ICAART} 2017, Volume 2, Porto, Portugal, February 24-26,
                  2017},
  pages        = {318--329},
  year         = {2017},
  crossref     = {DBLP:conf/icaart/2017-2},
  url          = {https://doi.org/10.5220/0006257903180329},
  doi          = {10.5220/0006257903180329},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icaart/HeidenBK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {2017 {IEEE} International Conference on Data Mining Workshops, {ICDM}
                  Workshops 2017, New Orleans, LA, USA, November 18-21, 2017},
  pages        = {711--718},
  year         = {2017},
  crossref     = {DBLP:conf/icdm/2017w},
  url          = {https://doi.org/10.1109/ICDMW.2017.99},
  doi          = {10.1109/ICDMW.2017.99},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdm/00010HK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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} 2017: Advances in Artificial Intelligence - 40th Annual German
                  Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings},
  pages        = {222--235},
  year         = {2017},
  crossref     = {DBLP:conf/ki/2017},
  url          = {https://doi.org/10.1007/978-3-319-67190-1\_17},
  doi          = {10.1007/978-3-319-67190-1\_17},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/SchroderLB0K17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {2017 {IEEE} International Conference on Pervasive Computing and Communications
                  Workshops, PerCom Workshops 2017, Kona, Big Island, HI, USA, March
                  13-17, 2017},
  pages        = {22--25},
  year         = {2017},
  crossref     = {DBLP:conf/percom/2017w},
  url          = {https://doi.org/10.1109/PERCOMW.2017.7917512},
  doi          = {10.1109/PERCOMW.2017.7917512},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/percom/Hein0BEK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {2017 {IEEE} International Conference on Pervasive Computing and Communications
                  Workshops, PerCom Workshops 2017, Kona, Big Island, HI, USA, March
                  13-17, 2017},
  pages        = {129--134},
  year         = {2017},
  crossref     = {DBLP:conf/percom/2017w},
  url          = {https://doi.org/10.1109/PERCOMW.2017.7917545},
  doi          = {10.1109/PERCOMW.2017.7917545},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/percom/0001HBHTK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {https://doi.org/10.1145/3134230},
  doi          = {10.1145/3134230},
  isbn         = {978-1-4503-5223-9},
  timestamp    = {Mon, 07 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwoar/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {http://arxiv.org/abs/1707.06446},
  eprinttype    = {arXiv},
  eprint       = {1707.06446},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/SchroderLB0K17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {http://arxiv.org/abs/1711.03902},
  eprinttype    = {arXiv},
  eprint       = {1711.03902},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-03902.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {European Project Space on Intelligent Technologies, Software engineering,
                  Computer Vision, Graphics, Optics and Photonics, Rome, Italy, February
                  21-29, 2016},
  year         = {2016},
  crossref     = {DBLP:conf/eups/2016},
  url          = {https://doi.org/10.5220/0007904401660180},
  doi          = {10.5220/0007904401660180},
  timestamp    = {Mon, 07 Jun 2021 16:31:54 +0200},
  biburl       = {https://dblp.org/rec/conf/eups/YordanovaBKHK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {Proceedings of the 8th International Conference on Agents and Artificial
                  Intelligence {(ICAART} 2016), Volume 2, Rome, Italy, February 24-26,
                  2016},
  pages        = {430--437},
  year         = {2016},
  crossref     = {DBLP:conf/icaart/2016-2},
  url          = {https://doi.org/10.5220/0005756804300437},
  doi          = {10.5220/0005756804300437},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icaart/SchroderB0K16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intellisys/Aehnelt016,
  author       = {Mario Aehnelt and
                  Sebastian Bader},
  title        = {Providing and Adapting Information Assistance for Smart Assembly Stations},
  booktitle    = {Proceedings of {SAI} Intelligent Systems Conference (IntelliSys) 2016
                  - Volume 1, London, UK, 21-22 September 2016},
  pages        = {540--562},
  year         = {2016},
  crossref     = {DBLP:conf/intellisys/2016-1},
  url          = {https://doi.org/10.1007/978-3-319-56994-9\_37},
  doi          = {10.1007/978-3-319-56994-9\_37},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/intellisys/Aehnelt016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {Proceedings of the 3rd International Workshop on Sensor-based Activity
                  Recognition and Interaction, iWOAR '16, Rostock, Germany, June 23-24,
                  2016},
  pages        = {7:1--7:6},
  year         = {2016},
  crossref     = {DBLP:conf/iwoar/2016},
  url          = {https://doi.org/10.1145/2948963.2948970},
  doi          = {10.1145/2948963.2948970},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwoar/Yordanova0HTK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {Proceedings of the 3rd International Workshop on Sensor-based Activity
                  Recognition and Interaction, iWOAR '16, Rostock, Germany, June 23-24,
                  2016},
  pages        = {9:1--9:7},
  year         = {2016},
  crossref     = {DBLP:conf/iwoar/2016},
  url          = {https://doi.org/10.1145/2948963.2948972},
  doi          = {10.1145/2948963.2948972},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwoar/SchroderY0K16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/AehneltB15,
  author       = {Mario Aehnelt and
                  Sebastian Bader},
  title        = {Information Assistance for Smart Assembly Stations},
  booktitle    = {{ICAART} 2015 - Proceedings of the International Conference on Agents
                  and Artificial Intelligence, Volume 2, Lisbon, Portugal, 10-12 January,
                  2015},
  pages        = {143--150},
  year         = {2015},
  crossref     = {DBLP:conf/icaart/2015-2},
  timestamp    = {Fri, 15 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icaart/AehneltB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/AehneltB15a,
  author       = {Mario Aehnelt and
                  Sebastian Bader},
  title        = {From Information Assistance to Cognitive Automation: {A} Smart Assembly
                  Use Case},
  booktitle    = {Agents and Artificial Intelligence - 7th International Conference,
                  {ICAART} 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected
                  Papers},
  pages        = {207--222},
  year         = {2015},
  crossref     = {DBLP:conf/icaart/2015s},
  url          = {https://doi.org/10.1007/978-3-319-27947-3\_11},
  doi          = {10.1007/978-3-319-27947-3\_11},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icaart/AehneltB15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {Proceedings of the 2nd international Workshop on Sensor-based Activity
                  Recognition and Interaction, iWOAR 2015, Rostock, Germany, June 25-26,
                  2015},
  pages        = {14:1--14:6},
  year         = {2015},
  crossref     = {DBLP:conf/iwoar/2015},
  url          = {https://doi.org/10.1145/2790044.2790058},
  doi          = {10.1145/2790044.2790058},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwoar/Bader0K15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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 - Practice and Theory},
  pages        = {59--81},
  year         = {2015},
  crossref     = {DBLP:series/sci/2015-564},
  url          = {https://doi.org/10.1007/978-4-431-55209-3\_5},
  doi          = {10.1007/978-4-431-55209-3\_5},
  timestamp    = {Sun, 28 Sep 2025 08:40:36 +0200},
  biburl       = {https://dblp.org/rec/series/sci/NyoltSBK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {https://doi.org/10.3233/jid-2014-0008},
  doi          = {10.3233/JID-2014-0008},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jid/LehstenBT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {Distributed, Ambient, and Pervasive Interactions - Second International
                  Conference, {DAPI} 2014, Held as Part of {HCI} Interational 2014,
                  Heraklion, Crete, Greece, June 22-27, 2014. Proceedings},
  pages        = {462--473},
  year         = {2014},
  crossref     = {DBLP:conf/hci/2014-21},
  url          = {https://doi.org/10.1007/978-3-319-07788-8\_43},
  doi          = {10.1007/978-3-319-07788-8\_43},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hci/MoosBK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/BaderA14,
  author       = {Sebastian Bader and
                  Mario Aehnelt},
  title        = {Tracking Assembly Processes and Providing Assistance in Smart Factories},
  booktitle    = {{ICAART} 2014 - Proceedings of the 6th International Conference on
                  Agents and Artificial Intelligence, Volume 1, ESEO, Angers, Loire
                  Valley, France, 6-8 March, 2014},
  pages        = {161--168},
  year         = {2014},
  crossref     = {DBLP:conf/icaart/2014-1},
  url          = {https://doi.org/10.5220/0004822701610168},
  doi          = {10.5220/0004822701610168},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icaart/BaderA14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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} 2014: Advances in Artificial Intelligence - 37th Annual German
                  Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings},
  pages        = {219--224},
  year         = {2014},
  crossref     = {DBLP:conf/ki/2014},
  url          = {https://doi.org/10.1007/978-3-319-11206-0\_21},
  doi          = {10.1007/978-3-319-11206-0\_21},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/MoosBK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ami/Bader13,
  author       = {Sebastian Bader},
  title        = {Generating Explanations for Pro-active Assistance from Formal Action
                  Descriptions},
  booktitle    = {Ambient Intelligence - 4th International Joint Conference, AmI 2013,
                  Dublin, Ireland, December 3-5, 2013. Proceedings},
  pages        = {19--31},
  year         = {2013},
  crossref     = {DBLP:conf/ami/2013},
  url          = {https://doi.org/10.1007/978-3-319-03647-2\_2},
  doi          = {10.1007/978-3-319-03647-2\_2},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ami/Bader13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {Human Interface and the Management of Information. Information and
                  Interaction for Learning, Culture, Collaboration and Business, - 15th
                  International Conference, {HCI} International 2013, Las Vegas, NV,
                  USA, July 21-26, 2013, Proceedings, Part {III}},
  pages        = {413--422},
  year         = {2013},
  crossref     = {DBLP:conf/hci/2013-15},
  url          = {https://doi.org/10.1007/978-3-642-39226-9\_45},
  doi          = {10.1007/978-3-642-39226-9\_45},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hci/AehneltBRKUK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intenv/Bader13,
  author       = {Sebastian Bader},
  title        = {Consistency of Goalaviour-Based Control Systems},
  booktitle    = {The 9th International Conference on Intelligent Environments, Athens,
                  Greece, June 18-19, 2013 (workshops on 16-17 July 2013)},
  pages        = {45--50},
  year         = {2013},
  crossref     = {DBLP:conf/intenv/2013},
  url          = {https://doi.org/10.1109/IE.2013.42},
  doi          = {10.1109/IE.2013.42},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/intenv/Bader13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intenv/BaderNK13,
  author       = {Sebastian Bader and
                  Robin Nicolay and
                  Thomas Kirste},
  title        = {Agent-Based Proactive Support in Smart Environments},
  booktitle    = {The 9th International Conference on Intelligent Environments, Athens,
                  Greece, June 18-19, 2013 (workshops on 16-17 July 2013)},
  pages        = {220--223},
  year         = {2013},
  crossref     = {DBLP:conf/intenv/2013},
  url          = {https://doi.org/10.1109/IE.2013.30},
  doi          = {10.1109/IE.2013.30},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/intenv/BaderNK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {https://doi.org/10.1145/2516911},
  doi          = {10.1145/2516911},
  isbn         = {978-1-4503-2346-8},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/2013aiip.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {The 2012 {ACM} Conference on Ubiquitous Computing, Ubicomp '12, Pittsburgh,
                  PA, USA, September 5-8, 2012},
  pages        = {1066--1074},
  year         = {2012},
  crossref     = {DBLP:conf/huc/2012},
  url          = {https://doi.org/10.1145/2370216.2370443},
  doi          = {10.1145/2370216.2370443},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/huc/KrugerSBK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {The 15th {ACM} International Conference on Modeling, Analysis and
                  Simulation of Wireless and Mobile Systems, MSWiM '12, Paphos, Cyprus,
                  October 21-25, 2012},
  pages        = {305--308},
  year         = {2012},
  crossref     = {DBLP:conf/mswim/2012},
  url          = {https://doi.org/10.1145/2387238.2387289},
  doi          = {10.1145/2387238.2387289},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mswim/WollenbergBA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/BaderN12,
  author       = {Sebastian Bader and
                  Martin Nyolt},
  title        = {A context-aware publish-subscribe middleware for distributed smart
                  environments},
  booktitle    = {Tenth Annual {IEEE} International Conference on Pervasive Computing
                  and Communications, PerCom 2012, March 19-23, 2012, Lugano, Switzerland,
                  Workshop Proceedings},
  pages        = {100--104},
  year         = {2012},
  crossref     = {DBLP:conf/percom/2012w},
  url          = {https://doi.org/10.1109/PerComW.2012.6197458},
  doi          = {10.1109/PERCOMW.2012.6197458},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/percom/BaderN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {https://doi.org/10.1524/icom.2011.0007},
  doi          = {10.1524/ICOM.2011.0007},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/icom/KrugerRBK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcai/BaderL11,
  author       = {Sebastian Bader and
                  Ren{\'{e}} Leistikow},
  title        = {Levels of Adaptation and Control},
  booktitle    = {International Symposium on Distributed Computing and Artificial Intelligence,
                  {DCAI} 2011, Salamanca, Spain, 6-8 April 2011},
  pages        = {385--388},
  year         = {2011},
  crossref     = {DBLP:conf/dcai/2011},
  url          = {https://doi.org/10.1007/978-3-642-19934-9\_49},
  doi          = {10.1007/978-3-642-19934-9\_49},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcai/BaderL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intenv/BaderD11,
  author       = {Sebastian Bader and
                  Martin Dyrba},
  title        = {Goalaviour-Based Control of Heterogeneous and Distributed Smart Environments},
  booktitle    = {7th International Conference on Intelligent Environments, {IE} 2011,
                  Nottingham, United Kingdom, July 25-28, 2011},
  pages        = {142--148},
  year         = {2011},
  crossref     = {DBLP:conf/intenv/2011},
  url          = {https://doi.org/10.1109/IE.2011.33},
  doi          = {10.1109/IE.2011.33},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/intenv/BaderD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mates/Bader11,
  author       = {Sebastian Bader},
  title        = {Agentification of Objects in Heterogeneous Dynamic Environments},
  booktitle    = {Multiagent System Technologies - 9th German Conference, {MATES} 2011,
                  Berlin, Germany, October 6-7, 2011. Proceedings},
  pages        = {157--164},
  year         = {2011},
  crossref     = {DBLP:conf/mates/2011},
  url          = {https://doi.org/10.1007/978-3-642-24603-6\_16},
  doi          = {10.1007/978-3-642-24603-6\_16},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mates/Bader11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {https://doi.org/10.1007/s10489-008-0142-y},
  doi          = {10.1007/S10489-008-0142-Y},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apin/LehmannBH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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 2010: Ubiquitous Computing, 12th International Conference,
                  UbiComp 2010, Copenhagen, Denmark, September 26-29, 2010, Adjunct
                  Papers Proceedings},
  pages        = {355--356},
  year         = {2010},
  crossref     = {DBLP:conf/huc/2010ap},
  url          = {https://doi.org/10.1145/1864431.1864433},
  doi          = {10.1145/1864431.1864433},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/huc/BaderRK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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 2010: Ubiquitous Computing, 12th International Conference,
                  UbiComp 2010, Copenhagen, Denmark, September 26-29, 2010, Adjunct
                  Papers Proceedings},
  pages        = {531--534},
  year         = {2010},
  crossref     = {DBLP:conf/huc/2010ap},
  url          = {https://doi.org/10.1145/1864431.1864506},
  doi          = {10.1145/1864431.1864506},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/huc/BaderKGM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Bader2009,
  author       = {Sebastian Bader},
  title        = {Neural-symbolic integration},
  school       = {Dresden University of Technology},
  year         = {2009},
  url          = {https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa-25468},
  urn          = {urn:nbn:de:bsz:14-qucosa-25468},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/de/Bader2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nesy/Bader09,
  author       = {Sebastian Bader},
  title        = {Extracting Propositional Rules from Feedforward Neural Networks by
                  Means of Binary Decision Diagrams},
  booktitle    = {Proceedings of the Fifth International Workshop on Neural-Symbolic
                  Learning and Reasoning, NeSy 2009, Pasadena, CA, USA, July 11, 2009},
  year         = {2009},
  crossref     = {DBLP:conf/nesy/2009},
  url          = {https://ceur-ws.org/Vol-481/paper-5.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:33 +0100},
  biburl       = {https://dblp.org/rec/conf/nesy/Bader09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {https://doi.org/10.1016/j.neucom.2007.10.028},
  doi          = {10.1016/J.NEUCOM.2007.10.028},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijon/BaderHH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nesy/0001HM08,
  author       = {Sebastian Bader and
                  Steffen H{\"{o}}lldobler and
                  Nuno C. Marques},
  title        = {Guiding Backprop by Inserting Rules},
  booktitle    = {Proceedings of the Fourth International Workshop on Neural-Symbolic
                  Learning and Reasoning, NeSy 2008, Patras, Greece, July 21, 2008},
  year         = {2008},
  crossref     = {DBLP:conf/nesy/2008},
  url          = {https://ceur-ws.org/Vol-366/paper-5.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:33 +0100},
  biburl       = {https://dblp.org/rec/conf/nesy/0001HM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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} 2007, Proceedings of the 20th International Joint Conference
                  on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
  pages        = {666--671},
  year         = {2007},
  crossref     = {DBLP:conf/ijcai/2007},
  url          = {http://ijcai.org/Proceedings/07/Papers/106.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:17:11 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BaderHHW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {Proceedings of the 3rd International Workshop on Neural-Symbolic Learning
                  and Reasoning, NeSy'07, held at IJCAI-07, Hyderabad, India, January
                  8, 2007},
  year         = {2007},
  crossref     = {DBLP:conf/ijcai/2007nesy},
  url          = {https://ceur-ws.org/Vol-230/04-bader.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:31 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/BaderHM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  pages        = {205--232},
  year         = {2007},
  crossref     = {DBLP:series/sci/2007-77},
  url          = {https://doi.org/10.1007/978-3-540-73954-8\_9},
  doi          = {10.1007/978-3-540-73954-8\_9},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/sci/BaderHHW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icann/BaderH06,
  author       = {Sebastian Bader and
                  Steffen H{\"{o}}lldobler},
  title        = {The Core Method: Connectionist Model Generation},
  booktitle    = {Artificial Neural Networks - {ICANN} 2006, 16th International Conference,
                  Athens, Greece, September 10-14, 2006. Proceedings, Part {II}},
  pages        = {1--13},
  year         = {2006},
  crossref     = {DBLP:conf/icann/2006-2},
  url          = {https://doi.org/10.1007/11840930\_1},
  doi          = {10.1007/11840930\_1},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icann/BaderH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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! Essays in Honour of Dov Gabbay, Volume One},
  pages        = {167--194},
  year         = {2005},
  crossref     = {DBLP:conf/birthday/2005gabbay1},
  timestamp    = {Thu, 09 Jul 2020 09:13:39 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BaderH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {Proceedings of the Eighteenth International Florida Artificial Intelligence
                  Research Society Conference, Clearwater Beach, Florida, {USA}},
  pages        = {314--319},
  year         = {2005},
  crossref     = {DBLP:conf/flairs/2005},
  url          = {http://www.aaai.org/Library/FLAIRS/2005/flairs05-052.php},
  timestamp    = {Wed, 26 Oct 2022 08:35:28 +0200},
  biburl       = {https://dblp.org/rec/conf/flairs/BaderGH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {http://arxiv.org/abs/cs/0511042},
  eprinttype    = {arXiv},
  eprint       = {cs/0511042},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0511042.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {https://doi.org/10.1016/j.jal.2004.03.003},
  doi          = {10.1016/J.JAL.2004.03.003},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/japll/BaderH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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} 2004: Advances in Artificial Intelligence, 27th Annual German
                  Conference on AI, {KI} 2004, Ulm, Germany, September 20-24, 2004,
                  Proceedings},
  pages        = {281--294},
  year         = {2004},
  crossref     = {DBLP:conf/ki/2004},
  url          = {https://doi.org/10.1007/978-3-540-30221-6\_22},
  doi          = {10.1007/978-3-540-30221-6\_22},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/BaderHS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {http://arxiv.org/abs/cs.AI/0408069},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/cs-AI-0408069.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bildmed/2025,
  editor       = {Christoph Palm and
                  Katharina Breininger and
                  Thomas M. Deserno and
                  Heinz Handels and
                  Andreas Maier and
                  Klaus H. Maier{-}Hein and
                  Thomas Tolxdorff},
  title        = {Bildverarbeitung f{\"{u}}r die Medizin 2025 - Proceedings, German
                  Conference on Medical Image Computing, Regensburg, March 09-11, 2025},
  series       = {Informatik Aktuell},
  publisher    = {Springer},
  year         = {2025},
  url          = {https://doi.org/10.1007/978-3-658-47422-5},
  doi          = {10.1007/978-3-658-47422-5},
  isbn         = {978-3-658-47421-8},
  timestamp    = {Wed, 19 Nov 2025 06:35:02 +0100},
  biburl       = {https://dblp.org/rec/conf/bildmed/2025.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pkdd/2023-w4,
  editor       = {Rosa Meo and
                  Fabrizio Silvestri},
  title        = {Machine Learning and Principles and Practice of Knowledge Discovery
                  in Databases - International Workshops of {ECML} {PKDD} 2023, Turin,
                  Italy, September 18-22, 2023, Revised Selected Papers, Part {IV}},
  series       = {Communications in Computer and Information Science},
  volume       = {2136},
  publisher    = {Springer},
  year         = {2025},
  url          = {https://doi.org/10.1007/978-3-031-74640-6},
  doi          = {10.1007/978-3-031-74640-6},
  isbn         = {978-3-031-74639-0},
  timestamp    = {Wed, 19 Nov 2025 06:35:02 +0100},
  biburl       = {https://dblp.org/rec/conf/pkdd/2023-w4.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwoar/2022,
  title        = {Proceedings of the 7th International Workshop on Sensor-based Activity
                  Recognition and Artificial Intelligence, iWOAR 2022, Rostock, Germany,
                  September 19-20, 2022},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3558884},
  doi          = {10.1145/3558884},
  isbn         = {978-1-4503-9624-0},
  timestamp    = {Wed, 19 Nov 2025 06:35:02 +0100},
  biburl       = {https://dblp.org/rec/conf/iwoar/2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eics/2021,
  editor       = {Panos Markopoulos and
                  Jun Hu and
                  Philippe A. Palanque},
  title        = {{EICS} '21: {ACM} {SIGCHI} Symposium on Engineering Interactive Computing
                  Systems, Virtual Event, The Netherlands, 8-11 June 2021},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3459926},
  doi          = {10.1145/3459926},
  isbn         = {978-1-4503-8449-0},
  timestamp    = {Wed, 19 Nov 2025 06:35:02 +0100},
  biburl       = {https://dblp.org/rec/conf/eics/2021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/keshcis/2021,
  editor       = {Alfred Zimmermann and
                  Robert J. Howlett and
                  Lakhmi C. Jain and
                  Rainer Schmidt},
  title        = {Human Centred Intelligent Systems - Proceedings of {KES-HCIS} 2021
                  Conference, Virtual Event},
  series       = {Smart Innovation, Systems and Technologies},
  volume       = {244},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-981-16-3264-8},
  doi          = {10.1007/978-981-16-3264-8},
  isbn         = {978-981-16-3263-1},
  timestamp    = {Wed, 19 Nov 2025 06:35:02 +0100},
  biburl       = {https://dblp.org/rec/conf/keshcis/2021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/faia/342,
  editor       = {Pascal Hitzler and
                  Md. Kamruzzaman Sarker},
  title        = {Neuro-Symbolic Artificial Intelligence: The State of the Art},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {342},
  publisher    = {{IOS} Press},
  year         = {2021},
  url          = {https://doi.org/10.3233/FAIA342},
  doi          = {10.3233/FAIA342},
  isbn         = {978-1-64368-244-0},
  timestamp    = {Wed, 19 Nov 2025 06:35:02 +0100},
  biburl       = {https://dblp.org/rec/series/faia/342.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2018,
  editor       = {J{\'{e}}r{\^{o}}me Lang},
  title        = {Proceedings of the Twenty-Seventh International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
                  Sweden},
  publisher    = {ijcai.org},
  year         = {2018},
  url          = {http://www.ijcai.org/proceedings/2018/},
  isbn         = {978-0-9992411-2-7},
  timestamp    = {Wed, 19 Nov 2025 06:35:02 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/2018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/percom/2018w,
  title        = {2018 {IEEE} International Conference on Pervasive Computing and Communications
                  Workshops, PerCom Workshops 2018, Athens, Greece, March 19-23, 2018},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/8454955/proceeding},
  isbn         = {978-1-5386-3227-7},
  timestamp    = {Wed, 19 Nov 2025 06:35:02 +0100},
  biburl       = {https://dblp.org/rec/conf/percom/2018w.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2017w,
  title        = {The Workshops of the The Thirty-First {AAAI} Conference on Artificial
                  Intelligence, Saturday, February 4-9, 2017, San Francisco, California,
                  {USA}},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-17}},
  publisher    = {{AAAI} Press},
  year         = {2017},
  timestamp    = {Wed, 19 Nov 2025 06:35:02 +0100},
  biburl       = {https://dblp.org/rec/conf/aaai/2017w.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/biostec/2017bs,
  editor       = {Carlos Dias Maciel and
                  Ana L. N. Fred and
                  Hugo Gamboa and
                  M{\'{a}}rio Vaz},
  title        = {Proceedings of the 10th International Joint Conference on Biomedical
                  Engineering Systems and Technologies {(BIOSTEC} 2017) - Volume 4:
                  BIOSIGNALS, Porto, Portugal, February 21-23, 2017},
  publisher    = {SciTePress},
  year         = {2017},
  isbn         = {978-989-758-212-7},
  timestamp    = {Wed, 19 Nov 2025 06:35:02 +0100},
  biburl       = {https://dblp.org/rec/conf/biostec/2017bs.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icaart/2017-2,
  editor       = {H. Jaap van den Herik and
                  Ana Paula Rocha and
                  Joaquim Filipe},
  title        = {Proceedings of the 9th International Conference on Agents and Artificial
                  Intelligence, {ICAART} 2017, Volume 2, Porto, Portugal, February 24-26,
                  2017},
  publisher    = {SciTePress},
  year         = {2017},
  isbn         = {978-989-758-220-2},
  timestamp    = {Wed, 19 Nov 2025 06:35:02 +0100},
  biburl       = {https://dblp.org/rec/conf/icaart/2017-2.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdm/2017w,
  editor       = {Raju Gottumukkala and
                  Xia Ning and
                  Guozhu Dong and
                  Vijay Raghavan and
                  Srinivas Aluru and
                  George Karypis and
                  Lucio Miele and
                  Xindong Wu},
  title        = {2017 {IEEE} International Conference on Data Mining Workshops, {ICDM}
                  Workshops 2017, New Orleans, LA, USA, November 18-21, 2017},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/8211022/proceeding},
  isbn         = {978-1-5386-3800-2},
  timestamp    = {Wed, 19 Nov 2025 06:35:02 +0100},
  biburl       = {https://dblp.org/rec/conf/icdm/2017w.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/2017,
  editor       = {Gabriele Kern{-}Isberner and
                  Johannes F{\"{u}}rnkranz and
                  Matthias Thimm},
  title        = {{KI} 2017: Advances in Artificial Intelligence - 40th Annual German
                  Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10505},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-67190-1},
  doi          = {10.1007/978-3-319-67190-1},
  isbn         = {978-3-319-67189-5},
  timestamp    = {Wed, 19 Nov 2025 06:35:02 +0100},
  biburl       = {https://dblp.org/rec/conf/ki/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/percom/2017w,
  title        = {2017 {IEEE} International Conference on Pervasive Computing and Communications
                  Workshops, PerCom Workshops 2017, Kona, Big Island, HI, USA, March
                  13-17, 2017},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/7911894/proceeding},
  isbn         = {978-1-5090-4338-5},
  timestamp    = {Wed, 19 Nov 2025 06:35:02 +0100},
  biburl       = {https://dblp.org/rec/conf/percom/2017w.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eups/2016,
  editor       = {Paolo Dell'Olmo and
                  Marco Brambilla and
                  Maria Raposo},
  title        = {European Project Space on Intelligent Technologies, Software engineering,
                  Computer Vision, Graphics, Optics and Photonics, Rome, Italy, February
                  21-29, 2016},
  publisher    = {SciTePress},
  year         = {2016},
  isbn         = {978-989-758-206-6},
  timestamp    = {Wed, 19 Nov 2025 06:35:02 +0100},
  biburl       = {https://dblp.org/rec/conf/eups/2016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icaart/2016-2,
  editor       = {H. Jaap van den Herik and
                  Joaquim Filipe},
  title        = {Proceedings of the 8th International Conference on Agents and Artificial
                  Intelligence {(ICAART} 2016), Volume 2, Rome, Italy, February 24-26,
                  2016},
  publisher    = {SciTePress},
  year         = {2016},
  timestamp    = {Wed, 19 Nov 2025 06:35:03 +0100},
  biburl       = {https://dblp.org/rec/conf/icaart/2016-2.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/intellisys/2016-1,
  editor       = {Yaxin Bi and
                  Supriya Kapoor and
                  Rahul Bhatia},
  title        = {Proceedings of {SAI} Intelligent Systems Conference (IntelliSys) 2016
                  - Volume 1, London, UK, 21-22 September 2016},
  series       = {Lecture Notes in Networks and Systems},
  volume       = {15},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-56994-9},
  doi          = {10.1007/978-3-319-56994-9},
  isbn         = {978-3-319-56993-2},
  timestamp    = {Wed, 19 Nov 2025 06:35:03 +0100},
  biburl       = {https://dblp.org/rec/conf/intellisys/2016-1.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwoar/2016,
  editor       = {Bodo Urban and
                  Thomas Kirste},
  title        = {Proceedings of the 3rd International Workshop on Sensor-based Activity
                  Recognition and Interaction, iWOAR '16, Rostock, Germany, June 23-24,
                  2016},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2948963},
  doi          = {10.1145/2948963},
  isbn         = {978-1-4503-4245-2},
  timestamp    = {Wed, 19 Nov 2025 06:35:03 +0100},
  biburl       = {https://dblp.org/rec/conf/iwoar/2016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icaart/2015-2,
  editor       = {St{\'{e}}phane Loiseau and
                  Joaquim Filipe and
                  B{\'{e}}atrice Duval and
                  H. Jaap van den Herik},
  title        = {{ICAART} 2015 - Proceedings of the International Conference on Agents
                  and Artificial Intelligence, Volume 2, Lisbon, Portugal, 10-12 January,
                  2015},
  publisher    = {SciTePress},
  year         = {2015},
  isbn         = {978-989-758-074-1},
  timestamp    = {Wed, 19 Nov 2025 06:35:03 +0100},
  biburl       = {https://dblp.org/rec/conf/icaart/2015-2.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icaart/2015s,
  editor       = {B{\'{e}}atrice Duval and
                  H. Jaap van den Herik and
                  St{\'{e}}phane Loiseau and
                  Joaquim Filipe},
  title        = {Agents and Artificial Intelligence - 7th International Conference,
                  {ICAART} 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9494},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-27947-3},
  doi          = {10.1007/978-3-319-27947-3},
  isbn         = {978-3-319-27946-6},
  timestamp    = {Wed, 19 Nov 2025 06:35:03 +0100},
  biburl       = {https://dblp.org/rec/conf/icaart/2015s.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwoar/2015,
  editor       = {Bodo Urban and
                  Thomas Kirste},
  title        = {Proceedings of the 2nd international Workshop on Sensor-based Activity
                  Recognition and Interaction, iWOAR 2015, Rostock, Germany, June 25-26,
                  2015},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2790044},
  doi          = {10.1145/2790044},
  isbn         = {978-1-4503-3454-9},
  timestamp    = {Wed, 19 Nov 2025 06:35:03 +0100},
  biburl       = {https://dblp.org/rec/conf/iwoar/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/sci/2015-564,
  editor       = {Quan Bai and
                  Fenghui Ren and
                  Minjie Zhang and
                  Takayuki Ito and
                  Xijin Tang},
  title        = {Smart Modeling and Simulation for Complex Systems - Practice and Theory},
  series       = {Studies in Computational Intelligence},
  volume       = {564},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-4-431-55209-3},
  doi          = {10.1007/978-4-431-55209-3},
  isbn         = {978-4-431-55208-6},
  timestamp    = {Wed, 19 Nov 2025 06:35:03 +0100},
  biburl       = {https://dblp.org/rec/series/sci/2015-564.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hci/2014-21,
  editor       = {Norbert A. Streitz and
                  Panos Markopoulos},
  title        = {Distributed, Ambient, and Pervasive Interactions - Second International
                  Conference, {DAPI} 2014, Held as Part of {HCI} Interational 2014,
                  Heraklion, Crete, Greece, June 22-27, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8530},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-07788-8},
  doi          = {10.1007/978-3-319-07788-8},
  isbn         = {978-3-319-07787-1},
  timestamp    = {Wed, 19 Nov 2025 06:35:03 +0100},
  biburl       = {https://dblp.org/rec/conf/hci/2014-21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icaart/2014-1,
  editor       = {B{\'{e}}atrice Duval and
                  H. Jaap van den Herik and
                  St{\'{e}}phane Loiseau and
                  Joaquim Filipe},
  title        = {{ICAART} 2014 - Proceedings of the 6th International Conference on
                  Agents and Artificial Intelligence, Volume 1, ESEO, Angers, Loire
                  Valley, France, 6-8 March, 2014},
  publisher    = {SciTePress},
  year         = {2014},
  isbn         = {978-989-758-015-4},
  timestamp    = {Wed, 19 Nov 2025 06:35:03 +0100},
  biburl       = {https://dblp.org/rec/conf/icaart/2014-1.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/2014,
  editor       = {Carsten Lutz and
                  Michael Thielscher},
  title        = {{KI} 2014: Advances in Artificial Intelligence - 37th Annual German
                  Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8736},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11206-0},
  doi          = {10.1007/978-3-319-11206-0},
  isbn         = {978-3-319-11205-3},
  timestamp    = {Wed, 19 Nov 2025 06:35:03 +0100},
  biburl       = {https://dblp.org/rec/conf/ki/2014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ami/2013,
  editor       = {Juan Carlos Augusto and
                  Reiner Wichert and
                  Rem W. Collier and
                  David V. Keyson and
                  Albert Ali Salah and
                  Ah{-}Hwee Tan},
  title        = {Ambient Intelligence - 4th International Joint Conference, AmI 2013,
                  Dublin, Ireland, December 3-5, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8309},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-03647-2},
  doi          = {10.1007/978-3-319-03647-2},
  isbn         = {978-3-319-03646-5},
  timestamp    = {Wed, 19 Nov 2025 06:35:03 +0100},
  biburl       = {https://dblp.org/rec/conf/ami/2013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hci/2013-15,
  editor       = {Sakae Yamamoto},
  title        = {Human Interface and the Management of Information. Information and
                  Interaction for Learning, Culture, Collaboration and Business, - 15th
                  International Conference, {HCI} International 2013, Las Vegas, NV,
                  USA, July 21-26, 2013, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8018},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39226-9},
  doi          = {10.1007/978-3-642-39226-9},
  isbn         = {978-3-642-39225-2},
  timestamp    = {Wed, 19 Nov 2025 06:35:03 +0100},
  biburl       = {https://dblp.org/rec/conf/hci/2013-15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/intenv/2013,
  editor       = {Juan Carlos Augusto and
                  Vassilis Bourdakis and
                  Daniela Braga and
                  Simon Egerton and
                  Kaori Fujinami and
                  Gordon Hunter and
                  Fahim Kawsar and
                  Ahmad Lotfi and
                  Davy Preuveneers and
                  Abdul Wahab bin Abdul Rahman and
                  V{\'{\i}}ctor Zamudio},
  title        = {The 9th International Conference on Intelligent Environments, Athens,
                  Greece, June 18-19, 2013 (workshops on 16-17 July 2013)},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/6597025/proceeding},
  timestamp    = {Wed, 19 Nov 2025 06:35:03 +0100},
  biburl       = {https://dblp.org/rec/conf/intenv/2013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/huc/2012,
  editor       = {Anind K. Dey and
                  Hao{-}Hua Chu and
                  Gillian R. Hayes},
  title        = {The 2012 {ACM} Conference on Ubiquitous Computing, Ubicomp '12, Pittsburgh,
                  PA, USA, September 5-8, 2012},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {http://dl.acm.org/citation.cfm?id=2370216},
  isbn         = {978-1-4503-1224-0},
  timestamp    = {Wed, 19 Nov 2025 06:35:03 +0100},
  biburl       = {https://dblp.org/rec/conf/huc/2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mswim/2012,
  editor       = {Albert Y. Zomaya and
                  Bj{\"{o}}rn Landfeldt and
                  Ravi Prakash},
  title        = {The 15th {ACM} International Conference on Modeling, Analysis and
                  Simulation of Wireless and Mobile Systems, MSWiM '12, Paphos, Cyprus,
                  October 21-25, 2012},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {http://dl.acm.org/citation.cfm?id=2387238},
  isbn         = {978-1-4503-1628-6},
  timestamp    = {Wed, 19 Nov 2025 06:35:03 +0100},
  biburl       = {https://dblp.org/rec/conf/mswim/2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/percom/2012w,
  title        = {Tenth Annual {IEEE} International Conference on Pervasive Computing
                  and Communications, PerCom 2012, March 19-23, 2012, Lugano, Switzerland,
                  Workshop Proceedings},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/6192378/proceeding},
  isbn         = {978-1-4673-0905-9},
  timestamp    = {Wed, 19 Nov 2025 06:35:03 +0100},
  biburl       = {https://dblp.org/rec/conf/percom/2012w.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dcai/2011,
  editor       = {Ajith Abraham and
                  Juan M. Corchado and
                  Sara Rodr{\'{\i}}guez{-}Gonz{\'{a}}lez and
                  Juan F. De Paz Santana},
  title        = {International Symposium on Distributed Computing and Artificial Intelligence,
                  {DCAI} 2011, Salamanca, Spain, 6-8 April 2011},
  series       = {Advances in Intelligent and Soft Computing},
  volume       = {91},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-19934-9},
  doi          = {10.1007/978-3-642-19934-9},
  isbn         = {978-3-642-19933-2},
  timestamp    = {Wed, 19 Nov 2025 06:35:03 +0100},
  biburl       = {https://dblp.org/rec/conf/dcai/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/intenv/2011,
  title        = {7th International Conference on Intelligent Environments, {IE} 2011,
                  Nottingham, United Kingdom, July 25-28, 2011},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/6062619/proceeding},
  isbn         = {978-1-4577-0830-5},
  timestamp    = {Wed, 19 Nov 2025 06:35:03 +0100},
  biburl       = {https://dblp.org/rec/conf/intenv/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mates/2011,
  editor       = {Franziska Kl{\"{u}}gl and
                  Sascha Ossowski},
  title        = {Multiagent System Technologies - 9th German Conference, {MATES} 2011,
                  Berlin, Germany, October 6-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6973},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24603-6},
  doi          = {10.1007/978-3-642-24603-6},
  isbn         = {978-3-642-24602-9},
  timestamp    = {Wed, 19 Nov 2025 06:35:03 +0100},
  biburl       = {https://dblp.org/rec/conf/mates/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/huc/2010ap,
  editor       = {Jakob E. Bardram and
                  Marc Langheinrich and
                  Khai N. Truong and
                  Paddy Nixon},
  title        = {UbiComp 2010: Ubiquitous Computing, 12th International Conference,
                  UbiComp 2010, Copenhagen, Denmark, September 26-29, 2010, Adjunct
                  Papers Proceedings},
  series       = {{ACM} International Conference Proceeding Series},
  publisher    = {{ACM}},
  year         = {2010},
  isbn         = {978-1-4503-0283-8},
  timestamp    = {Wed, 19 Nov 2025 06:35:03 +0100},
  biburl       = {https://dblp.org/rec/conf/huc/2010ap.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nesy/2009,
  editor       = {Artur S. d'Avila Garcez and
                  Pascal Hitzler},
  title        = {Proceedings of the Fifth International Workshop on Neural-Symbolic
                  Learning and Reasoning, NeSy 2009, Pasadena, CA, USA, July 11, 2009},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {481},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-481},
  timestamp    = {Wed, 19 Nov 2025 06:35:03 +0100},
  biburl       = {https://dblp.org/rec/conf/nesy/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nesy/2008,
  editor       = {Artur S. d'Avila Garcez and
                  Pascal Hitzler},
  title        = {Proceedings of the Fourth International Workshop on Neural-Symbolic
                  Learning and Reasoning, NeSy 2008, Patras, Greece, July 21, 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {366},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-366},
  timestamp    = {Wed, 19 Nov 2025 06:35:03 +0100},
  biburl       = {https://dblp.org/rec/conf/nesy/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2007,
  editor       = {Manuela M. Veloso},
  title        = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
                  on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
  year         = {2007},
  url          = {http://ijcai.org/proceedings/2007},
  timestamp    = {Wed, 19 Nov 2025 06:35:03 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2007nesy,
  editor       = {Artur S. d'Avila Garcez and
                  Pascal Hitzler and
                  Guglielmo Tamburrini},
  title        = {Proceedings of the 3rd International Workshop on Neural-Symbolic Learning
                  and Reasoning, NeSy'07, held at IJCAI-07, Hyderabad, India, January
                  8, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {230},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-230},
  urn          = {urn:nbn:de:0074-230-8},
  timestamp    = {Wed, 19 Nov 2025 06:35:03 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/2007nesy.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/sci/2007-77,
  editor       = {Barbara Hammer and
                  Pascal Hitzler},
  title        = {Perspectives of Neural-Symbolic Integration},
  series       = {Studies in Computational Intelligence},
  volume       = {77},
  publisher    = {Springer},
  year         = {2007},
  isbn         = {978-3-540-73953-1},
  timestamp    = {Wed, 19 Nov 2025 06:35:03 +0100},
  biburl       = {https://dblp.org/rec/series/sci/2007-77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icann/2006-2,
  editor       = {Stefanos D. Kollias and
                  Andreas Stafylopatis and
                  Wlodzislaw Duch and
                  Erkki Oja},
  title        = {Artificial Neural Networks - {ICANN} 2006, 16th International Conference,
                  Athens, Greece, September 10-14, 2006. Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {4132},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11840930},
  doi          = {10.1007/11840930},
  isbn         = {3-540-38871-0},
  timestamp    = {Wed, 19 Nov 2025 06:35:03 +0100},
  biburl       = {https://dblp.org/rec/conf/icann/2006-2.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2005gabbay1,
  editor       = {Sergei N. Art{\"{e}}mov and
                  Howard Barringer and
                  Artur S. d'Avila Garcez and
                  Lu{\'{\i}}s C. Lamb and
                  John Woods},
  title        = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
  publisher    = {College Publications},
  year         = {2005},
  isbn         = {1-904987-25-7},
  timestamp    = {Wed, 19 Nov 2025 06:35:03 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/2005gabbay1.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flairs/2005,
  editor       = {Ingrid Russell and
                  Zdravko Markov},
  title        = {Proceedings of the Eighteenth International Florida Artificial Intelligence
                  Research Society Conference, Clearwater Beach, Florida, {USA}},
  publisher    = {{AAAI} Press},
  year         = {2005},
  isbn         = {1-57735-234-3},
  timestamp    = {Wed, 19 Nov 2025 06:35:03 +0100},
  biburl       = {https://dblp.org/rec/conf/flairs/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/2004,
  editor       = {Susanne Biundo and
                  Thom W. Fr{\"{u}}hwirth and
                  G{\"{u}}nther Palm},
  title        = {{KI} 2004: Advances in Artificial Intelligence, 27th Annual German
                  Conference on AI, {KI} 2004, Ulm, Germany, September 20-24, 2004,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3238},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/b100351},
  doi          = {10.1007/B100351},
  isbn         = {3-540-23166-8},
  timestamp    = {Wed, 19 Nov 2025 06:35:03 +0100},
  biburl       = {https://dblp.org/rec/conf/ki/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}