Lesegruppe Handlungsplanung und Suche
Organisator: Dr. Johannes Aldinger
Zeit und Ort
Zeit: Donnerstag 15:15
Ort: Raum 052 00-016 (Besprechungsraum der Arbeitsgruppen
Grundlagen der Künstlichen Intelligenz und Softwaretechnik)
Die erste Lesegruppe jedes Monats findet 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 |
|---|---|---|
| 07.04.2016 16:15 in Basel |
Yexiang Xue, Arthur Choi and Adnan Darwiche. Basing Decisions on Sentences in Decision Diagrams. Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI 2012), pp. 842-849, 2012. (PDF) |
Prof. Dr. Malte Helmert |
| 14.04.2016 |
Adnan Darwiche and Pierre Marquis. A Knowledge Compilation Map. JAIR 17:229-264, 2002. (PDF) |
Prof. Dr. Malte Helmert |
| 21.04.2016 |
Malte Helmert, Gabriele Röger and Silvan Sievers. On the Expressive Power of Non-Linear Merge-and-Shrink Representations. In Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling (ICAPS 2015), pp. 106-114, 2015. (PDF) |
Prof. Dr. Malte Helmert |
| 28.04.2016 |
Tim Schmidt and Rong Zhou. Representing Pattern Databases with Succinct Data Structures. In Proceedings of the Fourth International Symposium on Combinatorial Search (SoCS 2011), pp. 142-149, 2011. (PDF) |
Prof. Dr. Malte Helmert |
| 12.05.2016 16:15 in Basel |
Geoff Gordon. Linear Programming, Lagrange Multipliers, and Duality. Tutorial. (PDF) |
Florian Pommerening |
| 19.05.2016 | kein Treffen | |
| 26.05.2016 16:15 in Basel |
Richard Valenzano and Fan Xie. On the Completeness of Best-First Search Variants That Use Random Exploration. In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI 2016), pp. 784-790, 2016. (PDF) |
Prof. Dr. Malte Helmert |
| 02.06.2016 16:15 in Basel |
Dimitri Klimenko, Hanna Kurniawati and Marcus Gallagher. A Stochastic Process Model of Classical Search. arXiv:1511.08574v1 [cs.AI], 2015. (PDF) |
Manuel Heusner |
| 09.06.2016 |
Masataro Asai and Alex Fukunaga. Tiebreaking Strategies for A* Search: How to Explore the Final Frontier. In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI 2016), pp. 673-679, 2016. (PDF) |
Prof. Dr. Malte Helmert |
| 16.06.2016 | kein Treffen (ICAPS) | |
| 23.06.2016 | kein Treffen | |
| 30.06.2016 |
Jan Tožička, Jan Jakubův, Martin Svatoš and Antonín Komenda. Recursive Polynomial Reductions for Classical Planning. In Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling (ICAPS 2016), pp. 317-325, 2016. (PDF) |
Prof. Dr. Malte Helmert |
| 07.07.2016 | kein Treffen (SoCS) | |
| 14.07.2016 | kein Treffen (IJCAI) | |
| 21.07.2016 |
Alvaro Torralba, Carlos Linares Lopez, and Daniel Borrajo. Abstraction Heuristics for Symbolic Bidirectional Search. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI 2016). (PDF) |
Florian Pommerening |
| 28.07.2016 |
Nir Lipovetzky, Christian Muise and Hector Geffner. Traps, Invariants, and Dead-Ends. In Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling (ICAPS 2016). (PDF) |
Prof. Dr. Malte Helmert |
Paper-Pool
-
Ching-Tsun Chou and Doron Peled.
Formal Verification of a Partial-Order Reduction Technique for Model Checking.
Journal of Automated Reasoning, 23(3-4):265-298, 1999. (PDF) -
Knot Pipatsrisawat and Adnan Darwiche.
Top-Down Algorithms for Constructing Stuctured DNNF: Theoretical and Practical Implications.
In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), pp. 3-8, IOS Press 2010. (PDF)
Weitere Informationen
Die Arbeiten, die in früheren Semestern in der Lesegruppe gelesen wurden, finden Sie im Lesegruppenarchiv.
Bei Fragen wenden Sie sich bitte an Dr. Johannes Aldinger.