Reading Group on Planning and Search

Organizer: Dr. Johannes Aldinger


Reading group takes place at 3:15 pm from February 25, 2016.

Time and Place

Time: Thursday, 3:15 pm
Place: Room 052 00-016 (meeting room of the Foundations of Artificial Intelligence and Software Engineering groups)

The first reading group each month takes place in Basel (Spiegelgasse 5, Raum 04.001). We share a train ticket to get there. If you are interested to join us please contact Dr. Johannes Aldinger.


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 meeeting and discuss them during the meeting.

The target audience of the reading group consists of academic staff and interested guests, comparable to a staff seminar or a seminar in a graduate school. Students may feel free to participate, but should be aware that no ECTS points can be earned for the reading group.


Date Topic Contact
07.10.2015 Holger Bast, Stefan Funke and Domagoj Matijevic.
TRANSIT: Ultrafast Shortest-Path Queries with Linear-Time Preprocessing.
9th DIMACS Implementation Challenge, 2006. (PDF)
Dr. Gabriele Röger
14.10.2015 no meeting
21.10.2015 Akihiro Kishimoto, Alex Fukunaga and Adi Botea.
Evaluation of a simple, scalable, parallel best-first search strategy.
Artificial Intelligence 195:222-248, 2013.
Prof. Dr. Malte Helmert
28.10.2015 no meeting
04.11.2015 David Churchill and Michael Buro.
Build Order Optimization in StarCraft.
Proceedings of the Seventh AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE 2011). (PDF)
Silvan Sievers
11.11.2015 S.R.K. Branavan, David Silver and Regina Barzilay.
Learning to Win by Reading Manuals in a Monte-Carlo Framework.
Journal of Artificial Intelligence Research 43:661-704, 2012. (PDF)
Dr. Thomas Keller
18.11.2015 Gianfranco Ciardo and Radu Siminiceanu.
Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths.
Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design. (PDF)
Dr. Florian Geißer
25.11.2015 Patrick Cousot and Radhia Cousot.
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints.
Conference Record of the Sixth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM 1977. (PDF)
Dr. Johannes Aldinger
02.12.2015 Yiming Wang, Austin Buchanan and Sergiy Butenko.
On imposing connectivity constraints in integer programs.
Preprint, 2015. (PDF)
Florian Pommerening
09.12.2015 no meeting
16.12.2015 Toby Davies, Adrian Pearce, Peter Stuckey, and Harald Søndergaard.
Fragment-based planning using column generation.
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling (ICAPS 2014), pp. 83-91. (PDF)
Florian Pommerening
23.12.2015 no meeting
30.12.2015 no meeting
06.01.2016 in Basel Adi Botea.
Ultra-Fast Optimal Pathfinding without Runtime Search.
Proceedings of the Seventh AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE 2011), pp. 122-127. (PDF)
Prof. Dr. Malte Helmert
13.01.2016 Ben Strasser, Adi Botea and Daniel Harabor.
Compressing Optimal Paths with Run Length Encoding.
Journal of Artificial Intelligence Research 54:593-629, 2015. (PDF)
Prof. Dr. Malte Helmert
20.01.2016 Chris Rayner, Michael Bowling and Nathan Sturtevant.
Euclidean Heuristic Optimization.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2011), pp. 81-86, 2011. (PDF)
Prof. Dr. Malte Helmert
27.01.2016 Ittai Abraham, Daniel Delling, Andrew V. Goldberg, and Renato F. Werneck.
A Hub-Based Labeling Algorithm for Shortest Paths in Road Networks.
Proceedings of the Tenth International Symposium on Experimental Algorithms (SEA 2011), pp. 230-241, 2011. (PDF)
Florian Pommerening
03.02.2016 no meeting
10.02.2016 Marcel Steinmetz and Jörg Hoffmann.
Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI 2016), 2016. (PDF)
Jendrik Seipp
17.02.2016 no meeting
25.02.2016 David Silver et al.
Mastering the game of Go with deep neural networks and tree search.
Nature 529, pp. 484-489, 2016. (PDF)
Dr. Robert Mattmüller
03.03.2016 in Basel Robert C. Holte, Ariel Felner, Guni Sharon and Nathan R. Sturtevant.
Bidirectional Search That Is Guaranteed to Meet in the Middle.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI 2016), 2016. (PDF)
Prof. Dr. Malte Helmert
10.03.2016 Hootan Nakhost and Martin Müller.
A Theoretical Framework for Studying Random Walk Planning.
Proceedings of the Fifth Annual Symposium on Combinatorial Search (SoCS 2012), pp. 57-64, 2012. (PDF)
Manuel Heusner
17.03.2016 no meeting
24.03.2016 no meeting
31.03.2016 in Basel Hubie Chen and Omer Gimenez.
Act Local, Think Global: Width Notions for Tractable Planning.
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS 2012), pp. 73-80, 2007. (PDF)
Florian Pommerening
07.04.2016 16:15 in Basel Yexiang Xue, Arthur Choi and Adnan Darwiche.
Basing Decisions on Sentences in Decision Diagrams.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI 2012), pp. 842-849, 2012. (PDF)
Prof. Dr. Malte Helmert
14.04.2016 Adnan Darwiche and Pierre Marquis.
A Knowledge Compilation Map.
JAIR 17:229-264, 2002. (PDF)
Prof. Dr. Malte Helmert

Paper Pool

  • Ching-Tsun Chou and Doron Peled.
    Formal Verification of a Partial-Order Reduction Technique for Model Checking.
    Journal of Automated Reasoning, 23(3-4):265-298, 1999. (PDF)

  • Knot Pipatsrisawat and Adnan Darwiche.
    Top-Down Algorithms for Constructing Stuctured DNNF: Theoretical and Practical Implications.
    In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), pp. 3-8, IOS Press 2010. (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 Dr. Johannes Aldinger.