Seminar: Advanced Topics in AI Planning - Topics

Area Advanced Techniques

Topic Tech.1: Macro Operators

Supervisor: Dr. Yusra Alkhazraji

Presentation: Julian Schwarz

Short commentary: Manuel Ruder

  • Adi Botea, Markus Enzenberger, Martin Müller, and Jonathan Schaeffer. Macro-FF: Improving AI Planning with Automatically Learned Macro-Operators. JAIR 2005. (PDF)

  • Andrew Coles and Amanda Smith. Marvin: A Heuristic Search Planner with Online Macro-Action Learning. JAIR 2007. (PDF)

  • Lukas Chrpa. Combining Learning Techniques for Classical Planning: Macro-operators and Entanglements. ICTAI 2010. (PDF)

Topic Tech.2: Problem Decomposition

Supervisor: Dr. Tim Schulte

Presentation: Jonas Thiem

Short commentary: Patrick Ebner

  • Ronen I. Brafman and Carmel Domshlak. Factored Planning: How, When, and When Not. AAAI 2006. (PDF)

  • Matthew Crosby, Michael Rovatsos, and Ronald P. A. Petrick. Automated Agent Decomposition for Classical Planning. ICAPS 2013. (PDF)

Topic Tech.3: Symmetry Reduction

Supervisor: Dr. Robert Mattmüller

Presentation: Anatolii Domashnev

Short commentary: Julian Schwarz

  • Nir Pochter, Aviv Zohar and Jeffrey S. Rosenschein. Exploiting Problem Symmetries in State-Based Planners. AAAI 2011. (PDF)

  • Carmel Domshlak, Michael Katz, and Alexander Shleyfman. Enhanced Symmetry Breaking in Cost-Optimal Planning as Forward Search. ICAPS 2012. (PDF)

Topic Tech.4: Advanced Relaxation Heuristics

Supervisor: Dr. Florian Geißer

Presentation: Patrick Ebner

Short commentary: Erik Wacker

  • Emil Keyder, Jörg Hoffmann and Patrik Haslum. Semi-Relaxed Plan Heuristics. ICAPS 2012. (PDF)

  • Michael Katz, Jörg Hoffmann and Carmel Domshlak. Who Said we Need to Relax All Variables?. ICAPS 2013. (PDF)

Topic Tech.5: Advanced Abstraction Heuristics

Supervisor: Manuela Ortlieb

Presentation: Dominik Winterer

Short commentary: David Speck

  • Malte Helmert, Patrik Haslum, and Jörg Hoffmann. Flexible abstraction heuristics for optimal sequential planning. ICAPS 2007. (PDF)

  • Jendrik Seipp and Malte Helmert. Counterexample-guided Cartesian abstraction refinement. ICAPS 2013. (PDF)

Supervisor: Dr. Andreas Hertle

Presentation: Farooq Ahmed Zuberi

Short commentary: Jonas Thiem

  • Álvaro Torralba, Vidal Alcázar. Constrained symbolic search: On mutexes, BDD minimization and more. SoCS 2013. (PDF)

  • Stefan Edelkamp, Peter Kissmann and Álvaro Torralba. Symbolic A* search with pattern databases and the merge-and-shrink abstraction. ECAI 2012. (PDF)

Topic Tech.7: Cost Partitioning

Supervisor: Dr. Robert Mattmüller

Presentation: Ilir Kola

Short commentary: Dominik Winterer

  • Michael Katz and Carmel Domshlak. Optimal admissible composition of abstraction heuristics. Artificial Intelligence 2010. (PDF)

  • Florian Pommerening, Malte Helmert, Gabriele Röger, and Jendrik Seipp. From Non-Negative to General Operator Cost Partitioning. AAAI 2015. (PDF)

Topic Tech.8: Planning as Satisfiability

Supervisor: Dr. Robert Mattmüller

Presentation: David Speck

Short commentary: Robert Grönsfeld

  • Jussi Rintanen, Keijo Heljanko and Ilkka Niemelä. Planning as satisfiability: parallel plans and algorithms for plan search. Artificial Intelligence 2006. (PDF)

  • Jussi Rintanen. Heuristics for Planning with SAT. CP 2010. (PDF)

Topic Tech.9: Hierarchical Task Networks

Supervisor: Dr. Andreas Hertle

Presentation: Erik Wacker

Short commentary: Maria Hügle

  • Dana Nau, Hector Muñoz-Avila, Yue Cao, Amnon Lotem, and Steven Mitchell. Total-Order Planning with Partially Ordered Subtasks. IJCAI 2001. (PDF)

  • Alfonso Gerevini, Ugur Kuter, Dana S. Nau, Alessandro Saetti and Nathaniel Waisbrot. Combining Domain-Independent Planning and HTN Planning: The Duet Planner. ECAI 2008. (PDF)

  • Thomas Geier and Pascal Bercher. On the Decidability of HTN Planning with Task Insertion. IJCAI 2011. (PDF)

Area Advanced Models

Topic Mod.1: Soft Goals

Supervisor: Dr. Yusra Alkhazraji

Presentation: Manuel Ruder

Short commentary: Janosch Deurer

  • Emil Keyder and Hector Geffner. Soft Goals Can Be Compiled Away. JAIR 2009. (PDF)

  • Menkes van den Briel, Romeo Sanchez, Minh B. Do, and Subbarao Kambhampati. Effective Approaches for Partial Satisfaction (Over-Subscription) Planning. AAAI 2004. (PDF)

  • Ronen Brafman and Yuri Chernyavsky. Planning with Goal Preferences and Constraints. ICAPS 2005. (PDF)

