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 Basel
Fangzhen Lin, and Ray Reiter.
How to progress a database.
Artificial Intelligence 92(1):131-167, 1997.
Patrick Ferber
in Freiburg
No meeting (Fast Downward sprint)
in Basel
Tim Humphrey, Anna Bramanti-Gregor, and Henry W. Davis.
Learning while -Solving problems in single agent search: Preliminary results.
In Proceedings of the Fourth Congress of the Italian Association for Artificial Intelligence (IA*AI 1995).
Patrick Ferber
in Basel
Aarati Parmar.
A Logical Measure of Progress for Planning.
In Proceedings of the Eighteenth National Conference on Artificial Intelligence (AAAI 2002). (PDF)
Guillem Francès
in Freiburg
Marcel Steinmetz and Álvaro Torralba.
Bridging the Gap between Abstractions and Critical-Path Heuristics via Hypergraphs.
In Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling (ICAPS 2019). (PDF)
David Speck
in Basel
Guy Van den Broeck and Adnan Darwiche.
On the Role of Canonicity in Knowledge Compilation.
Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015). (PDF)
Salomé Eriksson
in Freiburg
D. Michael Miller and Mitchell A. Thornton.
QMDD: A Decision Diagram Structure for Reversible and Quantum Circuits.
Proceedings of the 36th International Symposium on Multiple-Valued Logic (ISMVL'06).
David Speck
in Basel
Robert C. Holte and Sandra Zilles.
On the Optimal Efficiency of Cost-Algebraic A*.
Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI 2019). (PDF)
Silvan Sievers
in Freiburg
Tom van Dijk, Robert Wille and Robert Meolic.
Tagged BDDs: Combining Reduction rules from Different Decision Diagram Types.
Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design (FMCAD 2017).
Patrick Ferber
in Basel
Daniel Gnad, Álvaro Torralba Martı́n Domı́nguez, Carlos Areces and Facundo Bustos.
Learning How to Ground a Plan – Partial Grounding in Classical Planning.
Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI 2019). (PDF)
Silvan Sievers
in Freiburg
León Illanes and Sheila A. McIlraith.
Generalized Planning via Abstraction: Arbitrary Numbers of Objects.
Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI 2019). (PDF)
Patrick Ferber
in Freiburg
Felix Lindner, Robert Mattmüller and Bernhard Nebel.
Moral Permissibility of Action Plans.
Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI 2019). (PDF)
Silvan Sievers
in Basel
Daniel Fišer, Alvaro Torralba and Alexander Shleyfman.
Operator Mutexes and Symmetries for Simplifying Planning Tasks.
Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI 2019). (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.