David Speck
6 papers
· 2019–2025
· 3 conferences
· across top CS/AI conferences
Achievements
π
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
Symbolic Top-k Planning
AAAI 2020