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 at all levels may feel free to participate, but should be aware that only PhD students enrolled in Basel can obtain ECTS points in the reading group.

Time and Place

Time: Thursday, 16:15
Place: Online. The link to the Zoom meeting can be found on the reading group Discord server.

Discord Server

The papers covered by the reading group are announced on the reading group Discord server. To protect against spam, we do not provide links here. To obtain access, please contact one of the members of the Artificial Intelligence research group.

Schedule

Date Topic
2025-03-06 Heinz-Dieter Ebbinghaus, Jörg Flum and Wolfgang Thomas.
Mathematical Logic, Chapters III.
Third Edition. Springer, 2021.
2025-02-27 Hao Dong, Zheyuan Shi, Hemeng Zeng, Yongmei Liu.
Abstraction Method for Generalized Planning with Baggable Types.
In Proceedings of the 39th National Conference on Artificial Intelligence (AAAI 2025). (PDF)
2025-02-20 Heinz-Dieter Ebbinghaus, Jörg Flum and Wolfgang Thomas.
Mathematical Logic, Chapters I-II.
Third Edition. Springer, 2021.
2025-02-13 Robert Nystrom.
Crafting Interpreters, Chapters 10-11.
Genever Benning, 2021, http://www.craftinginterpreters.com.
2025-02-06 Sebastian Kupferschmid, Jörg Hoffmann, Henning Dierks and Gerd Behrmann.
Adapting an AI Planning Heuristic for Directed Model Checking.
In Proceedings of the 13th International SPIN Workshop (SPIN 2006), pp. 35-52, 2006. (PDF)

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.