Lesegruppe Handlungsplanung und Suche
Organisator: Dr. Johannes Aldinger
Hinweis
Ab dem 2. September 2015 findet die Lesegruppe mittwochs statt.
Zeit und Ort
Zeit: Donnerstag 15:15
Ort: Raum 052 00-016 (Besprechungsraum der Arbeitsgruppen
Grundlagen der Künstlichen Intelligenz und Softwaretechnik)
Einmal im Monat findet die Lesegruppe in Basel statt (Spiegelgasse 5, Raum 04.001). Es besteht eine Mitfahrgelegenheit mit dem Zug nach Basel. Bei Interesse wenden Sie sich bitte an Dr. Johannes Aldinger.
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.04.2015 | kein Treffen | |
| 16:15 09.04.2015 in Basel |
Fan Xie, Martin Müller and Robert Holte. Understanding and Improving Local Exploration for GBFS. In Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015). to appear. (PDF) |
Dr. Gabriele Röger |
| 16.04.2015 |
Peter E. Hart, Nils J. Nilsson and Bertram Raphael. A Formal Basis for the Heuristic Determination of Minimum Cost Paths. IEEE Transactions of Systems Science and Cybernetics 4(2):100-107, 1968. Peter E. Hart, Nils J. Nilsson and Bertram Raphael. Correction To "A Formal Basis for the Heuristic Determination of Minimum Cost Paths". ACM SIGART Bulletin 37:28-29, 1972. |
Prof. Dr. Malte Helmert |
| 23.04.2015 |
Vidal Alcázar and Álvaro Torralba. A Reminder about the Importance of Computing and Exploiting Invariants in Planning. In Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015). To appear. (PDF) |
Jendrik Seipp |
| 30.04.2015 |
Daniel Gnad and Jörg Hoffmann. Beating LM-cut with h^max (Sometimes): Fork-Decoupled State Space Search. In Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015). To appear. (PDF) |
Dr. Gabriele Röger |
| 07.05.2015 |
Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey and Nir Lipovetzky. Sequencing Operator Counts. In Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015). To appear. (PDF) |
Prof. Dr. Malte Helmert |
| 14.05.2015 | kein Treffen - Christi Himmelfahrt | |
| 13:30 21.05.2015 |
Jussi Rintanen. Planning as satisfiability: Heuristics. Artificial Intelligence 193 (2012): 45-86. (PDF) |
Florian Pommerening |
| 28.05.2015 |
Sam Bayless, Noah Bayless, Holger H. Hoos and Alan J. Hu. SAT Modulo Monotonic Theories. In Proc. AAAI 2015. (PDF) |
Prof. Dr. Malte Helmert |
| 04.06.2015 in Basel |
Venkatraman Narayanan, Sandip Aine, Maxim Likhachev. Improved Multi-Heuristic A* for Searching with Uncalibrated Heuristics. In Proceedings of the 8th Annual Symposium on Combinatorial Search (SoCS 2015). (PDF) |
Dr. Gabriele Röger |
| 11.06.2015 | kein Treffen (ICAPS) | |
| 18.06.2015 |
Mauro Vallati, Frank Hutter, Lukáš Chrpa and Thomas L. McCluskey. On the Effective Configuration of Planning Domain Models. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). (PDF) |
Dr. Frank Hutter |
| 25.06.2015 |
Christopher Wilt and Wheeler Ruml. Building a Heuristic for Greedy Search. In Proceedings of the 8th Annual Symposium on Combinatorial Search (SoCS 2015). (PDF) |
Prof. Dr. Malte Helmert |
| 16:30 02.07.2015 in Basel |
Tomáš Balyo and Roman Bartak. No One SATPlan Encoding To Rule Them All. In Proceedings of the 8th Annual Symposium on Combinatorial Search (SoCS 2015). (PDF) |
Salomé Simon |
| 09.07.2015 |
Florian Geißer, Thomas Keller and Robert Mattmüller. Delete Relaxations for Planning with State-Dependent Action Costs. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). (PDF) |
Dr. Florian Geißer |
| 16.07.2015 |
Christian Raack, Arie M. C. A. Koster, Sebastian Orlowski and Roland Wessäly. On Cut-Based Inequalities for Capacitated Network Design Polyhedra. Networks 57(2):141-156, 2011. |
Prof. Dr. Malte Helmert |
| 23.07.2015 |
Álvaro Torralba and Jörg Hoffmann. Simulation-Based Admissible Dominance Pruning. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). (PDF) |
Dr. Gabriele Röger |
| 30.07.2015 |
Álvaro Torralba and Peter Kissmann. Focusing on What Really Matters: Irrelevance Pruning in Merge-and-Shrink. Proceedings of the 8th Annual Symposium on Combinatorial Search (SOCS 2015). (PDF) |
Silvan Sievers |
| 06.08.2015 |
Álvaro Torralba. Chapter 2 of Symbolic Search and Abstraction Heuristics for Cost-Optimal Planning. Universidad Carlos III de Madrid, PhD dissertation, June 2015. |
Silvan Sievers |
| 13.08.2015 |
Randal E. Bryant. Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers, Vol. C-35, No. 8 (1986). |
Dr. Gabriele Röger |
| 20.08.2015 |
Daniel Gnad, Jörg Hoffmann and Carmel Domshlak. From Fork Decoupling to Star-Topology Decoupling. TechReport. (PDF) |
Martin Wehrle |
| 27.08.2015 |
Nir Lipovetzky, Miquel Ramirez and Hector Geffner. Classical Planning with Simulators: Results on the Atari Video Games. Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). (PDF) |
Dr. Florian Geißer |
| 02.09.2015 |
Nir Lipovetzky, Hector Geffner. Width and Serialization of Classical Planning Problems. Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012). (PDF) |
Dr. Johannes Aldinger |
| 16:30 09.09.2015 in Basel |
Doron Nussbaum, Alper Yörükçü. Moving Target Search with Subgoal Graphs. Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling (ICAPS 2015). (PDF) |
Salomé Simon |
| 16.09.2015 |
Robert Geisberger, Peter Sanders, Dominik Schultes and Daniel Delling. Contraction Hierarchies: Faster and Simpler Hierarchical Routing in Road Networks. 7th Workshop on Experimental Algorithms (WEA 2008), Springer LNCS 5038, pp. 319-333. (PDF) |
Dr. Florian Geißer |
| 23.09.2015 |
Florian Pommerening and Malte Helmert. A Normal Form for Classical Planning Tasks. In Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015). (PDF) |
Dr. Florian Geißer |
| 30.09.2015 |
André G. Pereira, Marcus Ritt and Luciana S. Buriol. Optimal Sokoban solving using pattern databases with specific domain knowledge. Artificial Intelligence 227:52-70, 2015. |
Prof. Dr. Malte Helmert |
Weitere Informationen
- Lesegruppe im WS 2014/2015
- Lesegruppe im SS 2014
- Lesegruppe im WS 2013/2014
- Lesegruppe im SS 2013
- Lesegruppe im WS 2012/2013
Bei Fragen wenden Sie sich bitte an Dr. Johannes Aldinger.