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: University of Basel, Department of Mathematics and Computer Science, Spiegelgasse 1, room 06.011
Online participation: 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 Contact
2024-05-23 Clemens Büchner, Patrick Ferber, Jendrik Seipp, Malte Helmert.
Abstraction Heuristics for Factored Tasks.
In Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling (ICAPS 2024), 2024. (PDF)
Martín Pozo
2024-05-16 Drew McDermott.
Using regression-match graphs to control search in planning.
Artificial Intelligence 109(1-2):111-159, 1999. (paper)
Simon Dold
2024-05-02 Jussi Rintanen.
Phase Transitions in Classical Planning: an Experimental Study.
In Proceedings of the 14th International Conference on Automated Planning and Scheduling (ICAPS 2004), pp. 101-110. AAAI Press 2004. (PDF)
Simon Dold
2024-04-25 Dillon Z. Chen, Sylvie Thiébaux, Felipe Trevizan.
Learning Domain-Independent Heuristics for Grounded and Lifted Planning.
Proceedings of the AAAI Conference on Artificial Intelligence (AAAI 2024), 38(18), pp. 20078-20086. 2024. (paper)
Claudia Grundke
2024-04-18 Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli.
Abstract DPLL and Abstract DPLL Modulo Theories.
In Proceedings of the 11th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2004), LNCS 3452, pp. 36–50, Springer 2005. (paper)
Tanja Schindler
2024-04-11 Martin Wehrle and Malte Helmert.
About Partial Order Reduction in Planning and Computer Aided Verification.
In Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012), pp. 297-305. 2012. (PDF)
Simon Dold
2024-04-04 Martín Pozo, Álvaro Torralba, Carlos Linares López.
When CEGAR Meets Regression: A Love Story in Optimal Classical Planning.
Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI 2024), pp. 20238-20246, AAAI Press 2024. (paper)
Simon Dold
2024-03-21 Andrew Coles, Maria Fox and Amanda Smith.
Online Identification of Useful Macro-Actions for Planning.
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS 2007), pp. 97-104, AAAI Press 2007. (PDF)
Simon Dold
2024-03-14 Peter Gregory, Derek Long, Maria Fox, J. Christopher Beck.
Planning Modulo Theories: Extending the Planning Paradigm.
In Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling (ICAPS 2012), pp. 65-73, 2012. (paper)
Claudia Grundke
2024-03-07 Stephan Gocht, Ciaran McCreesh, Jakob Nordström.
An Auditable Constraint Programming Solver.
In Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). (PDF)
Jendrik Seipp
2024-02-29 Jendrik Seipp.
Efficiently Computing Transitions in Cartesian Abstractions.
In Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling (ICAPS 2024), to appear, 2024.
Claudia Grundke
2024-02-22 Jussi Rintanen.
Planning with SAT, Admissible Heuristics and A*.
Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI 2011) pp. 2015-2020, 2011. (PDF)
Claudia Grundke
2024-02-15 Alex Reinhart.
Statistics Done Wrong (Chapters 7-12).
No Starch Press, 2015.
Simon Dold

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.