Topic Mod.2: Temporal Planning

Supervisor: Dr. Johannes Aldinger

Presentation: Axel Perschmann

Short commentary: Tarek Saier

  • Patrik Haslum and Hector Geffner. Heuristic Planning with Time and Resources. ECP 2001. (PDF)

  • William Cushing, Subbarao Kambhampati, Mausam, and Daniel S. Weld. When is Temporal Planning Really Temporal?. IJCAI 2007. (PDF)

Topic Mod.3: Numeric Planning with Resources

Supervisor: Dr. Johannes Aldinger

Presentation: Kevin Hättig

Short commentary: Stefan Martinovski

  • Jörg Hoffmann. The Metric-FF Planning System: Translating ``Ignoring Delete Lists'' to Numeric State Variables. JAIR 2003. (PDF)

  • Alfonso Gerevini, Alessandro Saetti and Ivan Serina. An Approach to Efficient Planning with Numerical Fluents and Multi-Criteria Plan Quality. Artificial Intelligence 2008. (PDF)

  • Amanda Coles, Andrew Coles, Maria Fox and Derek Long. COLIN: Planning with Continuous Linear Numeric Change. JAIR 2012. (PDF)

  • Amanda Coles, Andrew Coles, Maria Fox and Derek Long. A Hybrid LP-RPG Heuristic for Modelling Numeric Resource Flows in Planning. JAIR 2013. (PDF)

Topic Mod.4: Probabilistic Planning with MDPs

Supervisor: Dr. Florian Geißer

Presentation: Jeremias Holub

Short commentary: Moritz Freidank

  • Thomas Keller and Malte Helmert. Trial-based Heuristic Tree Search for Finite Horizon MDPs. ICAPS 2013. (PDF)

  • Levente Kocsis and Csaba Szepesvári. Bandit based Monte-Carlo Planning. ECML 2006. (PDF)

  • Sylvain Gelly and David Silver. Combining Online and Offline Knowledge in UCT. ICML 2007. (PDF)

Topic Mod.5: Multi-Agent Planning

Supervisor: Dr. Tim Schulte

Presentation: Maria Hügle

Short commentary: Kevin Hättig

  • Raz Nissim and Ronen Brafman. Distributed Heuristic Forward Search for Multi-agent Planning. JAIR 2014. (PDF)

  • Michal Štolba and Antonín Komenda. Fast-Forward Heuristic for Multiagent Planning. ICAPS DMAP-2013 (PDF)

  • Alejandro Torreǹo, Eva Onaindia, Óscar Sapena FMAP: Distributed cooperative multi-agent planning. Appl. Intell. 41(2) 2014 (PDF, access from university network)

Topic Mod.6: Expressive Models with Semantic Attachments

Supervisor: Dr. Andreas Hertle

Presentation: Davoud Behroozian

Short commentary: Jeremias Holub

  • Christian Dornhege, Patrick Eyerich, Thomas Keller, Sebastian Trüg, Michael Brenner, and Bernhard Nebel. Semantic Attachments for Domain-Independent Planning Systems. ICAPS 2009. (PDF)

  • Peter Gregory, Derek Long, Maria Fox, and J. Christopher Beck. Planning Modulo Theories: Extending the Planning Paradigm. ICAPS 2012. (PDF)

Area Applications

Topic App.1: Robotics Applications

Supervisor: Dr. Andreas Hertle

Presentation: Robert Grönsfeld

Short commentary: Davoud Behroozian

  • Leslie Pack Kaelbling and Tomás Lozano-Pérez. Hierarchical Task and Motion Planning in the Now. IEEE Conference on Robotics and Automation (ICRA 2011). (PDF)

Topic App.2: Entertainment: Story Telling

Supervisor: Dr. Florian Geißer

Presentation: Tarek Saier

Short commentary: Anatolii Domashnev

  • Julie Porteous, Marc Cavazza, and Fred Charles. Applying planning to interactive storytelling: Narrative control using state constraints. ACM TIST 2010. (PDF)

  • Patrik Haslum. Narrative Planning: Compilations to Classical Planning. JAIR 2012. (PDF)

Topic App.3: Robot Bartender Domain

Supervisor: Manuela Ortlieb

Presentation: Stefan Martinovski

Short commentary: Farooq Ahmed Zuberi

  • Ronald P. A. Petrick and Mary Ellen Foster. Planning for Social Interaction in a Robot Bartender Domain. ICAPS 2013. (PDF)

Topic App.4: Greenhouse Domain

Supervisor: Dr. Tim Schulte

Presentation: Moritz Freidank

Short commentary: Axel Perschmann

  • Malte Helmert and Hauke Lasinger. The Scanalyzer Domain: Greenhouse Logistics as a Planning Problem. ICAPS 2010. (PDF)

Area Theory

Topic Th.1: Complexity and (Un-)decidability Results

Supervisor: Prof. Dr. Bernhard Nebel

Presentation: Janosch Deurer

Short commentary: Ilir Kola

  • Tom Bylander. The Computational Complexity of Propositional STRIPS Planning. Artificial Intelligence 1994. (PDF)

  • Malte Helmert. Decidability and Undecidability Results for Planning with Numerical State Variables. AIPS 2002. (PDF)