Daniel Gnad - RankMe

39 papers A* 23A 2B 5Journal 3Unranked 3

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Managing Infinite Abstractions in Numeric Pattern Database Heuristics. AAAI Markus Fritzsche, Daniel Gnad, Mikhail Gruntov, Alexander Shleyfman
2025	—	`conf`	AxSAT - Bringing Axioms to SAT Planning. JELIA (2) Gregor Behnke, David Speck, Daniel Gnad
2025	A	`conf`	Combining Heuristics and Transition Classifiers in Classical Planning. ECAI Farid Musayev, Dominik Drexler, Daniel Gnad, Jendrik Seipp
2025	A*	`conf`	Counting and Reasoning with Plans. AAAI David Speck, Markus Hecher, Daniel Gnad, Johannes Klaus Fichte, Augusto B. Corrêa
2025	J	`jnl`	Counting and Reasoning with Plans. CoRR David Speck, Markus Hecher, Daniel Gnad, Johannes Klaus Fichte, Augusto B. Corrêa
2025	A*	`conf`	Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning (Extended Abstract). IJCAI David Speck, Daniel Gnad
2025	A*	`conf`	Interactive Exploration of Plan Spaces. KR Daniel Gnad, Markus Hecher, Sarah Alice Gaggl, Dominik Rusovac, David Speck, Johannes Klaus Fichte
2025	A*	`conf`	PDBs Go Numeric: Pattern-Database Heuristics for Simple Numeric Planning. AAAI Daniel Gnad, Lee-or Alon, Eyal Weiss, Alexander Shleyfman
2024	A	`conf`	Cost Partitioning for Multiple Sequence Alignment. ECAI Mika Skjelnes, Daniel Gnad, Jendrik Seipp
2024	A*	`conf`	Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning. ICAPS David Speck, Daniel Gnad
2023	A*	`conf`	Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases. ICAPS Daniel Gnad, Silvan Sievers, Álvaro Torralba
2023	A*	`conf`	Finding Matrix Multiplication Algorithms with Classical Planning. ICAPS David Speck, Paul Höft, Daniel Gnad, Jendrik Seipp
2023	A*	`conf`	Planning over Integers: Compilations and Undecidability. ICAPS Daniel Gnad, Malte Helmert, Peter Jonsson, Alexander Shleyfman
2023	A*	`conf`	Structurally Restricted Fragments of Numeric Planning - a Complexity Analysis. AAAI Alexander Shleyfman, Daniel Gnad, Peter Jonsson
2022	B	`conf`	Additive Pattern Databases for Decoupled Search. SOCS Silvan Sievers, Daniel Gnad, Álvaro Torralba
2022	A*	`conf`	Beyond Stars - Generalized Topologies for Decoupled Search. ICAPS Daniel Gnad, Álvaro Torralba, Daniel Fiser
2021	A*	`conf`	Custom-Design of FDR Encodings: The Case of Red-Black Planning. IJCAI Daniel Fiser, Daniel Gnad, Michael Katz, Jörg Hoffmann
2021	—	`conf`	Model Checking ømega-Regular Properties with Decoupled Search. CAV (2) Daniel Gnad, Jan Eisenhut, Alberto Lluch-Lafuente, Jörg Hoffmann
2021	A*	`conf`	Revisiting Dominance Pruning in Decoupled Search. AAAI Daniel Gnad
2021	—	`—`	Star-topology decoupled state-space search in AI planning and model checking. Daniel Gnad
2021	—	`ch.`	Stern-Topologie Entkoppelte Zustandsraumsuche. Ausgezeichnete Informatikdissertationen Daniel Gnad
2020	—	`ch.`	Planen. Handbuch der Künstlichen Intelligenz Jörg Hoffmann, Malte Helmert, Daniel Gnad, Florian Pommerening
2019	A*	`conf`	Advanced Factoring Strategies for Decoupled Search Using Linear Programming. ICAPS Frederik Schmitt, Daniel Gnad, Jörg Hoffmann
2019	A*	`conf`	Learning How to Ground a Plan - Partial Grounding in Classical Planning. AAAI Daniel Gnad, Álvaro Torralba, Martín Ariel Domínguez, Carlos Areces, Facundo Bustos
2019	A*	`conf`	On the Relation between Star-Topology Decoupling and Petri Net Unfolding. ICAPS Daniel Gnad, Jörg Hoffmann
2019	J	`jnl`	Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search. J. Artif. Intell. Res. Daniel Gnad, Jörg Hoffmann, Martin Wehrle
2018	—	`conf`	Star-Topology Decoupling in SPIN. SPIN Daniel Gnad, Patrick Dubbert, Alberto Lluch-Lafuente, Jörg Hoffmann
2018	J	`jnl`	Star-topology decoupled state space search. Artif. Intell. Daniel Gnad, Jörg Hoffmann
2018	A*	`conf`	Unchaining the Power of Partial Delete Relaxation, Part II: Finding Plans with Red-Black State Space Search. IJCAI Maximilian Fickert, Daniel Gnad, Jörg Hoffmann
2017	A*	`conf`	Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search. IJCAI Daniel Gnad, Valerie Poser, Jörg Hoffmann
2017	A*	`conf`	Beyond Red-Black Planning: Limited-Memory State Variables. ICAPS Patrick Speicher, Marcel Steinmetz, Daniel Gnad, Jörg Hoffmann, Alfonso Gerevini
2017	B	`conf`	Symbolic Leaf Representation in Decoupled Search. SOCS Daniel Gnad, Álvaro Torralba, Jörg Hoffmann
2017	A*	`conf`	Symmetry Breaking in Star-Topology Decoupled Search. ICAPS Daniel Gnad, Álvaro Torralba, Alexander Shleyfman, Jörg Hoffmann
2016	A*	`conf`	Decoupled Strong Stubborn Sets. IJCAI Daniel Gnad, Martin Wehrle, Jörg Hoffmann
2016	A*	`conf`	On State-Dominance Criteria in Fork-Decoupled Search. IJCAI Álvaro Torralba, Daniel Gnad, Patrick Dubbert, Jörg Hoffmann
2016	B	`conf`	Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning and Its Applications. SOCS Daniel Gnad, Marcel Steinmetz, Mathäus Jany, Jörg Hoffmann, Ivan Serina, Alfonso Gerevini
2015	A*	`conf`	Beating LM-Cut with h ICAPS Daniel Gnad, Jörg Hoffmann
2015	B	`conf`	From Fork Decoupling to Star-Topology Decoupling. SOCS Daniel Gnad, Jörg Hoffmann, Carmel Domshlak
2015	B	`conf`	Red-Black Planning: A New Tractability Analysis and Heuristic Function. SOCS Daniel Gnad, Jörg Hoffmann