Dr. Pascal Bercher

In November 2019 I've left the institute and joined the Research School of Computer Science at ANU (Canberra/Australia). Here's the link to my new webpage, where you can also find my new email address. Please note that this page (below) will thus not be updated anymore (although some publications might still be added automatically in case they are with people from this institute).
In July of 2009, I joined the AI Institute at Ulm University, where I am working in the field of Automated Planning, a subfield of Artificial Intelligence (AI). I received my PhD (Dr. rer. nat.) in December 2017 for my thesis Hybrid Planning - From Theory to Practice.
Large parts of my research are motivated by applying AI planning techniques for advanced assistance systems for human users. I am pursuing this goal within the Transregional Collaborative Research Centre SFB/Transregio 62 (SFB-TRR-62) "A companion-technology for cognitive technical systems". I am working in the part project A1, "adaptive planning and decision making". I am also coordinating a transfer project that originated from the previous one, called "Do it yourself, but not alone: Companion-Technology for Home Improvement".
Apart from applying AI planning in practice for the development of assistance systems, my research is concerned with theoretical planning foundations as well as search and heuristics. Please take a look at "Research Interests" (see below) for a more elaborate list of my specific research directions within the field of AI planning.
You can also find me on DBLP and Google Scholar.
My research interests can roughly be categorized into two main streams: Foundations of Hierarchical Planning and their application for User-Centered Planning. For a more detailed overview, I want to refer to my dissertation "Hybrid Planning -- From Theory to Practice".
Foundations of Hierarchical Planning
Hierarchical planning refers to a problem class that is centered around the decomposition of abstract tasks until an executable task network is generated. Such a task network consists of only primitive tasks and posseses a linearization that is executable in the initial state. Our institute developed an extension of standard hierarchical planning, which is often referred to as hierarchical task network (HTN) planning, to hybrid planning. Hybrid planning extends HTN planning via concepts known from partial-order causal-link (POCL) planning in the following ways:
My research includes the following topics:
User-Centered Planning
With user-centered planning, we refer to the application of human/computer interaction technology and planning techniques that are centered around human users as a basis to provide automated assistance in a wide variety of possible applications.
User-centered planning capabilities are capabilities that are essential when planning is applied in the real world, in particular when human users are involved. These include:
We created a prototype system that illustrates the integration of these techniques by providing automated support in setting up a complex home theater. The respective system was demonstrated at AAAI 2015 (see the paper "A Planning-based Assistance System for Setting Up a Home Theater" at AAAI 2015) and described in detail in the ICAPS 2014 paper "Plan, Repair, Execute, Explain - How Planning Helps to Assemble your Home Theater".
I am supporting my colleagues Gregor Behnke and Daniel Höller in the organization of the International Planning Competition 2020, which in this year is entirely about Hierarchical Planning. You'll find all the information under http://ipc2020.hierarchical-task.net.
I was in the appointment committee for the new Junior Professorship in Explainable Artificial Intelligence in 2019.
Together with Gregor Behnke, Vikas Shivashankar, and Ron Alford, I was organizing the Second ICAPS Workshop for Hierarchical Planning (at ICAPS 2019).
I was the initiator of the very first Workshop for Hierarchical Planning, which was held at ICAPS 2018. I organized it together with Daniel Höller, Susanne Biundo, and Ron Alford. Further information is available on the workshop's webpage: http://icaps18.icaps-conference.org/hierarchicalplanning/
Together with Daniel Höller, I gave the first Tutorial on HTN Planning at ICAPS 2018. Here, you can download the slides.
I was a guest editor for the journal "KI - Künstliche Intelligenz" for the special issue on companion-technologies, which appeared in February 2016. You find the editorial (and other articles that I co-authored in that special issue) in my publication list.
I was in charge of creating a video that promotes our planning-based assistant for setting up a complex home theater. The video further explains the applied scientific technologies for a not necessarily scientific audience.
Program Committee (PC) member at conferences:
Program Committee (PC) member at workshops:
Reviewer for journals:
Reviewer for conferences (in addition to the PC memberships):
Reviewer for workshops:
Invited Talks:
I am in charge of managing the following mailing lists:
University of Freiburg
While I was still a student of Computer Science at the University of Freiburg, I was a tutor for several lectures. There, being a tutor implied correcting exercises (and exams, but don't tell! :)) and being a lecturer of the respective practice groups. These are the respective lectures:
Ulm University
Lectures delivered:
In SS 2019 I delivered 5 lecture classes in the course Introduction to Computer Science.
In WS 2018/2019 I delivered a lecture on Hierarchical Planning that was conceptualized and delivered by myself.
Lectures supported:
I was supporting my colleagues in several AI planning and foundational AI lectures. The lectures listed below are only those which I was responsible for (which includes creating the exercises and exams as well as being a lecturer of the respective exercise classes).
Seminars organized and supported:
I was a supervisor for one to three seminar participants in all of the following seminars:
Introductory Seminars:
Seminars:
I did also supervise several Bachelor, Master, and Diploma theses as well as practicals and research and develpment projects. For a complete list, see the entry "Supervised Theses".
Our technology transfert project Do it yourself, but not alone: Companion-Technology for Home Improvement that was coordinated by my for its entire runtime from 2016 to 2019 won Ulm University's "Cooperation Award: Science – Economy 2019" (German: Kooperationspreis: Wissenschaft – Wirtschaft 2019).
My dissertation won the ICAPS 2019 Best Dissertation Award.
I was selected as Outstanding Program Committee Member at AAAI 2019.
In received an Outstanding Reviewer Award for the (Elsevier) journal Theoretical Computer Science.
The paper A Generic Method to Guide HTN Progression Search with Classical Heuristics by Daniel Höller, me, Gregor Behnke, and Susanne Biundo won the ICAPS 2018 Best Student Paper Award.
The paper Plan and Goal Recognition as HTN Planning by Daniel Höller, Gregor Behnke, me, and Susanne Biundo won the ICTAI 2018 Best Paper Award.
The paper Towards a Companion System Incorporating Human Planning Behavior -- A Qualitative Analysis of Human Strategies by Benedikt Leichtmann, me, Daniel Höller, Gregor Behnke, Susanne Biundo, Verena Nitsch, and Martin Baumann won the TCST 2018 Best Paper Award at the Transdisciplinary Conference on Support Technologies.
Ulm University nominated my dissertation for the GI Best Dissertation Award 2017, a national award (joint with the GI Germany, Switzerland, and Austria) for the best dissertation in the field of Computer Science. The GI (Gesellschaft für Informatik, eng: Society for Computer Science) encourages nominations that make progress in the field of Computer Science or related practical-oriented areas; they should further have some impact on the today's society. The final winners were announced here. All nominated dissertations are described in 10-page abstracts (in German), which will be published in the proceedings "Ausgezeichnete Informatikdissertationen" (eng: awarded Computer Science Dissertations).
The system demo paper "A Planning-based Assistance System for Setting Up a Home Theater" at AAAI 2015 was selected as one of five to be presented at a press conference that was hold during the AAAI conference 2015. They selected only papers that are of interest to the public due to its relevance for today's society.
I was coordinating the technology transfer project "Do it yourself, but not alone: Companion-Technology for Home Improvement" from the end of 2016 to the end of 2019 (i.e., the entire project's runtime). In the prokect, our AI Institute and the Institute of Communications Engineering was working together with Robert Bosch GmbH.
From 2009 to 2017 I was working in the Transregional Collaborative Research Centre SFB/Transregio 62 (SFB-TRR-62) "A companion-technology for cognitive technical systems".
While I was a student at the University of Freiburg, my student research project (similar to Bachelor thesis) as well as my Diploma thesis (similar to Master thesis) -- which resulted in various publications -- were motivated by AVACS (Automatic Verification And Analysis of Complex Systems).
I supervised various theses, projects, and practicals - see list below. Many of those were supervised by me and another colleage (or the other way round). A list of all theses that were written at our institute are listed here.
Diploma and Master Theses:
Bachelor Theses:
Research and Development Projects:
Practicals:
I am one of the main developers of PANDA (Planning and Acting in a Network decomposition Architecture). PANDA is a planning system capable of solving hybrid planning problems. As such, it can also solve HTN problems, POCL problems, and classical planning problems.
PANDA1 was developed by my former colleague Dr. Bernd Schattenberg. PANDA2 was mainly developed by me and my former colleage Bastian Seegebarth. We stopped the development and support of both versions. The current version, PANDA3, is mainly developed by my colleagues Gregor Behnke and Daniel Höller. However, the idea of reimplementing the planner was strongly encouraged by me and I was contributing my experience with PANDA2 towards design choices taken for PANDA3. I was also the driving force in making PANDA3 available as open source project and was organizing the prerequisites like legal matters.
DOI: | 10.3233/FAIA241005 |
Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2024/Olz24ILP.pdf |
DOI: | https://doi.org/10.1609/aaai.v38i18.30000 |
Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2024/Lin2024PlanVerificationComplexity.pdf |
DOI: | https://doi.org/10.1609/socs.v16i1.27284 |
Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2023/Olz23Loohahead.pdf |
DOI: | https://doi.org/10.1609/icaps.v33i1.27209 |
Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2023/Olz23ConjunctivePossEffs.pdf |
Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2023/Wu2023IPCLinearizer.pdf |
Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2023/Olz23PandaDealer.pdf |
Datei: |
DOI: | 10.1007/s13218-021-00721-x |
Datei: | https://doi.org/10.1007/s13218-021-00721-x |
Weblink: | https://rdcu.be/cmGwb |
Datei: | http://link.springer.com/article/10.1007/s13218-021-00721-x |
DOI: | https://doi.org/10.1609/aaai.v35i13.17414 |
Datei: |
Datei: |
Datei: |
Datei: |
Datei: | https://jair.org/index.php/jair/article/view/11282/26578 |
Datei: |
Datei: |
DOI: | https://doi.org/10.1609/aaai.v34i06.6530 |
Datei: |
Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/KSBB20a.pdf |
Datei: |
Datei: |
DOI: | 10.3233/AIC-180604 |
Datei: |
DOI: | 10.1609/icaps.v29i1.3493 |
Datei: |
Datei: |