About me
Bio
Personal
Contact
PhD
Current PhD Students
Pascal Lauer
Mohammad Yousefi
Nader Bavandpour
Yifan Zhang
Daniel Lutalo
Previous PhD Students
Conny Olz
Songtuan Lin
Panel Member and Examiner
Thesis Writing Advice
PhD Awards
Join Team
Application Advice
.. Apply for PhD
.. Apply for Post-Doc
.. Apply for Summer Internship
Other Opportunities
Research
Research Interests
Research Grants
Target Venues
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
Please use the subpages to find what you might be looking for.
About me
Bio
Personal
Contact
PhD
Current PhD Students
Pascal Lauer
Mohammad Yousefi
Nader Bavandpour
Yifan Zhang
Daniel Lutalo
Previous PhD Students
Conny Olz
Songtuan Lin
Panel Member and Examiner
Thesis Writing Advice
PhD Awards
Join Team
Application Advice
.. Apply for PhD
.. Apply for Post-Doc
.. Apply for Summer Internship
Other Opportunities
Research
Research Interests
Research Grants
Target Venues
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