David Speck
6 papers · 2019–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (3) π Academic Marathon (6) π Cross-Pollinator (6)
π
Renaissance Researcher
(6)
πΊοΈ
Taxonomy Completionist
(13)
Conferences
AAAI (4)
EMNLP (1)
IJCAI (1)
Top co-authors
Keywords
optimal planning
(3)
symbolic search
(3)
automated planning
(2)
oversubscription planning
(1)
heuristic search
(1)
knowledge compilation
(1)
uncertainty estimation
(1)
planning algorithm
(1)
quantitative reasoning
(1)
classical planning
(1)
hierarchical task network
(1)
propositional formula
(1)
plan cost
(1)
multi-agent communication
(1)
decoupled search
(1)
task transformation
(1)
problem reformulation
(1)
emergent language
(1)
plan optimization
(1)
guidance request
(1)
Papers
Counting and Reasoning with Plans
AAAI 2025
Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning (Extended Abstract)
IJCAI 2025
Symbolic Search for Optimal Total-Order HTN Planning
AAAI 2021
Symbolic Search for Oversubscription Planning
AAAI 2021
Symbolic Top-k Planning
AAAI 2020
Learning to request guidance in emergent language
EMNLP 2019