- Nov. 2019 -- today: (tenure-track) Lecturer (Eng.: Assistance Professor) at ANU. I gave and probably will give several Guest Lectures on AI, Planning, and Games. Teaching-wise, my main responsibility is, however, teaching the Logic course, which I will co-deliver with (Lecturer) Yoshihiro (Yoshi) Maruyama.
- Oct. 2016 -- Oct. 2019: Project coordinator (over the entire runtime) of the technology transfer project Do it yourself, but not alone: Companion-Technology for Home Improvement, which was a collaboration between two Institutes of Ulm University and the Corporate Research Sector of Robert Bosch GmbH.
- July 2009 -- Dec. 2017: Dr. rer. nat. at the Institute of Artificial Intelligence of Ulm University, Germany. My supervisor was Prof. Dr. Susanne Biundo-Stephan.
- Oct. 2003 -- June 2009: Studies of Computer Science (Diploma, which is roughly Bachelor + Master in one degree) at the University of Freiburg, Germany.
I am doing research in the fields of Hierarchical Task Network (HTN) Planning and Partial Order Causal Link (POCL) Planning. I'm interested in theoretical foundations (mostly complexity analyses), algorithms, and heuristics of/for those fields. For a more detailed description of my research interests see the respective tab or check out some of my papers.
PhD under my Supervision:
- Scholarships / Funding: I don't have any scholarships that I can hand out directly, but the school/college give/s out scholarships to the best of the best (the entire process takes time, so be patient). Thus, if you are a straight A / HD student (i.e., having only *very* good marks), then please reach out to me (otherwise it's probably not worth our time). If your profile fits my research expertise and interests, we can apply for such a scholarship -- and we might just be lucky. I would also be willing to supervise self-funded PhD students, but also then I only accept the best of the best. If in doubt, contact me!
- Who can apply? My time is precious, so I will only accept straight A / HD students. You might be a bit weaker in courses that don't relate, but I expect that you can read and understand formalism-heavy scientific papers (eventually, clearly, you are no expert yet!). You will have to have basic background knowledge in related areas. Obviously, having attended courses like Artificial Intelligence (search, heuristics, planning etc.) would be invaluable, but also general computer science courses like Complexity Theory / Theory of Computation, or even Graph Theory could suffice. Just convince me that you have what it takes to be successful! I only have the highest expectations from anybody I supervise. But I will offer an for-me-unhealthy amount of supervision and guidance as payback. Also, my field is super-interesting, and there is a lot to explore, so take the opportunity!
- How to apply? First of all, write your email with care, I do not want to see mistakes and carelessness. Don't worry if you are not perfect in writing (or speaking) English, I do not care about this! But I care about the effort you take. Even if you only speak relatively weak English, you should know where to place a dot when ending a sentence. You should know which words to capitalize, and by all means, after each dot and comma (etc.) there has to be a blank! Write a careless email and I will classify it as SPAM. Please skip the title, just call me Pascal. If you want to prove your respect towards me, do this by taking time for your email, not by "praising" (...) me or using titles. I will let you decide what to put into your application, but clearly I require a transcript and a few sentences about your background and why you would like to pursue a PhD (maybe more specific, i.e., why in planning). I might then give you a very few papers to read so we can have an interview about it. Pass that and we see further. Also, don't be afraid writing me! I'm a nice guy, seriously :), I just put these general guidelines here to save us all a bit of time.
- Further information? Read the ANU PhD scholarship info page and some more information on ANU MPhil and PhD scholarships and applications.
- PhD in Planning at another University? If you are a great student, then of course I would love to supervise you! Sadly, there is always limited funding, so I cannot accept everybody. PhD positions in planning from everywhere around the world are regularly posted over the following two mailing lists, so you might consider subscribing them - only if your application with me is isn't successful! ;)
- planning-listAT~SYMBOLgooglegroups.com. The is a general mailing list for planning.
- icaps-conferenceAT~SYMBOLgooglegroups.com. This belongs to the ICAPS conference series, the premier conference on Automated Planning and Scheduling.
- December 2020: My ICAPS workshop on Hierarchical Planning, HPlan 2021, got accepted! The website (including the call for papers) will go online in a couple of weeks. Once it's online it can be reached via hplan2021.hierarchical-task.net. Please consider submitting a paper!
Before I joined ANU I was also involved in teaching at two other Universities: University of Freiburg, Germany (where I was still a student) and at Ulm University, Germany, where I did my PhD and (almost) two years of post-doc.
- In S1 of 2021 (and following), I will be, together with Yoshihiro (Yoshi) Maruyama), the convenor of the lecture Logic (COMP2620/COMP6262/PHIL2080).
- In S2 of 2021 (and, probably, following), I will be the co-convenor (main convenor is Hanna Kurniawati) of the lecture Algorithms (COMP3600/6466).
- In S1 of 2020, I held a guest lecture (2 hours, but stretched to 3 hours in the recordings to include more explanations) in the lecture Advanced Computing R&D Methods (COMP2550/4450/6445) by Jochen Renz. The lecture was on Theoretical Research Methods, with a focus on Heuristic Properties in Search and Classical Planning. Slides.
- In S2 of 2020, I held a guest lecture on AI in Games in Steve Blackburn's lecture Structured Programming (COMP1110). Slides.
- In S2 of 2020, will give a guest lecture on Classical Planning in the Canberra Computer Science Enrichment course for high school students, organized by Josh Milthorpe. Slides. Hands-on material.
- In S1 of 2020, I acted as the assistant (together with Yoshihiro (Yoshi) Maruyama) to the lecture Logic (COMP2620/COMP6262/PHIL2080) by John Slaney.
- In S1 to S2 to 2020, I supervised one 24 pt Honours research project
- 24pt Honours: On the generation of user-friendly plan linearizations. (Primary supervisor)
- In S2 of 2020, I supervised 4 research projects
- 6pt: Solving Minesweeper using Classical Planning with Global State constraints. (Secondary supervisor)
- 6pt: [details omitted for now; will be added soon.] (Sole supervisor)
- 12pt: Solving the waiter's tray puzzle using planning. (Primary supervisor)
- 12pt: Solving puzzle games using constraint solvers. (Primary supervisor)
- In S2 of 2020, I will serve as examiner of two research projects
- 12pt, in the context of SAT solving and protocol verification
- 24pt Honours, in the context of planning under uncertainty
- In SS 2019 I delivered 5 lecture classes (25 % of the entire lecture) in the course Introduction to Computer Science.
- In WS 2018/2019 I delivered a course on Hierarchical Planning that was conceptualized and delivered by myself.
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).
- Intelligent Planning (SS 18)
- Intelligent Planning (WS 17/18)
- Intelligent Planning (SS 17)
- Introduction to Artificial Intelligence (WS 17/18)
- Introduction to Artificial Intelligence (WS 13/14)
- Introduction to Artificial Intelligence (WS 12/13)
- Introduction to Artificial Intelligence (SS 10)
Seminars organized and supported:
I was a supervisor for one to three seminar participants in all of the following seminars:
- Artificial Intelligence (SS 19) -- this seminar was organized by me
- Artificial Intelligence (SS 18)
- Artificial Intelligence (WS 17/18)
- Artificial Intelligence (SS 17)
- Artificial Intelligence (SS 16)
- Artificial Intelligence (WS 15/16)
- Artificial Intelligence (SS 15)
- Artificial Intelligence (SS 13)
- Artificial Intelligence (SS 12)
- Advances in Artificial Intelligence (WS 17/18)
- Advances in Artificial Intelligence (SS 17)
- Artificial Companions (SS 16)
- Advances in Artificial Intelligence (WS 13/14)
- Advances in Artificial Intelligence (WS 12/13)
- Advances in Artificial Intelligence (SS 12)
I did also do supervision:
- 3 Diploma or Master Theses (Diploma Theses do not exist anymore, they are essentially the same as Master Theses). Master Theses are essentially the same as 24 point Honours research projects at ANU.
- 9 Bachelor Theses. A Bachelor theses can be regarded a bit more than a 12 point research project at ANU.
- 5 Projects and Practicals. These can differ severely in their length and can be compared with either 12 or even 24 point research projects at ANU. The major differences are that they are focused on programming something, so there does not need to be any scientific research involved. Secondly, students are only required to write a "report" rather than a "thesis", which is not nearly as scientific and long as a thesis required to be.
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:
- Formal Methods and Programming (WS 08/09, Lecture of Cognitive Science)
- Foundations of Artificial Intelligence (SS 08)
- Foundations of Artificial Intelligence (SS 07)
- Computer Science I (WS 05/06)
As my doctoral thesis, my research interests span from theory to practice -- content-wise all is concerned with either Hierarchical Task Network (HTN) planning or Partial Order Causal Link (POCL) planning.
Hierarchical Task Network Planning
Short explanation of HTN planning: HTN planning is an approach to planning that's centered around problem decomposition. We are given an initial task network -- a partially ordered set of primitive or compound (or abstract) tasks. Primitive tasks are the actions known from classical planning, i.e. they specify preconditions and effects stating in which states they are applicable and how they chance a state if applied. Compound tasks are just abstracts of pre-defined task networks, so they are essentially just (parametrized) names like go(Canberra,Sydney). The planning model specifies rules how they can be achieved. These rules, called decomposition methods, are simply mappings to pre-defined task networks, which can in turn contain compound tasks. The goal is to refine the initial task network into a primitive one that is executable. HTN planning is more expressive than classical planning, where this mechanism of task decomposition does not exist. In its most general form (as just explained) it's undecidable.
My research interests in HTN planning are, roughly ordered by my interest:
- Design of well-informed heuristics. (This is still a young field with only a limited number of heuristics available.)
- Investigation of the computational complexity of various problems like the plan existence problem (how hard is it do decide whether there exists a solution?)
- Essentially all questions that are related to incorporating human users into the loop. These comprise:
- Plan abstraction and presentation (how can plans be presented on a more abstract level? can we stop planning on more abstract levels?)
- Plan linearization and presentation (in which order should plan steps be presented to a human user so that the pan's execution order seems reasonable?)
- Plan explanations (how to find reasonable explanations for plans and how they look like?)
Partial Order Causal Link (POCL) Planning
Short explanation of POCL planning: POCL planning is a technique for solving classical panning problems, where we would like to find a plan in order to achieve some (state-based) goals. In POCL planning, this is done in the space of partially ordered (also called non-linear) plans. Search is done in a regression-like fashion starting with the goals: select a condition not yet achieved (called "open") and select an appropriate action (i.e., with matching effect) from the plan or model and "document" that goal achievement by the insertion of a so-called causal link. Tis procedure is repeated until a goal plan has been found. Since search nodes are partially ordered plans (rather than states as in standard progression search), heuristic desingn is much more complicated.
Some more background of POCL planning: Since roughly 15 years this kind of problem solving is generally regarded outdated (some even say obsolete!) because state-based progression search is simply much more efficient nowadays. However, this argument is a purely empirical one. Moreover, there is a vast variety of well-informed heuristics in classical state-based planning, but almost none exist in POCL planning. Hence, it's interesting to imagine where POCL could be by now if we had as well-informed heuristics for that search as well. (Whether this can even be is another question, as some of my theoretical results indicate that heuristic design is computationally harder than in the progression setting.) Another important note to make is that POCL techniques are still used in hierarchical planning, as one of the few standard techniques for solving HTN problems relies on POCL planning techniques.
My research interests in POCL planning are, roughly ordered my interest:
- Design of well-informed heuristics. (Again, almost no heuristics exist so far!)
- Investigation of the computational complexity related to POCL plans (such as the plan existence or plan optimization.)
Well, most that I am interested in is already covered above as part of HTN planning: When ever one integrates a human into the loop, several new questions arise that need to be addressed in a systematic way. For instance, once we have found a solution to a problem (i.e., a plan) that plan can be executed successfully as otherwise it wouldn't be a solution. However, for a human it might be a big difference in which order its actions are executed (by him or her) since there might be a switch of contexts that could be confusing or even annoying. Finding a reasonable (we called it "user-friendly") reordering is one such task that can be investigated on both a formal and an empirical level. Other related questions, as mentioned above, are the presentation of plans on higher levels of abstraction and the explanation of plans.
Another important aspect in the practical application of planning technology is the planning language's level of expressiveness. In order to solve real-world problems, we need to be able to express time (at the least!) or more generally functions. This will require new formalisms, reductions, and heuristics.
Potential student projects
Selected Conference Papers:
Best Paper Awards:
- Shortlisting for the KI 2020 Best Paper Award
For the paper HTN Plan Repair via Model Transformation by Daniel Höller, Pascal Bercher, Gregor Behnke, and Susanne Biundo, published at the German Conference on Artificial Intelligence (KI) 2020
- ICAPS 2018 Best Student Paper Award
For the paper A Generic Method to Guide HTN Progression Search with Classical Heuristics by Daniel Höller, Pascal Bercher, Gregor Behnke, and Susanne Biundo, published at the International Conference of Planning and Scheduling (ICAPS) 2018
- ICTAI 2018 Best Paper Award
For the paper Plan and Goal Recognition as HTN Planning by Daniel Höller, Gregor Behnke, Pascal Bercher, and Susanne Biundo, published at the International Conference on Tools in Artificial Intelligence (ICTAI) 2018
- TCST 2018 Best Paper Award
For the paper Towards a Companion System Incorporating Human Planning Behavior -- A Qualitative Analysis of Human Strategies by Benedikt Leichtmann, Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo, Verena Nitsch, and Martin Baumann, published at the Transdisciplinary Conference on Support Technologies (TCST) 2018
Best Reviewer Awards:
To maintain anonymity, honours and awards for journals are listed at the end, in a meaningless order, without any year, probably severely outdated (also to maintain anonymity, like for journal reviewing).
- AAAI 2019 Outstanding Program Committee Member
Six out of 2201 program committee members (2.7 ‰) won this award.
- Theoretical Computer Science Outstanding Reviewer Award (Elsevier journal)
Further Honours and Awards:
- Cooperation Award: Science – Economy 2019
The research project Do it yourself, but not alone: Companion-Technology for Home Improvement" that was coordinated by me for its entire runtime from 2016 to 2019 won Ulm University's "Cooperation Award: Science – Economy 2019" (German: Kooperationspreis: Wissenschaft – Wirtschaft 2019).
- ICAPS 2019 Best Dissertation Award
For my dissertation Hybrid Planning -- From Theory to Practice
Award description from ICAPS website:
The dissertation stands out by covering a lot of ground:
It formalizes and develops planning with hierarchical task networks (HTNs) toward a hybrid formalism that includes partial-order causal link planning;
it presents complexity results for the resulting problem classes;
it develops heuristics for hybrid planning;
it describes the implementation of a hybrid planner and its integration into a companion device that assists in the set-up of a home theater system; and
it performs a user study to evaluate the system. The dissertation also rekindled interest in HTN planning by putting it on firm formal ground and connecting it to recent developments in classical planning.
- Nomination for the GI Best Dissertation Award 2017
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. My 10-page dissertation abstract (in German), as well as all other nominated dissertations, are published in the Proceedings "Ausgezeichnete Informatikdissertationen" (eng: Awarded Computer Science Dissertations).
- Paper Presentation at Press Conference of AAAI 2015
I was presenting my system demo paper "A Planning-based Assistance System for Setting Up a Home Theater" (AAAI 2015) at a press conference that was hold during the AAAI conference 2015. They selected five papers that are of interest to the public due to their relevance for today's society.
Reviewer for journals:
(Mostly severely outdated and years omitted -- both on purpose to maintain anonymity.)
- Journal of Artificial Intelligence (JAIR)
(at least 1 article)
- Theoretical Computer Science
(at least 1 article, awarded for outstanding reviewing)
- IEEE Transactions on Systems, Man and Cybernetics: Systems
(at least 1 article)
- KI – Künstliche Intelligenz
(at least 3 articles in a Special Issue on Companion Technologies for which I was a guest editor)
Reviewer for book chapters:
- 2020: Handbuch der Künstlichen Intelligenz (Eng.: Handbook of AI), Eds.: Görz, Schneeberger, Schmid
(reviewed one chapter)
- 2017: Companion Technology: A Paradigm Shift in Human-Technology Interaction, Eds.: Biundo and Wendemuth
(reviewed two chapters)
Senior Program Committee (SPC) member at conferences:
- IJCAI: 2021
- ICAPS: 2019, 2021
Program Committee (PC) member at conferences:
- IJCAI: 2013, 2019–2020
- IJCAI-ECAI: 2018
- ECAI: 2020
- AAAI: 2015, 2017–2019*, 2021
(honored as outstanding PC member for AAAI 2019)
Program Committee (PC) member at workshops:
- HPLAN, i.e., Hierarchical Planning: 2018-2021 (I was also its chair)
- WIPC, i.e., workshop of the IPC: 2021 (I was also an organizer)
- XAIP, i.e., Explainable Planning: 2020
Reviewer for conferences (in addition to the PC/SPC memberships):
- ICAPS: 2012, 2015–2018, 2020
- ECAI: 2016
- AAAI: 2012, 2014, 2020
- KI: 2012–2013
- SRC: 2020 (ANU's Student Research Conference)
Reviewer for workshops:
- Computer Games Workshop: at IJCAI 2017
- I gave a keynote speech about Companion Systems at the Digital Companion Workshop at MuC (Mensch und Computer; eng.: Human and Computer) 2018 in Dresden, Germany. Slides. Slides including embedded videos.
- At KI 2017 I presented my 2017 IJCAI paper "An admissible HTN planning heuristic" in the "sister conference track".
- In November 2017, I was invited to discuss the potentials and risks of AI in a so-called Junior Science Working Group of a high school in Fulda, Germany, in a plenum discussion together with other experts on the field (Prof. Dr. Gepperth, Prof. Dr. Winzerling, and Dr. Quarch).
Conference, Workshop, and Competition Organization, Session chairing:
- I was the initiator of the ICAPS Workshop for Hierarchical Planning (HPlan) – to the best of our knowledge the very first workshop dedicated to hierarchical planning. It runs every year and can be reached via hplanYYYY.hierarchical-task.net (substitute YYYY by the year).
- 2018, co-organized with Daniel Höller, Susanne Biundo, and Ron Alford.
http://icaps18.icaps-conference.org/hierarchicalplanning/ (or: hplan2018.hierarchical-task.net)
- 2019, co-organized with Gregor Behnke, Vikas Shivashankar, and Ron Alford
http://icaps19.icaps-conference.org/workshops/Hierarchical-Planning/ (or: hplan2019.hierarchical-task.net)
- 2020, co-organized with Daniel Höller, Roman Bartak, and Ron Alford
https://icaps20subpages.icaps-conference.org/workshops/hplan/ (or: hplan2020.hierarchical-task.net)
- 2021, co-organized with Jane Jean Kiam, Zhanhao Xiao, and Ron Alford
http://icaps21.icaps-conference.org/workshops/HPlan/ (or hplan2021.hierarchical-task.net)
- 2018, co-organized with Daniel Höller, Susanne Biundo, and Ron Alford.
- Together with Gregor Behnke and Daniel Höller, I was an organizer of the IPC 2020 on Hierarchical Task Network (HTN) Planning. For more information (and results!) see http://ipc2020.hierarchical-task.net.
- I acted as a session chair at:
- ICAPS 2019, session on hybrid planning and algorithm selection.
- ICAPS 2019, session on hybrid planning and algorithm selection.
Further Services to the AI Community and the Public:
- Together with Daniel Höller, I gave the first .
- I was a guest editor for the journal "KI - Künstliche Intelligenz" for the Special Issue on Companion-Technologies, which appeared in February 2016.
- I was in charge of creating a video that promotes a planning-based assistant for setting up a complex home theater. The video further explains the applied scientific technologies for a not necessarily scientific audience.
Services to the University:
- I was in the appointment committee for the new Assistance Professorship (German: Junior-Professor) in Explainable Artificial Intelligence at Ulm University, Germany in 2019.
- From October 2016 to October 2019 I was the project coordinator for the technology transfer project Do it Yourself, but not alone: Companion-Technology for Home Improvement.
I use this page to make all downloads and links available that could be interesting and useful for some.
- Tutorial on HTN planning (from 2018) by me and my former colleague Daniel Höller
- A video explaining how Hierarchical Planning can be applied to realize assistance support for complex reasoning tasks -- illustrated with a system that supports in the task of setting up a home theater. All deployed technologies (such as hierarchical planning) get explained tailored to a general non-scientific audience: video
- Lecture slides introducing classical planning from scratch (from S1 2020), focusing on heuristic search, one 2-hour lecture: Slides
- Lecture slides introducing classical planning from scratch (from S2 2020), focusing on modeling via PDDL, one 1.5-hour lecture with hands-on exercises: Slides. Hands-on material.
AI in Games
Theoretical Computer Science / Foundations of Computing
- Lecture slides on Deterministic Finite State Automata (DFSAs; also called Deterministic Finite State Machines (DFSMs) and Deterministic Finite Automata (DFAs)), guest lecture held in early 2019, one 30-minute lecture: Slides
Various, mostly for Students
- Non-binding) marking guidelines for research project:
- by John Slaney for 24pt. Honours projects [Links to be provided later]
- by Zhenchang Xing for non-honours projects (any points) [Links to be provided later]
- Material for students who are new to doing scientific research and scientific writing. Specifically: A presentation about how to search for scientific papers and another one about how to write a scientific work. An example seminar paper is given as well to provide an example on how to cite papers appropriately: download
- My LaTeX files for slides using beamer: download
Note that this design does formally not comply with the ANU style guides in the sense that it uses another corporate design (colors), but when you include the ANU graphics, the required "hard constraints" are fulfilled, so you should still be able to use it for ANU presentations (which I do, even for all my lectures).
Entertainment - (Not work-related!)
Although this is not a "private" webpage, I still decided to add some stuff that has pretty much nothing to do at all with work. Well, not directly, that is. It turns out that many computer scientists share a very similar humor. And here I share it with everybody!
Well, there are countless "Best of" lists you can easily google for by yourself, so I don't see the point providing yet another list here. I just try to obtain a bit of "culture" by making aware of it! Simply it's so old already that current students stop even knowing it. So, I just give two of the most famous sketches (google for more!).
Fun fact: Did you know that the name of the programming language python is a tribute to Monty Python? There are further references, such as using "spam and eggs" in comments (etc.) instead of the typical "foo and bar". (see wikipedia)
- Argument Clinic [just the part about having an argument] (e.g., https://www.dailymotion.com/video/x2hwqn9)
- Spam (e.g., https://www.dailymotion.com/video/x2hwqlw)
Did you know that the expression "SPAM" for the endless flooding with unwanted content comes from exactly this sketch? If you are a computer scientist: you should know! (see wikipedia)
If you are a computer scientist (or a mathematician etc.), you very likely know these great comics, anyway! Still, here is a selection that's highly related to us (computer) scientists:
- The difference [between scientists and non-scientists] (https://xkcd.com/242/) -- fun fact: as a young undergraduate that was the first xkcd comic I've ever seen, and I was sure to be the person on the right
- Nerd Sniping (https://xkcd.com/356/)
- Correlation (https://xkcd.com/552/)
xkcd also features what if? (https://what-if.xkcd.com/) -- serious scientific answers to absurd hypothetical questions. (You might know this from the big bang theory... :))
Well, xkcd is (imho) worlds better, because it is really smart (and nerdy) humor. PhD comics are not "smart", but they tell the story of PhD students (or researchers, no much difference there, actually), so they are also great! Just for a different reason.
- List of the 200 most popular comics (http://phdcomics.com/comics/most_popular.php)