Reading Group on Planning and Search
Organizer: Dr. Johannes Aldinger
Note
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.
Description
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.
Schedule
| 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.