Reading Group on Planning and Search
Organizer: Dr. Johannes Aldinger
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.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 |
| 21.04.2016 |
Malte Helmert, Gabriele Röger and Silvan Sievers. On the Expressive Power of Non-Linear Merge-and-Shrink Representations. In Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling (ICAPS 2015), pp. 106-114, 2015. (PDF) |
Prof. Dr. Malte Helmert |
| 28.04.2016 |
Tim Schmidt and Rong Zhou. Representing Pattern Databases with Succinct Data Structures. In Proceedings of the Fourth International Symposium on Combinatorial Search (SoCS 2011), pp. 142-149, 2011. (PDF) |
Prof. Dr. Malte Helmert |
| 12.05.2016 16:15 in Basel |
Geoff Gordon. Linear Programming, Lagrange Multipliers, and Duality. Tutorial. (PDF) |
Florian Pommerening |
| 19.05.2016 | no meeting | |
| 26.05.2016 16:15 in Basel |
Richard Valenzano and Fan Xie. On the Completeness of Best-First Search Variants That Use Random Exploration. In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI 2016), pp. 784-790, 2016. (PDF) |
Prof. Dr. Malte Helmert |
| 02.06.2016 16:15 in Basel |
Dimitri Klimenko, Hanna Kurniawati and Marcus Gallagher. A Stochastic Process Model of Classical Search. arXiv:1511.08574v1 [cs.AI], 2015. (PDF) |
Manuel Heusner |
| 09.06.2016 |
Masataro Asai and Alex Fukunaga. Tiebreaking Strategies for A* Search: How to Explore the Final Frontier. In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI 2016), pp. 673-679, 2016. (PDF) |
Prof. Dr. Malte Helmert |
| 16.06.2016 | no meeting (ICAPS) | |
| 23.06.2016 | no meeting | |
| 30.06.2016 |
Jan Tožička, Jan Jakubův, Martin Svatoš and Antonín Komenda. Recursive Polynomial Reductions for Classical Planning. In Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling (ICAPS 2016), pp. 317-325, 2016. (PDF) |
Prof. Dr. Malte Helmert |
| 07.07.2016 | no meeting (SoCS) | |
| 14.07.2016 | no meeting (IJCAI) | |
| 21.07.2016 |
Alvaro Torralba, Carlos Linares Lopez, and Daniel Borrajo. Abstraction Heuristics for Symbolic Bidirectional Search. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI 2016). (PDF) |
Florian Pommerening |
| 28.07.2016 |
Nir Lipovetzky, Christian Muise and Hector Geffner. Traps, Invariants, and Dead-Ends. In Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling (ICAPS 2016). (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.