Foundations of Artificial Intelligence (FAI) Group

Journal Papers

• D. Gnad, J. Hoffmann, and M. Wehrle, Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search, Journal of Artificial Intelligence Research, Volume 65, pages 343-392. (PDF at JAIR) (bib entry)

• D. Gnad and J. Hoffmann, Star-Topology Decoupled State Space Search, Artificial Intelligence, Volume 257, pages 24-60. (Preprint PDF) (doi: 10.1016/j.artint.2017.12.004) (bib entry)

Book Chapters

• J. Hoffmann, and M. Helmert, D. Gnad, and F. Pommerening, Planen, chapter in Handbuch der Künstlichen Intelligenz, pp. 395-428. De Gruyter 2020. doi: 10.1515/9783110659948-010.

Ph.D. Thesis

• D. Gnad, Star-Topology Decoupled State-Space Search in AI Planning and Model Checking, Saarland University, 2021. (PDF)

Conference Papers

• D. Gnad, A. Torralba, and D. Fišer, Beyond Stars - Generalized Topologies for Decoupled Search , Proceedings of the 32th International Conference on Automated Planning and Scheduling (ICAPS'22), 2022. (PDF)

• D. Fišer, D. Gnad, M. Katz, and J. Hoffmann, Custom-Design of FDR Encodings: The Case of Red-Black Planning, Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI'21), 2021. (PDF)

• D. Gnad, J. Eisenhut, A. Lluch Lafuente, and J. Hoffmann, Model Checking ω-Regular Properties with Decoupled Search, Proceedings of the 33rd International Conference on Computer-Aided Verification (CAV'21), 2021. (PDF)

• D. Gnad, Revisiting Dominance Pruning in Decoupled Search, Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI'21), 2021. (PDF)

• Frederik Schmitt, D. Gnad, J. Hoffmann Advanced Factoring Strategies for Decoupled Search using Linear Programming, Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS'19), Berkeley, CA, USA, 2019. (PDF) (Technical Report)

• D. Gnad, J. Hoffmann On the Relation between Star-Topology Decoupling and Petri Net Unfolding, Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS'19), Berkeley, CA, USA, 2019. (PDF) (Technical Report) In the TR, we give additional examples as well as different versions for some of the proofs that improve clarity.

• D. Gnad, A. Torralba, M. Dominguez, C. Areces, F. Bustos, Learning How to Ground a Plan - Partial Grounding in Classical Planning, Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI'19), Honolulu, USA, 2019. (PDF)

• D. Gnad, P. Dubbert, A. Lluch Lafuente, and J. Hoffmann, Star-Topology Decoupling in SPIN, Proceedings of the 24th International SPIN Symposium on Model Checking of Software (SPIN'18), Malaga, Spain, 2018. Best paper award. (PDF)

• M. Fickert, D. Gnad, and J. Hoffmann, Unchaining the Power of Partial Delete Relaxation, Part II: Finding Plans with Red-Black State Space Search, Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI'18), Stockholm, Sweden, 2018. (PDF) (Technical Report)

• D. Gnad, V. Poser, and J. Hoffmann, Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search, Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), Melbourne, Australia, 2017. (PDF)

• D. Gnad, A. Torralba, and J. Hoffmann, Symbolic Leaf Representation in Decoupled Search, Proceedings of the 10th Annual Symposium on Combinatorial Search (SOCS'17), Pittsburgh, PA, USA, 2017. (PDF) (Technical Report)

• D. Gnad, A. Torralba, A. Shleyfman, and J. Hoffmann, Symmetry Breaking in Star-Topology Decoupled Search, Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS'17), Pittsburgh, PA, USA, 2017. (PDF) (Technical Report)

• P. Speicher, M. Steinmetz, D. Gnad, J. Hoffmann, and A. Gerevini, Beyond Red-Black Planning: Limited-Memory State Variables, Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS'17), Pittsburgh, PA, USA, 2017. (PDF) (Technical Report)

• D. Gnad, M. Wehrle, and J. Hoffmann, Decoupled Strong Stubborn Sets, Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI'16), New York, USA, 2016. (PDF) (Technical Report)

• A. Torralba, D. Gnad, P. Dubbert, and J. Hoffmann, On State-Dominance Criteria in Fork-Decoupled Search, Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI'16), New York, USA, 2016. (PDF) (Technical Report)

• D. Gnad, M. Steinmetz, M. Jany, J. Hoffmann, I. Serina, and A. Gerevini, Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning and Its Applications, Proceedings of the 9th Annual Symposium on Combinatorial Search (SOCS'16), Tarrytown, NY, USA, 2016. (PDF)

• D. Gnad, J. Hoffmann, and C. Domshlak, From Fork Decoupling to Star-Topology Decoupling, Proceedings of the 8th Annual Symposium on Combinatorial Search (SOCS'15), Ein Gedi, Israel, 2015. (PDF)

• D. Gnad and J. Hoffmann, Red-Black Planning: A New Tractability Analysis and Heuristic Function, Proceedings of the 8th Annual Symposium on Combinatorial Search (SOCS'15), Ein Gedi, Israel, 2015. (PDF)

• D. Gnad and J. Hoffmann, Beating LM-cut with hmax (Sometimes): Fork-Decoupled State Space Search, Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS'15), Jerusalem, Israel, 2015. (PDF) Erratum: The published version of the paper has a bug in Definition 5, allowing the compilation-heuristic to use more than one finite-price leaf state. This does not affect admissibility, but affects the property that a perfect heuristic on the compilation yields a perfect fork heuristic. This is easy to fix, which we did in the paper version here.

Workshop Papers

• D. Gnad, Revisiting Dominance Pruning in Decoupled Search, Proceedings of the 12th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'20), at ICAPS'20. (PDF)

• D. Gnad, A. Torralba, M. Dominguez, C. Areces, F. Bustos, Learning How to Ground a Plan - Partial Grounding in Classical Planning, Proceedings of the 11th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'19), at ICAPS'19. (PDF)

• M. Fickert, D. Gnad, and J. Hoffmann, Unchaining the Power of Partial Delete Relaxation, Part II: Finding Plans with Red-Black State Space Search, Proceedings of the 10th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'18), at ICAPS'18. (PDF)

• D. Gnad, V. Poser, and J. Hoffmann, Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search, Proceedings of the 9th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'17), at ICAPS'17. (PDF)

• D. Gnad, M. Wehrle, and J. Hoffmann, Decoupled Strong Stubborn Sets, Proceedings of the 8th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'16), at ICAPS'16.

• A. Torralba, D. Gnad, P. Dubbert, and J. Hoffmann, On State-Dominance Criteria in Fork-Decoupled Search, Proceedings of the 8th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'16), at ICAPS'16.

• D. Gnad, J. Hoffmann, and C. Domshlak, From Fork Decoupling to Star-Topology Decoupling, Proceedings of the 7th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'15), at ICAPS'15.

• D. Gnad and J. Hoffmann, Red-Black Planning: A New Tractability Analysis and Heuristic Function, Proceedings of the 7th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'15), at ICAPS'15.

Others

• D. Gnad, A. Torralba, M. Dominguez, C. Areces, F. Bustos, IPALAMA - Planner Abstract, Sparkle Planning Challenge 2019. (PDF)

• M. Fickert, D. Gnad, P. Speicher, and J. Hoffmann, SaarPlan: Combining Saarland’s Greatest Planning Techniques, in Proceedings of the 9th International Planning Competition (IPC 2018), at ICAPS'18. (PDF)

• D. Gnad, A. Shleyfman, and J. Hoffmann, DecStar: STAR-topology DECoupled Search at its best, in Proceedings of the 9th International Planning Competition (IPC 2018), at ICAPS'18. (PDF)

• D. Gnad, M. Wehrle, and J. Hoffmann, Decoupled Strong Stubborn Sets (Extended Abstract), in Proceedings of the 39th German Conference on Artificial Intelligence (KI'16), Klagenfurt, Austria, 2016. (PDF)

• D. Gnad, A. Torralba, J. Hoffmann, and M. Wehrle, Decoupled Search for Proving Unsolvability (planner abstract), First Unsolvability International Planning Competition (IPC 2016). (PDF)

• D. Gnad, M. Steinmetz, and J. Hoffmann, Django: Unchaining the Power of Red-Black Planning (planner abstract), First Unsolvability International Planning Competition (IPC 2016). (PDF)