David Speck
6 papers · 2019–2025 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Sprint
🌉
Interdisciplinary Bridge · Silver
🗺️
Taxonomy Completionist
(13)
Top co-authors
Research topics
Artificial Intelligence
(6)
Core AI
(6)
Knowledge & Reasoning
(3)
Reasoning
(3)
Machine Learning
(2)
Mathematics & Optimization
(2)
Optimization
(2)
Deep Learning
(1)
Reinforcement Learning
(1)
Learning Types · Machine Learning
(1)
Learning Types · Deep Learning
(1)
Methods
(1)
Optimization & Theory
(1)
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