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)
Topic Tech.6: Symbolic Search
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