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

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:00 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
Meetings in Zoom: The link to the online meeting is shared on the reading group mailing list.

The reading group meetings normally alternate between Basel and Freiburg, but all meetings are currently online via Zoom. Participants from Freiburg share a train ticket to get to Basel. If you are interested in joining them, please contact Robert Mattmüller. 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.

Schedule

Date Topic Contact
2020-12-03
in Zoom
Leslie Lamport.
Turing lecture: The computer science of concurrency: the early years.
Commun. ACM 58(6): 71-76, 2015 .

Leslie Lamport.
Who builds a house without drawing blueprints?.
Commun. ACM 58(4): 38-41, 2015 .
Augusto B. Corrêa
2020-11-26
in Zoom
Katharina Eggensperger, Marius Lindauer and Frank Hutter.
Pitfalls and Best Practices in Algorithm Configuration.
Journal of Artificial Intelligence Research (JAIR) 2019. (PDF)
David Speck
2020-11-19
in Zoom
Silvan Sievers, Malte Helmert.
Sections 8-10 of: Merge-and-Shrink: A Compositional Theory of Transformations of Factored Transition Systems.
Working Paper.
Silvan Sievers
2020-11-12
in Zoom
Silvan Sievers, Malte Helmert.
Sections 6-7 of: Merge-and-Shrink: A Compositional Theory of Transformations of Factored Transition Systems.
Working Paper.
Silvan Sievers
2020-11-05
in Zoom
Silvan Sievers, Malte Helmert.
Sections 4.3-5 of: Merge-and-Shrink: A Compositional Theory of Transformations of Factored Transition Systems.
Working Paper.
Silvan Sievers
2020-10-22
in Zoom
Silvan Sievers, Malte Helmert.
Section 4 of: Merge-and-Shrink: A Compositional Theory of Transformations of Factored Transition Systems.
Working Paper.
Silvan Sievers
2020-10-15
in Zoom
Silvan Sievers, Malte Helmert.
Sections 1-3 of: Merge-and-Shrink: A Compositional Theory of Transformations of Factored Transition Systems.
Working Paper.
Silvan Sievers
2020-10-08
in Zoom
Álvaro Torralba, Jendrik Seipp, Silvan Sievers.
Automatic Configuration of Benchmark Sets for Classical Planning.
In Proc. HSDIP 2020. (PDF)
Jendrik Seipp
2020-10-01
in Zoom
Donald Knuth.
The Art of Computer Programming (Volume 4. Pre-fascicle 6A. Draft of Section 7.2.2.2: Satisfiability, pp 1-46).
In Addison-Wesley, 2015.
Augusto B. Corrêa
2020-09-24
in Zoom
Johannes Klaus Fichte, Markus Hecher, Stefan Szeider.
A Time Leap Challenge for SAT-Solving.
In Proc. CP 2020, pp 267-285.
Augusto B. Corrêa
2020-09-17
in Zoom
Judea Pearl.
The seven tools of causal inference, with reflections on machine learning.
Communications of the ACM 62(3):54-60, 2019.
Jendrik Seipp
2020-09-10
in Zoom
AIMMS/Johannes Bisschop.
General Optimization Modeling Tricks.
Chapters 6 and 7 of AIMMS Optimization Modeling.
Florian Pommerening
2020-09-03 No meeting (ECAI)
2020-08-27
in Zoom
Jingwei Chen, Nathan R. Sturtevant, William Doyle and Wheeler Ruml.
Revisiting Suboptimal Search.
In Proc. SoCS 2019. (PDF)
Jendrik Seipp
2020-08-20
in Zoom
Masataro Asai and Christian Muise.
Learning Neural-Symbolic Descriptive Planning Models via Cube-Space Priors: The Voyage Home (to STRIPS).
In Proc. IJCAI 2020, pp. 2676-2682. (PDF)
Silvan Sievers
2020-08-13
in Zoom
Unknown (currently under open review).
On the Optimal Efficiency of A* with Dominance Pruning.
HSDIP 2020 OpenReview.
Florian Geißer
2020-08-06
in Zoom
Ryo Kuroiwa and Alex Fukunaga.
Analyzing and Avoiding Pathological Behavior in Parallel Best-First Search.
In Proc. ICAPS 2020, pp. 175-183. (PDF)
Florian Geißer

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.