David Speck

6 papers at tracked venues · 1 at CORE A* · active 2025–2025

DBLP profile ↗ORCID search ↗

Venues

ECAI ×2 KR ×2 AAAI ×1 IJCAI ×1

Frequent coauthors

Daniel Gnad

×3

Markus Hecher

×2

Johannes Klaus Fichte

×2

Jendrik Seipp

×2

Augusto B. Corrêa

×1

Sarah Alice Gaggl

×1

Dominik Rusovac

×1

Mauricio Salerno

×1

Raquel Fuentetaja

×1

Malte Helmert

×1

Paul Höft

×1

Papers

Counting and Reasoning with Plans
AAAI 2025 · David Speck,
Markus Hecher
,
Daniel Gnad
,
Johannes Klaus Fichte
,
Augusto B. Corrêa
Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning (Extended Abstract)
IJCAI 2025 · David Speck,
Daniel Gnad
Interactive Exploration of Plan Spaces
KR 2025 ·
Daniel Gnad
,
Markus Hecher
,
Sarah Alice Gaggl
,
Dominik Rusovac
, David Speck,
Johannes Klaus Fichte
Merging Cartesian Abstractions for Classical Planning
ECAI 2025 ·
Mauricio Salerno
,
Raquel Fuentetaja
, David Speck,
Jendrik Seipp
On Performance Guarantees for Symbolic Search in Classical Planning
ECAI 2025 · David Speck,
Malte Helmert
Representing Perfect Saturated Cost Partitioning Heuristics in Classical Planning
KR 2025 ·
Paul Höft
, David Speck,
Jendrik Seipp