Uni-Logo

Lesegruppe Handlungsplanung und Suche

Organisator: Dr. Johannes Aldinger

Hinweis

Ab dem 13. August 2014 findent die Lesegruppe Mittwochs statt.

Zeit und Ort

Zeit: Dienstag 15:20 ab 13.08.: Mittwoch 16: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 bis Ende 2014 sind: 06.05.2014, 20.05.2014, 17.06.2014, 05.08.2014, 17.09.2014, 15.10.2014, 19.11.2014, 17.12.2014.

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.04.2014 Blai Bonet and Menkes van den Briel.
Flow-based Heuristics for Optimal Planning: Landmarks and Merges.
In Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS 2014), 2014, to appear. (PDF)
Dr. Johannes Aldinger
08.04.2014 Simone Santini.
We Are Sorry to Inform You....
Computer 38(12):126-128, 2005.

Leslie Lamport.
Euclid Writes an Algorithm: A Fairytale.
In Festschrift celebrating the 60th birthday of Manfred Broy, 2011. (PDF)
Prof. Dr. Malte Helmert
15.04.2014 Fan Xie, Martin Müller, Robert Holte and Tatsuya Imai.
Type-based Exploration with Multiple Search Queues for Satisficing Planning.
In Proceedings of the Twenty-Eigth AAAI Conference on Artificial Intelligence (AAAI 2014), 2014, to appear. (PDF)
Jendrik Seipp
22.04.2014 kein Treffen (Osterpause)
29.04.2014 Fan Xie, Martin Müller and Robert Holte.
Adding Local Exploration to Greedy Best-First Search in Satisficing Planning.
In Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2014), 2014, to appear. (PDF)
Prof. Dr. Malte Helmert
14:30 06.05.2014 in Basel Richard Valenzano, Nathan R. Sturtevant, Jonathan Schaeffer and Fan Xie.
A Comparison of Knowledge-Based GBFS Enhancements and Knowledge-Free Exploration.
In Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS 2014), 2014, to appear. (PDF)
Jendrik Seipp
13.05.2014 Matthew Hatem and Wheeler Ruml.
External Memory Best-First Search for Multiple Sequence Alignment.
In Proceedings of the Twenty-Seventh Conference on Artificial Intelligence (AAAI-2013). 2013. (PDF)
Florian Pommerening
16:00 20.05.2014 in Basel Avitan Gefen and Ronen Brafman.
Pruning Methods For Optimal Delete-free Planning Using Domination-Free Reachability.
In Proceedings of the 5th Workshop on Heuristics and Search for Domain-Independent Planning (HSDIP 2013), pp. 69-77, 2013. (PDF)
Dr. Johannes Aldinger
27.05.2014 Lei Zhang, Chong-Jun Wang and Jun-Yuan Xie.
Cost optimal planning with LP-based multi-valued landmark heuristic.
In Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2014), 2014. (PDF)
Florian Pommerening
03.06.2014 Martin Suda.
Property Directed Reachability for Automated Planning.
Journal of Artificial Intelligence Research, 2014. To appear.
Prof. Dr. Malte Helmert
10.06.2014 Hector J. Levesque.
On our best behaviour.
Artificial Intelligence, 2014. To appear.

Uri Alon.
How To Choose a Good Scientific Problem.
Molecular Cell 35:726-728, 2009.
Prof. Dr. Malte Helmert
16:00 17.06.2014 in Basel Joao Marques-Silva, Ines Lynce and Sharad Malik.
Conflict-Driven Clause Learning SAT Solvers.
Handbook of Satisfiability, IOS Press, 2009, 131-153.
Salomé Simon
24.06.2014 kein Treffen (ICAPS)
01.07.2014 kein Treffen (ICAPS)
08.07.2014 Sergiy Bogomolov, Daniele Magazzeni, Andreas Podelski and Martin Wehrle.
Planning as Model Checking in Hybrid Domains.
In Proceedings of the Twenty-Eigth AAAI Conference on Artificial Intelligence (AAAI 2014), 2014, to appear. (PDF)
Dr. Johannes Aldinger
15.07.2014 Gaojian Fan, Martin Müller and Robert Holte.
Non-Linear Merging Strategies for Merge-and-Shrink Based on Variable Interactions.
In Proceedings of the Seventh Annual Symposium on Combinatorial Search (SoCS 2014), 2014, to appear. (PDF)
Silvan Sievers
22.07.2014 Vitaly Mirkis and Carmel Domshlak.
Landmarks in Oversubscription Planning.
In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), 2014, to appear. (PDF)
Dr. Gabriele Röger
29.07.2014 Tatsuya Imai and Alex Fukunaga.
A Practical, Integer-Linear Programming Model for the Delete-Relaxation in Cost-Optimal Planning.
In Proceedings of the 6th Workshop on Heuristics and Search for Domain-Independent Planning (HSDIP 2014), pp. 71-79, 2014. (PDF)
Florian Pommerening
16:00 05.08.2014 in Basel J. Hoffmann, P. Kissmann, and A. Torralba.
`Distance'? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability.
Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14), Prague, Czech Republic, August 2010. (PDF)
Silvan Sievers
16:15 13.08.2014 neuer Termin: Mittwoch Mehdi Samadi, Maryam Siabani, Ariel Felner and Robert Holte.
Compressing Pattern Databases with Learning.
In Proceedings of the 18th European Conference on Artificial Intelligence (ECAI'08), Patras, Greece, 2008. (PDF)
Jendrik Seipp
27.08.2014 Sandip Aine, Siddharth Swaminathan, Venkatraman Narayanan, Victor Hwang, and Maxim Likhachev.
Multi-Heuristic A*.
In Proceedings of Robotics: Science and Systems (RSS 2014), 2014. (PDF)
Dr. Gabriele Röger
03.09.2014 Jussi Rintanen and Charles Orgill Gretton.
Computing Upper Bounds on Lengths of Transition Sequences.
In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI 2013), 2013. (PDF)
Jendrik Seipp
10.09.2014 Christopher Wilt and Wheeler Ruml.
Speedy versus Greedy Search.
In Proceedings of the Seventh Annual Symposium on Combinatorial Search (SoCS 2014), 2014. (PDF)
Prof. Dr. Malte Helmert
17.09.2014 in Basel John Slaney.
Set-theoretic duality: A fundamental feature of combinatorial optimisation.
Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14), pp. 843-848, 2014. (PDF)
Dr. Gabriele Röger
24.09.2014 Christer Bäckström.
Parameterising the Complexity of Planning by the Number of Paths in the Domain-transition Graphs.
Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14), pp. 33-38, 2014. (PDF)
Prof. Dr. Malte Helmert

Paper-Pool

  • 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)

  • 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

Bei Fragen wenden Sie sich bitte an Dr. Johannes Aldinger.