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-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.