Lesegruppe Handlungsplanung und Suche
Organisator: Prof. Dr. Malte Helmert
Hinweis
Ab Beginn des Sommersemesters am 1. April verweisen wir auf die Lesegruppe im SS 2012.
Zeit und Ort
Zeit: Donnerstag 14:00-15:00 Uhr (s.t.)
Ort: Raum 052 00-016 (Besprechungsraum der Arbeitsgruppen
Grundlagen der Künstlichen Intelligenz und Softwaretechnik)
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 |
|---|---|---|
| 04.10.2011 | kein Treffen (KI-Konferenz) | |
| 11.10.2011 |
Karthekeyan Chandrasekaran, Richard Karp, Erick Moreno-Centeno and Santosh Vempala. Algorithms for Implicit Hitting Set Problems. Proceedings of the ACM-SIAM Symposium on Discrete Algorithms (SODA 2011), pp. 614-629. (PDF) |
Prof. Dr. Malte Helmert |
| 19.10.2011 25.10.2011 |
Alfonso Gerevini, Alessandro Saetti and Ivan Serina. An Approach to Efficient Planning with Numerical Fluents and Multi-Criteria Plan Quality. In Artificial Intelligence, 172(8-9):899-944, 2008. (PDF) |
Prof. Dr. Malte Helmert |
| 02.11.2011 |
Carla P. Gomes, Bart Selman, Nuno Crato and Henry Kautz. Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems. In Journal of Automated Reasoning 24: 67-100, 2000. (PDF) Carla P. Gomes, Bart Selman and Henry Kautz. Boosting Combinatorial Search Through Randomization. In Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI 1998), pp. 431-437, 1998. (PDF) |
Prof. Dr. Malte Helmert |
| 08.11.2011 |
Nir Lipovetzky and Hector Geffner. Searching for Plans with Carefully Designed Probes. In Proceedings of the 21st International Conference on Automated Planning and Scheduling (ICAPS 2011), pp. 154-161, 2011. (PDF) |
Moritz Göbelbecker |
| 15.11.2011 |
Nir Pochter, Aviv Zohar and Jeffrey S. Rosenschein. Exploiting Problem Symmetries in State-Based Planners. In Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2011), pp. 1004-1009, AAAI Press 2011. (PDF) |
Prof. Dr. Malte Helmert |
| 22.11.2011 |
Tommi Junttila and Petteri Kaski. Engineering an Efficient Canonical Labeling Tool for Large and Sparse Graphs. In Proceedings of the Workshop on Algorithm Engineering and Experiments (ALENEX 2007). (PDF) |
Dr. Robert Mattmüller |
| 29.11.2011 |
Doron Peled. All from One, One for All: on Model Checking Using Representatives. In Proceedings of the 5th International Conference on Computer Aided Verification (CAV 1993), pp. 409-423. (PDF) |
Prof. Dr. Malte Helmert |
| 06.12.2011 |
Jaco Geldenhuys, Henri Hansen and Antti Valmari. Exploring the Scope for Partial Order Reduction . In Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA 2009), pp. 39-53. (PDF) |
Prof. Dr. Malte Helmert |
| 13.12.2011 | kein Treffen (ICAPS-Deadline) | |
| 20.12.2011 |
Antti Valmari and Henri Hansen. Can Stubborn Sets Be Optimal?. In Proceedings of the 31st International Conference on Applications and Theory of Petri Nets (PETRI NETS 2010), pp. 43-62. (PDF) |
Prof. Dr. Malte Helmert |
| 27.12.2011 | kein Treffen (Weihnachtspause) | |
| 03.01.2012 | kein Treffen (Weihnachtspause) | |
| 11.01.2012 |
Larry A. Taylor and Richard E. Korf. Pruning Duplicate Nodes in Depth-First Search. In Proceedings of the 11th National Conference on Artificial Intelligence (AAAI 1993), pp. 756-761, 1993. (PDF) Larry A. Taylor. Pruning Duplicate Nodes in Depth-First Search. Technical Report CSD-920049, University of California, Los Angeles, USA, 1992. (PDF) Neil Burch and Robert C. Holte. Automatic Move Pruning in General Single-Player Games. In Proceedings of the Fourth International Symposium on Combinatorial Search (SoCS 2011), pp. 31-38, 2011. (PDF) |
Prof. Dr. Malte Helmert |
| 18.01.2012 |
Blai Bonet and Héctor Geffner. Learning Depth-First Search: A Unified Approach to Heuristic Search in Deterministic and Non-Deterministic Settings, and its application to MDPs. In Proceedings of the 16th International Conference on Automated Planning and Scheduling (ICAPS 2006), pp. 42-51. (PDF) |
Prof. Dr. Malte Helmert |
| 24.01.2012 16.02.2012 |
Andrew Barto, Steven Bradtke and Satinder Singh. Learning to act using real-time dynamic programming. In Artificial Intelligence, Volume 76, Issues 1–2, pp. 35-74, 1995. (PDF) |
Dr. Thomas Keller |
| 23.02.2012 |
Blai Bonet and Héctor Geffner. Labeled RTDP: Improving the Convergence of Real-Time Dynamic Programming. In Proceedings of the 13th International Conference on Automated Planning and Scheduling (ICAPS 2003), pp. 12-31. (PDF) |
Dr. Thomas Keller |
| 01.03.2012 |
H. Brendan Mcmahan and Maxim Likhachev and Geoffrey J. Gordon. Bounded real-time dynamic programming: RTDP with monotone upper bounds and performance guarantees. In Proceedings of the 22nd International Conference on Machine Learning (ICML 2005), pp. 569-576. (PDF) |
Dr. Thomas Keller |
| 08.03.2012 |
Biplav Srivastava, Tuan A. Nguyen, Alfonso Gerevini, Subbarao Kambhampati, Minh Binh Do, Ivan Serina. Domain Independent Approaches for Finding Diverse Plans. In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 2016-2022. (PDF) |
Dr. Gabriele Röger |
| 15.03.2012 |
Reuven Bar-Yehuda. One for the Price of Two: A Unified Approach for Approximating Covering Problems. In Proceedings of the 1st International Workshop on Approximation Algorithms for Combinatorial Optimization (APPROX 1998), pp. 49-62. (PDF) |
Prof. Dr. Malte Helmert |
| 22.03.2012 |
Emil Keyder, Jörg Hoffmann and Patrik Haslum. Semi-Relaxed Plan Heuristics. In Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012), to appear. (PDF) |
Prof. Dr. Malte Helmert |
| 29.03.2012 |
Patrik Haslum, John Slaney and Sylvie Thiébaux. Minimal Landmarks for Optimal Delete-Free Planning. In Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012), to appear. (PDF) |
Prof. Dr. Malte Helmert |
Weitere Informationen
- 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 Prof. Dr. Malte Helmert.