Uni-Logo

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

If you have any questions, please do not hesitate to contact Dr. Johannes Aldinger.