Lesegruppe Handlungsplanung und Suche
Organisator: Dr. Johannes Aldinger
Hinweis
Ab dem 8. Januar 2015 findet die Lesegruppe donnerstags 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 (Bernoullistrasse 16, Raum 404). Es besteht eine Mitfahrgelegenheit mit dem Zug nach Basel. Bei Interesse wenden Sie sich bitte an Dr. Johannes Aldinger. Die Lesegruppentermine in Basel für das Jahr 2015 sind bisher noch nicht terminiert.
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 |
|---|---|---|
| 01.10.2014 |
Rina Dechter. Constraint Processing (Chapters 1 and 2). Morgan Kaufmann, 2003. |
Dr. Gabriele Röger |
| 08.10.2014 |
Rina Dechter. Constraint Processing (Chapter 3). Morgan Kaufmann, 2003. |
Florian Pommerening |
| 29.10.2014 |
Rina Dechter. Constraint Processing (Chapter 4). Morgan Kaufmann, 2003. |
Florian Pommerening |
| 05.11.2014 |
Rina Dechter. Constraint Processing (Chapter 5). Morgan Kaufmann, 2003. |
Dr. Gabriele Röger |
| 12.11.2014 | kein Treffen | |
| 19.11.2014 | kein Treffen | |
| 26.11.2014 |
Rina Dechter. Constraint Processing (Chapter 6). Morgan Kaufmann, 2003. |
Dr. Gabriele Röger |
| 3.12.2014 |
Thomas Keller and Florian Geißer. Better Be Lucky Than Good: Exceeding Expectations in MDP Evaluation.. In Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015). To appear. (PDF) |
Dr. Robert Mattmüller |
| 10.12.2014 | kein Treffen | |
| 16:15 17.12.2014 in Basel |
Donald E. Knuth. A Generalization of Dijkstra’s Algorithm. Information Processing Letters Vol. 6, No. 1, 1977, pp. 1-5. Alan J. Perlis. Epigrams on Programming. SIGPLAN Notices, Vol. 17, No. 9, 1982, pp. 7-13. |
Dr. Gabriele Röger |
| 8.1.2014 | kein Treffen | |
| 15.1.2015 |
Carlos Ansótegui, Maria Luisa Bonet and Jordi Levy. A New Algorithm for Weighted Partial MaxSAT. In Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2010), pp. 3-8, AAAI Press 2010. (PDF) |
Dr. Johannes Aldinger |
| 22.1.2015 |
John N. Hooker. Decision Diagrams and Dynamic Programming. In Proceedings of the Tenth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2013), pp. 94-110, 2013. (PDF) |
Prof. Dr. Malte Helmert |
| 29.1.2014 | kein Treffen | |
| 5.2.2014 | kein Treffen | |
| 16:15 12.2.2015 in Basel |
Giuseppe De Giacomo, Riccardo De Masellis and Marco Montalli. Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness. In Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2014). (PDF) |
Dr. Johannes Aldinger |
| 26.2.2015 |
Robert P. Goldman and Ugur Kuter. Measuring Plan Diversity: Pathologies in Existing Approaches and a New Plan Distance Metric. In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI 2015). (PDF) |
Dr. Gabriele Röger |
| 5.3.2014 | kein Treffen | |
| 12.3.2015 |
Lars Kotthoff. Algorithm Selection for Combinatorial Search Problems: A Survey. AI Magazine 2014. (PDF) |
Marius Lindauer |
| 19.3.2015 |
Michael Bowling, Neil Burch, Michael Johanson and Oskari Tammelin. Heads-up Limit Hold'em Poker is Solved. Science (January 2015). (PDF) |
Dr. Johannes Aldinger |
| 26.3.2015 |
Florian Pommerening, Malte Helmert, Gabriele Röger and Jendrik Seipp. From Non-Negative to General Operator Cost Partitioning. In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI 2015). (PDF) |
Dr. Florian Geißer |
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
- Lesegruppe im SS 2014
- Lesegruppe im WS 2013/2014
- Lesegruppe im SS 2013
- Lesegruppe im WS 2012/2013
- Lesegruppe im SS 2012
- Lesegruppe im WS 2011/2012
- 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 Dr. Johannes Aldinger.