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
U.K. Sarkar, P.P. Chakrabarti, S. Ghose and S.C. De Sarkar.
Reducing reexpansions in iterative-deepening search by controlling cutoff bounds.
Artificial Intelligence 50:207-221, 1991 (Research Note).
Malte Helmert
2018-07-12 No meeting (ICML/IJCAI)
in Freiburg
Edmund M. Clarke, Jr., Orna Grumberg and Doron A. Peled.
Model Checking (Chapter 11).
MIT Press, 1999.
Malte Helmert
2018-06-28 No meeting (ICAPS)
2018-06-21 No meeting (ICAPS Summer School)
in Basel
Jörg Hoffmann, Marcel Steinmetz and Patrik Haslum.
What Does it Take to Render h^+(\Pi^C) Perfect?.
In Proceedings of the 6th Workshop on Heuristics and Search for Domain-Independent Planning (HSDIP 2014). (PDF)
Manuel Heusner
in Freiburg
Gabriele Röger, Silvan Sievers and Michael Katz.
Symmetry-based Task Reduction for Relaxed Reachability Analysis.
In Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling (ICAPS 2018). (PDF)
Silvan Sievers
in Basel
James Somers.
The Scientific Paper Is Obsolete.
The Atlantic, April 5, 2018. (paper)
Guillem Francès
in Basel
Salomé Eriksson, Gabriele Röger and Malte Helmert.
A Proof System for Unsolvable Planning Tasks.
In Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling (ICAPS 2018). (PDF)
Salomé Eriksson
in Basel
Adnan Darwiche.
Human-Level Intelligence or Animal-Like Abilities?.
arXiv:1707.04327v1 [cs.AI], 2017. (PDF)
Guillem Francès
2018-05-10 No meeting (Ascension Day)
in Basel
Maria Fox, Derek Long and Daniele Magazzeni.
Explainable Planning.
arXiv:1709.10256 [cs.AI], 2017. (PDF)
Manuel Heusner
2018-04-26 No meeting (excursion of the Basel group)
in Basel
Nathan R. Sturtevant and Steve Rabin.
Canonical Ordering on Grids.
In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016. (PDF)
Malte Helmert
in Freiburg
Sam Toyer, Felipe Trevizan, Sylvie Thiébaux and Lexing Xie.
Action Schema Networks: Generalised Policies with Deep Learning.
In Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI 2018), 2018. (PDF)
Malte Helmert
in Basel
David Speck, Florian Geißer and Robert Mattmüller.
Symbolic Planning with Edge-Valued Multi-Valued Decision Diagrams.
In Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling (ICAPS 2018). (PDF)
Malte Helmert
in Freiburg
David Silver et al.
Mastering Chess and Shogi by Self-Play with a General Reinforcement Learning Algorithm.
arXiv:1712.01815v1 [cs.AI], 2017. (PDF)
Malte Helmert
in Basel
Eshed Shaham, Ariel Felner, Jingwei Chen and Nathan R. Sturtevant.
The Minimal Set of States That Must be Expanded in a Front-to-End Bidirectional Search.
In Proc. SoCS 2017, pp. 82-90, 2017. (PDF)
Malte Helmert
2018-03-15 No meeting
in Freiburg
David Silver et al.
Mastering the game of Go without human knowledge.
Nature 550:354-359, 2017.
Malte Helmert
in Basel
Paul Saikko, Johannes P. Wallner and Matti Järvisalo.
Implicit Hitting Set Algorithms for Reasoning Beyond NP.
In Proc. KR 2016, pp. 104-113, 2016. (PDF)
Malte Helmert
in Basel
Barták, R., Chrpa, L., Dovier, A., Vodrážka, J., and Zhou, N. F.
Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain.
Science of Computer Programming, 147:54-77, 2017.
Guillem Francès
2018-02-15 No meeting
in Basel
Masataro Asai and Alex Fukunaga.
Classical Planning in Deep Latent Space: Bridging the Subsymbolic-Symbolic Boundary.
Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18).
Manuel Heusner

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.