Lesegruppe Handlungsplanung und Suche
Organisator: Dr. Johannes Aldinger
Hinweis
Ab dem 25. Februar 2016 findet die Lesegruppe um 15:15 Uhr statt.
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.10.2015 |
Holger Bast, Stefan Funke and Domagoj Matijevic. TRANSIT: Ultrafast Shortest-Path Queries with Linear-Time Preprocessing. 9th DIMACS Implementation Challenge, 2006. (PDF) |
Dr. Gabriele Röger |
| 14.10.2015 | kein Treffen | |
| 21.10.2015 |
Akihiro Kishimoto, Alex Fukunaga and Adi Botea. Evaluation of a simple, scalable, parallel best-first search strategy. Artificial Intelligence 195:222-248, 2013. |
Prof. Dr. Malte Helmert |
| 28.10.2015 | kein Treffen | |
| 04.11.2015 |
David Churchill and Michael Buro. Build Order Optimization in StarCraft. Proceedings of the Seventh AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE 2011). (PDF) |
Silvan Sievers |
| 11.11.2015 |
S.R.K. Branavan, David Silver and Regina Barzilay. Learning to Win by Reading Manuals in a Monte-Carlo Framework. Journal of Artificial Intelligence Research 43:661-704, 2012. (PDF) |
Dr. Thomas Keller |
| 18.11.2015 |
Gianfranco Ciardo and Radu Siminiceanu. Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths. Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design. (PDF) |
Dr. Florian Geißer |
| 25.11.2015 |
Patrick Cousot and Radhia Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. Conference Record of the Sixth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM 1977. (PDF) |
Dr. Johannes Aldinger |
| 02.12.2015 |
Yiming Wang, Austin Buchanan and Sergiy Butenko. On imposing connectivity constraints in integer programs. Preprint, 2015. (PDF) |
Florian Pommerening |
| 09.12.2015 | kein Treffen | |
| 16.12.2015 |
Toby Davies, Adrian Pearce, Peter Stuckey, and Harald Søndergaard. Fragment-based planning using column generation. Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling (ICAPS 2014), pp. 83-91. (PDF) |
Florian Pommerening |
| 23.12.2015 | kein Treffen | |
| 30.12.2015 | kein Treffen | |
| 06.01.2016 in Basel |
Adi Botea. Ultra-Fast Optimal Pathfinding without Runtime Search. Proceedings of the Seventh AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE 2011), pp. 122-127. (PDF) |
Prof. Dr. Malte Helmert |
| 13.01.2016 |
Ben Strasser, Adi Botea and Daniel Harabor. Compressing Optimal Paths with Run Length Encoding. Journal of Artificial Intelligence Research 54:593-629, 2015. (PDF) |
Prof. Dr. Malte Helmert |
| 20.01.2016 |
Chris Rayner, Michael Bowling and Nathan Sturtevant. Euclidean Heuristic Optimization. Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2011), pp. 81-86, 2011. (PDF) |
Prof. Dr. Malte Helmert |
| 27.01.2016 |
Ittai Abraham, Daniel Delling, Andrew V. Goldberg, and Renato F. Werneck. A Hub-Based Labeling Algorithm for Shortest Paths in Road Networks. Proceedings of the Tenth International Symposium on Experimental Algorithms (SEA 2011), pp. 230-241, 2011. (PDF) |
Florian Pommerening |
| 03.02.2016 | kein Treffen | |
| 10.02.2016 |
Marcel Steinmetz and Jörg Hoffmann. Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends. Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI 2016), 2016. (PDF) |
Jendrik Seipp |
| 17.02.2016 | kein Treffen | |
| 25.02.2016 |
David Silver et al. Mastering the game of Go with deep neural networks and tree search. Nature 529, pp. 484-489, 2016. (PDF) |
Dr. Robert Mattmüller |
| 03.03.2016 in Basel |
Robert C. Holte, Ariel Felner, Guni Sharon and Nathan R. Sturtevant. Bidirectional Search That Is Guaranteed to Meet in the Middle. Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI 2016), 2016. (PDF) |
Prof. Dr. Malte Helmert |
| 10.03.2016 |
Hootan Nakhost and Martin Müller. A Theoretical Framework for Studying Random Walk Planning. Proceedings of the Fifth Annual Symposium on Combinatorial Search (SoCS 2012), pp. 57-64, 2012. (PDF) |
Manuel Heusner |
| 17.03.2016 | kein Treffen | |
| 24.03.2016 | kein Treffen | |
| 31.03.2016 in Basel |
Hubie Chen and Omer Gimenez. Act Local, Think Global: Width Notions for Tractable Planning. Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS 2012), pp. 73-80, 2007. (PDF) |
Florian Pommerening |
| 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 |
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.