Daniel Gnad

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 20

Top Topics

Heuristic Function

Iterative Deepening

Classical Planning

Top Venues

Publications

Daniel Gnad, Jan Eisenhut, Alberto Lluch-Lafuente, Jörg Hoffmann
Model Checking ømega-Regular Properties with Decoupled Search. CAV (2) (2021)
Daniel Gnad
Revisiting Dominance Pruning in Decoupled Search. AAAI (2021)
Daniel Fiser, Daniel Gnad, Michael Katz, Jörg Hoffmann
Custom-Design of FDR Encodings: The Case of Red-Black Planning. IJCAI (2021)
Daniel Gnad, Jörg Hoffmann, Martin Wehrle
Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search. J. Artif. Intell. Res. 65 (2019)
Daniel Gnad, Jörg Hoffmann
On the Relation between Star-Topology Decoupling and Petri Net Unfolding. ICAPS (2019)
Daniel Gnad, Álvaro Torralba, Martín Ariel Domínguez, Carlos Areces, Facundo Bustos
Learning How to Ground a Plan - Partial Grounding in Classical Planning. AAAI (2019)
Frederik Schmitt, Daniel Gnad, Jörg Hoffmann
Advanced Factoring Strategies for Decoupled Search Using Linear Programming. ICAPS (2019)
Daniel Gnad, Patrick Dubbert, Alberto Lluch-Lafuente, Jörg Hoffmann
Star-Topology Decoupling in SPIN. SPIN (2018)
Daniel Gnad, Jörg Hoffmann
Star-topology decoupled state space search. Artif. Intell. 257 (2018)
Maximilian Fickert, Daniel Gnad, Jörg Hoffmann
Unchaining the Power of Partial Delete Relaxation, Part II: Finding Plans with Red-Black State Space Search. IJCAI (2018)
Patrick Speicher, Marcel Steinmetz, Daniel Gnad, Jörg Hoffmann, Alfonso Gerevini
Beyond Red-Black Planning: Limited-Memory State Variables. ICAPS (2017)
Daniel Gnad, Álvaro Torralba, Jörg Hoffmann
Symbolic Leaf Representation in Decoupled Search. SOCS (2017)
Daniel Gnad, Valerie Poser, Jörg Hoffmann
Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search. IJCAI (2017)
Daniel Gnad, Álvaro Torralba, Alexander Shleyfman, Jörg Hoffmann
Symmetry Breaking in Star-Topology Decoupled Search. ICAPS (2017)
Daniel Gnad, Martin Wehrle, Jörg Hoffmann
Decoupled Strong Stubborn Sets. IJCAI (2016)
Álvaro Torralba, Daniel Gnad, Patrick Dubbert, Jörg Hoffmann
On State-Dominance Criteria in Fork-Decoupled Search. IJCAI (2016)
Daniel Gnad, Marcel Steinmetz, Mathäus Jany, Jörg Hoffmann, Ivan Serina, Alfonso Gerevini
Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning and Its Applications. SOCS (2016)
Daniel Gnad, Jörg Hoffmann
Red-Black Planning: A New Tractability Analysis and Heuristic Function. SOCS (2015)
Daniel Gnad, Jörg Hoffmann
(Sometimes): Fork-Decoupled State Space Search. ICAPS (2015)
Daniel Gnad, Jörg Hoffmann, Carmel Domshlak
From Fork Decoupling to Star-Topology Decoupling. SOCS (2015)