I am a Lecturer researching in the area of Planning & Optimization. I've joined ANU in November 2019, and in the first year I'm probably not going to give lectures but focus on research and supervision instead. I've done my PhD (Dr. rer. nat.) under the supervision of Prof. Dr. Susanne Biundo-Stephan at the Institute of Artificial Intelligence at Ulm University, Germany from mid of 2009 to the end of 2017. I've studied Computer Science from the end of 2003 to the mid of 2009 at the University of Freiburg, Germany.
Im doing research in the fields of hierarchical planning and Partial Order Causal Link (POCL) planning. I'm interestested in theoretical foundations (mostly complexity analyses), algorithms and heuristics, and, lastly, practical applications of planning. For a more detailed description of my research interests see the respective tab.
- I have several fully funded PhD scholarships for research projects in the area of Hierarchical Planning under my supervision. For a description for some of the ideas please take a look at "Student projects". Drop me an email in case you are interested!
- If you're looking for a Bachelor or Master thesis -- and you are into Hierarchical or POCL planning -- drop me a mail. (One such thesis is already described under "Student projects")
- I'm co-organizing the IPC 2020 together with Gregor Behnke and Daniel Höller. It's about Hierarchical Task Network (HTN) planning. More information: http://ipc2020.hierarchical-task.net
- I'm co-organizing the 3rd ICAPS workshop on hierarchical planning. We hope for your submissions! https://icaps20.icaps-conference.org/workshops/hplan/
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 2020, I acted as the assistent (together with Yoshihiro (Yoshi) Maruyama) to the lecture Logic (COMP2620/COMP6262/PHIL2080) by John Slaney.
- In S1 of 2020, I held a Lecture (3 hours) 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 Classical Planning. Slides.
- 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 lecture 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 thesis, my research interestes 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 netowork 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 my interest:
- Design of well-informed heuristics. (This is still a young field with only a limited number of heuristics availaible.)
- 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:3TIARSFV
- 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 mor ebackground 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 empirial one. Moreover, there is a vast variety of well-informed heuristics in classical state-based planning, but almonst 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, almos no heuristics exist so far!)
- Investigation of the computational complexity related to POCL plans (such as the plan existence or plan opimization.)
Well, most that I am intersted 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 empircal 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:
- 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.
- AAAI 2019 Outstanding Program Committee Member
- Theoretical Computer Science Outstanding Reviewer Award (Elsevier journal)
(Year omitted to maintain anonymity.)
- 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)
- 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)
- 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)
- 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 nomitated 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 outdated and years omitted -- both to maintain anonymity.)
- Journal of Artificial Intelligence (JAIR)
- Theoretical Computer Science
(1 article, awarded for outstanding reviewing)
- IEEE Transactions on Systems, Man and Cybernetics: Systems
- KI – Künstliche Intelligenz
(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, 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:
- ICAPS: 2019
Program Committee (PC) member at conferences:
- IJCAI: 2013, 2019, 2020
- IJCAI-ECAI: 2018
- ECAI: 2020
- AAAI: 2015, 2017–2019 (honored as outstanding PC member 2019)
Program Committee (PC) member at workshops:
- ICAPS-Hiearchical Planning: 2018-2020
Reviewer for conferences (in addition to the PC/SPC memberships):
- ICAPS: 2012, 2015–2018, 2020
- ECAI: 2016
- AAAI: 2012, 2014
- KI: 2012–2013
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
- KI 2017, where 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).
Further services to the University and the AI community:
- I am supporting my former colleagues Gregor Behnke and Daniel Höller in the organization of the IPC 2020 on Hierarchical Task Network (HTN) Planning. For more information see http://ipc2020.hierarchical-task.net.
- I was in the appointment committee for the new Junior Professorship in Explainable Artificial Intelligence at Ulm University, Germany in 2019.
- I was the initiator of the ICAPS Workshop for Hierarchical Planning – to the best of our knowledge the very first workshop dedicated to hierarchical planning.
- I organized it together with Daniel Höller, Susanne Biundo, and Ron Alford to be held at ICAPS 2018. Further information is available on the workshop's webpage: http://icaps18.icaps-conference.org/hierarchicalplanning/
- Together with Gregor Behnke, Vikas Shivashankar, and Ron Alford, I was organizing the Second ICAPS Workshop for Hierarchical Planning (at ICAPS 2019). See https://icaps19.icaps-conference.org/workshops/Hierarchical-Planning
- Together with Daniel Höller, Roman Bartak, and Ron Alford, I am organizing the Third ICAPS Workshop for Hierarchical Planning: https://icaps20.icaps-conference.org/workshops/hplan/
- 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.
- 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.
I use this page to make all downloads and links available that could be interesting and useful for some.
- Tutorial on HTN planning by me and my former colleague Daniel Höller: link
- 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, focusing on heuristic search, one 2-hour lecture: download
- My LaTeX files for slides using beamer: download
Note that this design does not comply with the ANU style guides.
- 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 writing a thesis (or semiar paper). An example seminar paper is given as well to provide an example on how to cite papers appropriately: download