Uni-Logo

Publikationen nach Autoren

[Johannes Aldinger]    [Dr. Yusra Alkhazraji]    [Christian Becker-Asano]    [Gregor Behnke]    [Rolf-David Bergdoll]    [Michael Brenner]    [Markus Büttner]    [Patrick Caspari]    [Yannis Dimopoulos]    [Christian Dornhege]    [Christoph Dornheim]    [Thorsten Engesser]    [Patrick Eyerich]    [Florian Geißer]    [Jens-Steffen Gutmann]    [Moritz Göbelbecker]    [Wolfgang Hatzack]    [Malte Helmert]    [Andreas Hertle]    [Jörg Hoffmann]    [Julien Hué]    [Thomas Keller]    [Alexander Kleiner]    [Jana Koehler]    [Sebastian Kupferschmid]    [Christian Köhler]    [Felix Lindner]    [Johannes Löhr]    [Robert Mattmüller]    [Bernhard Nebel]    [Manuela Ortlieb]    [Marco Ragni]    [Jochen Renz]    [Jussi Rintanen]    [Gabriele Röger]    [Alexander Schimpf]    [Tim Schulte]    [Alexander Scivos]    [Jan-Georg Smaus]    [David Speck]    [Dali Sun]    [Sebastian Trüg]    [Thilo Weigel]    [Bruno Welsch]    [Matthias Westphal]    [Jens Witkowski]    [Benedict Wright]    [Stefan Wölfl]    [Dapeng Zhang]   

(Alle Abstracts einblenden) (Alle Abstracts ausblenden)

Johannes Aldinger

  • Daniel Kuhner, Lukas D.J. Fiederer, Johannes Aldinger, Felix Burget, Martin Völker, Robin T. Schirrmeister, Chau Do, Joschka Boedecker, Bernhard Nebel, Tonio Ball und Wolfram Burgard.
    A service assistant combining autonomous robotics, flexible goal formulation, and deep-learning-based brain–computer interfacing.
    Robotics and Autonomous Systems 116, S. 98-113. 2019.
    (Abstract einblenden) (Online; DOI)

  • Daniel Kuhner, Johannes Aldinger, Felix Burget, Moritz Göbelbecker, Wolfram Burgard und Bernhard Nebel.
    Closed-Loop Robot Task Planning Based on Referring Expressions.
    In Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2018), S. 876-881. 2018.
    (Abstract einblenden) (PDF)

  • Johannes Aldinger und Bernhard Nebel.
    Interval Based Relaxation Heuristics for Numeric Planning with Action Costs.
    In KI 2017:Advances in Artificial Intelligence (KI 2017), S. 15-28. Springer International Publishing 2017.
    (Abstract einblenden) (PDF)

  • F. Burget, L.D.J. Fiederer, D.Kuhner, M.Völker, Johannes Aldinger, R.T. Schirrmeister, C.Do, J.Boedecker, Bernhard Nebel, T.Ball und W.Burgard.
    Acting Thoughts: Towards a Mobile Robotic Service Assistant for Users with Limited Communication Skills.
    In Proceedings of the European Conference on Mobile Robotics (ECMR 2017), S. 385-390. 2017.
    (Abstract einblenden) (PDF)

  • Johannes Aldinger und Bernhard Nebel.
    Extended Abstract: Interval Based Relaxation Heuristics for Numeric Planning with Action Costs.
    In Proceedings of the 10th International Symposium on Combinatorial Search (SoCS 2017), S. 155-156. 2017.
    (Abstract einblenden) (PDF)

  • Johannes Aldinger, Robert Mattmüller und Moritz Göbelbecker.
    Complexity Issues of Interval Relaxed Numeric Planning.
    In KI 2015: Advances in Artificial Intelligence (KI 2015). 2015.
    (Abstract einblenden) (PDF) (BIB)

  • Johannes Aldinger, Robert Mattmüller und Moritz Göbelbecker.
    Complexity Issues of Interval Relaxed Numeric Planning.
    In Proceedings of the ICAPS-2015 Workshop on Heuristic and Search for Domain-Independent Planning (HSDIP 2015). 2015.
    Superseded by the KI 2015 paper of the same name..
    (Abstract einblenden) (PDF) (BIB)

  • Johannes Löhr, Johannes Aldinger, Stefan Winkler und Georg Willich.
    Automated Planning for Earth Observation Spacecraft under Attitude Dynamical Constraints.
    In Jahrbuch der Deutschen Gesellschaft für Luft- und Raumfahrt (DGLR2013). 2013.
    (Abstract einblenden) (PDF)

  • Johannes Aldinger und Johannes Löhr.
    Planning for Agile Earth Observation Satellites.
    In Proceedings of the ICAPS-2013 Workshop on Planning in Continuous Domains (PCD), S. 9-17. 2013.
    (Abstract einblenden) (PDF)

Dr. Yusra Alkhazraji

  • Dr. Yusra Alkhazraji und Martin Wehrle.
    Sleep Sets Meet Duplicate Elimination.
    In Proceedings of the Ninth Annual Symposium on Combinatorial Search (SoCS 2016) (SoCS 2016). 2016.
    (Abstract einblenden) (PDF)

  • Jendrik Seipp, Florian Pommerening, Silvan Sievers, Martin Wehrle, Chris Fawcett und Dr. Yusra Alkhazraji.
    Fast Downward Aidos (planner abstract).
    In the 1st Unsolvability International Planning Competition (IPC 2016). 2016.
    (Abstract einblenden) (PDF)

  • Robert C. Holte, Dr. Yusra Alkhazraji und Martin Wehrle.
    A Generalization of Sleep Sets Based on Operator Sequence Redundancy.
    In Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015). AAAI Press 2015.
    (Abstract einblenden) (PDF)

  • Dr. Yusra Alkhazraji, Michael Katz, Robert Mattmüller, Florian Pommerening, Alexander Shleyfman und Martin Wehrle.
    Metis: Arming Fast Downward with Pruning and Incremental Computation (planner abstract).
    In the 8th International Planning Competition (IPC 2014) (deterministic track). 2014.
    (Abstract einblenden) (PDF)

  • Martin Wehrle, Malte Helmert, Dr. Yusra Alkhazraji und Robert Mattmüller.
    The Relative Pruning Power of Strong Stubborn Sets and Expansion Core.
    In Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS13). 2013.
    (Abstract einblenden) (PDF)

  • Dr. Yusra Alkhazraji, Martin Wehrle, Robert Mattmüller und Malte Helmert.
    A Stubborn Set Algorithm for Optimal Planning.
    In Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012). 2012.
    (Abstract einblenden) (PDF)

Christian Becker-Asano

  • Nicolas Riesterer, Christian Becker-Asano, Julien Hué, Christian Dornhege und Bernhard Nebel.
    The Hybrid Agent MARCO.
    In Proceedings of the 16th International Conference on Multimodal Interaction, S. 80-81. 2014.
    (Abstract einblenden) (PDF)

  • Christian Becker-Asano, Kai Oliver Arras und Bernhard Nebel.
    Robotic Tele-presence with DARYL in the Wild.
    In Proceedings of the 2nd International Confernce on Human-Agent Interaction, S. 91-95. 2014.
    (Abstract einblenden) (PDF)

  • Christian Becker-Asano, Eduardo Meneses, Nicolas Riesterer, Julien Hué, Christian Dornhege und Bernhard Nebel.
    The Hybrid Agent MARCO: A Multimodal Autonomous Robotic Chess Opponent.
    In Proceedings of the 2nd International Confernce on Human-Agent Interaction, S. 173-176. 2014.
    (Abstract einblenden) (PDF)

  • Felix Burkhardt, Christian Becker-Asano, Edmon Begoli, Roddy Cowie, Gerhard Fobe, Patrick Gebhard, Abe Kazemzadeh, Ingmar Steiner und Tim Llewellyn.
    Application of EmotionML.
    In 5th Intl. Workshop on Emotion, Social Signals, Sentiment & Linked Open Data (ES^3LOD), S. 1-5. 2014.

  • Christian Becker-Asano, Severin Gustorff, Kai Oliver Arras und Bernhard Nebel.
    On the Effect of Operator Modality on Social and Spatial Presence during Teleoperation of a Human-Like Robot.
    In Third Interantional Symposium on New Frontiers in Human-Robot Interaction at AISB50. 2014.
    (Abstract einblenden) (PDF)

  • Christian Becker-Asano, Felix Ruzzoli, Christoph Hölscher und Bernhard Nebel.
    A Multi-Agent System based on Unity 4 for Virtual Perception and Wayfinding.
    Transportation Research Procedia 2, S. 425-455. 2014.
    (Abstract einblenden) (PDF)

  • A. M. Rosenthal-von der Pütten, N. C. Krämer, Christian Becker-Asano, K. Ogawa, S. Nishio und H. Ishiguro.
    The uncanny in the wild. Analysis of unscripted human-android interaction in the field.
    Intl. Journal of Social Robotics 6 (1), S. 67-83. 2014.

  • Kiril Kiryazov, Robert Lowe, Christian Becker-Asano und Marco Randazzo.
    The Role of Arousal in Two-Resource Problem Tasks for Humanoid Service Robots.
    In Proc. IEEE Intl. Symposium on Robot and Human Interactive Communication (RO-MAN'13). 2013.

  • Christian Becker-Asano, Dali Sun, Corinna N. Scheel, Brunna Tuschen-Caffier und Bernhard Nebel.
    Analyzing for emotional arousal in HMD-based head movements during a virtual emergency.
    In Intl. Workshop on Emotion and Computing in conj. with KI2013. 2013.
    (Abstract einblenden) (PDF)

  • Christian Becker-Asano, Philip Stahl, Marco Ragni, Jean-Claude Martin, Matthieu Courgeon und Bernhard Nebel.
    An affective virtual agent providing embodied feedback in the paired associate task: system design and evaluation.
    In Proc. of the 13th. Intl. Conf. on Intelligent Virtual Agents (IVA 2013), S. 406-415. 2013.
    (Abstract einblenden) (PDF)

  • Christian Becker-Asano, Severin Gustorff, Kai Oliver Arras, Kohei Ogawa, Shuichi Nishio, Hiroshi Ishiguro und Bernhard Nebel.
    Robot embodiment, operator modality, and social interaction in tele-existence: a project outline.
    In Proceedings of the 8th ACM/IEEE international conference on Human-robot interaction, S. 79-80. 2013.
    (Abstract einblenden) (PDF)

  • Nicole C. Krämer, Stefan Kopp, Christian Becker-Asano und Nicole Sommer.
    Smile and the world will smile with you-The effects of a virtual agent's smile on users’ evaluation and behavior.
    International Journal of Human-Computer Studies 71 (3), S. 335-349. 2013.

  • Christian Becker-Asano und Hiroshi Ishiguro.
    Intercultural Differences in Decoding Facial Expressions of the Android Robot Geminoid F.
    Journal of Artificial Intelligence and Soft Computing Research 1 (3), S. 215-231. 2012.
    (Abstract einblenden)

  • Christian Becker-Asano, Kai Oliver Arras, Bernhard Nebel und Hiroshi Ishiguro.
    The Effect of Anthropomorphism on Social Tele-Embodiment.
    In IROS 2012 Workshop on Human-Agent Interaction. 2012.
    (Abstract einblenden) (PDF)

  • Birgit Kleim, Thomas Ehrig, Corinna Scheel, Christian Becker-Asano, Bernhard Nebel und Brunna Tuschen-Caffier.
    Bewältigungsverhalten in Notfallsituationen aus klinisch-psychologischer Perspektive.
    Zeitschrift für Klinische Psychologie und Psychotherapie 41 (3), S. 166-179. 2012.
    (Abstract einblenden) (Online; DOI)

  • Corinna N. Scheel, Birgit Kleim, Julian Schmitz, Christian Becker-Asano, Dali Sun, Bernhard Nebel und Brunna Tuschen-Caffier.
    Psychophysiologische Belastungsreaktivität nach einem simulierten Feuer in einer Parkgarage.
    Zeitschrift für Klinische Psychologie und Psychotherapie 41 (3), S. 180-189. 2012.
    (Abstract einblenden) (Online; DOI)

  • Stephanie Embgen, Matthias Luber, Christian Becker-Asano, Marco Ragni, Vanessa Evers und Kai Oliver Arras.
    Robot-Specific Social Cues in Emotional Body Language.
    In Proc. IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN'12), S. 1019-1025. 2012.
    (Abstract einblenden)

  • Christian Becker-Asano.
    Affective Computing Combined with Android Science.
    KI - Künstliche Intelligenz Vol. 25, S. 245-250. 2011.
    (PDF) (BIB)

  • Christian Becker-Asano, Dali Sun, Birgit Kleim, Corinna Scheel, Brunna Tuschen-Caffier und Bernhard Nebel.
    Outline of an Empirical Study on the Effects of Emotions on Strategic Behavior in Virtual Emergencies.
    In Affective Computing and Intelligent Interaction, S. 508-517. 2011.
    (Abstract einblenden) (PDF) (BIB)

  • Christian Becker-Asano.
    Invited Commentary: On Guiding the Design of an Ill-defined Phenomenon.
    International Journal of Synthetic Emotions Vol. 2 (2), S. 66-67. 2011.
    (PDF) (BIB)

  • Brunna Tuschen-Caffier, Birgit Kleim, Christian Becker-Asano, Dali Sun, Bernhard Nebel und Corinna Scheel.
    Bewältigungsverhalten in virtuellen Notfallsituationen.
    In 7. Workshop Kongress für Psychologie und Psychotherapie. 2011.
    (BIB)

  • Christian Becker-Asano, Dali Sun, Birgit Kleim, Corinna N. Scheel, Brunna Tuschen-Caffier und Bernhard Nebel.
    CoVE: Coping in Virtual Emergencies.
    In Workshop on Emotion and Computing - Current Research and Future Impact, S. 1. 2011.
    (Abstract einblenden) (PDF) (BIB)

Gregor Behnke

  • Roman Barták, Simona Ondrčková, Gregor Behnke und Pascal Bercher.
    Correcting Hierarchical Plans by Action Deletion.
    In Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR-2021). 2021.
    (PDF)

  • Roman Barták, Simona Ondrčková, Gregor Behnke und Pascal Bercher.
    Correcting Hierarchical Plans by Action Deletion.
    In Proceedings of the Fourth ICAPS Workshop on Hierarchical Planning. 2021.
    (PDF)

  • Roman Barták, Simona Ondrčková, Gregor Behnke und Pascal Bercher.
    On the Verification of Totally-Ordered HTN Plans.
    In Proceedings of the Fourth ICAPS Workshop on Hierarchical Planning, S. 44-48. 2021.
    (PDF)

  • Daniel Höller, Julia Whichlacz, Pascal Bercher und Gregor Behnke.
    Compiling HTN Plan Verification Problems into HTN Planning Problems.
    In Proceedings of the Fourth ICAPS Workshop on Hierarchical Planning, S. 8-15. 2021.
    (PDF)

  • Pascal Bercher, Gregor Behnke, Matthias Kraus, Marvin Schiller, Dietrich Manstetten, Michael Dambier, Michael Dorna, Wolfgang Minker, Birte Glimm und Susanne Biundo.
    Do It Yourself, but Not Alone: Companion-Technology for Home Improvement - Bringing a Planning-Based Interactive DIY Assistant to Life.
    Künstliche Intelligenz -- Special Issue on NLP and Semantics. 2021.
    (Abstract einblenden)

  • Gregor Behnke.
    Block Compression and Invariant Pruning for SAT-based Totally-Ordered HTN Planning.
    In Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), S. 25-35. 2021.
    (Abstract einblenden) (PDF)

  • Daniel Höller und Gregor Behnke.
    Loop Detection in the PANDA Planning System.
    In Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), S. 168-173. 2021.
    (Abstract einblenden) (PDF)

  • Daniel Höller, Gregor Behnke, Pascal Bercher und Susanne Biundo.
    The PANDA Framework for Hierarchical Planning.
    KI - Künstliche Intelligenz. 2021.
    (Online)

  • Gregor Behnke und David Speck.
    Symbolic Search for Optimal Total-Order HTN Planning.
    In Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI 2021), S. 11744–11754. 2021.
    (Abstract einblenden) (PDF)

  • Matthias Kraus, Marvin Schiller, Gregor Behnke, Pascal Bercher, Michael Dorna, Michael Dambier, Birte Glimm, Susanne Biundo und Wolfgang Minker.
    ``Was that successful?'' On Integrating Proactive Meta-Dialogue in a DIY-Assistant using Multimodal Cues.
    In Proceedings of the 2020 International Conference on Multimodal Interaction (ICMI 2020). 2020.
    (PDF)

  • Daniel Höller, Pascal Bercher, Gregor Behnke und Susanne Biundo.
    HTN Plan Repair via Model Transformation.
    In Proceedings of the 42+1st Annual German Conference on Artificial Intelligence (KI 2020). 2020.
    (PDF)

  • Daniel Höller, Pascal Bercher und Gregor Behnke.
    Delete- and Ordering-Relaxation Heuristics for HTN Planning.
    In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI 2020). 2020.

  • Roman Bartak, Simona Ondrckova, Adrien Maillard, Gregor Behnke und Pascal Bercher.
    A Novel Parsing-based Approach for Verification of Hierarchical Plans.
    In Proceedings of the 32nd International Conference on Tools with Artificial Intelligence (ICTAI 2020). 2020.

  • Daniel Höller, Pascal Bercher, Gregor Behnke und Susanne Biundo.
    HTN Planning as Heuristic Progression Search.
    Journal of Artificial Intelligence Research, S. 835-880. 2020.

  • Gregor Behnke, Pascal Bercher, Matthias Kraus, Marvin Schiller, Kristof Mickeleit, Häge Timo, Michael Dorna, Michael Dambier, Wolfgang Minker, Birte Glimm und Susanne Biundo.
    New Developments for Robert - Assisting Novice Users Even Better in DIY Projects.
    In Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS 2020), S. 343-347. 2020.
    (PDF)

  • Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier und Ron Alford.
    HDDL - A Language to Describe Hierarchical Planning Problems.
    In Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020), S. 6-17. 2020.
    (PDF)

  • Gregor Behnke, Daniel Höller, Alexander Schmid, Pascal Bercher und Susanne Biundo.
    On Succinct Groundings of HTN Planning Problems.
    In Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020), S. 9775-9784. 2020.
    (Abstract einblenden) (PDF)

  • Gregor Behnke, Daniel Höller und Susanne Biundo.
    Finding Optimal Solutions in HTN Planning - A SAT-based Approach.
    In Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), S. 5500-5508. 2019.
    (PDF)

  • Gregor Behnke, Marvin Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz, Michael Dorna, Michael Dambier, Wolfgang Minker, Birte Glimm und Susanne Biundo.
    Alice in DIY-Wonderland or: Instructing novice users on how to use tools in DIY projects.
    AI Communications, S. 31-57. 2019.
    (PDF)

  • Gregor Behnke, Daniel Höller und Susanne Biundo.
    Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-based HTN Planning.
    In Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI 2019), S. 7520-7529. 2019.
    (PDF)

  • Daniel Höller, Pascal Bercher, Gregor Behnke und Susanne Biundo.
    On Guiding Search in HTN Planning with Classical Planning Heuristics.
    In Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019). 2019.
    (PDF)

  • Gregor Behnke, Daniel Höller, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier und Ron Alford.
    Hierarchical Planning in the IPC.
    In Proceedings of 2019 Workshop on the International Planning Competition (WIPC 2019), S. 40-47. 2019.
    (PDF)

  • Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier und Ron Alford.
    HDDL - A Language to Describe Hierarchical Planning Problems.
    In Proceedings of the Second ICAPS Workshop on Hierarchical Planning, S. 6-17. 2019.
    (PDF)

  • Gregor Behnke, Daniel Höller, Pascal Bercher und Susanne Biundo.
    More Succinct Grounding of HTN Planning Problems - Preliminary Results.
    In Proceedings of the Second ICAPS Workshop on Hierarchical Planning, S. 40-48. 2019.
    (PDF)

  • Matthias Kraus, Gregor Behnke, Pascal Bercher, Marvin Schiller, Susanne Biundo, Birte Glimm und Wolfgang Minker.
    A Multimodal Dialogue Framework for Cloud-Based Companion Systems.
    In Proceedings of the 9th International Workshop on Spoken Dialogue Systems Technology (IWSDS 2018), S. 405-410. 2018.
    (PDF)

  • Marvin Schiller, Gregor Behnke, Pascal Bercher, Matthias Kraus, Michael Dorna, Felix Richter, Susanne Biundo, Birte Glimm und Wolfgang Minker.
    Evaluating Knowledge-Based Assistance for DIY.
    In Proceedings of MCI Workshop ``Digital Companion'', S. 925-930. 2018.
    (PDF)

  • Gregor Behnke, Daniel Höller und Susanne Biundo.
    Tracking Branches in Trees - A Propositional Encoding for solving Partially-Ordered HTN Planning Problems.
    In Proceedings of the 30th International Conference on Tools with Artificial Intelligence (ICTAI 2018), S. 73-80. 2018.
    (PDF)

  • Gregor Behnke und Susanne Biundo.
    X and more Parallelism: Integrating LTL-Next into SAT-based Planning with Trajectory Constraints While Allowing for Even More Parallelism.
    Inteligencia Artificial 21(62), S. 75-90. 2018.
    (PDF)

  • Gregor Behnke, Daniel Höller und Susanne Biundo.
    totSAT - Totally-Ordered Hierarchical Planning through SAT.
    In Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI 2018), S. 6110-6118. 2018.
    (PDF)

  • Gregor Behnke, Marvin Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz, Michael Dorna, Wolfgang Minker, Birte Glimm und Susanne Biundo.
    Instructing Novice Users on How to Use Tools in DIY Projects.
    In Proceedings of the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), S. 5805-5807. 2018.
    (PDF)

  • Gregor Behnke, Daniel Höller und Susanne Biundo.
    Tracking Branches in Trees - A Propositional Encoding for solving Partially-Ordered HTN Planning Problems.
    In Proceedings of the First ICAPS Workshop on Hierarchical Planning, S. 40-47. 2018.
    (PDF)

  • Daniel Höller, Pascal Bercher, Gregor Behnke und Susanne Biundo.
    HTN Plan Repair Using Unmodified Planning Systems.
    In Proceedings of the First ICAPS Workshop on Hierarchical Planning, S. 26-30. 2018.
    (PDF)

  • Gregor Behnke und Susanne Biundo.
    X and more Parallelism - Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism.
    In Proceedings of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS 2018), S. 1-10. 2018.
    (PDF)

  • Daniel Höller, Gregor Behnke, Pascal Bercher und Susanne Biundo.
    Plan and Goal Recognition as HTN Planning.
    In Proceedings of the 30th International Conference on Tools with Artificial Intelligence (ICTAI 2018), S. 466-473. 2018.
    (PDF)

  • Daniel Höller, Pascal Bercher, Gregor Behnke und Susanne Biundo.
    A Generic Method to Guide HTN Progression Search with Classical Heuristics.
    In Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS 2018), S. 114-122. 2018.
    (PDF)

  • Daniel Höller, Pascal Bercher, Gregor Behnke und Susanne Biundo.
    Plan and Goal Recognition as HTN Planning.
    In Proceedings of the AAAI 2018 Workshop on Activity Plan and Intent Recognition (PAIR 2018), S. 607-613. 2018.
    (PDF)

  • Benedikt Leichtmann, Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo, Verena Nitsch und Martin Baumann.
    Towards a Companion System Incorporating Human Planning Behavior - A Qualitative Analysis of Human Strategies.
    In Proceedings of the 3rd Transdisciplinary Conference on Support Technologies (TCST 2018), S. 89-98. 2018.
    (PDF)

  • Gregor Behnke, Daniel Höller und Susanne Biundo.
    This is a solution! (... but is it though?) - Verifying solutions of hierarchical planning problems.
    In Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS 2017), S. 20-28. 2017.
    (PDF)

  • Florian Nothdurft, Pascal Bercher, Gregor Behnke und Wolfgang Minker.
    User Involvement in Collaborative Decision-Making Dialog Systems.
    In Dialogues with Social Robots: Analyses Enablements and Evaluation, S. 129-141. 2017.
    (PDF)

  • Pascal Bercher, Gregor Behnke, Daniel Höller und Susanne Biundo.
    An Admissible HTN Planning Heuristic.
    In Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), S. 480-488. 2017.
    (PDF)

  • Marvin Schiller, Gregor Behnke, Mario Schmautz, Pascal Bercher, Matthias Kraus, Michael Dorna, Wolfgang Minker, Birte Glimm und Susanne Biundo.
    A Paradigm for Coupling Procedural and Conceptual Knowledge in Companion Systems.
    In Proceedings of the 2nd International Conference on Companion Technology (ICCT 2017). 2017.
    (PDF)

  • Gregor Behnke, Benedikt Leichtmann, Pascal Bercher, Daniel Höller, Verena Nitsch, Martin Baumann und Susanne Biundo.
    Help me make a dinner! Challenges when assisting humans in action planning.
    In Proceedings of the 2nd International Conference on Companion Technology (ICCT 2017). 2017.
    (PDF)

  • Gregor Behnke, Florian Nielsen, Marvin Schiller, Pascal Bercher, Matthias Kraus, Birte Glimm, Wolfgang Minker und Susanne Biundo.
    SLOTH - the Interactive Workout Planner.
    In Proceedings of the 2nd International Conference on Companion Technology (ICCT 2017). 2017.
    (PDF)

  • Pascal Bercher, Daniel Höller, Gregor Behnke und Susanne Biundo.
    User-Centered Planning.
    In Companion Technology - A Paradigm Shift in Human-Technology Interaction, S. 79-100. 2017.
    (PDF)

  • Pascal Bercher, Felix Richter, Thilo Hörnle, Thomas Geier, Daniel Höller, Gregor Behnke, Florian Nielsen, Frank Honold, Schüssel Felix, Stephan Reuter, Wolfgang Minker, Michael Weber, Klaus Dietmayer und Susanne Biundo.
    Advanced User Assistance for Setting Up a Home Theater.
    In Companion Technology - A Paradigm Shift in Human-Technology Interaction, S. 485-491. 2017.
    (PDF)

  • Gregor Behnke, Florian Nielsen, Marvin Schiller, Denis Ponomaryov, Pascal Bercher, Birte Glimm, Wolfgang Minker und Susanne Biundo.
    To Plan for the User Is to Plan With the User - Integrating User Interaction Into the Planning Process.
    In Companion Technology - A Paradigm Shift in Human-Technology Interaction, S. 123-144. 2017.
    (PDF)

  • Pascal Bercher, Felix Richter, Frank Honold, Florian Nielsen, Felix Schüssel, Thomas Geier, Thilo Hörnle, Stephan Reuter, Daniel Höller, Gregor Behnke, Klaus Dietmayer, Wolfgang Minker, Michael Weber und Susanne Biundo.
    A Companion-System Architecture for Realizing Individualized and Situation-Adaptive User Assistance.
    In Technical Report - Ulm University. 2018.
    (PDF)

  • Gregor Behnke, Daniel Höller, Pascal Bercher und Susanne Biundo.
    Change the Plan - How hard can that be?
    In Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016), S. 38-46. 2016.
    (PDF)

  • Daniel Höller, Gregor Behnke, Pascal Bercher und Susanne Biundo.
    Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages.
    In Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016), S. 158-165. 2016.
    (PDF)

  • Ron Alford, Gregor Behnke, Daniel Höller, Pascal Bercher, Susanne Biundo und David W. Aha.
    Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems.
    In Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016), S. 20-28. 2016.
    (PDF)

  • Pascal Bercher, Daniel Höller, Gregor Behnke und Susanne Biundo.
    More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks.
    In Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), S. 225-233. 2016.
    (PDF)

  • Gregor Behnke, Daniel Höller und Susanne Biundo.
    On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition.
    In Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015), S. 25-33. 2015.
    (PDF)

  • Gregor Behnke, Denis Ponomaryov, Marvin Schiller, Ber\-cher Pascal, Florian Nothdurft, Birte Glimm und Susanne Biundo.
    Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All.
    In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), S. 1442-1449. 2015.
    (PDF)

  • Florian Nothdurft, Gregor Behnke, Pascal Bercher, Susanne Biundo und Wolfgang Minker.
    The Interplay of User-Centered Dialog Systems and AI Planning.
    In Proceedings of the 16th Annual Meeting of the Special Interest Group on Discourse and Dialogue (SIGDIAL 2015), S. 344-353. 2015.
    (PDF)

  • Pascal Bercher, Felix Richter, Thilo Hörnle, Thomas Geier, Daniel Höller, Gregor Behnke, Florian Nothdurft, Frank Honold, Wolfgang Minker, Michael Weber und Susanne Biundo.
    A Planning-based Assistance System for Setting Up a Home Theater.
    In Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015), S. 4264-4265. 2015.
    (PDF)

  • Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Denis Ponomaryov und Marvin Schiller.
    Integrating Ontologies and Planning for Cognitive Systems.
    In Proceedings of the 28th International Workshop on Description Logics (DL 2015), S. 338-360. 2015.
    (PDF)

  • Pascal Bercher, Daniel Höller, Gregor Behnke und Susanne Biundo.
    User-Centered Planning - A Discussion on Planning in the Presence of Human Users.
    In Proceedings of the First International Symposium on Companion Technology (ISCT 2015), S. 79-82. 2015.
    (PDF)

  • Gregor Behnke, Marvin Schiller, Denis Ponomaryov, Florian Nothdurft, Ber\-cher Pascal, Wolfgang Minker, Birte Glimm und Susanne Biundo.
    A Unified Knowledge Base for Companion-Systems - A Case Study in Mixed-Initiative Planning.
    In Proceedings of the First International Symposium on Companion Technology (ISCT 2015), S. 43-48. 2015.
    (PDF)

  • Daniel Höller, Gregor Behnke, Pascal Bercher und Susanne Biundo.
    Language Classification of Hierarchical Planning Problems.
    In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), S. 447-452. 2014.
    (PDF)

