Reading Group on Planning and Search

In the reading group, we discuss current and classical research papers. The emphasis lies on work on action planning, search and related areas, but interesting papers from other areas are welcome. All participants can make recommendations for the reading list, from which one or more papers are selected for each meeting. Participants read the selected papers individually in preparation for the meeting and discuss them during the meeting.

The target audience of the reading group consists of researchers and interested guests, comparable to a post-graduate seminar. Students may feel free to participate, but should be aware that no ECTS points can be earned for the reading group.

Time and Place

The reading group is a joint event of the Artificial Intelligence research group at University of Basel and the Foundations of Artificial Intelligence research group at Albert-Ludwigs-Universität Freiburg.

Time: Thursday, 15:15 pm
Place in Basel: University of Basel, Department of Mathematics and Computer Science, Spiegelgasse 5, room 04.001
Place in Freiburg: Albert-Ludwigs-Universität Freiburg, Faculty of Engineering, Georges-Köhler-Allee 52, room 052-00-016

The reading group meetings alternate between Basel and Freiburg. Participants from Freiburg share a train ticket to get to Basel. If you are interested in joining them, please contact Johannes Aldinger. Participants from Basel travelling to Freiburg follow the usual travel reimbursement process.

Mailing List

The papers covered by the reading group are announced on the reading group mailing list. To protect against spam, we do not provide a link to the mailing list here. To obtain access, please contact one of the members of the Artificial Intelligence research group.


Date Topic Contact
in Freiburg
Edmund M. Clarke, Jr., Orna Grumberg and Doron A. Peled.
Model Checking (Chapter 2 and 3).
MIT Press, 1999.
Manuel Heusner
in Basel
Edmund M. Clarke, Jr., Orna Grumberg and Doron A. Peled.
Model Checking (Front Matter and Chapter 1).
MIT Press, 1999.
Malte Helmert
in Freiburg
Jörg Hoffmann.
Where 'Ignoring Delete Lists' Works: Local Search Topology in Planning Benchmarks.
In Journal of Artificial Intelligence Research, 24:685-758, 2005. (PDF)
Manuel Heusner
in Freiburg
Guillem Francès and Hector Geffner.
Modeling and Computation in Planning: Better Heuristics for More Expressive Languages.
In Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling (ICAPS 2015). (PDF)
Florian Geißer
in Basel
Santiago Franco, Alvaro Torralba, Levi Lelis and Mike Barley.
On Creating Complementary Pattern Databases.
In Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017).
Silvan Sievers
in Freiburg
Simon Stahlberg.
Tailoring Pattern Databases for Unsolvable Planning Instances.
In Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling (ICAPS 17). (PDF)
Gabriele Röger

Further Information

The papers that were read in the reading group in previous semesters can be found in the reading group archive.

If you have any questions, please do not hesitate to contact Malte Helmert.