Uni-Logo

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

Bei Fragen wenden Sie sich bitte an Prof. Dr. Malte Helmert.