Rolf-David Bergdoll

  • Pascal Bachor, Rolf-David Bergdoll und Bernhard Nebel.
    The Multi-Agent Transportation Problem.
    In Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI 2023), S. 11525-11532. 2023.
    (Abstract einblenden) (Online; DOI)

  • Marius Lindauer, Rolf-David Bergdoll und Frank Hutter.
    An Empirical Study of Per-instance Algorithm Scheduling.
    In Proceedings of the 10th Learning and Intelligent Optimization Conference (LION 10), S. 253-259. 2016.
    (Abstract einblenden) (PDF)

Michael Brenner

  • Marc Hanheide, Nick Hawes, Jeremy Wyatt, Moritz Göbelbecker, Michael Brenner, Kristoffer Sjöö, Alper Aydemir, Patric Jensfelt, Hendrik Zender und Geert-Jan Kruijff.
    A Framework for Goal Generation and Management.
    In Proceedings of the AAAI Workshop on Goal-Directed Autonomy. 2010.
    (Abstract einblenden) (BIB)

  • Michael Brenner.
    Creating Dynamic Story Plots with Continual Multiagent Planning.
    In Maria Fox und David Poole (Hrsg.), Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2010), S. 1517-1522. AAAI Press 2010.
    (Abstract einblenden) (PDF) (BIB)

  • Michael Brenner.
    Dynamic Plot Generation by Continual Multiagent Planning (extended abstract).
    In Proceedings of the 9th Int. Joint Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2010). 2010.
    (Abstract einblenden) (PDF) (BIB)

  • Moritz Göbelbecker, Thomas Keller, Patrick Eyerich, Michael Brenner und Bernhard Nebel.
    Coming Up with Good Excuses: What To Do When No Plan Can be Found.
    In Ronen Brafman, Héctor Geffner, Jörg Hoffmann und Henry Kautz (Hrsg.), Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS 2010), S. 81-88. AAAI Press 2010.
    (Abstract einblenden) (PDF) (BIB)

  • Nick Hawes, Marc Hanheide, Kristoffer Sjöö, Alper Aydemir, Patric Jensfelt, Moritz Göbelbecker, Michael Brenner, Hendrik Zender, Pierre Lison, Ivana Kruijff-Korbayov, Geert-Jan M. Kruijff und Michael Zillich.
    Dora The Explorer: A Motivated Robot.
    In Proc. of 9th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2010). 2010.
    (Abstract einblenden) (PDF) (BIB)

  • Christian Dornhege, Patrick Eyerich, Thomas Keller, Sebastian Trüg, Michael Brenner und Bernhard Nebel.
    Semantic Attachments for Domain-Independent Planning Systems.
    In Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS 2009), S. 114-121. AAAI Press 2009.
    (Abstract einblenden) (PDF) (BIB)

  • Michael Brenner und Bernhard Nebel.
    Continual Planning and Acting in Dynamic Multiagent Environments.
    Journal of Autonomous Agents and Multiagent Systems 19 (3), S. 297-331. 2009.
    (Abstract einblenden) (PDF) (BIB)

  • Geert-Jan Kruijff und Michael Brenner.
    Phrasing Questions.
    In AAAI Spring Symposium on Agents that Learn from Human Teachers. 2009.

  • Michael Brenner.
    Continual Collaborative Planning for Mixed-Initiative Action and Interaction.
    In Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008). 2008.
    (Abstract einblenden) (PDF)

  • Michael Brenner und Ivana Kruijff-Korbayova.
    A Continual Multiagent Planning Approach to Situated Dialogue.
    In Proceedings of the 12th Workshop on the Semantics and Pragmatics of Dialogue (LonDial 2008). 2008.
    (Abstract einblenden) (PDF)

  • Geert-Jan Kruijff, Michael Brenner und Nick Hawes.
    Continual Planning for Cross-Modal Situated Clarification in Human-Robot Interaction.
    In Proceedings of the 17th IEEE International Symposium on Robots and Human Interactive Communication (RO-MAN 2008). 2008.
    (Abstract einblenden) (PDF)

  • Paul Plöger, Kai Pervölz, Christoph Mies, Patrick Eyerich, Michael Brenner und Bernhard Nebel.
    The DESIRE Service Robotics Initiative.
    Künstliche Intelligenz 08 (4), S. 29-32. 2008.
    (Abstract einblenden) (PDF)

  • Patrick Eyerich, Michael Brenner und Bernhard Nebel.
    On the Complexity of Planning Operator Subsumption.
    In Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), S. 518-527. AAAI Press 2008.
    (Abstract einblenden) (PDF) (BIB)

  • Michael Brenner.
    Situation-Aware Interpretation, Planning and Execution of User Commands by Autonomous Robots.
    In Proceedings of the 16th IEEE International Symposium on Robots and Human Interactive Communication (ROMAN 2007). Jeju, Korea 2007.
    (PDF)

  • Nick Hawes, Aaron Sloman, Jeremy Wyatt, Michael Zillich, Henrik Jacobsson, Geert-Jan Kruijff, Michael Brenner, Gregor Berginc und Danijel Skocaj.
    Towards an Integrated Robot with Multiple Cognitive Functions.
    In Proceedings of the 22nd Conference on Artificial Intelligence (AAAI 2007). Vancouver, Canada 2007.
    (PDF)

  • Geert-Jan Kruijff und Michael Brenner.
    Modelling Spatio-Temporal Comprehension in Situated Human-Robot Dialogue as Reasoning About Intentions and Plans.
    In AAAI Spring Symposium on Intentions. 2007.

  • Michael Brenner, Nick Hawes, John Kelleher und Jeremy Wyatt.
    Mediating Between Qualitative and Quantitative Representations for Task-Orientated Human-Robot Interaction.
    In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007). Hyderabad, India 2007.
    (PDF)

  • Michael Brenner und Bernhard Nebel.
    Continual Planning and Acting in Dynamic Multiagent Environments.
    In Proceedings of the International Symposium on Practical Cognitive Agents and Robots. Perth, Australia 2006.
    (Abstract einblenden) (PDF)

  • Alexander Kleiner, Michael Brenner, Tobias Braeuer, Christian Dornhege, Moritz Göbelbecker, Matthias Luber, Johann Prediger, Joerg Stueckler und Bernhard Nebel.
    Successful Search and Rescue in Simulated Disaster Areas.
    In Proceedings of the International RoboCup Symposium '05. Osaka, Japan 2005.
    (Abstract einblenden) (PDF)

  • Michael Brenner, Nanda Wijermans, Timo Nuessle und Bart de Boer.
    Simulating and Controlling Civilian Crowds in Robocup Rescue.
    In RoboCup. Osaka, Japan 2005.
    Winner of the RoboCupRescue Infrastructure Competition 2005.

  • Michael Brenner.
    Planning for Multiagent Environments: From Individual Perceptions to Coordinated Execution.
    In Workshop on Multiagent Planning and Scheduling (ICAPS 2005). Monterey, USA 2005.
    (PDF)

  • Timo Nuessle, Alexander Kleiner und Michael Brenner.
    Approaching Urban Disaster Reality: The ResQ Firesimulator.
    In Proceedings of the International RoboCup Symposium '04. Lisbon, Portugal 2004.
    (PDF)

  • Alexander Kleiner, Michael Brenner, Tobias Braeuer, Christian Dornhege, Moritz Göbelbecker, Matthias Luber, Johann Prediger und Joerg Stueckler.
    ResQ Freiburg: Team Description and Evaluation, Team Description Paper, Rescue Simulation League.
    In CDROM Proceedings of the International RoboCup Symposium '04. Lisbon, Portugal 2004.
    (PDF)

  • Michael Brenner.
    Multiagent Planning with Partially Ordered Temporal Plans.
    In Proceedings of IJCAI'03. Acapulco, Mexico 2003.
    (PDF)

  • Michael Brenner.
    A Multiagent Planning Language.
    In Workshop on PDDL (ICAPS 2003). Trento, Italy 2003.
    (PDF)

  • Michael Brenner.
    A Formal Model for Planning with Time and Resources in Concurrent Domains.
    In Workshop on Planning with Resources (IJCAI 2001). Seattle, Washington, USA 2001.
    (PS.GZ)

Markus Büttner

  • Markus Büttner und Jussi Rintanen.
    Satisfiability Planning with Constraints on the Number of Operators.
    In Proceedings of the Thirteenth International Conference of Automated Planning and Scheduling (ICAPS 2005). Monterey, Califonia, USA 2005.

  • Markus Büttner.
    Enhanced Prefetching- and Caching Strategies for Single and Multi-Disk Systems.
    ACTA INFORMATICA 236. 2005.

Patrick Caspari

  • Patrick Caspari, Robert Mattmüller und Tim Schulte.
    A Framework to Prove Strong Privacy in Multi-Agent Planning.
    In Proceedings of the 6th Workshop on Distributed and Multi-Agent Planning (DMAP 2020), S. 32-39. 2020.
    (PDF)

Yannis Dimopoulos

  • Yannis Dimopoulos, Bernhard Nebel und Francesca Toni.
    On the Computational Complexity of Assumption-based Argumentation for Default Reasoning.
    Artificial Intelligence 141 (1-2), S. 57-78. 2002.
    (Abstract einblenden) (PDF)

  • Yannis Dimopoulos, Bernhard Nebel und Francesca Toni.
    Finding Admissible and Preferred Arguments Can be Very Hard.
    In Principles of Knowledge Representation and Reasoning, Proceedings of the 7th International Conference (KR'2000). 2000.
    (Abstract einblenden) (PDF)

  • Yannis Dimopoulos, Bernhard Nebel und Francesca Toni.
    Preferred Arguments are Harder to Compute than Stable Extensions.
    In Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI 1999). Stockholm, Sweden 1999.
    (Abstract einblenden) (PDF)

  • Yannis Dimopoulos, Bernhard Nebel und Jana Koehler.
    Encoding planning problems in non-monotonic logic programs.
    In Proc. European Conference on Planning 1997 (ECP-97), S. 169-181. Springer-Verlag 1997.
    (Abstract einblenden) (PDF)

  • Yannis Dimopoulos, Saso Dzeroski und Antonis Kakas.
    Integrating Explanatory and Descriptive Learning in ILP.
    In Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI'97), S. 900-906. 1997.
    (PS.GZ)

  • Jana Koehler, Bernhard Nebel, Jörg Hoffmann und Yannis Dimopoulos.
    Extending Planning Graphs to an ADL Subset.
    In Proc. European Conference on Planning 1997 (ECP-97), S. 273-285. Springer-Verlag 1997.
    (Abstract einblenden) (PDF)

  • Bernhard Nebel, Yannis Dimopoulos und Jana Koehler.
    Ignoring Irrelevant Facts and Operators in Plan Generation.
    In Proc. European Conference on Planning 1997 (ECP-97), S. 338-350. Springer-Verlag 1997.
    (Abstract einblenden) (PDF)

Christian Dornhege

  • David Speck, Christian Dornhege und Wolfram Burgard.
    Shakey 2016 - How Much Does it Take to Redo Shakey the Robot?
    IEEE Robotics and Automation Letters (RA-L) 2 (2), S. 1203-1209. 2017.
    (Abstract einblenden) (PDF; Online)

  • Christian Dornhege, Alexander Kleiner, Andreas Hertle und Andreas Kolling.
    Multirobot Coverage Search in Three Dimensions.
    Journal of Field Robotics 33 (4), S. 537-558. 2016.
    (Abstract einblenden) (PDF)

  • Armin Hornung, Sebastian Boettcher, Christian Dornhege, Andreas Hertle, Jonas Schlagenhauf und Maren Bennewitz.
    Mobile Manipulation in Cluttered Environments with Humanoids: Itegrated Perception, Task Planning, and Action Execution.
    In Proceedings of the IEEE-RAS International Conference on Humanoid Robots (HUMANOIDS). 2014.
    (Abstract einblenden) (PDF)

  • Nicolas Riesterer, Christian Becker-Asano, Julien Hué, Christian Dornhege und Bernhard Nebel.
    The Hybrid Agent MARCO.
    In Proceedings of the 16th International Conference on Multimodal Interaction, S. 80-81. 2014.
    (Abstract einblenden) (PDF)

  • Christian Becker-Asano, Eduardo Meneses, Nicolas Riesterer, Julien Hué, Christian Dornhege und Bernhard Nebel.
    The Hybrid Agent MARCO: A Multimodal Autonomous Robotic Chess Opponent.
    In Proceedings of the 2nd International Confernce on Human-Agent Interaction, S. 173-176. 2014.
    (Abstract einblenden) (PDF)

  • Andreas Hertle, Christian Dornhege, Thomas Keller, Robert Mattmüller, Manuela Ortlieb und Bernhard Nebel.
    An Experimental Comparison of Classical, FOND and Probabilistic Planning.
    In Proceedings of the 37th German Conference on Artificial Intelligence (KI 2014), S. 297-308. Springer 2014.
    (Abstract einblenden) (PDF) (BIB)

  • Christian Dornhege, Andreas Hertle und Bernhard Nebel.
    Lazy Evaluation and Subsumption Caching for Search-Based Integrated Task and Motion Planning.
    In Proceedings of the IROS workshop on AI-based robotics. 2013.
    (Abstract einblenden) (PDF)

  • Christian Dornhege, Alexander Kleiner und Andreas Kolling.
    Coverage Search in 3D.
    In Proceedings of the Symposium on Safety Security and Rescue Robotics (SSRR). 2013.
    (PDF) (BIB)

  • Andreas Hertle und Christian Dornhege.
    Efficient Extensible Path Planning on 3D Terrain Using Behavior Modules.
    In Proceedings of the European Conference on Mobile Robotics (ECMR). 2013.
    (PDF) (BIB)

  • Bernhard Nebel, Christian Dornhege und Andreas Hertle.
    How Much Does a Household Robot Need To Know In Order To Tidy Up Your Home?
    In AAAI Workshop on Intelligent Robotic Systems. AAAI Press 2013.
    (Abstract einblenden) (PDF) (BIB)

  • Christian Dornhege und Andreas Hertle.
    Integrated Symbolic Planning in the Tidyup-Robot Project.
    In AAAI Spring Symposium - Designing Intelligent Robots: Reintegrating AI II. AAAI Press 2013.
    (PDF) (BIB)

  • Christian Dornhege und Alexander Kleiner.
    A Frontier-Void-Based Approach for Autonomous Exploration in 3D.
    Advanced Robotics 27 (6). 2013.
    (BIB)

  • Kai M. Wurm, Christian Dornhege, Cyrill Stachniss, Bernhard Nebel und Wolfram Burgard.
    Coordinating Heterogeneous Teams of Robots using Temporal Symbolic Planning.
    Autonomous Robots. 2013.
    (Abstract einblenden) (BIB) (Online; DOI)

  • Stefan Kohlbrecher, Karen Petersen, Gerald Steinbauer, Johannes Maurer, Peter Lepej, Suzana Uran, Rodrigo Ventura, Christian Dornhege, Andreas Hertle, Raymond Sheh und Johannes Pellenz.
    Community-Driven Development of Standard Software Modules for Search and Rescue Robots.
    In Safety, Security and Rescue Robotics (SSRR). 2012.

  • Andreas Hertle, Christian Dornhege, Thomas Keller und Bernhard Nebel.
    Planning with Semantic Attachments: An Object-Oriented View.
    In Proceedings of the European Conference on Artificial Intelligence (ECAI). 2012.
    (Abstract einblenden) (PDF) (BIB)

  • Christian Dornhege und Alexander Kleiner.
    A Frontier-Void-Based Approach for Autonomous Exploration in 3D.
    In Proceedings of the IEEE International Symposium on Safety, Security and Rescue Robotics (SSRR). 2011.
    (Abstract einblenden) (PDF) (BIB)

  • Matthias Westphal, Christian Dornhege, Stefan Wölfl, Marc Gissler und Bernhard Nebel.
    Guiding the Generation of Manipulation Plans by Qualitative Spatial Reasoning.
    Spatial Cognition & Computation: An Interdisciplinary Journal 11 (1), S. 75-102. 2011.
    (Abstract einblenden) (Online; DOI) (BIB)

  • R. Kümmerle, B. Steder, Christian Dornhege, Alexander Kleiner, G. Grisetti und W. Burgard.
    Large Scale Graph-based SLAM using Aerial Images as Prior Information.
    Autonomous Robots 30, S. 25-39. 2011.
    (Abstract einblenden) (PDF) (BIB)

  • Kai M. Wurm, Christian Dornhege, Patrick Eyerich, Cyrill Stachniss, Bernhard Nebel und Wolfram Burgard.
    Coordinated Exploration with Marsupial Teams of Robots using Temporal Symbolic Planning.
    In Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2010). 2010.
    (Abstract einblenden) (PDF) (BIB)

  • Alexander Kleiner und Christian Dornhege.
    Mapping for the Support of First Responders in Critical Domains.
    Journal of Intelligent and Robotic Systems (JINT), S. 1-29. 2010.
    (Abstract einblenden) (PDF) (BIB)

  • Marc Gissler, Christian Dornhege, Bernhard Nebel und Matthias Teschner.
    Deformable Proximity Queries and their Application in Mobile Manipulation Planning.
    In Symposium on Visual Computing (ISVC 2009), S. 79-88. AAAI Press 2009.
    (Abstract einblenden) (PDF) (BIB)

  • Alexander Kleiner und Christian Dornhege.
    Operator-Assistive Mapping in Harsh Environments.
    In IEEE International Workshop on Safety, Security and Rescue Robotics (SSRR 2009), S. 1-6. 2009.
    (Abstract einblenden) (PDF) (BIB)

  • Christian Dornhege, Marc Gissler, Matthias Teschner und Bernhard Nebel.
    Integrating Symbolic and Geometric Planning for Mobile Manipulation.
    In IEEE International Workshop on Safety, Security and Rescue Robotics (SSRR 2009). 2009.
    (Abstract einblenden) (PDF) (BIB)

  • Christian Dornhege, Patrick Eyerich, Thomas Keller, Sebastian Trüg, Michael Brenner und Bernhard Nebel.
    Semantic Attachments for Domain-Independent Planning Systems.
    In Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS 2009), S. 114-121. AAAI Press 2009.
    (Abstract einblenden) (PDF) (BIB)

  • Moritz Göbelbecker und Christian Dornhege.
    Realistic Cities in Simulated Environments - An Open Street Map to Robocup Rescue Converter.
    In Online-Proceedings of the Fourth International Workshop on Synthetic Simulation and Robotics to Mitigate Earthquake Disaster (SRMED 2009). 2009.
    (Abstract einblenden) (PDF)

  • Rainer Kümmerle, Bastian Steder, Christian Dornhege, Michael Ruhnke, Giorgio Grisetti, Cyrill Stachniss und Alexander Kleiner.
    On Measuring the Accuracy of SLAM Algorithms.
    Autonomous Robots 27 (4), S. 387-407. 2009.
    (Abstract einblenden) (PDF) (BIB)

  • Wolfram Burgard, Cyrill Stachniss, Giorgio Grisetti, Bastian Steder, Rainer Kümmerle, Christian Dornhege, Michael Ruhnke, Alexander Kleiner und Juan D. Tardos.
    A Comparison of SLAM Algorithms Based on a Graph of Relations.
    In Proceedings of the 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2009), S. 2089-2095. IEEE 2009.
    (Abstract einblenden) (PDF) (BIB)

  • Rainer Kümmerle, Bastian Steder, Christian Dornhege, Alexander Kleiner, Giorgio Grisetti und Wolfram Burgard.
    Large Scale Graph-based SLAM using Aerial Images as Prior Information.
    In Proceedings of 2009 Robotics: Science and Systems (RSS 2009). 2009.
    (Abstract einblenden) (PDF) (BIB)

  • Christian Dornhege und Alexander Kleiner.
    Fully autonomous planning and obstacle negotiation on rough terrain using behavior maps.
    In Video Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2007). San Diego, California 2007.

  • Christian Dornhege und Alexander Kleiner.
    Behavior maps for online planning of obstacle negotiation and climbing on rough terrain.
    In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2007), S. 3005-3011. 2007.
    (Abstract einblenden) (PDF) (BIB)

  • Alexander Kleiner und Christian Dornhege.
    Real-time Localization and Elevation Mapping within Urban Search and Rescue Scenarios.
    Journal of Field Robotics 24, S. 723-745. 2007.
    (Abstract einblenden) (PDF) (BIB)

  • Alexander Kleiner, Christian Dornhege und Dali Sun.
    Mapping disaster areas jointly: RFID -Coordinated SLAM by Humans and Robots.
    In Proceedings of the IEEE International Workshop on Safety, Security and Rescue Robotics (SSRR 2007), S. 1-6. 2007.
    (Abstract einblenden) (PDF) (BIB)

  • Alexander Kleiner, Christian Dornhege, Rainer Kuemmerle, Michael Ruhnke, Bastian Steder, Bernhard Nebel, Patrick Doherty, Mariusz Wzorek, Piotr Rudol, Gianpaolo Conte, S. Durante und D. Lundstrom.
    RoboCupRescue - Robot League Team RescueRobots Freiburg (Germany), Team Description Paper.
    In CDROM Proceedings of the International RoboCup Symposium '05. Bremen, Germany 2006.
    (Abstract einblenden) (PDF)

  • Christian Dornhege und Alexander Kleiner.
    Visual Odometry for Tracked Vehicles.
    In Proceedings of the IEEE International Workshop on Safety, Security and Rescue Robotics (SSRR 2006). 2006.
    (Abstract einblenden) (PDF) (BIB)

  • Alexander Kleiner, Michael Brenner, Tobias Braeuer, Christian Dornhege, Moritz Göbelbecker, Matthias Luber, Johann Prediger, Joerg Stueckler und Bernhard Nebel.
    Successful Search and Rescue in Simulated Disaster Areas.
    In Proceedings of the International RoboCup Symposium '05. Osaka, Japan 2005.
    (Abstract einblenden) (PDF)

  • Alexander Kleiner, Bastian Steder, Christian Dornhege, Daniel Hoefler, Daniel Meyer-Delius, Johann Prediger, Joerg Stueckler, Kolja Glogowski, Markus Thurner, Matthias Luber, Michael Schnell, Rainer Kuemmerle, Timothy Burk, Tobias Braeuer und Bernhard Nebel.
    RoboCupRescue - Robot League Team RescueRobots Freiburg (Germany), Team Description Paper.
    In CDROM Proceedings of the International RoboCup Symposium '05. Osaka, Japan 2005.
    (Abstract einblenden) (PDF)

  • Alexander Kleiner, Michael Brenner, Tobias Braeuer, Christian Dornhege, Moritz Göbelbecker, Matthias Luber, Johann Prediger und Joerg Stueckler.
    ResQ Freiburg: Team Description and Evaluation, Team Description Paper, Rescue Simulation League.
    In CDROM Proceedings of the International RoboCup Symposium '04. Lisbon, Portugal 2004.
    (PDF)

