About me
Bio
Research
Personal
Contact
PhD
Current PhD Students
Songtuan Lin
Pascal Lauer
Mohammad Yousefi
Xiaodi Zhang
Chunjie Liu
Nader Karimi
Yifan Zhang
Previous PhD Students
Conny Olz
Thesis Writing Advice
PhD Awards
Join Team
Application Advice
.. Apply for PhD
.. Apply for Post-Doc
.. Apply for Summer Internship
Other Opportunities
Teaching
at the ANU
Courses
Logic
Algorithms
Theory of Computation
Foundations of Computing
Research Projects
Supervised Projects
Modeling the Waiter's Tray Puzzle
Modeling Puzzle Games
Modeling Data Structures
Theory: Partial Order Planning Complexities
Theory: HTN Plan Existence Complexities
Theory: HTN Planning with Time
Implementing TIHTN Planning Algorithm
Implementing Lifted Classical Heuristic
at UUlm
Courses
Hierarchical Planning
Seminars
Research Projects
at Uni Freiburg
Resources for Students
Service
ANU
UUlm
Academia
Reviewing
Invited Talks
Organizations
Further
Public
Publications
All publications
Journals and Books
Conferences
Workshops
Further
Proceedings
Experiments
Awards
Best Papers
Best Reviewer
Further
Best Paper Awards and Honourable Mentions
Impressum
About me
Bio
Research
Personal
Contact
PhD
Current PhD Students
Songtuan Lin
Pascal Lauer
Mohammad Yousefi
Xiaodi Zhang
Chunjie Liu
Nader Karimi
Yifan Zhang
Previous PhD Students
Conny Olz
Thesis Writing Advice
PhD Awards
Join Team
Application Advice
.. Apply for PhD
.. Apply for Post-Doc
.. Apply for Summer Internship
Other Opportunities
Teaching
at the ANU
Courses
Logic
Algorithms
Theory of Computation
Foundations of Computing
Research Projects
Supervised Projects
Modeling the Waiter's Tray Puzzle
Modeling Puzzle Games
Modeling Data Structures
Theory: Partial Order Planning Complexities
Theory: HTN Plan Existence Complexities
Theory: HTN Planning with Time
Implementing TIHTN Planning Algorithm
Implementing Lifted Classical Heuristic
at UUlm
Courses
Hierarchical Planning
Seminars
Research Projects
at Uni Freiburg
Resources for Students
Service
ANU
UUlm
Academia
Reviewing
Invited Talks
Organizations
Further
Public
Publications
All publications
Journals and Books
Conferences
Workshops
Further
Proceedings
Experiments
Awards
Best Papers
Best Reviewer
Further