Uni-Logo

Reading Group on Planning and Search

Organizer: Dr. Johannes Aldinger

Note

Reading group takes place on Thursday from January 8, 2015.

Time and Place

Time: Thursday, 15:15
Place: Room 052 00-016 (meeting room of the Foundations of Artificial Intelligence and Software Engineering groups)

The reading group takes place in Basel once a month (Bernoullistrasse 16, Raum 404). We share a train ticket to get there. If you are interested to join us please contact Dr. Johannes Aldinger. The reading group dates in Basel for the new year 2015 are not determined yet.

Description

In the reading group, we discuss current and classical research papers. The emphasis lies on work on action planning, search and related areas, but interesting papers from other areas are welcome. All participants can make recommendations for the reading list, from which one or more papers are selected for each meeting. Participants read the selected papers individually in preparation for the meeeting and discuss them during the meeting.

The target audience of the reading group consists of academic staff and interested guests, comparable to a staff seminar or a seminar in a graduate school. Students may feel free to participate, but should be aware that no ECTS points can be earned for the reading group.

Schedule

Date Topic Contact
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 no meeting
19.11.2014 no meeting
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 no meeting
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 no meeting
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 no meeting
5.2.2014 no meeting
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 no meeting
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)

Further Information

If you have any questions, please do not hesitate to contact Dr. Johannes Aldinger.