Christoph Dornheim

  • Christoph Dornheim.
    Graph Embedding with Topological Cycle-Constraints.
    In J. Kratochvil (Hrsg.), Proceedings of the 7th International Symposium on Graph Drawing (GD 1999). Stirin, Czech Republic 1999.
    (PS.GZ)

  • Christoph Dornheim.
    Undecidability of Plane Polygonal Mereotopology.
    In A. G. Cohn, L. Schubert und S. C. Shapiro (Hrsg.), Principles of Knowledge Representation and Reasoning, Proceedings of the 6th International Conference (KR'98). Trento, Italy 1998.
    (PS.GZ)

Thorsten Engesser

  • Thorsten Engesser, Robert Mattmüller, Bernhard Nebel und Michael Thielscher.
    Game description language and dynamic epistemic logic compared.
    Artificial Intelligence 292. 2021.
    (Abstract einblenden) (Online; DOI)

  • Thorsten Engesser, Robert Mattmüller, Bernhard Nebel und Felicitas Ritter.
    Token-based Execution Semantics for Multi-Agent Epistemic Planning.
    In Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR-2020), S. 351-360. 2020.
    (Abstract einblenden) (Online; PDF)

  • Thorsten Engesser und Tim Miller.
    Implicit Coordination Using FOND Planning.
    In Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI-20). 2020.
    To appear.
    (Abstract einblenden) (PDF)

  • Daniel Reifsteck, Thorsten Engesser, Robert Mattmüller und Bernhard Nebel.
    Epistemic Multi-agent Planning Using Monte-Carlo Tree Search.
    In KI 2019: Advances in Artificial Intelligence - 42nd German Conference on AI, S. 277-289. 2019.
    (Abstract einblenden) (Online; DOI)

  • Bernhard Nebel, Thomas Bolander, Thorsten Engesser, Robert Mattmüller und .
    Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity (Extended Abstract).
    In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI 2019), S. 6372-6374. 2019.

  • Thorsten Engesser und Tim Miller.
    Planning for Implicit Coordination using FOND.
    In Proceedings of the Workshop on Knowledge Engineering for Planning and Scheduling (KEPS19). 2019.
    Superseded by the AAAI-20 paper by the same authors.
    (Abstract einblenden)

  • Thomas Bolander, Thorsten Engesser, Andreas Herzig, Robert Mattmüller und Bernhard Nebel.
    The Dynamic Logic of Policies and Contingent Planning.
    In Logics in Artificial Intelligence - 16th European Conference (JELIA-2019), S. 659-674. 2019.
    (Abstract einblenden) (Online; DOI)

  • Bernhard Nebel, Thomas Bolander, Thorsten Engesser und Robert Mattmüller.
    Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity.
    Journal of Artificial Intelligence Research 64, S. 497-527. 2019.
    (Abstract einblenden) (PDF)

  • Thomas Bolander, Thorsten Engesser, Robert Mattmüller und Bernhard Nebel.
    Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination.
    In Proceedings of the Sixteenth Conference on Principles of Knowledge Representation and Reasoning (KR18), S. 445-453. 2018.
    (Abstract einblenden) (PDF)

  • Thorsten Engesser, Robert Mattmüller, Bernhard Nebel und Michael Thielscher.
    Game Description Language and Dynamic Epistemic Logic Compared.
    In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI 2018), S. 1795-1802. 2018.
    (Abstract einblenden) (PDF)

  • Thorsten Engesser, Thomas Bolander, Robert Mattmüller und Bernhard Nebel.
    Cooperative Epistemic Multi-Agent Planning for Implicit Coordination.
    In Ghosh, Sujata and Ramanujam und R. (Hrsg.), Proceedings of the Ninth Workshop on Methods for Modalities (M4M 2017), S. 75-90. 2017.
    (Abstract einblenden) (Online; PDF) (BIB)

  • Thomas Bolander, Thorsten Engesser, Robert Mattmüller und Bernhard Nebel.
    Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination.
    In Proceedings of the ICAPS-2016 Workshop on Distributed and Multi-Agent Planning (DMAP 2016). 2016.
    Superseded by the KR18 paper by the same authors.
    (Abstract einblenden) (PDF) (BIB)

  • Thorsten Engesser, Thomas Bolander, Robert Mattmüller und Bernhard Nebel.
    Cooperative Epistemic Multi-Agent Planning With Implicit Coordination.
    In Proceedings of the ICAPS-2015 Workshop on Distributed and Multi-Agent Planning (DMAP 2015). 2015.
    Superseded by the M4M 2017 paper by the same authors.
    (Abstract einblenden) (PDF) (BIB)

Patrick Eyerich

  • Patrick Eyerich und Malte Helmert.
    Stronger Abstraction Heuristics Through Perimeter Search.
    In Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS13). 2013.
    (Abstract einblenden) (PDF) (BIB)

  • Johannes Löhr, Patrick Eyerich, Stefan Winkler und Bernhard Nebel.
    Domain Predictive Control Under Uncertain Numerical State Information.
    In Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS13). 2013.
    (Abstract einblenden) (PDF) (BIB)

  • Patrick Eyerich.
    Preferring Properly: Increasing Coverage while Maintaining Quality in Anytime Temporal Planning.
    In Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012). 2012.
    (Abstract einblenden) (PDF) (BIB)

  • Thomas Keller und Patrick Eyerich.
    PROST: Probabilistic Planning Based on UCT.
    In Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012), S. 119-127. 2012.
    (Abstract einblenden) (PDF) (BIB)

  • Johannes Löhr, Patrick Eyerich, Thomas Keller und Bernhard Nebel.
    A Planning Based Framework for Controlling Hybrid Systems.
    In Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012). 2012.
    (Abstract einblenden) (PDF)

  • Patrick Eyerich.
    Preferring Properly: Increasing Coverage while Maintaining Quality in Anytime Temporal Planning.
    In Proceedings of the ICAPS-12 Workshop on Heuristics and Search for Domain Independent Planning (HSDIP 2012). 2012.
    (Abstract einblenden) (PDF) (BIB)

  • Thomas Keller und Patrick Eyerich.
    A Polynomial All Outcome Determinization for Probabilistic Planning.
    In Fahiem Bacchus, Carmel Domshlak, Stefan Edelkamp und Malte Helmert (Hrsg.), Proceedings of the 21th International Conference on Automated Planning and Scheduling (ICAPS 2011), S. 331-334. AAAI Press 2011.
    (Abstract einblenden) (PDF) (BIB)

  • J. Benton, Patrick Eyerich und Subbarao Kambhampati.
    Enhancing Search for Satisficing Temporal Planning with Objective-driven Decisions.
    In Proceedings of the ICAPS-2011 Workshop on Heuristics for Domain-independent Planning, S. 59-65. 2011.
    (Abstract einblenden) (PDF) (BIB)

  • Kai M. Wurm, Christian Dornhege, Patrick Eyerich, Cyrill Stachniss, Bernhard Nebel und Wolfram Burgard.
    Coordinated Exploration with Marsupial Teams of Robots using Temporal Symbolic Planning.
    In Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2010). 2010.
    (Abstract einblenden) (PDF) (BIB)

  • Thomas Keller, Patrick Eyerich und Bernhard Nebel.
    Task Planning for an Autonomous Service Robot.
    In Rüdiger Dillmann, Jürgen Beyerer, Uwe Hanebeck und Tanja Schultz (Hrsg.), Proceedings on the 33rd Annual German Conference on Artificial Intelligence (KI 2010), S. 358-365. Springer-Verlag 2010.
    (Abstract einblenden) (PDF) (BIB)

  • Patrick Eyerich, Thomas Keller und Malte Helmert.
    High-Quality Policies for the Canadian Traveler's Problem.
    In Maria Fox und David Poole (Hrsg.), Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2010), S. 51-58. AAAI Press 2010.
    (Abstract einblenden) (PDF) (BIB)

  • Patrick Eyerich, Thomas Keller und Malte Helmert.
    High-Quality Policies for the Canadian Traveler's Problem (Extended Abstract).
    In Ariel Felner und Nathan Sturtevant (Hrsg.), Proceedings of the Third Annual Symposium on Combinatorial Search (SoCS 2010), S. 147-148. AAAI Press 2010.
    Extended abstract of the AAAI paper by the same name.
    (PDF)

  • J. Benton, Kartik Talamadupula, Patrick Eyerich, Robert Mattmüller und Subbarao Kambhampati.
    G-value Plateaus: A Challenge for Planning.
    In Ronen Brafman, Héctor Geffner, Jörg Hoffmann und Henry Kautz (Hrsg.), Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS 2010), S. 259-262. AAAI Press 2010.
    (Abstract einblenden) (PDF) (BIB)

  • Moritz Göbelbecker, Thomas Keller, Patrick Eyerich, Michael Brenner und Bernhard Nebel.
    Coming Up with Good Excuses: What To Do When No Plan Can be Found.
    In Ronen Brafman, Héctor Geffner, Jörg Hoffmann und Henry Kautz (Hrsg.), Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS 2010), S. 81-88. AAAI Press 2010.
    (Abstract einblenden) (PDF) (BIB)

  • Patrick Eyerich, Thomas Keller und Malte Helmert.
    High-Quality Policies for the Canadian Traveler's Problem.
    In Proceedings of the ICAPS-2010 Workshop on Planning and Scheduling Under Uncertainty. 2010.
    Superseded by the AAAI 2010 paper by the same name.
    (Abstract einblenden) (PDF) (BIB)

  • Patrick Eyerich, Thomas Keller und Bernhard Nebel.
    Combining Action and Motion Planning via Semantic Attachments.
    In Proceedings of the Workshop on Combining Action and Motion Planning at ICAPS 2010 (CAMP 2010), S. 19. 2010.
    Extended Abstract.
    (PDF) (BIB)

  • Christian Dornhege, Patrick Eyerich, Thomas Keller, Sebastian Trüg, Michael Brenner und Bernhard Nebel.
    Semantic Attachments for Domain-Independent Planning Systems.
    In Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS 2009), S. 114-121. AAAI Press 2009.
    (Abstract einblenden) (PDF) (BIB)

  • Patrick Eyerich, Robert Mattmüller und Gabriele Röger.
    Using the Context-enhanced Additive Heuristic for Temporal and Numeric Planning.
    In Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS 2009), S. 130-137. AAAI Press 2009.
    (Abstract einblenden) (PDF) (slides; PDF) (BIB)

  • Paul Plöger, Kai Pervölz, Christoph Mies, Patrick Eyerich, Michael Brenner und Bernhard Nebel.
    The DESIRE Service Robotics Initiative.
    Künstliche Intelligenz 08 (4), S. 29-32. 2008.
    (Abstract einblenden) (PDF)

  • Patrick Eyerich, Michael Brenner und Bernhard Nebel.
    On the Complexity of Planning Operator Subsumption.
    In Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), S. 518-527. AAAI Press 2008.
    (Abstract einblenden) (PDF) (BIB)

  • Jens Claßen, Patrick Eyerich, Gerhard Lakemeyer und Bernhard Nebel.
    Towards an Integration of Golog and Planning.
    In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), S. 1846-1851. AAAI Press 2007.
    (Abstract einblenden) (PDF) (BIB)

  • Patrick Eyerich, Bernhard Nebel, Gerhard Lakemeyer und Jens Classen.
    Golog and PDDL: What is the Relative Expressiveness?
    In Proceedings of the International Symposium on Practical Cognitive Agents and Robots (PCAR 2006), S. 93-104. University of Western Australia Press 2006.
    (Abstract einblenden) (PDF) (BIB)

Florian Geißer

  • David Speck, Florian Geißer und Robert Mattmüller.
    When Perfect is not Good Enough: On the Search Behaviour of Symbolic Heuristic Search.
    In Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS 2020), S. 263-271. 2020.
    (Abstract einblenden) (PDF)

  • Florian Geißer, David Speck und Thomas Keller.
    Trial-based Heuristic Tree Search for MDPs with Factored Action Spaces.
    In Proceedings of the 13th Annual Symposium on Combinatorial Search (SoCS 2020), S. 38-47. 2020.
    (Abstract einblenden) (PDF)

  • Sumitra Corraya, Florian Geißer, David Speck und Robert Mattmüller.
    An Empirical Study of the Usefulness of State-Dependent Action Costs in Planning.
    In Proceedings of the 42nd German Conference on Artificial Intelligence (KI 2019), S. 123-130. 2019.
    (Abstract einblenden) (PDF) (PDF; Online)

  • Florian Geißer, David Speck und Thomas Keller.
    An Analysis of the Probabilistic Track of the IPC 2018.
    In Proceedings of the ICAPS-2019 Workshop on the International Planning Competition (WIPC 2019), S. 27-35. 2019.
    (Abstract einblenden) (PDF)

  • David Speck, Florian Geißer, Robert Mattmüller und Álvaro Torralba.
    Symbolic Planning with Axioms.
    In Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), S. 464-572. 2019.
    (Abstract einblenden) (PDF)

  • Florian Geißer.
    On planning with state-dependent action costs.
    FreiDok plus 2018.
    Dissertation Thesis.
    (PDF)

  • David Speck, Florian Geißer und Robert Mattmüller.
    Symbolic Planning with Edge-Valued Multi-Valued Decision Diagrams.
    In Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS 2018). 2018.
    (Abstract einblenden) (PDF) (technical report with proofs; PDF)

  • Florian Geißer und David Speck.
    PROST-DD - Utilizing Symbolic Classical Planning in THTS.
    In The 6th International Probabilistic Planning Competition (IPPC 2018), S. 13-16. 2018.
    (Abstract einblenden) (PDF)

  • David Speck, Florian Geißer und Robert Mattmüller.
    SYMPLE: Symbolic Planning based on EVMDDs.
    In The 9th International Planning Competition (IPC 2018), S. 82-85. 2018.
    (Abstract einblenden) (PDF)

  • Robert Mattmüller, Florian Geißer, Benedict Wright und Bernhard Nebel.
    On the Relationship Between State-Dependent Action Costs and Conditional Effects in Planning.
    In Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI 2018). 2018.
    (Abstract einblenden) (PDF)

  • Robert Mattmüller, Florian Geißer, Benedict Wright und Bernhard Nebel.
    On the Relationship Between State-Dependent Action Costs and Conditional Effects in Planning.
    In Proceedings of the 9th Workshop on Heuristics and Search for Domain-Independent Planning (HSDIP 2017). 2017.
    Superseded by the AAAI 2018 paper by the same name.
    (Abstract einblenden) (PDF)

  • Dali Sun, Florian Geißer und Bernhard Nebel.
    Towards Effective Localization in Dynamic Environments.
    In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2016). 2016.
    (Abstract einblenden) (PDF)

  • Thomas Keller, Florian Pommerening, Jendrik Seipp, Florian Geißer und Robert Mattmüller.
    State-dependent Cost Partitionings for Cartesian Abstractions in Classical Planning (Extended Abstract).
    In Proceedings of the 39th German Conference on Artificial Intelligence (KI 2016). 2016.
    (Abstract einblenden) (PDF)

  • Thomas Keller, Florian Pommerening, Jendrik Seipp, Florian Geißer und Robert Mattmüller.
    State-dependent Cost Partitionings for Cartesian Abstractions in Classical Planning.
    In Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016). 2016.
    (Abstract einblenden) (PDF)

  • Florian Geißer, Thomas Keller und Robert Mattmüller.
    Abstractions for Planning with State-Dependent Action Costs.
    In Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016). 2016.
    (Abstract einblenden) (PDF)

  • Florian Geißer, Thomas Keller und Robert Mattmüller.
    Delete Relaxations for Planning with State-Dependent Action Costs.
    In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). 2015.
    (Abstract einblenden) (PDF) (BIB)

  • Florian Geißer, Thomas Keller und Robert Mattmüller.
    Delete Relaxations for Planning with State-Dependent Action Costs.
    In Proceedings of the 8th Annual Symposium on Combinatorial Search (SoCS 2015). 2015.
    Extended abstract of the IJCAI 2015 paper by the same name.
    (Abstract einblenden) (PDF) (BIB)

  • Thomas Keller und Florian Geißer.
    Better Be Lucky Than Good: Exceeding Expectations in MDP Evaluation.
    In Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015). AAAI Press 2015.
    Erratum: On page 7, we mention that the results at IPPC would have differed by "-0.09", "+0.04" and "+0.05", which should read "-0.009", "+0.004" and "+0.005" instead.
    (Abstract einblenden) (PDF)

  • Florian Geißer, Thomas Keller und Robert Mattmüller.
    Past, Present, and Future: An Optimal Online Algorithm for Single-Player GDL-II Games.
    In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), S. 357-362. 2014.
    (Abstract einblenden) (PDF) (BIB)

Jens-Steffen Gutmann

  • Thilo Weigel, Jens-Steffen Gutmann, Markus Dietl, Alexander Kleiner und Bernhard Nebel.
    CS Freiburg: Coordinating Robots for Successful Soccer Playing.
    IEEE Transactions on Robotics and Automation 18 (5), S. 685-699. 2002.
    (Abstract einblenden) (PDF)

  • Markus Dietl, Jens-Steffen Gutmann und Bernhard Nebel.
    Cooperative Sensing in Dynamic Environments.
    In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-2001). 2001.
    (Abstract einblenden) (PDF)

  • Markus Dietl, Jens-Steffen Gutmann und Bernhard Nebel.
    CS Freiburg: Global View by Cooperative Sensing.
    In International RoboCup Symposium 2001. 2001.
    (Abstract einblenden) (PDF)

  • Jens-Steffen Gutmann, Thilo Weigel und Bernhard Nebel.
    A Fast, Accurate, and Robust Method for Self-Localization in Polygonal Environments Using Laser-Range-Finders.
    Advanced Robotics 14 (8), S. 651-668. 2001.
    (Abstract einblenden) (PDF)

  • Thilo Weigel, Willi Auerbach, Markus Dietl, Burkhard Dümler, Jens-Steffen Gutmann, Kornel Marko, Klaus Müller, Bernhard Nebel, Boris Szerbakowski und Maximilian Thiel.
    CS Freiburg: Doing the Right Thing in a Group.
    In P. Stone, G. Kraetzschmar und T. Balch (Hrsg.), RoboCup 2000: Robot Soccer World Cup IV, S. 52-63. Springer-Verlag 2001.
    (Abstract einblenden) (PDF)

  • Thilo Weigel, Alexander Kleiner, Florian Diesch, Markus Dietl, Jens-Steffen Gutmann, Bernhard Nebel, Patrick Stiegeler und Boris Szerbakowski.
    CS Freiburg 2001.
    In International RoboCup Symposium 2001. 2001.
    (Abstract einblenden) (PDF)

  • Thilo Weigel, Jens-Steffen Gutmann, Bernhard Nebel, Klaus Müller und Markus Dietl.
    CS Freiburg: Sophisticated Skills and Effective Cooperation.
    In Proc. European Control Conference (ECC-01). Porto, Portugal 2001.
    (Abstract einblenden) (PDF)

  • Jens-Steffen Gutmann, Wolfgang Hatzack, Immanuel Herrmann, Bernhard Nebel, Frank Rittinger, Augustinus Topor und Thilo Weigel.
    The CS Freiburg Team: Playing Robotic Soccer Based on an Explicit World Model.
    AI Magazine 21 (1), S. 37-46. 2000.
    (Abstract einblenden) (preliminary version; PDF)

  • Jens-Steffen Gutmann, Bernhard Nebel und Christian Reetz.
    CS Freiburg: Architektur und Aktionsauswahl im Roboterfuball.
    In Proc. AMS-2000. 2000.
    (Abstract einblenden) (PDF)

  • Jens-Steffen Gutmann, Thilo Weigel und Bernhard Nebel.
    Fast, Accurate, and Robust Self-Localization in Polygonal Environments.
    In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS '99). Kyongju, Korea 1999.
    (Abstract einblenden) (preliminary version; PDF)

  • Jens-Steffen Gutmann, Wolfgang Hatzack, Immanuel Herrmann, Bernhard Nebel, Frank Rittinger, Augustinus Topor, Thilo Weigel und Bruno Welsch.
    The CS Freiburg Robotic Soccer Team: Reliable Self-Localization, Multirobot Sensor Integration, and Basic Soccer Skills.
    In M. Asada (Hrsg.), RoboCup-98: Robot Soccer World Cup II, S. 93-108. Springer-Verlag, Berlin, Heidelberg, New York 1999.
    (Abstract einblenden) (PDF)

  • Jens-Steffen Gutmann, Wolfgang Hatzack, Immanuel Herrmann, Bernhard Nebel, Frank Rittinger, Augustinus Topor und Thilo Weigel.
    Reliable Self-Localization, Multirobot Sensor Integration, Accurate Path-Planning and Basic Soccer Skills: Playing an Effective Game of Robotic Soccer.
    In Nineth International Conference on Advanced Robotics (ICAR 1999). 1999.
    (Abstract einblenden) (PDF)

  • Bernhard Nebel, Jens-Steffen Gutmann und Wolfgang Hatzack.
    The CS Freiburg '99 Team.
    In Third International Workshop on RoboCup. 1999.
    (Abstract einblenden) (PDF)

  • Jens-Steffen Gutmann, Wolfram Burgard, Dieter Fox und Kurt Konolige.
    An Experimental Comparison of Localization Methods.
    In International Conference on Intelligent Robots and Systems (IROS 98). Victoria, Canada 1998.
    (PS.GZ)

  • Bernhard Nebel, Wolfgang Hatzack, Thilo Weigel, Jens-Steffen Gutmann, Immanuel Herrmann, Frank Rittinger und Augustinus Topor.
    CS Freiburg's Participation at RoboCup'98: The World Champions in Robotic Soccer.
    AI Communications 11, S. 243-248. 1998.
    (Abstract einblenden) (PDF)

  • Sebastian Thrun, Jens-Steffen Gutmann, Dieter Fox, Wolfram Burgard und Benjamin J. Kuipers.
    Integrating Topological and Metric Maps for Mobile Robot Navigation: A Statistical Approach.
    In Proceedings of the 15th National Conference on Artificial Intelligence (AAAI-98). 1998.
    (PS.GZ)

  • Jens-Steffen Gutmann und Bernhard Nebel.
    Navigation mobiler Roboter mit Laserscans.
    In Autonome Mobile Systeme 1997 (AMS'97), S. 36-47. Springer-Verlag 1997.
    (Abstract einblenden) (PDF)

  • Jens-Steffen Gutmann und Christian Schlegel.
    AMOS: Comparison of Scan Matching Approaches for Self-Localization in Indoor Environments.
    In Proceedings of the First Euromicro Workshop on Advanced Mobile Robots (EUROBOT '96), S. 61-68. 1996.
    (PS.GZ)

Moritz Göbelbecker

  • Johannes Aldinger, Robert Mattmüller und Moritz Göbelbecker.
    Complexity Issues of Interval Relaxed Numeric Planning.
    In KI 2015: Advances in Artificial Intelligence (KI 2015). 2015.
    (Abstract einblenden) (PDF) (BIB)

  • Johannes Aldinger, Robert Mattmüller und Moritz Göbelbecker.
    Complexity Issues of Interval Relaxed Numeric Planning.
    In Proceedings of the ICAPS-2015 Workshop on Heuristic and Search for Domain-Independent Planning (HSDIP 2015). 2015.
    Superseded by the KI 2015 paper of the same name..
    (Abstract einblenden) (PDF) (BIB)

  • Alper Aydemir, Andrzej Pronobis, Moritz Göbelbecker und Patric Jensfelt.
    Active Visual Object Search in Unknown Environments Using Uncertain Semantics.
    IEEE Transactions on Robotics 29 (4), S. 986-1002. 2013.

  • Alper Aydemir, Moritz Göbelbecker, Andrzej Pronobis, Kristoffer Sjöö und Patric Jensfelt.
    Plan-based Object Search and Exploration Using Semantic Spatial Knowledge in the Real World.
    In Proceedings of the 5th European Conference on Mobile Robotics (ECMR 2011). 2011.
    (Abstract einblenden) (PDF) (BIB)

  • Moritz Göbelbecker, Charles Gretton und Richard W. Dearden.
    A Switching Planner for Combined Task and Observation Planning.
    In Proceedings of the 25th AAAI Conference on Artificial Intelligence (AAAI 2011). 2011.
    (Abstract einblenden) (PDF) (BIB)

  • Moritz Göbelbecker, Alper Aydemir, Andrzej Pronobis, Kristoffer Sjöö und Patric Jensfelt.
    A Planning Approach to Active Visual Search in Large Environments.
    In Proceedings of the AAAI-11 Workshop on Automated Action Planning for Autonomous Mobile Robots (PAMR). 2011.
    Workshop version of the ECMR11 paper "Plan-based Object Search and Exploration Using Semantic Spatial Knowledge in the Real World".
    (Abstract einblenden) (PDF) (BIB)

  • Moritz Göbelbecker, Charles Gretton und Richard W. Dearden.
    A Switching Planner for Combined Task and Observation Planning.
    In Electronic Proceedings of the Workshop on Decision Making in Partially Observable, Uncertain Worlds: Exploring Insights from Multiple Communities at the Twenty-Second International Join Conference on Artificial Intelligence (DMPOUW 2011). 2011.
    Workshop version of the AAAI11 paper of the same title..
    (Abstract einblenden) (PDF) (BIB)

  • Marc Hanheide, Charles Gretton, Richard Dearden, Nick Hawes, Jeremy Wyatt, Andrzej Pronobis, Alper Aydemir, Moritz Göbelbecker und Hendrik Zender.
    Exploiting Probabilistic Knowledge under Uncertain Sensing for Efficient Robot Behaviour.
    In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI 2011). 2011.
    (Abstract einblenden) (PDF) (BIB)

  • D. Skočaj, M. Kristan, A. Leonardis, M. Mahnič, A. Vrečko, M. Janíček, G.-J. M. Kruijff, P. Lison, M. Zillich, C. Gretton, M. Hanheide und Moritz Göbelbecker.
    A system approach to interactive learning of visual concepts.
    In Tenth International Conference on Epigenetic Robotics (EPIROB 2010). 2010.
    (Abstract einblenden) (PDF) (BIB)

  • Marc Hanheide, Nick Hawes, Jeremy Wyatt, Moritz Göbelbecker, Michael Brenner, Kristoffer Sjöö, Alper Aydemir, Patric Jensfelt, Hendrik Zender und Geert-Jan Kruijff.
    A Framework for Goal Generation and Management.
    In Proceedings of the AAAI Workshop on Goal-Directed Autonomy. 2010.
    (Abstract einblenden) (BIB)

  • Moritz Göbelbecker, Thomas Keller, Patrick Eyerich, Michael Brenner und Bernhard Nebel.
    Coming Up with Good Excuses: What To Do When No Plan Can be Found.
    In Ronen Brafman, Héctor Geffner, Jörg Hoffmann und Henry Kautz (Hrsg.), Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS 2010), S. 81-88. AAAI Press 2010.
    (Abstract einblenden) (PDF) (BIB)

  • Nick Hawes, Marc Hanheide, Kristoffer Sjöö, Alper Aydemir, Patric Jensfelt, Moritz Göbelbecker, Michael Brenner, Hendrik Zender, Pierre Lison, Ivana Kruijff-Korbayov, Geert-Jan M. Kruijff und Michael Zillich.
    Dora The Explorer: A Motivated Robot.
    In Proc. of 9th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2010). 2010.
    (Abstract einblenden) (PDF) (BIB)

  • Moritz Göbelbecker und Christian Dornhege.
    Realistic Cities in Simulated Environments - An Open Street Map to Robocup Rescue Converter.
    In Online-Proceedings of the Fourth International Workshop on Synthetic Simulation and Robotics to Mitigate Earthquake Disaster (SRMED 2009). 2009.
    (Abstract einblenden) (PDF)

  • Alexander Kleiner, Michael Brenner, Tobias Braeuer, Christian Dornhege, Moritz Göbelbecker, Matthias Luber, Johann Prediger, Joerg Stueckler und Bernhard Nebel.
    Successful Search and Rescue in Simulated Disaster Areas.
    In Proceedings of the International RoboCup Symposium '05. Osaka, Japan 2005.
    (Abstract einblenden) (PDF)

  • Alexander Kleiner, Michael Brenner, Tobias Braeuer, Christian Dornhege, Moritz Göbelbecker, Matthias Luber, Johann Prediger und Joerg Stueckler.
    ResQ Freiburg: Team Description and Evaluation, Team Description Paper, Rescue Simulation League.
    In CDROM Proceedings of the International RoboCup Symposium '04. Lisbon, Portugal 2004.
    (PDF)

