Lesegruppe Handlungsplanung und Suche
Organisator: Dr. Johannes Aldinger
Zeit und Ort
Zeit: Dienstag 15:20
Ort: Raum 052 00-016 (Besprechungsraum der Arbeitsgruppen
Grundlagen der Künstlichen Intelligenz und Softwaretechnik)
Einmal im Monat findet die Lesegruppe in Basel statt (Bernoullistrasse 16, Raum 404). Es besteht eine Mitfahrgelegenheit mit dem Zug nach Basel um 13:15. Bei Interesse wenden Sie sich bitte an Dr. Johannes Aldinger. Die Lesegruppentermine in Basel im Frühjahr 2014 sind: 18.02.2014, 25.03.2014
Beschreibung
In der Lesegruppe werden aktuelle und klassische Forschungsarbeiten diskutiert. Der Schwerpunkt liegt auf den Gebieten Handlungsplanung, Suche und verwandten Gebieten, aber interessante Arbeiten aus anderen Bereichen sind willkommen. Jeder Teilnehmer kann Lesevorschläge einbringen, von denen dann zu jedem Termin ein oder mehrere Arbeiten ausgewählt werden. Die ausgewählten Arbeiten werden von den Teilnehmern vor dem jeweiligen Besprechungstermin gelesen und dann in der Gruppe besprochen.
Die Zielgruppe der Veranstaltung sind Mitarbeiter und interessierte Gäste, vergleichbar einem Oberseminar oder einem Seminar in einem Graduiertenkolleg. Studenten dürfen gerne teilnehmen, können in dieser Veranstaltung aber keine ECTS-Punkte erwerben.
Zeitplan
| Termin | Thema | Ansprechpartner |
|---|---|---|
| 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 | kein Treffen (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 | kein Treffen (Weihnachtspause) | |
| 01.01.2014 | kein Treffen (Weihnachtspause) | |
| 08.01.2014 | kein Treffen (Weihnachtspause) | |
| 15.01.2014 | kein Treffen | |
| 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 |
Weitere Informationen
- Lesegruppe im SS 2013
- Lesegruppe im WS 2012/2013
- Lesegruppe im SS 2012
- Lesegruppe im WS 2011/2012
- Lesegruppe im SS 2011
- Lesegruppe im WS 2010/2011
- Lesegruppe im SS 2010
- Lesegruppe im WS 2009/2010
- Lesegruppe im SS 2009
Bei Fragen wenden Sie sich bitte an Dr. Johannes Aldinger.