Reading Group on Planning and Search
Organizer: Dr. Johannes Aldinger
Time and Place
Time: Tuesday 15:20
Place: Room 052 00-016 (meeting room of the
Foundations of Artificial Intelligence and Software Engineering groups)
The reading group takes place in Basel once a month (Bernoullistrasse 16, Raum 404). The train leaves at 1:15 pm. If you are interested to join us please apply to Dr. Johannes Aldinger. The reading group dates in Basel in spring 2014 are: 18.02.2014, 25.03.2014
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 |
|---|---|---|
| 02.10.2013 |
Ronald L. Graham, Donald E. Knuth and Oren Patashnik. Sections 9.1-9.3 of: Concrete Mathematics: A Foundation for Computer Science (second edition). Addison-Wesley, 1994. |
Prof. Dr. Malte Helmert |
| 09.10.2013 |
Patrik Haslum. Optimal Delete-Relaxed (and Semi-Relaxed) Planning with Conditional Effects. In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013). (PDF) |
Dr. Gabriele Röger |
| 16.10.2013 |
Hootan Nakhost and Martin Müller. Towards a second generation random walk planner: an experimental exploration. In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013). (PDF) |
Dr. Johannes Aldinger |
| 23.10.2013 |
Álvaro Torralba, Carlos Linares López, Daniel Borrajo. Symbolic Merge-and-Shrink for Cost-Optimal Planning. In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013). (PDF) |
Dr. Gabriele Röger |
| 30.10.2013 |
Letao Wang, Jorge A. Baier, Sheila A. McIlraith. Viewing Landmarks as Temporally Extended Goals. In Proceedings of the ICAPS Workshop on Heuristics for Domain Independent Planning (HDIP 2009). (PDF) |
Dr. Gabriele Röger |
| 06.11.2013 | no meeting (ICAPS deadline) | |
| 13.11.2013 |
Carmel Domshlak, Michael Katz, Sagi Lefler. Landmark-enhanced abstraction heuristics. Artificial Intelligence, 189:48-68. |
Dr. Gabriele Röger |
| 20.11.2013 |
Christian Muise, Sheila A. McIlraith, and J. Christopher Beck. Improved Non-deterministic Planning by Exploiting State Relevance. In Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012). (PDF) |
Dr. Robert Mattmüller |
| Mo, 15:00 25.11.2013 |
Matthew Streeter and Stephen F. Smith. New Techniques for Algorithm Portfolio Design. In Proceedings of the 24th Conference on Uncertainty in Artificial Intelligence (UAI 2008). (PDF) |
Dr. Johannes Aldinger |
| Di, 15:00 03.12.2013 |
Matteo Gagliolo and Jürgen Schmidhuber. Dynamic Algorithm Portfolios. In Proceedings of the Ninth International Symposium on Artificial Intelligence and Mathematics (AI&MATH 2006). (PDF) |
Dr. Robert Mattmüller |
| 11.12.2013 |
Dan Klein and Christopher D. Manning. A* Parsing: Fast Exact Viterbi Parse Selection. In Proceedings of Human Language Technologies (HLT-NAACL 2003). (PDF) |
Dr. Gabriele Röger |
| 18.12.2013 |
Barry O'Sullivan. Automated Modelling and Solving in Constraint Programming. In Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2010), pp. 1493-1497, AAAI Press 2010. (PDF) |
Dr. Johannes Aldinger |
| 25.12.2013 | no meeting (Christmas break) | |
| 01.01.2014 | no meeting (Christmas break) | |
| 08.01.2014 | no meeting (Christmas break) | |
| 15.01.2014 | no meeting | |
| 22.01.2014 |
Roni Stern, Tamar Kulberis, Ariel Felner and Robert Holte. Using Lookaheads with Optimal Best-First Search. In Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2010), pp. 185-190, AAAI Press 2010. (PDF) |
Moritz Göbelbecker |
| 29.01.2014 |
Mehdi Sadeqi, Robert C. Holte and Sandra Zilles. Using Coarse State Space Abstractions to Detect Mutex Pairs. In Proceedings of the Tenth Symposium on Abstraction, Reformulation, and Approximation (SARA 2013), pp. 104-111, 2013. (PDF) |
Prof. Dr. Malte Helmert |
| 05.02.2014 |
Chris Fawcett, Mauro Vallati, Frank Hutter, Jörg Hoffmann, Holger H. Hoos and Kevin Leyton-Brown. Improved Features for Runtime Prediction of Domain-Independent Planners. In Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS 2014), 2014, to appear. |
Dr. Frank Hutter |
| 12.02.2014 |
Florian Pommerening, Gabriele Röger, Malte Helmert and Blai Bonet. LP-based Heuristics for Cost-optimal Planning. In Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS 2014), 2014, to appear. |
Florian Pommerening |
| 14:30 18.02.2014 in Basel |
Husain Aljazzar and Stefan Leue. K*: Heuristics-Guided, On-the-Fly k Shortest Paths Search. In Preproceedings of 6th Workshop on Model Checking and Artificial Intelligence, held at AAAI 2010, Atlanta. (PDF) |
Prof. Dr. Malte Helmert |
| 25.02.2014 |
Menkes van den Briel, J. Benton, Subbarao Kambhampati and Thomas Vossen. An LP-Based Heuristic for Optimal Planning. In Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP-2007), pp. 651-665, 2007. (PDF) |
Dr. Gabriele Röger |
| 04.03.2014 |
Knot Pipatsrisawat and Adnan Darwiche. A Lower Bound on the Size of Decomposable Negation Normal Form. In Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2010), pp. 345-350, AAAI Press 2010. (PDF) |
Dr. Johannes Aldinger |
| 11.03.2014 |
Ken L. McMillan. Interpolation and SAT-Based Model Checking. In Proceedings of the 15th International Conference on Computer Aided Verification (CAV 2003), pp. 1-13, Springer-Verlag 2003. (PDF) |
Prof. Dr. Malte Helmert |
| 18.03.2014 |
Vidal Alcázar, Susana Fernández and Daniel Borrajo. Analyzing the Impact of Partial States on Duplicate Detection and Collision of Frontiers. In Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS 2014), 2014. (PDF) |
Prof. Dr. Malte Helmert |
| 14:30 25.03.2014 in Basel |
Vidal Alcazar, Daniel Borrajo, Susana Fernández and Raquel Fuentetaja. Revisiting Regression in Planning. In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), 2013. (PDF) |
Dr. Johannes Aldinger |
Further Information
- Reading group website for SS 2013
- Reading group website for WS 2012/2013
- Reading group website for SS 2012
- Reading group website for WS 2011/2012
- Reading group website for SS 2011
- Reading group website for WS 2010/2011
- Reading group website for SS 2010
- Reading group website for WS 2009/2010
- Reading group website for SS 2009
If you have any questions, please do not hesitate to contact Dr. Johannes Aldinger.