Wolfgang Hatzack

  • Wolfgang Hatzack und Bernhard Nebel.
    Solving the Operational Traffic Control Problem.
    In A. Cesta und D. Borrajo (Hrsg.), Proceedings of the 6th European Conference on Planning (ECP 2001). 2001.
    (Abstract einblenden) (PDF)

  • Jens-Steffen Gutmann, Wolfgang Hatzack, Immanuel Herrmann, Bernhard Nebel, Frank Rittinger, Augustinus Topor und Thilo Weigel.
    The CS Freiburg Team: Playing Robotic Soccer Based on an Explicit World Model.
    AI Magazine 21 (1), S. 37-46. 2000.
    (Abstract einblenden) (preliminary version; PDF)

  • Jens-Steffen Gutmann, Wolfgang Hatzack, Immanuel Herrmann, Bernhard Nebel, Frank Rittinger, Augustinus Topor, Thilo Weigel und Bruno Welsch.
    The CS Freiburg Robotic Soccer Team: Reliable Self-Localization, Multirobot Sensor Integration, and Basic Soccer Skills.
    In M. Asada (Hrsg.), RoboCup-98: Robot Soccer World Cup II, S. 93-108. Springer-Verlag, Berlin, Heidelberg, New York 1999.
    (Abstract einblenden) (PDF)

  • Jens-Steffen Gutmann, Wolfgang Hatzack, Immanuel Herrmann, Bernhard Nebel, Frank Rittinger, Augustinus Topor und Thilo Weigel.
    Reliable Self-Localization, Multirobot Sensor Integration, Accurate Path-Planning and Basic Soccer Skills: Playing an Effective Game of Robotic Soccer.
    In Nineth International Conference on Advanced Robotics (ICAR 1999). 1999.
    (Abstract einblenden) (PDF)

  • Bernhard Nebel, Jens-Steffen Gutmann und Wolfgang Hatzack.
    The CS Freiburg '99 Team.
    In Third International Workshop on RoboCup. 1999.
    (Abstract einblenden) (PDF)

  • Bernhard Nebel, Wolfgang Hatzack, Thilo Weigel, Jens-Steffen Gutmann, Immanuel Herrmann, Frank Rittinger und Augustinus Topor.
    CS Freiburg's Participation at RoboCup'98: The World Champions in Robotic Soccer.
    AI Communications 11, S. 243-248. 1998.
    (Abstract einblenden) (PDF)

Malte Helmert

  • Thomas Keller und Malte Helmert.
    Trial-based Heuristic Tree Search for Finite Horizon MDPs.
    In Proceedings of the 1st Multidisciplinary Conference on Reinforcement Learning and Decision Making (RLDM 2013), S. 101-105. 2013.
    Extended abstract of the ICAPS 2013 paper by the same name.
    (Abstract einblenden) (PDF) (BIB)

  • Martin Wehrle, Malte Helmert, Dr. Yusra Alkhazraji und Robert Mattmüller.
    The Relative Pruning Power of Strong Stubborn Sets and Expansion Core.
    In Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS13). 2013.
    (Abstract einblenden) (PDF)

  • Patrick Eyerich und Malte Helmert.
    Stronger Abstraction Heuristics Through Perimeter Search.
    In Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS13). 2013.
    (Abstract einblenden) (PDF) (BIB)

  • Thomas Keller und Malte Helmert.
    Trial-based Heuristic Tree Search for Finite Horizon MDPs.
    In Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013), S. 135-143. 2013.
    (Abstract einblenden) (PDF) (BIB)

  • Dr. Yusra Alkhazraji, Martin Wehrle, Robert Mattmüller und Malte Helmert.
    A Stubborn Set Algorithm for Optimal Planning.
    In Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012). 2012.
    (Abstract einblenden) (PDF)

  • Silvan Sievers, Manuela Ortlieb und Malte Helmert.
    Efficient Implementation of Pattern Database Heuristics for Classical Planning.
    In Proceedings of the Fifth Annual Symposium on Combinatorial Search (SoCS 2012), S. 105-111. AAAI Press 2012.
    (Abstract einblenden) (PDF)

  • Raz Nissim, Jörg Hoffmann und Malte Helmert.
    Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstractions in Optimal Planning.
    In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI 2011), S. 1983-1990. 2011.
    Erratum: In Section 7, we introduce greedy bisimulation as only respecting the bisimulation property for transitions (s, l, s') where sd(s) <= sd(s'). The implementation we evaluate in Section 8 is actually even more greedy than that, only respecting transitions where sd(s) < sd(s'). Using the definition from Section 7 leads to a strategy that behaves very similarly to the strategies using regular (non-greedy) bisimulation on these benchmarks..
    (Abstract einblenden) (PDF)

  • Carmel Domshlak, Malte Helmert, Erez Karpas, Emil Keyder, Silvia Richter, Gabriele Röger, Jendrik Seipp und Matthias Westphal.
    BJOLP: The Big Joint Optimal Landmarks Planner (planner abstract).
    In Seventh International Planning Competition (IPC 2011), Deterministic Part, S. 91-95. 2011.
    (Abstract einblenden) (PDF)

  • Silvia Richter, Matthias Westphal und Malte Helmert.
    LAMA 2008 and 2011 (planner abstract).
    In Seventh International Planning Competition (IPC 2011), Deterministic Part, S. 50-54. 2011.
    (Abstract einblenden) (PDF)

  • Malte Helmert und Carmel Domshlak.
    LM-Cut: Optimal Planning with the Landmark-Cut Heuristic (planner abstract).
    In Seventh International Planning Competition (IPC 2011), Deterministic Part, S. 103-105. 2011.
    (Abstract einblenden) (PDF)

  • Raz Nissim, Jörg Hoffmann und Malte Helmert.
    The Merge-and-Shrink Planner: Bisimulation-based Abstraction for Optimal Planning (planner abstract).
    In Seventh International Planning Competition (IPC 2011), Deterministic Part, S. 106-107. 2011.
    (Abstract einblenden) (PDF)

  • Carmel Domshlak, Malte Helmert, Erez Karpas und Shaul Markovitch.
    The SelMax Planner: Online Learning for Speeding up Optimal Planning (planner abstract).
    In Seventh International Planning Competition (IPC 2011), Deterministic Part, S. 108-112. 2011.
    (Abstract einblenden) (PDF)

  • Malte Helmert, Gabriele Röger, Jendrik Seipp, Erez Karpas, Jörg Hoffmann, Emil Keyder, Raz Nissim, Silvia Richter und Matthias Westphal.
    Fast Downward Stone Soup (planner abstract).
    In Seventh International Planning Competition (IPC 2011), Deterministic Part, S. 38-45. 2011.
    (Abstract einblenden) (PDF)

  • Chris Fawcett, Malte Helmert, Holger Hoos, Erez Karpas, Gabriele Röger und Jendrik Seipp.
    FD-Autotune: Automated Configuration of Fast Downward (planner abstract).
    In Seventh International Planning Competition (IPC 2011), Deterministic Part, S. 31-37. 2011.
    (Abstract einblenden) (PDF)

  • Chris Fawcett, Malte Helmert, Holger Hoos, Erez Karpas, Gabriele Röger und Jendrik Seipp.
    FD-Autotune: Domain-Specific Configuration using Fast Downward (planner abstract).
    In Seventh International Planning Competition (IPC 2011), Planning and Learning Part. 2011.
    (Abstract einblenden) (PDF)

  • Malte Helmert, Gabriele Röger und Erez Karpas.
    Fast Downward Stone Soup: A Baseline for Building Planner Portfolios.
    In Proceedings of the ICAPS-2011 Workshop on Planning and Learning (PAL), S. 28-35. 2011.
    (Abstract einblenden) (PDF)

  • Chris Fawcett, Malte Helmert, Holger Hoos, Erez Karpas, Gabriele Röger und Jendrik Seipp.
    FD-Autotune: Domain-Specific Configuration using Fast Downward.
    In Proceedings of the ICAPS-2011 Workshop on Planning and Learning (PAL), S. 13-20. 2011.
    (Abstract einblenden) (PDF)

  • Raz Nissim, Jörg Hoffmann und Malte Helmert.
    Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstractions in Optimal Planning.
    In Proceedings of the ICAPS-2011 Workshop on Heuristics for Domain-independent Planning (HDIP), S. 5-13. 2011.
    Superseded by the IJCAI 2011 paper by the same name.
    (Abstract einblenden) (PDF)

  • Jendrik Seipp und Malte Helmert.
    Fluent Merging for Classical Planning Problems.
    In Proceedings of the ICAPS-2011 Workshop on Knowledge Engineering for Planning and Scheduling (KEPS), S. 47-53. 2011.
    Note: This version of the paper fixes two mistakes (in Def. 2 and in the text after Def. 3) that are present in the version of the paper that is linked from the workshop webpage..
    (Abstract einblenden) (PDF)

  • Fahiem Bacchus, Carmel Domshlak, Stefan Edelkamp und Malte Helmert (Hrsg.).
    Proceedings of the 21st International Conference on Automated Planning and Scheduling (ICAPS 2011).
    AAAI Press, Menlo Park, California, USA 2011.

  • Malte Helmert und Gabriele Röger.
    Relative-Order Abstractions for the Pancake Problem.
    In Helder Coelho, Rudi Studer und Michael Wooldridge (Hrsg.), Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), S. 745-750. IOS Press 2010.
    (Abstract einblenden) (PDF)

  • Blai Bonet und Malte Helmert.
    Strengthening Landmark Heuristics via Hitting Sets.
    In Helder Coelho, Rudi Studer und Michael Wooldridge (Hrsg.), Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), S. 329-334. IOS Press 2010.
    (Abstract einblenden) (PDF) (technical report with proofs; PDF) (slides of Blai's ECAI 2010 presentation; PDF) (slides of Malte's SS 2010 group seminar presentation; PDF)

  • Emil Keyder, Silvia Richter und Malte Helmert.
    Sound and Complete Landmarks for And/Or Graphs.
    In Helder Coelho, Rudi Studer und Michael Wooldridge (Hrsg.), Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), S. 335-340. IOS Press 2010.
    (Abstract einblenden) (PDF)

  • Malte Helmert.
    Lessons Learned from Benchmarking in the Automated Planning Community.
    In Proceedings of the ECAI 2010 Workshop on Benchmarking Intelligent (Multi-) Robot Systems. 2010.
    (PDF)

  • Patrick Eyerich, Thomas Keller und Malte Helmert.
    High-Quality Policies for the Canadian Traveler's Problem.
    In Maria Fox und David Poole (Hrsg.), Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2010), S. 51-58. AAAI Press 2010.
    (Abstract einblenden) (PDF) (BIB)

  • Patrick Eyerich, Thomas Keller und Malte Helmert.
    High-Quality Policies for the Canadian Traveler's Problem (Extended Abstract).
    In Ariel Felner und Nathan Sturtevant (Hrsg.), Proceedings of the Third Annual Symposium on Combinatorial Search (SoCS 2010), S. 147-148. AAAI Press 2010.
    Extended abstract of the AAAI paper by the same name.
    (PDF)

  • Malte Helmert.
    Landmark Heuristics for the Pancake Problem.
    In Ariel Felner und Nathan Sturtevant (Hrsg.), Proceedings of the Third Annual Symposium on Combinatorial Search (SoCS 2010), S. 109-110. AAAI Press 2010.
    (Abstract einblenden) (PDF)

  • Malte Helmert und Hauke Lasinger.
    The Scanalyzer Domain: Greenhouse Logistics as a Planning Problem.
    In Ronen Brafman, Héctor Geffner, Jörg Hoffmann und Henry Kautz (Hrsg.), Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS 2010), S. 234-237. AAAI Press 2010.
    (Abstract einblenden) (PDF)

  • Robert Mattmüller, Manuela Ortlieb, Malte Helmert und Pascal Bercher.
    Pattern Database Heuristics for Fully Observable Nondeterministic Planning.
    In Ronen Brafman, Héctor Geffner, Jörg Hoffmann und Henry Kautz (Hrsg.), Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS 2010), S. 105-112. AAAI Press 2010.
    (Abstract einblenden) (PDF) (slides; PDF) (BIB)

  • Gabriele Röger und Malte Helmert.
    The More, the Merrier: Combining Heuristic Estimators for Satisficing Planning.
    In Ronen Brafman, Héctor Geffner, Jörg Hoffmann und Henry Kautz (Hrsg.), Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS 2010), S. 246-249. AAAI Press 2010.
    (Abstract einblenden) (PDF) (technical report; PDF)

  • Patrick Eyerich, Thomas Keller und Malte Helmert.
    High-Quality Policies for the Canadian Traveler's Problem.
    In Proceedings of the ICAPS-2010 Workshop on Planning and Scheduling Under Uncertainty. 2010.
    Superseded by the AAAI 2010 paper by the same name.
    (Abstract einblenden) (PDF) (BIB)

  • Dunbo Cai, Jörg Hoffmann und Malte Helmert.
    Enhancing the Context-Enhanced Additive Heuristic with Precedence Constraints.
    In Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS 2009), S. 50-57. AAAI Press 2009.
    (Abstract einblenden) (PDF)

  • Malte Helmert und Carmel Domshlak.
    Landmarks, Critical Paths and Abstractions: What's the Difference Anyway?
    In Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS 2009), S. 162-169. AAAI Press 2009.
    (Abstract einblenden) (PDF) (Dagstuhl abstract; PDF)

  • Silvia Richter und Malte Helmert.
    Preferred Operators and Deferred Evaluation in Satisficing Planning.
    In Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS 2009), S. 273-280. AAAI Press 2009.
    (Abstract einblenden) (PDF)

  • Christoph Betz und Malte Helmert.
    Planning with h+ in Theory and Practice.
    In Proceedings of the 2nd Workshop on Heuristics for Domain-independent Planning at ICAPS 2009. 2009.
    (Abstract einblenden) (PDF)

  • Gabriele Röger und Malte Helmert.
    Combining Heuristic Estimators for Satisficing Planning.
    In Proceedings of the 2nd Workshop on Heuristics for Domain-independent Planning at ICAPS 2009. 2009.
    (Abstract einblenden) (PDF)

  • Christoph Betz und Malte Helmert.
    Planning with h+ in Theory and Practice.
    In Bärbel Mertsching, Marcus Hund und Zaheer Aziz (Hrsg.), Proceedings of the 32nd Annual German Conference on Artificial Intelligence (KI 2009), S. 9-16. Springer-Verlag 2009.
    (Abstract einblenden) (PDF)

  • Martin Wehrle und Malte Helmert.
    The Causal Graph Revisited for Directed Model Checking.
    In Jens Palsberg und Zhendong Su (Hrsg.), Proceedings of the 16th International Static Analysis Symposium (SAS 2009), S. 86-101. Springer-Verlag 2009.
    (Abstract einblenden) (PDF) (Dagstuhl abstract; PDF)

  • Malte Helmert.
    Research Statement: Heuristic Search for Domain-Independent Planning.
    In 2nd International Symposium on Combinatorial Search (SoCS 2009). 2009.
    (PDF)

  • Jörg Hoffmann, Piergiorgio Bertoli, Malte Helmert und Marco Pistore.
    Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection.
    Journal of Artificial Intelligence Research 35, S. 49-117. 2009.
    (Abstract einblenden) (PDF)

  • Malte Helmert.
    Concise finite-domain representations for PDDL planning tasks.
    Artificial Intelligence 173, S. 503-535. 2009.
    (Abstract einblenden) (PDF)

  • Gabriele Röger, Malte Helmert und Bernhard Nebel.
    On the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle.
    In Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), S. 544-550. AAAI Press 2008.
    (Abstract einblenden) (PDF)

  • Malte Helmert und Héctor Geffner.
    Unifying the Causal Graph and Additive Heuristics.
    In Proceedings of the 18th International Conference on Automated Planning and Scheduling (ICAPS 2008), S. 140-147. AAAI Press 2008.
    (Abstract einblenden) (PDF)

  • Malte Helmert, Patrik Haslum und Jörg Hoffmann.
    Explicit-State Abstraction: A New Method for Generating Heuristic Functions.
    In Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI 2008), S. 1547-1550. AAAI Press 2008.
    (Abstract einblenden) (PDF) (slides; PDF)

  • Malte Helmert und Gabriele Röger.
    How Good is Almost Perfect?
    In Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI 2008), S. 944-949. AAAI Press 2008.
    (Abstract einblenden) (PDF) (slides; PDF)

  • Malte Helmert und Robert Mattmüller.
    Accuracy of Admissible Heuristic Functions in Selected Planning Domains.
    In Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI 2008), S. 938-943. AAAI Press 2008.
    (Abstract einblenden) (PDF) (slides; PDF) (BIB)

  • Silvia Richter, Malte Helmert und Matthias Westphal.
    Landmarks Revisited.
    In Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI 2008), S. 975-982. AAAI Press 2008.
    Note: After publication, we found a bug in our implementation that affects the results in the columns "CG heuristic/local" and "blind heuristic/local" of Table 1. The version of the paper available for download here corrects these errors.
    (Abstract einblenden) (PDF) (slides; PDF)

  • Malte Helmert.
    Understanding Planning Tasks: Domain Complexity and Heuristic Decomposition.
    Band 4929 von Lecture Notes in Artificial Intelligence.
    Springer-Verlag, Heidelberg 2008.
    (Springer Online)

  • Malte Helmert, Patrik Haslum und Jörg Hoffmann.
    Flexible Abstraction Heuristics for Optimal Sequential Planning.
    In Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS 2007), S. 176-183. AAAI Press 2007.
    (Abstract einblenden) (PDF)

  • Malte Helmert und Gabriele Röger.
    How Good is Almost Perfect?
    In Proceedings of the ICAPS-2007 Workshop on Heuristics for Domain-independent Planning: Progress, Ideas, Limitations, Challenges. 2007.
    Superseded by the AAAI 2008 paper by the same name.
    (Abstract einblenden) (PDF)

  • Malte Helmert und Robert Mattmüller.
    On the Accuracy of Admissible Heuristic Functions in Selected Planning Domains.
    In Proceedings of the ICAPS-2007 Workshop on Heuristics for Domain-independent Planning: Progress, Ideas, Limitations, Challenges. 2007.
    Superseded by the AAAI 2008 paper by the same name.
    (Abstract einblenden) (PDF)

  • Silvia Richter, Malte Helmert und Charles Gretton.
    A Stochastic Local Search Approach to Vertex Cover.
    In Proceedings of the 30th Annual German Conference on Artificial Intelligence (KI 2007), S. 412-426. 2007.
    (Abstract einblenden) (PDF)

  • Patrik Haslum, Adi Botea, Malte Helmert, Blai Bonet und Sven Koenig.
    Domain-Independent Construction of Pattern Database Heuristics for Cost-Optimal Planning.
    In Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI 2007), S. 1007-1012. AAAI Press 2007.
    (Abstract einblenden) (PDF)

  • Malte Helmert, Robert Mattmüller und Sven Schewe.
    Selective Approaches for Solving Weak Games.
    In Proceedings of the Fourth International Symposium on Automated Technology for Verification and Analysis (ATVA 2006), S. 200-214. Springer-Verlag 2006.
    (Abstract einblenden) (PDF)

  • Malte Helmert, Robert Mattmüller und Gabriele Röger.
    Approximation Properties of Planning Benchmarks.
    In Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006), S. 585-589. 2006.
    (Abstract einblenden) (PDF)

  • Malte Helmert.
    New Complexity Results for Classical Planning Benchmarks.
    In Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), S. 52-61. AAAI Press 2006.
    (Abstract einblenden) (PDF)

  • Sebastian Kupferschmid und Malte Helmert.
    A Skat Player Based on Monte Carlo Simulation.
    In H. Jaap van den Herik, Paolo Ciancarini und H. H. L. M. Donkers (Hrsg.), Proceedings of the Fifth International Conference on Computer and Games (CG 2006), S. 135-147. Springer-Verlag 2006.
    (Abstract einblenden) (PDF) (BIB)

  • Malte Helmert.
    The Fast Downward Planning System.
    Journal of Artificial Intelligence Research 26, S. 191-246. 2006.
    (Abstract einblenden) (PDF)

  • Malte Helmert.
    A Planning Heuristic Based on Causal Graph Analysis.
    In Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), S. 161-170. AAAI Press 2004.
    (Abstract einblenden) (PDF)

  • Malte Helmert.
    Complexity results for standard benchmark domains in planning.
    Artificial Intelligence 143 (2), S. 219-262. 2003.
    (Abstract einblenden) (PDF)

  • Malte Helmert.
    Decidability and Undecidability Results for Planning with Numerical State Variables.
    In M. Ghallab, J. Hertzberg und P. Traverso (Hrsg.), Proceedings of the Sixth International Conference on Artificial Intelligence Planning and Scheduling (AIPS 2002), S. 303-312. AAAI Press 2002.
    (Abstract einblenden) (PDF)

  • Stefan Edelkamp und Malte Helmert.
    The Model Checking Integrated Planning System (MIPS).
    AI Magazine 22 (3), S. 67-71. 2001.
    (Abstract einblenden) (PDF)

  • Malte Helmert.
    On the Complexity of Planning in Transportation Domains.
    In A. Cesta und D. Borrajo (Hrsg.), Proceedings of the 6th European Conference on Planning (ECP 2001), S. 349-360. 2001.
    (Abstract einblenden) (PDF)

Andreas Hertle

  • Andreas Hertle und Bernhard Nebel.
    Efficient Auction Based Coordination for Distributed Multi-Agent Planning in Temporal Domains Using Resource Abstraction.
    In Proceedings of the 41st German Conference on Artificial Intelligence (KI 2018). 2018.
    (Abstract einblenden) (PDF) (BIB)

  • Andreas Hertle und Bernhard Nebel.
    Identifying Good Poses When Doing Your Household Chores: Creation and Exploitation of Inverse Surface Reachability Maps.
    In Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2017). 2017.
    (Abstract einblenden) (PDF)

  • Christian Dornhege, Alexander Kleiner, Andreas Hertle und Andreas Kolling.
    Multirobot Coverage Search in Three Dimensions.
    Journal of Field Robotics 33 (4), S. 537-558. 2016.
    (Abstract einblenden) (PDF)

  • Armin Hornung, Sebastian Boettcher, Christian Dornhege, Andreas Hertle, Jonas Schlagenhauf und Maren Bennewitz.
    Mobile Manipulation in Cluttered Environments with Humanoids: Itegrated Perception, Task Planning, and Action Execution.
    In Proceedings of the IEEE-RAS International Conference on Humanoid Robots (HUMANOIDS). 2014.
    (Abstract einblenden) (PDF)

  • Andreas Hertle, Christian Dornhege, Thomas Keller, Robert Mattmüller, Manuela Ortlieb und Bernhard Nebel.
    An Experimental Comparison of Classical, FOND and Probabilistic Planning.
    In Proceedings of the 37th German Conference on Artificial Intelligence (KI 2014), S. 297-308. Springer 2014.
    (Abstract einblenden) (PDF) (BIB)

  • Christian Dornhege, Andreas Hertle und Bernhard Nebel.
    Lazy Evaluation and Subsumption Caching for Search-Based Integrated Task and Motion Planning.
    In Proceedings of the IROS workshop on AI-based robotics. 2013.
    (Abstract einblenden) (PDF)

  • Tim Niemueller, Nichola Abdo, Andreas Hertle, Gerhard Lakemeyer, Wolfram Burgard und Bernhard Nebel.
    Towards Deliberative Active Perception using Persistent Memory.
    In Proceedings of the IROS workshop on AI-based robotics. 2013.
    (Abstract einblenden) (PDF)

  • Andreas Hertle und Christian Dornhege.
    Efficient Extensible Path Planning on 3D Terrain Using Behavior Modules.
    In Proceedings of the European Conference on Mobile Robotics (ECMR). 2013.
    (PDF) (BIB)

  • Bernhard Nebel, Christian Dornhege und Andreas Hertle.
    How Much Does a Household Robot Need To Know In Order To Tidy Up Your Home?
    In AAAI Workshop on Intelligent Robotic Systems. AAAI Press 2013.
    (Abstract einblenden) (PDF) (BIB)

  • Christian Dornhege und Andreas Hertle.
    Integrated Symbolic Planning in the Tidyup-Robot Project.
    In AAAI Spring Symposium - Designing Intelligent Robots: Reintegrating AI II. AAAI Press 2013.
    (PDF) (BIB)

  • Stefan Kohlbrecher, Karen Petersen, Gerald Steinbauer, Johannes Maurer, Peter Lepej, Suzana Uran, Rodrigo Ventura, Christian Dornhege, Andreas Hertle, Raymond Sheh und Johannes Pellenz.
    Community-Driven Development of Standard Software Modules for Search and Rescue Robots.
    In Safety, Security and Rescue Robotics (SSRR). 2012.

  • Andreas Hertle, Christian Dornhege, Thomas Keller und Bernhard Nebel.
    Planning with Semantic Attachments: An Object-Oriented View.
    In Proceedings of the European Conference on Artificial Intelligence (ECAI). 2012.
    (Abstract einblenden) (PDF) (BIB)

Jörg Hoffmann

  • Sylvie Thiebaux, Jörg Hoffmann und Bernhard Nebel.
    In Defense of PDDL Axioms.
    Artificial Intelligence 168 (1-2), S. 38-69. 2005.
    (Abstract einblenden) (PDF)

  • Jörg Hoffmann und Sebastian Kupferschmid.
    A Covering Problem for Hypercubes.
    In Leslie Pack Kaelbling und Alessandro Saffiotti (Hrsg.), Poster Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), S. 1523-1524. 2005.
    (Abstract einblenden) (PDF) (PS.GZ) (BIB)

  • Sebastian Trüg, Jörg Hoffmann und Bernhard Nebel.
    Applying Automatic Planning Techniques to Airport Ground-Traffic Control: A Feasibility Study.
    In S. Biundo, T. Frühwirth und G. Palm (Hrsg.), KI 2004: Advances in Artificial Intelligence. Proceedings of the 27th Annual German Conference on Artificial Intelligence, S. 183-197. Springer-Verlag 2004.
    (Abstract einblenden) (PDF)

  • Jörg Hoffmann, Julie Porteous und Laura Sebastia.
    Ordered Landmarks in Planning.
    Journal of Artificial Intelligence Research 22, S. 215-278. 2004.
    (PS.GZ)

  • Ronen Brafman und Jörg Hoffmann.
    Conformant Planning via Heuristic Forward Search: A New Approach.
    In Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), S. 355-364. AAAI Press 2004.
    (PS.GZ)

  • Bernd Becker, Markus Behle, Fritz Eisenbrand, Martin Fränzle, Marc Herbstritt, Christian Herde, Jörg Hoffmann, Daniel Kröning, Bernhard Nebel, Ilia Polian und Ralf Wimmer.
    Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems.
    In Proceedings GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, S. 65-75. Kaiserslautern 2004.
    (Abstract einblenden) (PDF)

  • Jörg Hoffmann.
    Utilizing Problem Structure in Planning: A Local Search Approach.
    Band 2854 von Lecture Notes in Artificial Intelligence.
    Springer-Verlag, Berlin, Heidelberg, New York 2003.
    (Springer Online) (extended abstract; PS.GZ)

  • Ronen Brafman und Jörg Hoffmann.
    Conformant Planning via Heuristic Forward Search.
    In Proceedings of the Workshop on Planning under Uncertainty and Incomplete Information at ICAPS'03. Trento, Italy 2003.
    (PS.GZ)

  • Stefan Edelkamp und Jörg Hoffmann.
    Quo Vadis, IPC-4? - Proposals for the Classical Part of the 4th International Planning Competition.
    In Proceedings of the Workshop on the Competition at ICAPS'03. Trento, Italy 2003.
    (PS.GZ)

  • Jörg Hoffmann.
    The Metric-FF Planning System: Translating "Ignoring Delete Lists" to Numeric State Variables.
    Journal of Artificial Intelligence Research Special issue on the 3rd International Planning Competition. 2003.
    (PS.GZ)

  • Jörg Hoffmann und Hector Geffner.
    Branching Matters: Alternative Branching in Graphplan.
    In Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling. Trento, Italy 2003.
    (PS.GZ)

  • Sylvie Thiebaux, Jörg Hoffmann und Bernhard Nebel.
    In Defense of PDDL Axioms.
    In Proceedings of the 18th International Joint Conference on Artificial Intelligence. Acapulco, Mexico 2003.
    (Abstract einblenden) (PDF)

  • Jörg Hoffmann.
    Local Search Topology in Planning Benchmarks: A Theoretical Analysis.
    In M. Ghallab, J. Hertzberg und P. Traverso (Hrsg.), Proceedings of the Sixth International Conference on Artificial Intelligence Planning and Scheduling (AIPS 2002). AAAI Press 2002.
    (PS.GZ) (PDF)

  • Jörg Hoffmann.
    Extending FF to Numerical State Variables.
    In Proceedings of the 15th European Conference on Artificial Intelligence. Lyon, France 2002.
    (PS.GZ)

  • Jörg Hoffmann und Bernhard Nebel.
    RIFO revisited: Detecting Relaxed Irrelevance.
    In A. Cesta und D. Borrajo (Hrsg.), Proceedings of the 6th European Conference on Planning (ECP 2001). 2001.
    (Abstract einblenden) (PDF)

  • Julie Porteous, Laura Sebastia und Jörg Hoffmann.
    On the Extraction, Ordering, and Usage of Landmarks in Planning.
    In A. Cesta und D. Borrajo (Hrsg.), Proceedings of the 6th European Conference on Planning (ECP 2001). 2001.
    (PS.GZ) (PDF)

  • Jörg Hoffmann.
    FF: The Fast-Forward Planning System.
    AI Magazine 22 (3), S. 57-62. 2001.
    (PS.GZ) (PDF)

  • Jörg Hoffmann und Bernhard Nebel.
    The FF Planning System: Fast Plan Generation Through Heuristic Search.
    Journal of Artificial Intelligence Research 14, S. 253-302. 2001.
    (Abstract einblenden) (PDF)

  • Jörg Hoffmann.
    Local Search Topology in Planning Benchmarks: An Empirical Analysis.
    In Proceedings of the 17th International Joint Conference on Artificial Intelligence. Seattle, Washington, USA 2001.
    (PS.GZ) (PDF)

  • Jörg Hoffmann und Bernhard Nebel.
    What makes the difference between HSP and FF?
    In IJCAI Workshop on Empirical AI. Seattle 2001.
    (Abstract einblenden) (PDF)

  • Jörg Hoffmann und Bernhard Nebel.
    Towards Thorough Empirical Methods for AI Planning.
    In IJCAI Workshop on Empirical AI. Seattle 2001.
    (Abstract einblenden) (PDF)

  • Jussi Rintanen und Jörg Hoffmann.
    An overview of recent algorithms for AI planning.
    Künstliche Intelligenz Heft 2/01, S. 5-11. 2001.
    (PS.GZ) (PDF)

  • Jörg Hoffmann.
    A Heuristic for Domain Independent Planning and its Use in an Enforced Hill-climbing Algorithm.
    In Proceedings of the 14th Workshop on New Results in Planning, Scheduling and Design (PuK 2000) at ECAI 2000, S. 62-67. Berlin, Germany 2000.
    (PS.GZ)

  • Jana Koehler und Jörg Hoffmann.
    On the Instantation of ADL Operators Involving Arbitrary First-Order Formulas.
    In Proceedings of the 14th Workshop on New Results in Planning, Scheduling and Design (PuK 2000) at ECAI 2000, S. 74-82. Berlin, Germany 2000.
    (PS.GZ)

  • Jörg Hoffmann.
    A Heuristic for Domain Independent Planning and its Use in an Enforced Hill-climbing Algorithm.
    In Proceedings of the 12th International Symposium on Methodologies for Intelligent Systems. Charlotte, North Carolina, USA 2000.
    (PS.GZ)

  • Jana Koehler und Jörg Hoffmann.
    On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm.
    Journal of Artificial Intelligence Research 12, S. 338-386. 2000.
    (PS.GZ)

  • Jana Koehler und Jörg Hoffmann.
    Planning with Goal Agendas.
    In Proceedings des 13. Workshops Planen und Konfigurieren (PuK 1999) auf der 10. Tagung Expertensysteme (XPS-99). Würzburg, Germany 1999.
    (PS.GZ)

  • Jörg Hoffmann und Jana Koehler.
    A new Method to Query and Index Sets.
    In Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI 1999). Stockholm, Sweden 1999.
    (PS.GZ) (extended technical report; PS.GZ)

  • Jana Koehler, Bernhard Nebel, Jörg Hoffmann und Yannis Dimopoulos.
    Extending Planning Graphs to an ADL Subset.
    In Proc. European Conference on Planning 1997 (ECP-97), S. 273-285. Springer-Verlag 1997.
    (Abstract einblenden) (PDF)

Julien Hué

  • Nicolas Riesterer, Christian Becker-Asano, Julien Hué, Christian Dornhege und Bernhard Nebel.
    The Hybrid Agent MARCO.
    In Proceedings of the 16th International Conference on Multimodal Interaction, S. 80-81. 2014.
    (Abstract einblenden) (PDF)

  • Christian Becker-Asano, Eduardo Meneses, Nicolas Riesterer, Julien Hué, Christian Dornhege und Bernhard Nebel.
    The Hybrid Agent MARCO: A Multimodal Autonomous Robotic Chess Opponent.
    In Proceedings of the 2nd International Confernce on Human-Agent Interaction, S. 173-176. 2014.
    (Abstract einblenden) (PDF)

  • Matthias Westphal und Julien Hué.
    A Concise Horn Theory for RCC8.
    In Proceedings of European Conference on Artificial Intelligence (ECAI'14). 2014.
    (Abstract einblenden) (Translation Script; TAR.GZ)

  • Julien Hué, Matthias Westphal und Stefan Wölfl.
    Towards a new semantic for Possibilistic Answer Sets.
    In Proceedings of Advances in Artificial Intelligence (KI'14). 2014.
    (Abstract einblenden) (Springer Online; DOI) (DBLP)

  • Matthias Westphal, Julien Hué und Stefan Wölfl.
    On the scope of Qualitative Constraint Calculi.
    In Proceedings of Advances in Artificial Intelligence (KI'14). 2014.
    (Abstract einblenden) (Springer Online; DOI) (DBLP)

  • Matthias Westphal, Julien Hué, Stefan Wölfl und Bernhard Nebel.
    Transition Constraints: A Study on the Computational Complexity of Qualitative Change.
    In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI'13), S. 1169-1175. 2013.
    (Abstract einblenden) (Online; PDF) (DBLP)

  • Matthias Westphal, Julien Hué und Stefan Wölfl.
    On the Propagation Strength of SAT Encodings for Qualitative Temporal Reasoning.
    In Proceedings of International Conference on Tools for Artificial Intelligence (ICTAI'13). 2013.
    (Abstract einblenden) (PDF) (DOI) (DBLP) (Translation Script; TAR.GZ)

  • Julien Hué und Matthias Westphal.
    Revising Qualitative Constraint Network: Definition and Implementation.
    In Internationial Conference on Tools for Artificial Intelligence (ICTAI), S. 548-555. 2012.
    (Abstract einblenden) (PDF)

  • Julien Hué, Matthias Westphal und Stefan Wölfl.
    An automatic decomposition method for qualitative spatial and temporal reasoning.
    In International Conference on Tools for Artificial Intelligence (ICTAI), S. 588-595. 2012.
    (Abstract einblenden) (PDF) (DBLP)

  • Matthias Westphal und Julien Hué.
    Nogoods in Qualitative Constraint-based Reasoning.
    In KI 2012: Advances in Artificial Intelligence (KI 2012), S. 180-192. Springer-Verlag 2012.
    (Authors' preprint. The final publication is available at www.springerlink.com.).
    (Abstract einblenden) (PDF)

  • Salem Benferhat, Julien Hué, Sylvain Lagrue und Julien Rossit.
    Merging Interval-Based Possibilistic Belief Bases.
    In International Conference on Scalable Uncertainty Management (SUM), S. 447-458. 2012.
    (Abstract einblenden) (PDF)

  • Julien Hué, Mariette Sérayet, Pierre Drap, Odile Papini und Eric Würbel.
    Underwater Archaeological 3D Surveys Validation within the Removed Sets Framework.
    In Benchmarks and Applications of Spatial Reasoning (BASR), S. 39-46. 2011.
    (Abstract einblenden) (PDF)

Thomas Keller

  • Florian Geißer, David Speck und Thomas Keller.
    Trial-based Heuristic Tree Search for MDPs with Factored Action Spaces.
    In Proceedings of the 13th Annual Symposium on Combinatorial Search (SoCS 2020), S. 38-47. 2020.
    (Abstract einblenden) (PDF)

  • Florian Geißer, David Speck und Thomas Keller.
    An Analysis of the Probabilistic Track of the IPC 2018.
    In Proceedings of the ICAPS-2019 Workshop on the International Planning Competition (WIPC 2019), S. 27-35. 2019.
    (Abstract einblenden) (PDF)

  • Thomas Keller, Florian Pommerening, Jendrik Seipp, Florian Geißer und Robert Mattmüller.
    State-dependent Cost Partitionings for Cartesian Abstractions in Classical Planning (Extended Abstract).
    In Proceedings of the 39th German Conference on Artificial Intelligence (KI 2016). 2016.
    (Abstract einblenden) (PDF)

  • Thomas Keller, Florian Pommerening, Jendrik Seipp, Florian Geißer und Robert Mattmüller.
    State-dependent Cost Partitionings for Cartesian Abstractions in Classical Planning.
    In Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016). 2016.
    (Abstract einblenden) (PDF)

  • Florian Geißer, Thomas Keller und Robert Mattmüller.
    Abstractions for Planning with State-Dependent Action Costs.
    In Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016). 2016.
    (Abstract einblenden) (PDF)

  • Florian Geißer, Thomas Keller und Robert Mattmüller.
    Delete Relaxations for Planning with State-Dependent Action Costs.
    In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). 2015.
    (Abstract einblenden) (PDF) (BIB)

  • Florian Geißer, Thomas Keller und Robert Mattmüller.
    Delete Relaxations for Planning with State-Dependent Action Costs.
    In Proceedings of the 8th Annual Symposium on Combinatorial Search (SoCS 2015). 2015.
    Extended abstract of the IJCAI 2015 paper by the same name.
    (Abstract einblenden) (PDF) (BIB)

  • Thomas Keller und Florian Geißer.
    Better Be Lucky Than Good: Exceeding Expectations in MDP Evaluation.
    In Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015). AAAI Press 2015.
    Erratum: On page 7, we mention that the results at IPPC would have differed by "-0.09", "+0.04" and "+0.05", which should read "-0.009", "+0.004" and "+0.005" instead.
    (Abstract einblenden) (PDF)

  • Tim Schulte und Thomas Keller.
    Balancing Exploration and Exploitation in Classical Planning.
    In Proceedings of the Seventh Annual Symposium on Combinatorial Search (SoCS 2014) (SoCS 2014). 2014.
    (Abstract einblenden) (PDF) (BIB)

  • Andreas Hertle, Christian Dornhege, Thomas Keller, Robert Mattmüller, Manuela Ortlieb und Bernhard Nebel.
    An Experimental Comparison of Classical, FOND and Probabilistic Planning.
    In Proceedings of the 37th German Conference on Artificial Intelligence (KI 2014), S. 297-308. Springer 2014.
    (Abstract einblenden) (PDF) (BIB)

  • Florian Geißer, Thomas Keller und Robert Mattmüller.
    Past, Present, and Future: An Optimal Online Algorithm for Single-Player GDL-II Games.
    In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), S. 357-362. 2014.
    (Abstract einblenden) (PDF) (BIB)

  • Thomas Keller und Malte Helmert.
    Trial-based Heuristic Tree Search for Finite Horizon MDPs.
    In Proceedings of the 1st Multidisciplinary Conference on Reinforcement Learning and Decision Making (RLDM 2013), S. 101-105. 2013.
    Extended abstract of the ICAPS 2013 paper by the same name.
    (Abstract einblenden) (PDF) (BIB)

  • Thomas Keller und Malte Helmert.
    Trial-based Heuristic Tree Search for Finite Horizon MDPs.
    In Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013), S. 135-143. 2013.
    (Abstract einblenden) (PDF) (BIB)

  • Thomas Keller und Patrick Eyerich.
    PROST: Probabilistic Planning Based on UCT.
    In Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012), S. 119-127. 2012.
    (Abstract einblenden) (PDF) (BIB)

  • Johannes Löhr, Patrick Eyerich, Thomas Keller und Bernhard Nebel.
    A Planning Based Framework for Controlling Hybrid Systems.
    In Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012). 2012.
    (Abstract einblenden) (PDF)

  • Andreas Hertle, Christian Dornhege, Thomas Keller und Bernhard Nebel.
    Planning with Semantic Attachments: An Object-Oriented View.
    In Proceedings of the European Conference on Artificial Intelligence (ECAI). 2012.
    (Abstract einblenden) (PDF) (BIB)

  • Danijel Skocaj, Matej Kristan, Alen Vrecko, Marko Mahnic, Miroslav Janicek, Geert-Jan M. Kruijff, Marc Hanheide, Nick Hawes, Thomas Keller, Michael Zillich und Kai Zhou.
    A system for interactive learning in dialogue with a tutor.
    In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2011). 2011.
    (Abstract einblenden) (PDF)

  • Thomas Keller und Patrick Eyerich.
    A Polynomial All Outcome Determinization for Probabilistic Planning.
    In Fahiem Bacchus, Carmel Domshlak, Stefan Edelkamp und Malte Helmert (Hrsg.), Proceedings of the 21th International Conference on Automated Planning and Scheduling (ICAPS 2011), S. 331-334. AAAI Press 2011.
    (Abstract einblenden) (PDF) (BIB)

  • Thomas Keller, Patrick Eyerich und Bernhard Nebel.
    Task Planning for an Autonomous Service Robot.
    In Rüdiger Dillmann, Jürgen Beyerer, Uwe Hanebeck und Tanja Schultz (Hrsg.), Proceedings on the 33rd Annual German Conference on Artificial Intelligence (KI 2010), S. 358-365. Springer-Verlag 2010.
    (Abstract einblenden) (PDF) (BIB)

  • Patrick Eyerich, Thomas Keller und Malte Helmert.
    High-Quality Policies for the Canadian Traveler's Problem.
    In Maria Fox und David Poole (Hrsg.), Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2010), S. 51-58. AAAI Press 2010.
    (Abstract einblenden) (PDF) (BIB)

  • Patrick Eyerich, Thomas Keller und Malte Helmert.
    High-Quality Policies for the Canadian Traveler's Problem (Extended Abstract).
    In Ariel Felner und Nathan Sturtevant (Hrsg.), Proceedings of the Third Annual Symposium on Combinatorial Search (SoCS 2010), S. 147-148. AAAI Press 2010.
    Extended abstract of the AAAI paper by the same name.
    (PDF)

  • Moritz Göbelbecker, Thomas Keller, Patrick Eyerich, Michael Brenner und Bernhard Nebel.
    Coming Up with Good Excuses: What To Do When No Plan Can be Found.
    In Ronen Brafman, Héctor Geffner, Jörg Hoffmann und Henry Kautz (Hrsg.), Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS 2010), S. 81-88. AAAI Press 2010.
    (Abstract einblenden) (PDF) (BIB)

  • Patrick Eyerich, Thomas Keller und Malte Helmert.
    High-Quality Policies for the Canadian Traveler's Problem.
    In Proceedings of the ICAPS-2010 Workshop on Planning and Scheduling Under Uncertainty. 2010.
    Superseded by the AAAI 2010 paper by the same name.
    (Abstract einblenden) (PDF) (BIB)

  • Patrick Eyerich, Thomas Keller und Bernhard Nebel.
    Combining Action and Motion Planning via Semantic Attachments.
    In Proceedings of the Workshop on Combining Action and Motion Planning at ICAPS 2010 (CAMP 2010), S. 19. 2010.
    Extended Abstract.
    (PDF) (BIB)

  • Christian Dornhege, Patrick Eyerich, Thomas Keller, Sebastian Trüg, Michael Brenner und Bernhard Nebel.
    Semantic Attachments for Domain-Independent Planning Systems.
    In Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS 2009), S. 114-121. AAAI Press 2009.
    (Abstract einblenden) (PDF) (BIB)

  • Thomas Keller und Sebastian Kupferschmid.
    Automatic Bidding for the Game of Skat.
    In Andreas R. Dengel, Karsten Berns, Thomas M. Breuel, Frank Bomarius und Thomas R. Roth-Berghofer (Hrsg.), Proceedings of the 31st Annual German Conference on Artificial Intelligence (KI 2008), S. 95-102. Springer-Verlag 2008.
    (Abstract einblenden) (BIB) (PDF)

Alexander Kleiner

  • Christian Dornhege, Alexander Kleiner, Andreas Hertle und Andreas Kolling.
    Multirobot Coverage Search in Three Dimensions.
    Journal of Field Robotics 33 (4), S. 537-558. 2016.
    (Abstract einblenden) (PDF)

  • Dali Sun, Alexander Kleiner und Bernhard Nebel.
    Behavior-based Multi-Robot Collision Avoidance.
    In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA-14), S. 1668-1673. 2014.
    (Abstract einblenden) (PDF) (BIB)

  • Christian Dornhege, Alexander Kleiner und Andreas Kolling.
    Coverage Search in 3D.
    In Proceedings of the Symposium on Safety Security and Rescue Robotics (SSRR). 2013.
    (PDF) (BIB)

  • Christian Dornhege und Alexander Kleiner.
    A Frontier-Void-Based Approach for Autonomous Exploration in 3D.
    Advanced Robotics 27 (6). 2013.
    (BIB)

  • Christian Dornhege und Alexander Kleiner.
    A Frontier-Void-Based Approach for Autonomous Exploration in 3D.
    In Proceedings of the IEEE International Symposium on Safety, Security and Rescue Robotics (SSRR). 2011.
    (Abstract einblenden) (PDF) (BIB)

  • Alexander Kleiner, Dali Sun und D. Meyer-Delius.
    ARMO: Adaptive Road Map Optimization for Large Robot Teams.
    In Proc. of the IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (IROS). 2011.
    (Abstract einblenden) (PDF) (BIB)

  • Alexander Kleiner, A. Kolling, K. Sycara und M. Lewis.
    Hierarchical Visibility for Guaranteed Search in Large-Scale Outdoor Terrain.
    Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS). 2011.
    (Abstract einblenden) (PDF) (BIB)

  • Q. Hamp, L. Reindl und Alexander Kleiner.
    Lessons Learned from German Research for USAR.
    In Proc. of the IEEE Int. Workshop on Safety, Security and Rescue Robotics (SSRR). 2011.
    (Abstract einblenden) (PDF) (BIB)

  • Alexander Kleiner, Bernhard Nebel und V.A. Ziparo.
    A Mechanism for Dynamic Ride Sharing based on Parallel Auctions.
    In Proc. of the 22th International Joint Conference on Artificial Intelligence (IJCAI). 2011.
    (Abstract einblenden) (PDF) (BIB)

  • D. Meyer-Delius, M. Beinhofer, Alexander Kleiner und W. Burgard.
    Reducing the Ambiguity in the Environment by Placing Artificial Landmarks to Improve Mobile Robot Localization.
    In Proc. of the IEEE Int. Conf. on Robotics and Automation (ICRA). 2011.
    (Abstract einblenden) (PDF) (BIB)

  • A. Kolling, Alexander Kleiner, M. Lewis und K. Sycara.
    Computing and Executing Strategies for Moving Target Search.
    In Proc. of the IEEE Int. Conf. on Robotics and Automation (ICRA). 2011.
    (Abstract einblenden) (PDF) (BIB)

  • R. Kümmerle, B. Steder, Christian Dornhege, Alexander Kleiner, G. Grisetti und W. Burgard.
    Large Scale Graph-based SLAM using Aerial Images as Prior Information.
    Autonomous Robots 30, S. 25-39. 2011.
    (Abstract einblenden) (PDF) (BIB)

  • Wei Mou und Alexander Kleiner.
    Online Learning Terrain Classification for Adaptive Velocity Control.
    In Proceedings of the IEEE Int. Workshop on Safety, Security and Rescue Robotics (SSRR 2010). 2010.
    (Abstract einblenden) (PDF) (BIB)

  • Andreas Kolling, Alexander Kleiner, Michael Lewis und Katia Sycara.
    Solving Pursuit-Evasion Problems on Height Maps.
    In IEEE International Conference on Robotics and Automation (ICRA 2010) Workshop: Search and Pursuit/Evasion in the Physical World: Efficiency, Scalability, and Guarantees (WSPE ICRA 2010). 2010.
    (Abstract einblenden) (PDF) (BIB)

  • Daniel Maier und Alexander Kleiner.
    Improved GPS Sensor Model for Mobile Robots in Urban Terrain.
    In IEEE International Conference on Robotics and Automation (ICRA 2010), S. 4385-4390. 2010.
    (Video).
    (Abstract einblenden) (PDF) (BIB)

  • Alexander Kleiner und Christian Dornhege.
    Mapping for the Support of First Responders in Critical Domains.
    Journal of Intelligent and Robotic Systems (JINT), S. 1-29. 2010.
    (Abstract einblenden) (PDF) (BIB)

  • Sören Schwertfeger, Adam Jacoff, Chris Scrapper, Johannes Pellenz und Alexander Kleiner.
    Evaluation of Maps using Fixed Shapes: The Fiducial Map Metric.
    In Proc. of the Int. Workshop on Performance Metrics for Intelligent Systems (PerMIS), S. 344-351. NIST 2010.
    (Abstract einblenden) (PDF) (BIB)

  • A. Kolling, Alexander Kleiner, M. Lewis und and K. Sycara.
    Pursuit-Evasion in 2.5d based on Team-Visibility.
    In Proceedings of the IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (IROS 2010), S. 4610-4616. 2010.
    (Abstract einblenden) (PDF) (BIB)

  • Dali Sun, Alexander Kleiner und and C. Schindelhauer.
    Decentralized Hash Tables For Mobile Robot Teams Solving Intra-Logistics Tasks.
    In Proceedings of the 9th Int. Joint Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2010), S. 923-930. 2010.
    (Abstract einblenden) (PDF) (BIB)

  • Alexander Kleiner, Chris Scrapper und Adam Jacoff.
    RoboCupRescue Interleague Challenge 2009: Bridging the gap between Simulation and Reality.
    In Proceedings of the Int. Workshop on Performance Metrics for Intelligent Systems (Permis 2009), S. 123-129. NIST 2009.
    (Abstract einblenden) (PDF) (BIB)

  • Alexander Kleiner und Christian Dornhege.
    Operator-Assistive Mapping in Harsh Environments.
    In IEEE International Workshop on Safety, Security and Rescue Robotics (SSRR 2009), S. 1-6. 2009.
    (Abstract einblenden) (PDF) (BIB)

  • Rainer Kümmerle, Bastian Steder, Christian Dornhege, Michael Ruhnke, Giorgio Grisetti, Cyrill Stachniss und Alexander Kleiner.
    On Measuring the Accuracy of SLAM Algorithms.
    Autonomous Robots 27 (4), S. 387-407. 2009.
    (Abstract einblenden) (PDF) (BIB)

  • Wolfram Burgard, Cyrill Stachniss, Giorgio Grisetti, Bastian Steder, Rainer Kümmerle, Christian Dornhege, Michael Ruhnke, Alexander Kleiner und Juan D. Tardos.
    A Comparison of SLAM Algorithms Based on a Graph of Relations.
    In Proceedings of the 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2009), S. 2089-2095. IEEE 2009.
    (Abstract einblenden) (PDF) (BIB)

  • Rainer Kümmerle, Bastian Steder, Christian Dornhege, Alexander Kleiner, Giorgio Grisetti und Wolfram Burgard.
    Large Scale Graph-based SLAM using Aerial Images as Prior Information.
    In Proceedings of 2009 Robotics: Science and Systems (RSS 2009). 2009.
    (Abstract einblenden) (PDF) (BIB)

  • Dali Sun, Alexander Kleiner und T. M. Wendt.
    Multi-Robot Range-Only SLAM by Active Sensor Nodes for Urban Search and Rescue.
    In Robocup 2008: Robot Soccer World Cup XII, S. 318-330. Springer 2009.
    (Abstract einblenden) (PDF) (BIB)

  • Alexander Kleiner, G. Steinbauer und F. Wotawa.
    Towards automated online diagnosis of robot navigation software.
    In Proc. of Int. Conf. on Simulation, Modeling and Programming for Autonomous Robots (SIMPAR), S. 159-170. Springer 2008.
    (Abstract einblenden) (PDF) (BIB)

  • Christian Dornhege und Alexander Kleiner.
    Fully autonomous planning and obstacle negotiation on rough terrain using behavior maps.
    In Video Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2007). San Diego, California 2007.

  • Christian Dornhege und Alexander Kleiner.
    Behavior maps for online planning of obstacle negotiation and climbing on rough terrain.
    In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2007), S. 3005-3011. 2007.
    (Abstract einblenden) (PDF) (BIB)

  • Alexander Kleiner und R. Kümmerle.
    Genetic MRF model optimization for real-time victim detection in Search and Rescue.
    In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2007), S. 3025-3030. 2007.
    (Abstract einblenden) (PDF) (BIB)

  • Alexander Kleiner und Christian Dornhege.
    Real-time Localization and Elevation Mapping within Urban Search and Rescue Scenarios.
    Journal of Field Robotics 24, S. 723-745. 2007.
    (Abstract einblenden) (PDF) (BIB)

  • S. Balakirsky, S. Carpin, Alexander Kleiner, M. Lewis, A. Visser, J. Wang und V.A. Ziparo.
    Towards heterogeneous robot teams for disaster mitigation: Results and Performance Metrics from Robocup Rescue.
    Journal of Field Robotics 24, S. 943-967. 2007.
    (Abstract einblenden) (PDF) (BIB)

  • V.A. Ziparo, Alexander Kleiner, L. Marchetti, A. Farinelli und and D. Nardi.
    Cooperative Exploration for USAR Robots with Indirect Communication.
    In Proceedings of the 6th IFAC Symposium on Intelligent Autonomous Vehicles (IAV 2007). 2007.
    (Abstract einblenden) (PDF) (BIB)

  • Vittorio Ziparo, Alexander Kleiner, Bernhard Nebel und Daniele Nardi.
    RFID-Based Exploration for Large Robot Teams.
    In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA 2007), S. 4606-4613. Rome, Italy 2007.
    (Abstract einblenden) (PDF) (BIB)

  • Alexander Kleiner, Christian Dornhege und Dali Sun.
    Mapping disaster areas jointly: RFID -Coordinated SLAM by Humans and Robots.
    In Proceedings of the IEEE International Workshop on Safety, Security and Rescue Robotics (SSRR 2007), S. 1-6. 2007.
    (Abstract einblenden) (PDF) (BIB)

  • H. Kenn und Alexander Kleiner.
    Towards the Integration of Real-Time Real-World Data in Urban Search and Rescue Simulation.
    In MobileResponse, S. 106-115. Springer 2007.
    (Abstract einblenden) (PDF) (BIB)

  • Alexander Kleiner und Dali Sun.
    Decentralized SLAM for Pedestrians without direct Communication.
    In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2007), S. 1461-1466. 2007.
    (Abstract einblenden) (PDF) (BIB)

  • Alexander Kleiner, Johann Prediger und Bernhard Nebel.
    RFID Technology-based Exploration and SLAM for Search And Rescue.
    In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2006), S. 4054-4059. Beijing, China 2006.
    (Abstract einblenden) (PDF) (BIB)

  • Alexander Kleiner, Christian Dornhege, Rainer Kuemmerle, Michael Ruhnke, Bastian Steder, Bernhard Nebel, Patrick Doherty, Mariusz Wzorek, Piotr Rudol, Gianpaolo Conte, S. Durante und D. Lundstrom.
    RoboCupRescue - Robot League Team RescueRobots Freiburg (Germany), Team Description Paper.
    In CDROM Proceedings of the International RoboCup Symposium '05. Bremen, Germany 2006.
    (Abstract einblenden) (PDF)

  • Alexander Kleiner und Vittorio Ziparo.
    RoboCupRescue - Simulation League Team RescueRobots Freiburg (Germany), Team Description Paper.
    In CDROM Proceedings of the International RoboCup Symposium '06. Bremen, Germany 2006.
    (PDF)

  • Christian Dornhege und Alexander Kleiner.
    Visual Odometry for Tracked Vehicles.
    In Proceedings of the IEEE International Workshop on Safety, Security and Rescue Robotics (SSRR 2006). 2006.
    (Abstract einblenden) (PDF) (BIB)

  • Alexander Kleiner, N. Behrens und H. Kenn.
    Wearable computing meets multiagent systems: A real-world interface for the RoboCupRescue simulation platform.
    In First International Workshop on Agent Technology for Disaster Management at AAMAS06, S. 116-123. AAMAS Press 2006.
    (Abstract einblenden) (PDF) (BIB)

  • Alexander Kleiner, Michael Brenner, Tobias Braeuer, Christian Dornhege, Moritz Göbelbecker, Matthias Luber, Johann Prediger, Joerg Stueckler und Bernhard Nebel.
    Successful Search and Rescue in Simulated Disaster Areas.
    In Proceedings of the International RoboCup Symposium '05. Osaka, Japan 2005.
    (Abstract einblenden) (PDF)

  • Alexander Kleiner, Bastian Steder, Christian Dornhege, Daniel Hoefler, Daniel Meyer-Delius, Johann Prediger, Joerg Stueckler, Kolja Glogowski, Markus Thurner, Matthias Luber, Michael Schnell, Rainer Kuemmerle, Timothy Burk, Tobias Braeuer und Bernhard Nebel.
    RoboCupRescue - Robot League Team RescueRobots Freiburg (Germany), Team Description Paper.
    In CDROM Proceedings of the International RoboCup Symposium '05. Osaka, Japan 2005.
    (Abstract einblenden) (PDF)

  • Alexander Kleiner.
    Game AI: The shrinking gap between computer games and AI systems Ambient Intelligence.
    Ambient Intelligence:The evolution of technology, communication and cognition towards the future of human-computer interaction. 2005.
    (PDF)

  • Timo Nuessle, Alexander Kleiner und Michael Brenner.
    Approaching Urban Disaster Reality: The ResQ Firesimulator.
    In Proceedings of the International RoboCup Symposium '04. Lisbon, Portugal 2004.
    (PDF)

  • Alexander Kleiner, Michael Brenner, Tobias Braeuer, Christian Dornhege, Moritz Göbelbecker, Matthias Luber, Johann Prediger und Joerg Stueckler.
    ResQ Freiburg: Team Description and Evaluation, Team Description Paper, Rescue Simulation League.
    In CDROM Proceedings of the International RoboCup Symposium '04. Lisbon, Portugal 2004.
    (PDF)

  • Erik Schulenburg, Thilo Weigel und Alexander Kleiner.
    Self-Localization in Dynamic Environments based on Laser and Vision Data.
    In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'03), S. 998-1004. Las Vegas, USA 2003.
    (PS.GZ) (PDF)

  • Alexander Kleiner und Thorsten Buchheim.
    A Plugin-Based Architecture For Simulation In The F2000 League.
    In Proceedings of the International RoboCup Symposium '03. Padova, Italy 2003.
    (PS.GZ) (PDF)

  • Alexander Kleiner, Markus Dietl und Bernhard Nebel.
    Towards a Life-Long Learning Soccer Agent.
    In Proceedings of the International RoboCup Symposium '02. Fukuoka, Japan 2002.
    (Abstract einblenden) (PDF)

  • Thilo Weigel, Jens-Steffen Gutmann, Markus Dietl, Alexander Kleiner und Bernhard Nebel.
    CS Freiburg: Coordinating Robots for Successful Soccer Playing.
    IEEE Transactions on Robotics and Automation 18 (5), S. 685-699. 2002.
    (Abstract einblenden) (PDF)

  • Thilo Weigel, Alexander Kleiner, Florian Diesch, Markus Dietl, Jens-Steffen Gutmann, Bernhard Nebel, Patrick Stiegeler und Boris Szerbakowski.
    CS Freiburg 2001.
    In International RoboCup Symposium 2001. 2001.
    (Abstract einblenden) (PDF)

Jana Koehler

  • Jana Koehler und Jörg Hoffmann.
    On the Instantation of ADL Operators Involving Arbitrary First-Order Formulas.
    In Proceedings of the 14th Workshop on New Results in Planning, Scheduling and Design (PuK 2000) at ECAI 2000, S. 74-82. Berlin, Germany 2000.
    (PS.GZ)

  • Jana Koehler und Jörg Hoffmann.
    On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm.
    Journal of Artificial Intelligence Research 12, S. 338-386. 2000.
    (PS.GZ)

  • Jana Koehler und Jörg Hoffmann.
    Planning with Goal Agendas.
    In Proceedings des 13. Workshops Planen und Konfigurieren (PuK 1999) auf der 10. Tagung Expertensysteme (XPS-99). Würzburg, Germany 1999.
    (PS.GZ)

  • Jörg Hoffmann und Jana Koehler.
    A new Method to Query and Index Sets.
    In Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI 1999). Stockholm, Sweden 1999.
    (PS.GZ) (extended technical report; PS.GZ)

  • Hans Jürgen Ohlbach und Jana Koehler.
    Modal Logics, Description Logics and Arithmetic Reasoning.
    Artificial Intelligence 109 (1-2), S. 1-31. 1999.
    (PS.GZ)

  • Jana Koehler.
    Solving Complex Planning Tasks Through Extraction of Subproblems.
    In Proceedings of the 4th International Conference on Artificial Intelligence Planning Systems (AIPS-98). 1998.
    (PS.GZ)

  • Jana Koehler.
    Planning under Resource Constraints.
    In Proceedings of the 13th European Conference on Artificial Intelligence (ECAI'98). 1998.
    (PS.GZ)

  • Yannis Dimopoulos, Bernhard Nebel und Jana Koehler.
    Encoding planning problems in non-monotonic logic programs.
    In Proc. European Conference on Planning 1997 (ECP-97), S. 169-181. Springer-Verlag 1997.
    (Abstract einblenden) (PDF)

  • Jana Koehler, Bernhard Nebel, Jörg Hoffmann und Yannis Dimopoulos.
    Extending Planning Graphs to an ADL Subset.
    In Proc. European Conference on Planning 1997 (ECP-97), S. 273-285. Springer-Verlag 1997.
    (Abstract einblenden) (PDF)

  • Bernhard Nebel, Yannis Dimopoulos und Jana Koehler.
    Ignoring Irrelevant Facts and Operators in Plan Generation.
    In Proc. European Conference on Planning 1997 (ECP-97), S. 338-350. Springer-Verlag 1997.
    (Abstract einblenden) (PDF)

  • Hans Jürgen Ohlbach und Jana Koehler.
    Role Hierarchies and Number Restrictions.
    In Proc. Int. Workshop on Description Logics '97 (DL'97). 1997.
    (PS.GZ) (extended technical report; PS.GZ)

Sebastian Kupferschmid

  • Sebastian Kupferschmid und Martin Wehrle.
    Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy.
    In Parosh A. Abdulla and K. Rustan M. Leino (Hrsg.), Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2011), S. 276-290. Springer-Verlag 2011.
    (Abstract einblenden) (PDF) (BIB)

  • Martin Wehrle und Sebastian Kupferschmid.
    Context-Enhanced Directed Model Checking.
    In Jaco van de Pol und Michael Weber (Hrsg.), Proceedings of the 17th International SPIN Workshop on Model Checking Software (SPIN 2010), S. 88-105. Springer-Verlag 2010.
    (Abstract einblenden) (PDF) (BIB)

  • Martin Wehrle, Sebastian Kupferschmid und Andreas Podelski.
    Transition-based Directed Model Checking.
    In Stefan Kowalewski und Anna Philippou (Hrsg.), Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), S. 186-200. Springer-Verlag 2009.
    (Abstract einblenden) (PDF) (BIB)

  • Thomas Keller und Sebastian Kupferschmid.
    Automatic Bidding for the Game of Skat.
    In Andreas R. Dengel, Karsten Berns, Thomas M. Breuel, Frank Bomarius und Thomas R. Roth-Berghofer (Hrsg.), Proceedings of the 31st Annual German Conference on Artificial Intelligence (KI 2008), S. 95-102. Springer-Verlag 2008.
    (Abstract einblenden) (BIB) (PDF)

  • Martin Wehrle, Sebastian Kupferschmid und Andreas Podelski.
    Useless Actions are Useful.
    In Jussi Rintanen, Bernhard Nebel, J. Christopher Beck und Eric Hansen (Hrsg.), Proceedings of the 18th International Conference on Automated Planning and Scheduling (ICAPS 2008), S. 388-395. AAAI Press 2008.
    (Abstract einblenden) (PDF) (BIB)

  • Sebastian Kupferschmid, Martin Wehrle, Bernhard Nebel und Andreas Podelski.
    Faster than Uppaal?
    In A. Gupta und S. Malik (Hrsg.), Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008), S. 552-555. Springer-Verlag 2008.
    (Abstract einblenden) (PDF) (BIB)

  • Sebastian Kupferschmid, Jörg Hoffmann und Kim G. Larsen.
    Fast Directed Model Checking via Russian Doll Abstraction.
    In C. R. Ramakrishnan und J. Rehof (Hrsg.), Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008), S. 203-217. Springer-Verlag 2008.
    (Abstract einblenden) (PDF) (BIB)

  • Henning Dierks, Sebastian Kupferschmid und Kim G. Larsen.
    Automatic Abstraction Refinement for Timed Automata.
    In Jean-François Raskin und P. S. Thiagarajan (Hrsg.), Proceedings of the 5th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2007), S. 114-129. Springer-Verlag 2007.
    (Abstract einblenden) (PDF) (BIB)

  • Sebastian Kupferschmid, Klaus Dräger, Jörg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski und Gerd Behrmann.
    UPPAAL/DMC - Abstraction-based Heuristics for Directed Model Checking.
    In Orna Grumberg und Michael Huth (Hrsg.), Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2007), S. 679-682. Springer-Verlag 2007.
    (Abstract einblenden) (PDF) (BIB)

  • Jörg Hoffmann, Jan-Georg Smaus, Andrey Rybalchenko, Sebastian Kupferschmid und Andreas Podelski.
    Using Predicate Abstraction to Generate Heuristic Functions in Uppaal.
    In Stefan Edelkamp und Alessio Lomuscio (Hrsg.), Proceedings of the 4th Workshop on Model Checking and Artificial Intelligence (MoChArt 2006), S. 51-66. Springer-Verlag 2006.
    (Abstract einblenden) (PDF) (BIB)

  • Sebastian Kupferschmid und Malte Helmert.
    A Skat Player Based on Monte Carlo Simulation.
    In H. Jaap van den Herik, Paolo Ciancarini und H. H. L. M. Donkers (Hrsg.), Proceedings of the Fifth International Conference on Computer and Games (CG 2006), S. 135-147. Springer-Verlag 2006.
    (Abstract einblenden) (PDF) (BIB)

  • Sebastian Kupferschmid, Jörg Hoffmann, Henning Dierks und Gerd Behrmann.
    Adapting an AI Planning Heuristic for Directed Model Checking.
    In Antti Valmari (Hrsg.), Proceedings of the 13th International SPIN Workshop on Model Checking Software (SPIN 2006), S. 35-52. Springer-Verlag 2006.
    (Abstract einblenden) (PDF) (BIB)

  • Jörg Hoffmann und Sebastian Kupferschmid.
    A Covering Problem for Hypercubes.
    In Leslie Pack Kaelbling und Alessandro Saffiotti (Hrsg.), Poster Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), S. 1523-1524. 2005.
    (Abstract einblenden) (PDF) (PS.GZ) (BIB)

Christian Köhler

  • Christian Köhler, Artur Ottlik, Hans-Hellmut Nagel und Bernhard Nebel.
    Qualitative Reasoning Feeding Back into Quantitative Model-Based Tracking.
    In Proceedings of the 16th European Conference on Artificial Intelligence (ECAI 2004), S. 1041-1042. IOS Press 2004.
    (Abstract einblenden) (PDF) (technical report; PDF)

  • Christian Köhler.
    Selecting Ghosts and Queues from a Car Trackers Output using a Spatio-Temporal Query Language.
    In IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2004), S. 619-624. Washington, D.C., USA 2004.
    (PDF) (PS.GZ)

  • Christian Köhler.
    The Occlusion Calculus.
    In Proceedings Workshop on Cognitive Vision. Zürich, Switzerland 2002.
    (PS.GZ) (PDF)

Felix Lindner

  • Felix Lindner, Robert Mattmüller und Bernhard Nebel.
    Evaluation of the Moral Permissibility of Action Plans.
    Artificial Intelligence 287. 2020.
    (Abstract einblenden) (PDF)

  • Felix Lindner, Barbara Kuhnert, Laura Wächter und Katrin Möllney.
    Perception of Creative Responses to Moral Dilemmas by a Conversational Robot.
    In Proc. ICSR 2019. 2019.
    (PDF)

  • Felix Lindner und Katrin Möllney.
    Extracting Reasons for Moral Judgments under Various Ethical Principles.
    In Proceedings of KI 2019. 2019.
    (PDF)

  • Hanna Stellmach und Felix Lindner.
    Perception of an Uncertain Ethical Reasoning Robot.
    Journal of Interactive Media 18(1). 2019.

  • Felix Lindner, Robert Mattmüller und Bernhard Nebel.
    Moral Permissibility of Action Plans.
    In Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19). 2019.
    (Abstract einblenden) (PDF)

  • Laura Wächter und Felix Lindner.
    An Explorative Comparison of Blame Attributions to Companion Robots Across Various Moral Dilemmas.
    In Proceedings of The 6th International Conference on Human-Agent Interaction (HAI 2018). 2018.

  • Barbara Kuhnert, Felix Lindner, Martin Mose Bentzen und Marco Ragni.
    Causal Structure of Moral Dilemmas Predicts Perceived Difficulty of Making a Decision.
    In Proceedings of the KogWis 2018 (Extended Abstract). 2018.

  • Martin Mose Bentzen, Felix Lindner, Louise Dennis und Michael Fisher.
    Moral Permissibility of Actions in Smart Home Systems.
    In Proceedings of the FLoC 2018 Workshop on Robots, Morality, and Trust through the Verification Lens (Extended Abstract). 2018.

  • Hanna Stellmach und Felix Lindner.
    Perception of an Uncertain Ethical Reasoning Robot: A Pilot Study.
    In Proceedings of Mensch und Computer 2018. 2018.
    (Abstract einblenden)

  • Felix Lindner und Martin Mose Bentzen.
    A Formalization of Kant's Second Formulation of the Categorical Imperative.
    In Proceedings of the 14th International Conference on Deontic Logic and Normative Systems (DEON). 2018.
    (Abstract einblenden)

  • Felix Lindner, Robert Mattmüller und Bernhard Nebel.
    Moral Permissibility of Action Plans.
    In Proceedings of the ICAPS Workshop on EXplainable AI Planning (XAIP). 2018.
    (Abstract einblenden) (PDF)

  • Glenda Hannibal und Felix Lindner.
    Transdisciplinary Reflections on Social Robotics in Academia and Beyond.
    In Proceedings of Robo-Philosophy 2018. 2018.

  • Felix Lindner, Martin Mose Bentzen und Bernhard Nebel.
    The HERA Approach to Morally Competent Robots.
    In Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2017). 2017.
    (Abstract einblenden) (PDF)

  • Barbara Kuhnert, Marco Ragni und Felix Lindner.
    The Gap between Human's Attitute towards Robots in General and Human's Expectation of an Ideal Everyday Life Robot.
    In Proceedings of the 2017 IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN 2017). 2017.
    (PDF)

  • Felix Lindner, Laura Wächter und Martin Mose Bentzen.
    Discussions About Lying with an Ethical Reasoning Robot.
    In Proceedings of the 2017 IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN 2017). 2017.
    (PDF)

  • Felix Lindner und Carola Eschenbach.
    An Affordance-Based Conceptual Framework for Spatial Behavior of Social Robots.
    In Raul Hakli und Johanna Seibt (Hrsg.), Sociality and Normativity for Robots --- Philosophical Inquiries into Human-Robot Interactions. Springer International Publishing 2017.

  • Barbara Kuhnert, Felix Lindner, Martin Mose Bentzen und Marco Ragni.
    Perceived Difficulty of Moral Dilemmas Depends on Their Causal Structure: A Formal Model and Preliminary Results.
    In Proceedings of the 39th Annual Meeting of the Cognitive Science Society CogSci 2017. 2017.
    (PDF)

  • Felix Lindner und Martin Mose Bentzen.
    The Hybrid Ethical Reasoning Agent IMMANUEL.
    In Proceedings of the 2017 Conference on Human-Robot Interaction (HRI2017), Late-Breaking Report. 2017.
    (Abstract einblenden) (PDF)

  • Felix Lindner.
    How To Count Multiple Personal-Space Intrusions in Social Robot Navigation.
    In Proceedings of the Robo-Philosophy Conference 2016. 2016.
    (Abstract einblenden)

  • Felix Lindner.
    A Model of a Robot's Will Based on Higher-Order Desires.
    In Proceedings of the IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN 2016). 2016.
    (Abstract einblenden)

  • Felix Lindner.
    A Social Robot's Knowledge About Territories in Public Space.
    In Proceedings of the 3rd Workshop on Public Space Human-Robot Interaction (PubRob 2016). 2016.
    (Abstract einblenden)

Johannes Löhr

  • Johannes Löhr, Martin Wehrle, Maria Fox und Bernhard Nebel.
    Symbolic Domain Predictive Control.
    In Proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI 2014), S. 2315-2321. AAAI Press 2014.
    (Abstract einblenden) (Online; DOI)

  • Johannes Löhr, Johannes Aldinger, Stefan Winkler und Georg Willich.
    Automated Planning for Earth Observation Spacecraft under Attitude Dynamical Constraints.
    In Jahrbuch der Deutschen Gesellschaft für Luft- und Raumfahrt (DGLR2013). 2013.
    (Abstract einblenden) (PDF)

  • Johannes Aldinger und Johannes Löhr.
    Planning for Agile Earth Observation Satellites.
    In Proceedings of the ICAPS-2013 Workshop on Planning in Continuous Domains (PCD), S. 9-17. 2013.
    (Abstract einblenden) (PDF)

  • Johannes Löhr, Patrick Eyerich, Stefan Winkler und Bernhard Nebel.
    Domain Predictive Control Under Uncertain Numerical State Information.
    In Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS13). 2013.
    (Abstract einblenden) (PDF) (BIB)

  • Johannes Löhr, Bernhard Nebel und Stefan Winkler.
    Planning Based Autonomous Lander Control.
    In Proceedings of the Astrodynamics Specialist Conference (AIAA/AAS 2012). 2012.
    (Abstract einblenden) (Online; DOI)

  • Johannes Löhr, Patrick Eyerich, Thomas Keller und Bernhard Nebel.
    A Planning Based Framework for Controlling Hybrid Systems.
    In Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012). 2012.
    (Abstract einblenden) (PDF)

  • Johannes Löhr und Stefan Winkler.
    Comparison of Periodic System Lifting Techniques for Robust Stability Analysis of Magnetic Spacecraft Attitude Control Systems.
    In Proceedings of the Guidance Navigation and Control Conference (AIAA/GNC 2011). 2011.
    (Abstract einblenden)

Robert Mattmüller

  • Julian von Tschammer, Robert Mattmüller und David Speck.
    Loopless Top-k Planning.
    In Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022). 2022.
    (Abstract einblenden) (PDF)

  • David Speck, David Borukhson, Robert Mattmüller und Bernhard Nebel.
    On the Compilability and Expressive Power of State-Dependent Action Costs.
    In Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), S. 358-366. 2021.
    (Abstract einblenden) (PDF)

  • David Speck, André Biedenkapp, Frank Hutter, Robert Mattmüller und Marius Lindauer.
    Learning Heuristic Selection with Dynamic Algorithm Configuration.
    In Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), S. 597-605. 2021.
    (Abstract einblenden) (PDF)

  • Thorsten Engesser, Robert Mattmüller, Bernhard Nebel und Michael Thielscher.
    Game description language and dynamic epistemic logic compared.
    Artificial Intelligence 292. 2021.
    (Abstract einblenden) (Online; DOI)

  • Patrick Caspari, Robert Mattmüller und Tim Schulte.
    A Framework to Prove Strong Privacy in Multi-Agent Planning.
    In Proceedings of the 6th Workshop on Distributed and Multi-Agent Planning (DMAP 2020), S. 32-39. 2020.
    (PDF)

  • David Speck, André Biedenkapp, Frank Hutter, Robert Mattmüller und Marius Lindauer.
    Learning Heuristic Selection with Dynamic Algorithm Configuration.
    In Proceedings of the Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL 2020), S. 61–69. 2020.
    Superseded by the ICAPS 2021 paper by the same authors.
    (Abstract einblenden) (PDF)

  • Dominik Drexler, David Speck und Robert Mattmüller.
    Subset-Saturated Transition Cost Partitioning for Optimal Classical Planning.
    In Proceedings of the 12th Workshop on Heuristics and Search for Domain-Independent Planning (HSDIP 2020), S. 23–31. 2020.
    Superseded by the ICAPS 2021 paper "Subset-Saturated Transition Cost Partitioning".
    (Abstract einblenden) (PDF)

  • Thorsten Engesser, Robert Mattmüller, Bernhard Nebel und Felicitas Ritter.
    Token-based Execution Semantics for Multi-Agent Epistemic Planning.
    In Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR-2020), S. 351-360. 2020.
    (Abstract einblenden) (Online; PDF)

  • Felix Lindner, Robert Mattmüller und Bernhard Nebel.
    Evaluation of the Moral Permissibility of Action Plans.
    Artificial Intelligence 287. 2020.
    (Abstract einblenden) (PDF)

  • David Speck, Florian Geißer und Robert Mattmüller.
    When Perfect is not Good Enough: On the Search Behaviour of Symbolic Heuristic Search.
    In Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS 2020), S. 263-271. 2020.
    (Abstract einblenden) (PDF)

  • David Speck, Robert Mattmüller und Bernhard Nebel.
    Symbolic Top-k Planning.
    In Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020), S. 9967-9974. 2020.
    (Abstract einblenden) (PDF)

  • Daniel Reifsteck, Thorsten Engesser, Robert Mattmüller und Bernhard Nebel.
    Epistemic Multi-agent Planning Using Monte-Carlo Tree Search.
    In KI 2019: Advances in Artificial Intelligence - 42nd German Conference on AI, S. 277-289. 2019.
    (Abstract einblenden) (Online; DOI)

  • Sumitra Corraya, Florian Geißer, David Speck und Robert Mattmüller.
    An Empirical Study of the Usefulness of State-Dependent Action Costs in Planning.
    In Proceedings of the 42nd German Conference on Artificial Intelligence (KI 2019), S. 123-130. 2019.
    (Abstract einblenden) (PDF) (PDF; Online)

  • Bernhard Nebel, Thomas Bolander, Thorsten Engesser, Robert Mattmüller und .
    Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity (Extended Abstract).
    In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI 2019), S. 6372-6374. 2019.

  • David Speck, Florian Geißer, Robert Mattmüller und Álvaro Torralba.
    Symbolic Planning with Axioms.
    In Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), S. 464-572. 2019.
    (Abstract einblenden) (PDF)

  • Thomas Bolander, Thorsten Engesser, Andreas Herzig, Robert Mattmüller und Bernhard Nebel.
    The Dynamic Logic of Policies and Contingent Planning.
    In Logics in Artificial Intelligence - 16th European Conference (JELIA-2019), S. 659-674. 2019.
    (Abstract einblenden) (Online; DOI)

  • Bernhard Nebel, Thomas Bolander, Thorsten Engesser und Robert Mattmüller.
    Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity.
    Journal of Artificial Intelligence Research 64, S. 497-527. 2019.
    (Abstract einblenden) (PDF)

  • Felix Lindner, Robert Mattmüller und Bernhard Nebel.
    Moral Permissibility of Action Plans.
    In Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19). 2019.
    (Abstract einblenden) (PDF)

  • Thomas Bolander, Thorsten Engesser, Robert Mattmüller und Bernhard Nebel.
    Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination.
    In Proceedings of the Sixteenth Conference on Principles of Knowledge Representation and Reasoning (KR18), S. 445-453. 2018.
    (Abstract einblenden) (PDF)

  • Benedict Wright, Robert Mattmüller und Bernhard Nebel.
    Compiling Away Soft Trajectory Constraints in Planning.
    In Proceedings of the Sixteenth COnference on Principles of Knowledge Representation and Reasoning (KR18), S. 474-482. 2018.
    (Abstract einblenden) (PDF)

  • Thorsten Engesser, Robert Mattmüller, Bernhard Nebel und Michael Thielscher.
    Game Description Language and Dynamic Epistemic Logic Compared.
    In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI 2018), S. 1795-1802. 2018.
    (Abstract einblenden) (PDF)

  • David Speck, Florian Geißer und Robert Mattmüller.
    Symbolic Planning with Edge-Valued Multi-Valued Decision Diagrams.
    In Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS 2018). 2018.
    (Abstract einblenden) (PDF) (technical report with proofs; PDF)

  • Benedict Wright, Robert Mattmüller und Bernhard Nebel.
    Compiling Away Soft Trajectory Constraints in Planning.
    In Proceedings of the Workshop on Knowledge Engineering for Planning and Scheduling (KEPS18), S. 38-45. 2018.
    (Abstract einblenden) (PDF)

  • Felix Lindner, Robert Mattmüller und Bernhard Nebel.
    Moral Permissibility of Action Plans.
    In Proceedings of the ICAPS Workshop on EXplainable AI Planning (XAIP). 2018.
    (Abstract einblenden) (PDF)

  • David Speck, Florian Geißer und Robert Mattmüller.
    SYMPLE: Symbolic Planning based on EVMDDs.
    In The 9th International Planning Competition (IPC 2018), S. 82-85. 2018.
    (Abstract einblenden) (PDF)

  • Robert Mattmüller, Florian Geißer, Benedict Wright und Bernhard Nebel.
    On the Relationship Between State-Dependent Action Costs and Conditional Effects in Planning.
    In Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI 2018). 2018.
    (Abstract einblenden) (PDF)

  • Benedict Wright und Robert Mattmüller.
    Automated Data Management Workflow Generation with Ontologies and Planning.
    In Proceedings of the 30th Workshop on Planen/Scheduling und Konfigurieren/Entwerfen (PUK 2016). 2016.
    (PDF)

  • Robert Mattmüller, Florian Geißer, Benedict Wright und Bernhard Nebel.
    On the Relationship Between State-Dependent Action Costs and Conditional Effects in Planning.
    In Proceedings of the 9th Workshop on Heuristics and Search for Domain-Independent Planning (HSDIP 2017). 2017.
    Superseded by the AAAI 2018 paper by the same name.
    (Abstract einblenden) (PDF)

  • Thorsten Engesser, Thomas Bolander, Robert Mattmüller und Bernhard Nebel.
    Cooperative Epistemic Multi-Agent Planning for Implicit Coordination.
    In Ghosh, Sujata and Ramanujam und R. (Hrsg.), Proceedings of the Ninth Workshop on Methods for Modalities (M4M 2017), S. 75-90. 2017.
    (Abstract einblenden) (Online; PDF) (BIB)

  • Thomas Keller, Florian Pommerening, Jendrik Seipp, Florian Geißer und Robert Mattmüller.
    State-dependent Cost Partitionings for Cartesian Abstractions in Classical Planning (Extended Abstract).
    In Proceedings of the 39th German Conference on Artificial Intelligence (KI 2016). 2016.
    (Abstract einblenden) (PDF)

  • Thomas Keller, Florian Pommerening, Jendrik Seipp, Florian Geißer und Robert Mattmüller.
    State-dependent Cost Partitionings for Cartesian Abstractions in Classical Planning.
    In Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016). 2016.
    (Abstract einblenden) (PDF)

  • Florian Geißer, Thomas Keller und Robert Mattmüller.
    Abstractions for Planning with State-Dependent Action Costs.
    In Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016). 2016.
    (Abstract einblenden) (PDF)

  • Thomas Bolander, Thorsten Engesser, Robert Mattmüller und Bernhard Nebel.
    Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination.
    In Proceedings of the ICAPS-2016 Workshop on Distributed and Multi-Agent Planning (DMAP 2016). 2016.
    Superseded by the KR18 paper by the same authors.
    (Abstract einblenden) (PDF) (BIB)

  • Johannes Aldinger, Robert Mattmüller und Moritz Göbelbecker.
    Complexity Issues of Interval Relaxed Numeric Planning.
    In KI 2015: Advances in Artificial Intelligence (KI 2015). 2015.
    (Abstract einblenden) (PDF) (BIB)

  • David Speck, Manuela Ortlieb und Robert Mattmüller.
    Necessary Observations in Nondeterministic Planning.
    In Proceedings of the 38th German Conference on Artificial Intelligence (KI 2015). 2015.
    (Abstract einblenden) (PDF) (BIB)

  • Florian Geißer, Thomas Keller und Robert Mattmüller.
    Delete Relaxations for Planning with State-Dependent Action Costs.
    In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). 2015.
    (Abstract einblenden) (PDF) (BIB)

  • Florian Geißer, Thomas Keller und Robert Mattmüller.
    Delete Relaxations for Planning with State-Dependent Action Costs.
    In Proceedings of the 8th Annual Symposium on Combinatorial Search (SoCS 2015). 2015.
    Extended abstract of the IJCAI 2015 paper by the same name.
    (Abstract einblenden) (PDF) (BIB)

  • Johannes Aldinger, Robert Mattmüller und Moritz Göbelbecker.
    Complexity Issues of Interval Relaxed Numeric Planning.
    In Proceedings of the ICAPS-2015 Workshop on Heuristic and Search for Domain-Independent Planning (HSDIP 2015). 2015.
    Superseded by the KI 2015 paper of the same name..
    (Abstract einblenden) (PDF) (BIB)

  • Thorsten Engesser, Thomas Bolander, Robert Mattmüller und Bernhard Nebel.
    Cooperative Epistemic Multi-Agent Planning With Implicit Coordination.
    In Proceedings of the ICAPS-2015 Workshop on Distributed and Multi-Agent Planning (DMAP 2015). 2015.
    Superseded by the M4M 2017 paper by the same authors.
    (Abstract einblenden) (PDF) (BIB)

  • Jonas Thiem, Robert Mattmüller und Manuela Ortlieb.
    Counterexample-Guided Abstraction Refinement for POND Planning.
    In Proceedings of the ICAPS-2015 Workshop on Model Checking and Automated Planning (MOCHAP 2015). 2015.
    (Abstract einblenden) (PDF) (BIB)

  • Dominik Winterer, Robert Mattmüller und Martin Wehrle.
    Stubborn Sets for Fully Observable Nondeterministic Planning.
    In Proceedings of the ICAPS-2015 Workshop on Model Checking and Automated Planning (MOCHAP 2015). 2015.
    (Abstract einblenden) (PDF) (BIB)

  • Robert Mattmüller, Manuela Ortlieb und Erik Wacker.
    Minimizing Necessary Observations for Nondeterministic Planning.
    In Proceedings of the 37th German Conference on Artificial Intelligence (KI 2014). 2014.
    (Abstract einblenden) (PDF)

  • Andreas Hertle, Christian Dornhege, Thomas Keller, Robert Mattmüller, Manuela Ortlieb und Bernhard Nebel.
    An Experimental Comparison of Classical, FOND and Probabilistic Planning.
    In Proceedings of the 37th German Conference on Artificial Intelligence (KI 2014), S. 297-308. Springer 2014.
    (Abstract einblenden) (PDF) (BIB)

  • Florian Geißer, Thomas Keller und Robert Mattmüller.
    Past, Present, and Future: An Optimal Online Algorithm for Single-Player GDL-II Games.
    In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), S. 357-362. 2014.
    (Abstract einblenden) (PDF) (BIB)

  • Dr. Yusra Alkhazraji, Michael Katz, Robert Mattmüller, Florian Pommerening, Alexander Shleyfman und Martin Wehrle.
    Metis: Arming Fast Downward with Pruning and Incremental Computation (planner abstract).
    In the 8th International Planning Competition (IPC 2014) (deterministic track). 2014.
    (Abstract einblenden) (PDF)

  • Manuela Ortlieb und Robert Mattmüller.
    Pattern-Database Heuristics for Partially Observable Nondeterministic Planning.
    In Proceedings of the 36th German Conference on Artificial Intelligence (KI 2013). 2013.
    (Abstract einblenden) (PDF) (slides; PDF)

  • Martin Wehrle, Malte Helmert, Dr. Yusra Alkhazraji und Robert Mattmüller.
    The Relative Pruning Power of Strong Stubborn Sets and Expansion Core.
    In Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS13). 2013.
    (Abstract einblenden) (PDF)

  • Dr. Yusra Alkhazraji, Martin Wehrle, Robert Mattmüller und Malte Helmert.
    A Stubborn Set Algorithm for Optimal Planning.
    In Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012). 2012.
    (Abstract einblenden) (PDF)

  • Hans-Jörg Peter, Rüdiger Ehlers und Robert Mattmüller.
    Synthia: Verification and Synthesis for Timed Automata.
    In Proceedings of the 23rd International Conference on Computer Aided Verification (CAV 2011), S. 649-655. Springer-Verlag 2011.
    (Abstract einblenden) (PDF)

  • Rüdiger Ehlers, Robert Mattmüller und Hans-Jörg Peter.
    Combining Symbolic Representations for Solving Timed Games.
    In Proceedings of the 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2010), S. 107-121. Springer-Verlag 2010.
    (Abstract einblenden) (PDF)

  • J. Benton, Kartik Talamadupula, Patrick Eyerich, Robert Mattmüller und Subbarao Kambhampati.
    G-value Plateaus: A Challenge for Planning.
    In Ronen Brafman, Héctor Geffner, Jörg Hoffmann und Henry Kautz (Hrsg.), Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS 2010), S. 259-262. AAAI Press 2010.
    (Abstract einblenden) (PDF) (BIB)

  • Robert Mattmüller, Manuela Ortlieb, Malte Helmert und Pascal Bercher.
    Pattern Database Heuristics for Fully Observable Nondeterministic Planning.
    In Ronen Brafman, Héctor Geffner, Jörg Hoffmann und Henry Kautz (Hrsg.), Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS 2010), S. 105-112. AAAI Press 2010.
    (Abstract einblenden) (PDF) (slides; PDF) (BIB)

  • Hans-Jörg Peter und Robert Mattmüller.
    Component-based Abstraction Refinement for Timed Controller Synthesis.
    In Theodore P. Baker (Hrsg.), Proceedings of the 30th IEEE Real-Time Systems Symposium (RTSS 2009), S. 364-374. IEEE Computer Society 2009.
    (Abstract einblenden) (PDF) (BIB)

  • Patrick Eyerich, Robert Mattmüller und Gabriele Röger.
    Using the Context-enhanced Additive Heuristic for Temporal and Numeric Planning.
    In Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS 2009), S. 130-137. AAAI Press 2009.
    (Abstract einblenden) (PDF) (slides; PDF) (BIB)

  • Pascal Bercher und Robert Mattmüller.
    Solving Non-deterministic Planning Problems with Pattern Database Heuristics.
    In B. Mertsching, M. Hund und Z. Aziz (Hrsg.), Proceedings of the 32nd Annual Conference on Artificial Intelligence (KI 2009), S. 57-64. Springer-Verlag 2009.
    (Abstract einblenden) (PDF) (slides; PDF) (BIB)

  • Pascal Bercher und Robert Mattmüller.
    A Planning Graph Heuristic for Forward-Chaining Adversarial Planning.
    In Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008), S. 921-922. IOS Press 2008.
    (Abstract einblenden) (PDF) (slides; PDF) (poster; PDF) (BIB)

  • Malte Helmert und Robert Mattmüller.
    Accuracy of Admissible Heuristic Functions in Selected Planning Domains.
    In Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI 2008), S. 938-943. AAAI Press 2008.
    (Abstract einblenden) (PDF) (slides; PDF) (BIB)

  • Malte Helmert und Robert Mattmüller.
    On the Accuracy of Admissible Heuristic Functions in Selected Planning Domains.
    In Proceedings of the ICAPS-2007 Workshop on Heuristics for Domain-independent Planning: Progress, Ideas, Limitations, Challenges. 2007.
    Superseded by the AAAI 2008 paper by the same name.
    (Abstract einblenden) (PDF)

  • Robert Mattmüller und Jussi Rintanen.
    Planning for Temporally Extended Goals as Propositional Satisfiability.
    In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), S. 1966-1971. 2007.
    (Abstract einblenden) (PDF) (PS.GZ) (poster; PDF) (BIB)

  • Malte Helmert, Robert Mattmüller und Sven Schewe.
    Selective Approaches for Solving Weak Games.
    In Proceedings of the Fourth International Symposium on Automated Technology for Verification and Analysis (ATVA 2006), S. 200-214. Springer-Verlag 2006.
    (Abstract einblenden) (PDF)

  • Malte Helmert, Robert Mattmüller und Gabriele Röger.
    Approximation Properties of Planning Benchmarks.
    In Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006), S. 585-589. 2006.
    (Abstract einblenden) (PDF)

Bernhard Nebel

  • Bernhard Nebel.
    The Computational Complexity of Multi-Agent Pathfinding on Directed Graphs.
    Artificial Intelligence. 2024.
    (Abstract einblenden) (Preprint; PDF) (Online; DOI)

  • Moritz Graf, Thorsten Engesser und Bernhard Nebel.
    A Symbolic Sequential Equilibria Solver for Game Theory Explorer (Demo Track).
    In Proceedings of the 23rd Int. Joint Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2024). 2024.
    (Abstract einblenden)

  • Moritz Graf, Thorsten Engesser und Bernhard Nebel.
    Symbolic Computation of Sequential Equilibria.
    In Proceedings of the 23rd Int. Joint Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2024). 2024.
    (Abstract einblenden)

  • Stefano Ardizzoni, Irene Saccani, Luca Consolini, Marco Locatelli und Bernhard Nebel.
    An Algorithm with Improved Complexity for Pebble Motion/Multi-Agent Path Finding on Trees.
    Journal of Artificial Intelligence Research 79. 2024.
    (Abstract einblenden) (Online; DOI)

  • Vaishak Belle, Thomas Bolander, Andreas Herzig und Bernhard Nebel.
    Epistemic planning: Perspectives on the special issue.
    Artificial Intelligence 316, S. 103842. 2023.
    (Abstract einblenden) (Online; DOI)

  • Bernhard Nebel.
    The Small Solution Hypothesis for MAPF on Strongly Connected Directed Graphs Is True.
    In Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), S. 304-313. 2023.
    (Abstract einblenden) (Online; DOI)

  • Pascal Bachor, Rolf-David Bergdoll und Bernhard Nebel.
    The Multi-Agent Transportation Problem.
    In Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI 2023), S. 11525-11532. 2023.
    (Abstract einblenden) (Online; DOI)

  • Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel und Marcel Steinmetz.
    Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract).
    In Proceedings of the 35th International Workshop on Description Logics (DL 2022). 2022.
    (Online; PDF)

  • Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel und Marcel Steinmetz.
    Expressivity of Planning with Horn Description Logic Ontologies.
    In Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022). 2022.
    (Abstract einblenden) (Online; DOI)

  • Klaus René Garcia Rosas, Martin Zimmer und Bernhard Nebel.
    Deep Learning vs. Classical Model-Based Fault Detection in Industrial Heating-Cooling Systems.
    In 32nd International Workshop on Principle of Diagnosis DX-2021). 2021.
    (Abstract einblenden) (Online; PDF)

  • David Speck, David Borukhson, Robert Mattmüller und Bernhard Nebel.
    On the Compilability and Expressive Power of State-Dependent Action Costs.
    In Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), S. 358-366. 2021.
    (Abstract einblenden) (PDF)

  • Thorsten Engesser, Robert Mattmüller, Bernhard Nebel und Michael Thielscher.
    Game description language and dynamic epistemic logic compared.
    Artificial Intelligence 292. 2021.
    (Abstract einblenden) (Online; DOI)

  • Bernhard Nebel und Stefan Wölfl.
    Wissensrepräsentation und -verarbeitung.
    In Günther Görz, Ute Schmid und Tanya Braun (Hrsg.), Handbuch der Künstlichen Intelligenz, 6. Auflage, S. 27-56. De Gruyter 2020.
    (Online; DOI)

  • Thorsten Engesser, Robert Mattmüller, Bernhard Nebel und Felicitas Ritter.
    Token-based Execution Semantics for Multi-Agent Epistemic Planning.
    In Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR-2020), S. 351-360. 2020.
    (Abstract einblenden) (Online; PDF)

  • Lukas Berger, Bernhard Nebel und Marco Ragni.
    A Heuristic Agent in Multi-Agent Path Finding Under Destination Uncertainty.
    In KI 2020: Advances in Artificial Intelligence - 43rd German Conference on AI,, S. 259-266. 2020.
    (Abstract einblenden) (Online; DOI)

  • Felix Lindner, Robert Mattmüller und Bernhard Nebel.
    Evaluation of the Moral Permissibility of Action Plans.
    Artificial Intelligence 287. 2020.
    (Abstract einblenden) (PDF)

  • Bernhard Nebel.
    On the Computational Complexity of Multi-Agent Pathfinding on Directed Graphs.
    In Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS 2020), S. 212-216. 2020.
    (Abstract einblenden) (Online; PDF)

  • David Speck, Robert Mattmüller und Bernhard Nebel.
    Symbolic Top-k Planning.
    In Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020), S. 9967-9974. 2020.
    (Abstract einblenden) (PDF)

  • Daniel Reifsteck, Thorsten Engesser, Robert Mattmüller und Bernhard Nebel.
    Epistemic Multi-agent Planning Using Monte-Carlo Tree Search.
    In KI 2019: Advances in Artificial Intelligence - 42nd German Conference on AI, S. 277-289. 2019.
    (Abstract einblenden) (Online; DOI)

  • Tim Schulte und Bernhard Nebel.
    Trial-based Heuristic Tree-search for Distributed Multi-Agent Planning.
    In Proceedings of the Twelfth Annual Symposium on Combinatorial Search (SoCS 2019) (SoCS 2019). 2019.
    (Abstract einblenden) (PDF)

  • Bernhard Nebel, Thomas Bolander, Thorsten Engesser, Robert Mattmüller und .
    Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity (Extended Abstract).
    In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI 2019), S. 6372-6374. 2019.

  • Bernhard Nebel.
    Some Thoughts on Forward Induction in Multi-Agent-Path Finding Under Destination Uncertainty.
    In Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday. Springer-Verlag, Berlin, Heidelberg, New York 2019.
    (Abstract einblenden) (PDF)

  • Thomas Bolander, Thorsten Engesser, Andreas Herzig, Robert Mattmüller und Bernhard Nebel.
    The Dynamic Logic of Policies and Contingent Planning.
    In Logics in Artificial Intelligence - 16th European Conference (JELIA-2019), S. 659-674. 2019.
    (Abstract einblenden) (Online; DOI)

  • Daniel Kuhner, Lukas D.J. Fiederer, Johannes Aldinger, Felix Burget, Martin Völker, Robin T. Schirrmeister, Chau Do, Joschka Boedecker, Bernhard Nebel, Tonio Ball und Wolfram Burgard.
    A service assistant combining autonomous robotics, flexible goal formulation, and deep-learning-based brain–computer interfacing.
    Robotics and Autonomous Systems 116, S. 98-113. 2019.
    (Abstract einblenden) (Online; DOI)

  • Bernhard Nebel, Thomas Bolander, Thorsten Engesser und Robert Mattmüller.
    Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity.
    Journal of Artificial Intelligence Research 64, S. 497-527. 2019.
    (Abstract einblenden) (PDF)

  • Felix Lindner, Robert Mattmüller und Bernhard Nebel.
    Moral Permissibility of Action Plans.
    In Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19). 2019.
    (Abstract einblenden) (PDF)

  • Thomas Bolander, Thorsten Engesser, Robert Mattmüller und Bernhard Nebel.
    Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination.
    In Proceedings of the Sixteenth Conference on Principles of Knowledge Representation and Reasoning (KR18), S. 445-453. 2018.
    (Abstract einblenden) (PDF)

  • Benedict Wright, Robert Mattmüller und Bernhard Nebel.
    Compiling Away Soft Trajectory Constraints in Planning.
    In Proceedings of the Sixteenth COnference on Principles of Knowledge Representation and Reasoning (KR18), S. 474-482. 2018.
    (Abstract einblenden) (PDF)

  • Daniel Kuhner, Johannes Aldinger, Felix Burget, Moritz Göbelbecker, Wolfram Burgard und Bernhard Nebel.
    Closed-Loop Robot Task Planning Based on Referring Expressions.
    In Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2018), S. 876-881. 2018.
    (Abstract einblenden) (PDF)

  • Andreas Hertle und Bernhard Nebel.
    Efficient Auction Based Coordination for Distributed Multi-Agent Planning in Temporal Domains Using Resource Abstraction.
    In Proceedings of the 41st German Conference on Artificial Intelligence (KI 2018). 2018.
    (Abstract einblenden) (PDF) (BIB)

  • Thorsten Engesser, Robert Mattmüller, Bernhard Nebel und Michael Thielscher.
    Game Description Language and Dynamic Epistemic Logic Compared.
    In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI 2018), S. 1795-1802. 2018.
    (Abstract einblenden) (PDF)

  • Benedict Wright, Robert Mattmüller und Bernhard Nebel.
    Compiling Away Soft Trajectory Constraints in Planning.
    In Proceedings of the Workshop on Knowledge Engineering for Planning and Scheduling (KEPS18), S. 38-45. 2018.
    (Abstract einblenden) (PDF)

  • Max Waters, Bernhard Nebel, Lin Padgham und Sebastian Sardiña.
    Plan Relaxation via Action Debinding and Deordering.
    In Proceedings of International Conference on Automated Planning and Scheduling (ICAPS 2018), S. 278-287. 2018.
    (Abstract einblenden) (PDF)

  • Felix Lindner, Robert Mattmüller und Bernhard Nebel.
    Moral Permissibility of Action Plans.
    In Proceedings of the ICAPS Workshop on EXplainable AI Planning (XAIP). 2018.
    (Abstract einblenden) (PDF)

  • Benedict Wright, Oliver Brunner und Bernhard Nebel.
    On the Importance of a Research Data Archive.
    In Proceedings of the eighth Symposium on Educational Advances in Artificial Intelligence (EAAI 2018). 2018.
    (Abstract einblenden) (PDF)

  • Robert Mattmüller, Florian Geißer, Benedict Wright und Bernhard Nebel.
    On the Relationship Between State-Dependent Action Costs and Conditional Effects in Planning.
    In Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI 2018). 2018.
    (Abstract einblenden) (PDF)

  • Johannes Aldinger und Bernhard Nebel.
    Interval Based Relaxation Heuristics for Numeric Planning with Action Costs.
    In KI 2017:Advances in Artificial Intelligence (KI 2017), S. 15-28. Springer International Publishing 2017.
    (Abstract einblenden) (PDF)

  • Andreas Hertle und Bernhard Nebel.
    Identifying Good Poses When Doing Your Household Chores: Creation and Exploitation of Inverse Surface Reachability Maps.
    In Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2017). 2017.
    (Abstract einblenden) (PDF)

  • F. Burget, L.D.J. Fiederer, D.Kuhner, M.Völker, Johannes Aldinger, R.T. Schirrmeister, C.Do, J.Boedecker, Bernhard Nebel, T.Ball und W.Burgard.
    Acting Thoughts: Towards a Mobile Robotic Service Assistant for Users with Limited Communication Skills.
    In Proceedings of the European Conference on Mobile Robotics (ECMR 2017), S. 385-390. 2017.
    (Abstract einblenden) (PDF)

  • Robert Mattmüller, Florian Geißer, Benedict Wright und Bernhard Nebel.
    On the Relationship Between State-Dependent Action Costs and Conditional Effects in Planning.
    In Proceedings of the 9th Workshop on Heuristics and Search for Domain-Independent Planning (HSDIP 2017). 2017.
    Superseded by the AAAI 2018 paper by the same name.
    (Abstract einblenden) (PDF)

  • Felix Lindner, Martin Mose Bentzen und Bernhard Nebel.
    The HERA Approach to Morally Competent Robots.
    In Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2017). 2017.
    (Abstract einblenden) (PDF)

  • Johannes Aldinger und Bernhard Nebel.
    Extended Abstract: Interval Based Relaxation Heuristics for Numeric Planning with Action Costs.
    In Proceedings of the 10th International Symposium on Combinatorial Search (SoCS 2017), S. 155-156. 2017.
    (Abstract einblenden) (PDF)

  • Thorsten Engesser, Thomas Bolander, Robert Mattmüller und Bernhard Nebel.
    Cooperative Epistemic Multi-Agent Planning for Implicit Coordination.
    In Ghosh, Sujata and Ramanujam und R. (Hrsg.), Proceedings of the Ninth Workshop on Methods for Modalities (M4M 2017), S. 75-90. 2017.
    (Abstract einblenden) (Online; PDF) (BIB)

  • Dali Sun, Florian Geißer und Bernhard Nebel.
    Towards Effective Localization in Dynamic Environments.
    In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2016). 2016.
    (Abstract einblenden) (PDF)

  • Tim Schulte und Bernhard Nebel.
    Trial-based Heuristic Tree-search for Distributed Multi-Agent Planning.
    In Proceedings of the Ninth Annual Symposium on Combinatorial Search (SoCS 2016) (SoCS 2016). 2016.
    (Abstract einblenden) (PDF)

  • Tim Schulte und Bernhard Nebel.
    Trial-based Heuristic Tree-search for Distributed Multi-Agent Planning.
    In Proceedings of the 4th Workshop on Distributed and Multi-Agent Planning (DMAP 2016) (DMAP 2016). 2016.
    (Abstract einblenden) (PDF)

  • Thomas Bolander, Thorsten Engesser, Robert Mattmüller und Bernhard Nebel.
    Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination.
    In Proceedings of the ICAPS-2016 Workshop on Distributed and Multi-Agent Planning (DMAP 2016). 2016.
    Superseded by the KR18 paper by the same authors.
    (Abstract einblenden) (PDF) (BIB)

  • Matthias Hengel, Stefan Wölfl und Bernhard Nebel.
    Reasoning about general TBoxes with spatial and temporal constraints: Implementation and optimizations.
    In Proceedings of the 29th International Workshop on Description Logics (DL 2016). 2016.
    (Abstract einblenden) (PDF)

  • Malte Schilling, Stefan Kopp, Sven Wachsmuth, Britta Wrede, Helge J. Ritter, Thomas Brox, Bernhard Nebel und Wolfram Burgard.
    Towards a Multidimensional Perspective on Shared Autonomy.
    In 2016 {AAAI} Fall Symposia. 2016.
    (Abstract einblenden) (Online; PDF; PDF)

  • Marco Ragni, Thomas Barkowsky, Bernhard Nebel und Christian Freksa.
    Cognitive Space and Spatial Cognition: The SFB/TR 8 Spatial Cognition.
    KI 30 (1), S. 83-88. 2016.
    (Abstract einblenden) (Online; DOI)

  • Thorsten Engesser, Thomas Bolander, Robert Mattmüller und Bernhard Nebel.
    Cooperative Epistemic Multi-Agent Planning With Implicit Coordination.
    In Proceedings of the ICAPS-2015 Workshop on Distributed and Multi-Agent Planning (DMAP 2015). 2015.
    Superseded by the M4M 2017 paper by the same authors.
    (Abstract einblenden) (PDF) (BIB)

  • Matthias Westphal, Stefan Wölfl, Bernhard Nebel und Jochen Renz.
    On qualitative route descriptions: Representation, agent models, and computational complexity.
    Journal of Philosophical Logic 44 (2), S. 177-201. 2015.
    (Abstract einblenden) (Online; DOI)

  • Nicolas Riesterer, Christian Becker-Asano, Julien Hué, Christian Dornhege und Bernhard Nebel.
    The Hybrid Agent MARCO.
    In Proceedings of the 16th International Conference on Multimodal Interaction, S. 80-81. 2014.
    (Abstract einblenden) (PDF)

  • Christian Becker-Asano, Kai Oliver Arras und Bernhard Nebel.
    Robotic Tele-presence with DARYL in the Wild.
    In Proceedings of the 2nd International Confernce on Human-Agent Interaction, S. 91-95. 2014.
    (Abstract einblenden) (PDF)

  • Christian Becker-Asano, Eduardo Meneses, Nicolas Riesterer, Julien Hué, Christian Dornhege und Bernhard Nebel.
    The Hybrid Agent MARCO: A Multimodal Autonomous Robotic Chess Opponent.
    In Proceedings of the 2nd International Confernce on Human-Agent Interaction, S. 173-176. 2014.
    (Abstract einblenden) (PDF)

  • Johannes Löhr, Martin Wehrle, Maria Fox und Bernhard Nebel.
    Symbolic Domain Predictive Control.
    In Proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI 2014), S. 2315-2321. AAAI Press 2014.
    (Abstract einblenden) (Online; DOI)

  • Andreas Hertle, Christian Dornhege, Thomas Keller, Robert Mattmüller, Manuela Ortlieb und Bernhard Nebel.
    An Experimental Comparison of Classical, FOND and Probabilistic Planning.
    In Proceedings of the 37th German Conference on Artificial Intelligence (KI 2014), S. 297-308. Springer 2014.
    (Abstract einblenden) (PDF) (BIB)

  • Christian Freksa, Bernhard Nebel, Mary Hegarty und Thomas Barkowsky (Hrsg.).
    Spatial Cognition {IX} - International Conference, Spatial Cognition 2014.
    Springer, Bremen, Germany 2014.

  • Dali Sun, Alexander Kleiner und Bernhard Nebel.
    Behavior-based Multi-Robot Collision Avoidance.
    In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA-14), S. 1668-1673. 2014.
    (Abstract einblenden) (PDF) (BIB)

  • Christian Becker-Asano, Severin Gustorff, Kai Oliver Arras und Bernhard Nebel.
    On the Effect of Operator Modality on Social and Spatial Presence during Teleoperation of a Human-Like Robot.
    In Third Interantional Symposium on New Frontiers in Human-Robot Interaction at AISB50. 2014.
    (Abstract einblenden) (PDF)

  • Christian Becker-Asano, Felix Ruzzoli, Christoph Hölscher und Bernhard Nebel.
    A Multi-Agent System based on Unity 4 for Virtual Perception and Wayfinding.
    Transportation Research Procedia 2, S. 425-455. 2014.
    (Abstract einblenden) (PDF)

  • Bernhard Nebel und Stefan Wölfl.
    Wissensrepräsentation und -verarbeitung.
    In Günther Görz, Josef Schneeberger und Ute Schmid (Hrsg.), Handbuch der Künstlichen Intelligenz, S. 105-128. Oldenbourg Verlag München 2014.

  • Christian Dornhege, Andreas Hertle und Bernhard Nebel.
    Lazy Evaluation and Subsumption Caching for Search-Based Integrated Task and Motion Planning.
    In Proceedings of the IROS workshop on AI-based robotics. 2013.
    (Abstract einblenden) (PDF)

  • Tim Niemueller, Nichola Abdo, Andreas Hertle, Gerhard Lakemeyer, Wolfram Burgard und Bernhard Nebel.
    Towards Deliberative Active Perception using Persistent Memory.
    In Proceedings of the IROS workshop on AI-based robotics. 2013.
    (Abstract einblenden) (PDF)

  • Matthias Westphal, Julien Hué, Stefan Wölfl und Bernhard Nebel.
    Transition Constraints: A Study on the Computational Complexity of Qualitative Change.
    In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI'13), S. 1169-1175. 2013.
    (Abstract einblenden) (Online; PDF) (DBLP)

  • Christian Becker-Asano, Dali Sun, Corinna N. Scheel, Brunna Tuschen-Caffier und Bernhard Nebel.
    Analyzing for emotional arousal in HMD-based head movements during a virtual emergency.
    In Intl. Workshop on Emotion and Computing in conj. with KI2013. 2013.
    (Abstract einblenden) (PDF)

  • Christian Becker-Asano, Philip Stahl, Marco Ragni, Jean-Claude Martin, Matthieu Courgeon und Bernhard Nebel.
    An affective virtual agent providing embodied feedback in the paired associate task: system design and evaluation.
    In Proc. of the 13th. Intl. Conf. on Intelligent Virtual Agents (IVA 2013), S. 406-415. 2013.
    (Abstract einblenden) (PDF)

  • Bernhard Nebel.
    Automatic Planning: Making Autonomous Behavior Possible.
    In 43. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik angepasst an Mensch, Organisation und Umwelt, INFORMATIK 2013. Springer 2013.

  • Bernhard Nebel, Christian Dornhege und Andreas Hertle.
    How Much Does a Household Robot Need To Know In Order To Tidy Up Your Home?
    In AAAI Workshop on Intelligent Robotic Systems. AAAI Press 2013.
    (Abstract einblenden) (PDF) (BIB)

  • Johannes Löhr, Patrick Eyerich, Stefan Winkler und Bernhard Nebel.
    Domain Predictive Control Under Uncertain Numerical State Information.
    In Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS13). 2013.
    (Abstract einblenden) (PDF) (BIB)

  • Christian Becker-Asano, Severin Gustorff, Kai Oliver Arras, Kohei Ogawa, Shuichi Nishio, Hiroshi Ishiguro und Bernhard Nebel.
    Robot embodiment, operator modality, and social interaction in tele-existence: a project outline.
    In Proceedings of the 8th ACM/IEEE international conference on Human-robot interaction, S. 79-80. 2013.
    (Abstract einblenden) (PDF)

  • Kai M. Wurm, Christian Dornhege, Cyrill Stachniss, Bernhard Nebel und Wolfram Burgard.
    Coordinating Heterogeneous Teams of Robots using Temporal Symbolic Planning.
    Autonomous Robots. 2013.
    (Abstract einblenden) (BIB) (Online; DOI)

  • Christian Becker-Asano, Kai Oliver Arras, Bernhard Nebel und Hiroshi Ishiguro.
    The Effect of Anthropomorphism on Social Tele-Embodiment.
    In IROS 2012 Workshop on Human-Agent Interaction. 2012.
    (Abstract einblenden) (PDF)

  • Birgit Kleim, Thomas Ehrig, Corinna Scheel, Christian Becker-Asano, Bernhard Nebel und Brunna Tuschen-Caffier.
    Bewältigungsverhalten in Notfallsituationen aus klinisch-psychologischer Perspektive.
    Zeitschrift für Klinische Psychologie und Psychotherapie 41 (3), S. 166-179. 2012.
    (Abstract einblenden) (Online; DOI)

  • Corinna N. Scheel, Birgit Kleim, Julian Schmitz, Christian Becker-Asano, Dali Sun, Bernhard Nebel und Brunna Tuschen-Caffier.
    Psychophysiologische Belastungsreaktivität nach einem simulierten Feuer in einer Parkgarage.
    Zeitschrift für Klinische Psychologie und Psychotherapie 41 (3), S. 180-189. 2012.
    (Abstract einblenden) (Online; DOI)

  • Johannes Löhr, Bernhard Nebel und Stefan Winkler.
    Planning Based Autonomous Lander Control.
    In Proceedings of the Astrodynamics Specialist Conference (AIAA/AAS 2012). 2012.
    (Abstract einblenden) (Online; DOI)

  • Johannes Löhr, Patrick Eyerich, Thomas Keller und Bernhard Nebel.
    A Planning Based Framework for Controlling Hybrid Systems.
    In Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012). 2012.
    (Abstract einblenden) (PDF)

  • Andreas Hertle, Christian Dornhege, Thomas Keller und Bernhard Nebel.
    Planning with Semantic Attachments: An Object-Oriented View.
    In Proceedings of the European Conference on Artificial Intelligence (ECAI). 2012.
    (Abstract einblenden) (PDF) (BIB)

  • Bernhard Nebel.
    Editorial.
    In Erwin Prassler, Johann Marius Zöllner, Rainer Bischoff, Wolfram Burgard, Robert Haschke, Martin Hägele, Gisbert Lawitzky, Bernhard Nebel, Paul-Gerhard Plöger und Ulrich Reiser (Hrsg.), Towards Service Robots for Everyday Environments - Recent Advances in Designing Service Robots for Complex Tasks in Everyday Environments, S. 45-47. Springer 2012.
    (Abstract einblenden) (Online;DOI)

  • Paul-Gerhard Plöger, Kai Pervölz, Christoph Mies, Patrick Eyerich, Michael Brenner und Bernhard Nebel.
    Component Based Architecture for an Intelligent Mobile Manipulator.
    In Erwin Prassler, Johann Marius Zöllner, Rainer Bischoff, Wolfram Burgard, Robert Haschke, Martin Hägele, Gisbert Lawitzky, Bernhard Nebel, Paul-Gerhard Plöger und Ulrich Reiser (Hrsg.), Towards Service Robots for Everyday Environments - Recent Advances in Designing Service Robots for Complex Tasks in Everyday Environments, S. 19-42. Springer 2012.
    (Abstract einblenden) (Online;DOI)

  • Michael Brenner und Bernhard Nebel.
    Proactive Continual Planning -- Deliberately Interleaving Planning and Execution in Dynamic Environments.
    In Erwin Prassler, Johann Marius Zöllner, Rainer Bischoff, Wolfram Burgard, Robert Haschke, Martin Hägele, Gisbert Lawitzky, Bernhard Nebel, Paul-Gerhard Plöger und Ulrich Reiser (Hrsg.), Towards Service Robots for Everyday Environments - Recent Advances in Designing Service Robots for Complex Tasks in Everyday Environments, S. 65-75. Springer 2012.
    (Abstract einblenden) (Online;DOI)

  • Michael Brenner und Bernhard Nebel.
    Continual Multiagent Planning.
    In Erwin Prassler, Johann Marius Zöllner, Rainer Bischoff, Wolfram Burgard, Robert Haschke, Martin Hägele, Gisbert Lawitzky, Bernhard Nebel, Paul-Gerhard Plöger und Ulrich Reiser (Hrsg.), Towards Service Robots for Everyday Environments - Recent Advances in Designing Service Robots for Complex Tasks in Everyday Environments, S. 77-97. Springer 2012.
    (Abstract einblenden) (Online;DOI)

  • Christian Dornhege, Patrick Eyerich, Thomas Keller, Sebastian Trüg, Michael Brenner und Bernhard Nebel.
    Semantic Attachments for Domain-Independent Planning Systems.
    In Erwin Prassler, Johann Marius Zöllner, Rainer Bischoff, Wolfram Burgard, Robert Haschke, Martin Hägele, Gisbert Lawitzky, Bernhard Nebel, Paul-Gerhard Plöger und Ulrich Reiser (Hrsg.), Towards Service Robots for Everyday Environments - Recent Advances in Designing Service Robots for Complex Tasks in Everyday Environments, S. 99-115. Springer 2012.
    (Abstract einblenden) (Online;DOI)

  • Thomas Keller, Patrick Eyerich und Bernhard Nebel.
    Task Planning for an Autonomous Service Robot.
    In Erwin Prassler, Johann Marius Zöllner, Rainer Bischoff, Wolfram Burgard, Robert Haschke, Martin Hägele, Gisbert Lawitzky, Bernhard Nebel, Paul-Gerhard Plöger und Ulrich Reiser (Hrsg.), Towards Service Robots for Everyday Environments - Recent Advances in Designing Service Robots for Complex Tasks in Everyday Environments, S. 117-124. Springer 2012.
    (Abstract einblenden) (Online;DOI)

  • Erwin Prassler, Johann Marius Zöllner, Rainer Bischoff, Wolfram Burgard, Robert Haschke, Martin Hägele, Gisbert Lawitzky, Bernhard Nebel, Paul-Gerhard Plöger und Ulrich Reiser (Hrsg.).
    Towards Service Robots for Everyday Environments - Recent Advances in Designing Service Robots for Complex Tasks in Everyday Environments.
    Band 76 von Springer Tracts in Advanced Robotics.
    Springer 2012.
    (Online;DOI)

  • Jens Claßen, Gabriele Röger, Gerhard Lakemeyer und Bernhard Nebel.
    PLATAS – Integrating Planning and the Action Language Golog.
    KI – Künstliche Intelligenz 26, S. 61-67. 2012.
    (Authors' preprint. The final publication is available at www.springerlink.com.).
    (Abstract einblenden) (PDF)

  • Alexander Kleiner, Bernhard Nebel und V.A. Ziparo.
    A Mechanism for Dynamic Ride Sharing based on Parallel Auctions.
    In Proc. of the 22th International Joint Conference on Artificial Intelligence (IJCAI). 2011.
    (Abstract einblenden) (PDF) (BIB)

  • Christian Becker-Asano, Dali Sun, Birgit Kleim, Corinna Scheel, Brunna Tuschen-Caffier und Bernhard Nebel.
    Outline of an Empirical Study on the Effects of Emotions on Strategic Behavior in Virtual Emergencies.
    In Affective Computing and Intelligent Interaction, S. 508-517. 2011.
    (Abstract einblenden) (PDF) (BIB)

  • Matthias Westphal, Stefan Wölfl, Bernhard Nebel und Jochen Renz.
    On Qualitative Route Descriptions: Representation and Computational Complexity.
    In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), S. 1120-1125. AAAI Press 2011.
    (Abstract einblenden) (Online; PDF)

  • Antje Krumnack, Leandra Bucher, Jelica Nejasmic, Bernhard Nebel und Markus Knauff.
    A model for relational reasoning as verbal reasoning.
    Cognitive Systems Research 12 (3-4), S. 377-392. 2011.
    (Abstract einblenden) (Online; DOI)

  • Bernhard Nebel und Christian Freksa.
    AI Approaches to Cognitive Systems – The Example of Spatial Cognition.
    Informatik-Spektrum 34 (5), S. 462-468. 2011.
    (Abstract einblenden) (PDF)

  • Cai Zhongjie, Dapeng Zhang und Bernhard Nebel.
    Playing Tetris Using Bandit-Based Monte-Carlo Planning.
    In Proceedings of AISB 2011 Symposium: AI and Games (AISB 2011). 2011.
    (Abstract einblenden) (PDF)

  • Matthias Westphal, Christian Dornhege, Stefan Wölfl, Marc Gissler und Bernhard Nebel.
    Guiding the Generation of Manipulation Plans by Qualitative Spatial Reasoning.
    Spatial Cognition & Computation: An Interdisciplinary Journal 11 (1), S. 75-102. 2011.
    (Abstract einblenden) (Online; DOI) (BIB)

  • Dapeng Zhang und Bernhard Nebel.
    Feature Induction of Linear-Chain Conditional Random Fields - A Study Based on a Simulation.
    In Proceedings of the 3rd International Conference on Agents and Artificial Intelligence (ICAART 2011). 2011.
    (Abstract einblenden) (PDF)

  • Brunna Tuschen-Caffier, Birgit Kleim, Christian Becker-Asano, Dali Sun, Bernhard Nebel und Corinna Scheel.
    Bewältigungsverhalten in virtuellen Notfallsituationen.
    In 7. Workshop Kongress für Psychologie und Psychotherapie. 2011.
    (BIB)

  • Christian Becker-Asano, Dali Sun, Birgit Kleim, Corinna N. Scheel, Brunna Tuschen-Caffier und Bernhard Nebel.
    CoVE: Coping in Virtual Emergencies.
    In Workshop on Emotion and Computing - Current Research and Future Impact, S. 1. 2011.
    (Abstract einblenden) (PDF) (BIB)

  • Dapeng Zhang, Cai Zhongjie und Bernhard Nebel.
    Playing Tetris Using Learning by Imitation.
    In Proceedings of the 11th annual European Conference on Simulation and AI in Computer Games (GAMEON 2010). 2010.
    (Abstract einblenden) (PDF)

  • Kai M. Wurm, Christian Dornhege, Patrick Eyerich, Cyrill Stachniss, Bernhard Nebel und Wolfram Burgard.
    Coordinated Exploration with Marsupial Teams of Robots using Temporal Symbolic Planning.
    In Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2010). 2010.
    (Abstract einblenden) (PDF) (BIB)

  • Thomas Keller, Patrick Eyerich und Bernhard Nebel.
    Task Planning for an Autonomous Service Robot.
    In Rüdiger Dillmann, Jürgen Beyerer, Uwe Hanebeck und Tanja Schultz (Hrsg.), Proceedings on the 33rd Annual German Conference on Artificial Intelligence (KI 2010), S. 358-365. Springer-Verlag 2010.
    (Abstract einblenden) (PDF) (BIB)

  • Christian Dornhege, Patrick Eyerich, Thomas Keller, Michael Brenner und Bernhard Nebel.
    Integrating Task and Motion Planning Using Semantic Attachments.
    In 24th AAAI Workshop: Bridging the Gap Between Task and Motion Planning. AAAI Press 2010.
    (Abstract einblenden)

  • Christian Freksa, Holger Schultheis, Kerstin Schill, Thora Tenbrink, Thomas Barkowsky, Christoph Hölscher und Bernhard Nebel.
    Spatial Cognition: Reasoning, Action, Interaction.
    Künstliche Intelligenz 24 (4). 2010.
    (Abstract einblenden) (Online;DOI)

  • Moritz Göbelbecker, Thomas Keller, Patrick Eyerich, Michael Brenner und Bernhard Nebel.
    Coming Up with Good Excuses: What To Do When No Plan Can be Found.
    In Ronen Brafman, Héctor Geffner, Jörg Hoffmann und Henry Kautz (Hrsg.), Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS 2010), S. 81-88. AAAI Press 2010.
    (Abstract einblenden) (PDF) (BIB)

  • Patrick Eyerich, Thomas Keller und Bernhard Nebel.
    Combining Action and Motion Planning via Semantic Attachments.
    In Proceedings of the Workshop on Combining Action and Motion Planning at ICAPS 2010 (CAMP 2010), S. 19. 2010.
    Extended Abstract.
    (PDF) (BIB)

  • Michael Brenner, Christian Plagemann, Bernhard Nebel, Wolfram Burgard und Nick Hawes.
    Planning and Failure Detection.
    In Henrik Iskov Christensen, Geert-Jan M. Kruijff und Jeremy L. Wyatt (Hrsg.), Cognitive Systems, S. 223-264. Springer 2010.
    (Abstract einblenden) (Online;DOI)

  • Marc Gissler, Christian Dornhege, Bernhard Nebel und Matthias Teschner.
    Deformable Proximity Queries and their Application in Mobile Manipulation Planning.
    In Symposium on Visual Computing (ISVC 2009), S. 79-88. AAAI Press 2009.
    (Abstract einblenden) (PDF) (BIB)

  • Christian Dornhege, Marc Gissler, Matthias Teschner und Bernhard Nebel.
    Integrating Symbolic and Geometric Planning for Mobile Manipulation.
    In IEEE International Workshop on Safety, Security and Rescue Robotics (SSRR 2009). 2009.
    (Abstract einblenden) (PDF) (BIB)

  • Dapeng Zhang, Cai Zhongjie, Chen Kefei und Bernhard Nebel.
    A Game Controller Based on Multiple Sensors.
    In In Proceedings of the Fifth International Conference on Advances in Computer Entertainment Tochnology (ACE 2009). 2009.
    (Abstract einblenden) (PDF)

  • Christian Dornhege, Patrick Eyerich, Thomas Keller, Sebastian Trüg, Michael Brenner und Bernhard Nebel.
    Semantic Attachments for Domain-Independent Planning Systems.
    In Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS 2009), S. 114-121. AAAI Press 2009.
    (Abstract einblenden) (PDF) (BIB)

  • Michael Brenner und Bernhard Nebel.
    Continual Planning and Acting in Dynamic Multiagent Environments.
    Journal of Autonomous Agents and Multiagent Systems 19 (3), S. 297-331. 2009.
    (Abstract einblenden) (PDF) (BIB)

  • Jie Bao, Uldis Bojars, Tanzeem Choudhury, Li Ding, Mark Greaves, Ashish Kapoor, Sandy Louchart, Manish Mehta, Bernhard Nebel, Sergei Nirenburg, Tim Oates, David L. Roberts, Antonio Sanfilippo, Nenad Stojanovic, Kristen Stubbs, Andrea Lockerd Thomaz, Katherine M. Tsui und Stefan Wölfl.
    Reports of the AAAI 2009 Spring Symposia.
    AI Magazine. 2009.
    (Abstract einblenden) (Online; DOI)

  • Bernhard Nebel und Jochen Renz.
    A fixed-parameter tractable algorithm for spatio-temporal calendar management.
    In Proceedings of the 21th International Joint Conference on Artificial Intelligence (IJCAI 2009), S. 879--884. AAAI Press 2009.
    (Abstract einblenden) (Online; PDF)

  • Bernhard Nebel und Stefan Wölfl.
    Benchmarking of Qualitative Spatial and Temporal Reasoning Systems.
    2009.
    AAAI Technical Report SS-09-02.
    (Abstract einblenden) (Online; AAAI)

  • Paul Plöger, Kai Pervölz, Christoph Mies, Patrick Eyerich, Michael Brenner und Bernhard Nebel.
    The DESIRE Service Robotics Initiative.
    Künstliche Intelligenz 08 (4), S. 29-32. 2008.
    (Abstract einblenden) (PDF)

  • Patrick Eyerich, Michael Brenner und Bernhard Nebel.
    On the Complexity of Planning Operator Subsumption.
    In Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), S. 518-527. AAAI Press 2008.
    (Abstract einblenden) (PDF) (BIB)

  • Gabriele Röger, Malte Helmert und Bernhard Nebel.
    On the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle.
    In Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), S. 544-550. AAAI Press 2008.
    (Abstract einblenden) (PDF)

  • Jussi Rintanen, Bernhard Nebel, J. Christopher Beck und Eric Hansen (Hrsg.).
    Proceedings of the 18th International Conference on Automated Planning and Scheduling (ICAPS 2008).
    AAAI Press, Menlo Park, California USA 2008.

  • Thilo Weigel und Bernhard Nebel.
    Tischfußball: Mensch versus Computer.
    Informatik Spektrum 31, S. 323-332. 2008.
    (Abstract einblenden) (PDF)

  • Diedrich Wolter, Frank Dylla, Stefan Wölfl, Jan Oliver Wallgrün, Lutz Frommberger, Bernhard Nebel und Christian Freksa.
    SailAway: Spatial Cognition in Sea Navigation.
    Künstliche Intelligenz 08 (1), S. 28-30. 2008.
    (Abstract einblenden) (PDF)

  • Frank Dylla, Diedrich Wolter, Lutz Frommberger, Christian Freksa, Stefan Wölfl und Bernhard Nebel.
    Qualitative Methoden zur Steuerung von Agenten - SailAway: Raumkognition zur Steuerung von Schiffen.
    Industrie Management 4. 2008.
    (BIB)

  • Sebastian Kupferschmid, Martin Wehrle, Bernhard Nebel und Andreas Podelski.
    Faster than Uppaal?
    In A. Gupta und S. Malik (Hrsg.), Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008), S. 552-555. Springer-Verlag 2008.
    (Abstract einblenden) (PDF) (BIB)

  • Dapeng Zhang, Bernhard Nebel und Armin Hornung.
    Switching Attention Learning - A Paradigm for Introspection and Incremental Learning.
    In Proceedings of Fifth International Conference on Computational Intelligence, Robotics and Autonomous Systems (CIRAS 2008), S. 99-104. Linz, Austria 2008.
    (Abstract einblenden) (PDF)

  • Jochen Renz und Bernhard Nebel.
    Qualitative Spatial Reasoning using Constraint Calculi.
    In M. Aiello, I. Pratt-Hartmann und J. van Benthem (Hrsg.), Handbook of Spatial Logics, S. 161-215. Springer-Verlag 2007.
    (Online; DOI)

  • Dapeng Zhang und Bernhard Nebel.
    Recording and Segmenting Table Soccer Games -- Initial Results.
    In Proceedings of the 1st International Symposium on Skill Science 2007 (ISSS 2007), S. 193-195. 2007.
    (Abstract einblenden) (PDF)

  • Dapeng Zhang und Bernhard Nebel.
    Learning a Table Soccer Robot a New Action Sequence by Observing and Imitating.
    In Proceedings of the Third Artificial Intelligence for Interactive Digital Entertainment Conference (AIIDE 2007), S. 61-67. 2007.
    (Abstract einblenden) (PDF)