logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
D

David Speck

university of basel

19H指数
123论文数
1.9K被引数
收录论文 3
发表时间
logo
AxSAT - Bringing Axioms to SAT PlanningAxSAT - 将公理引入SAT规划
errLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT II
IF0
err2026-01-01
err0
PREAI
errBehnke, Gregor; Speck, David; Gnad, Daniel
err分享
err收藏
Symbolic Search for Cost-Optimal Planning with Expressive Model Extensions符号搜索用于具有表达性模型扩展的成本最优规划
errJOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH
IF4
err2025-03-13
err0
errOAAI
errSpeck, David; Seipp, Jendrik; Torralba, Alvaro
err分享
err收藏
Biomimetic bio-inspired biomorph sustainable? An attempt to classify and clarify biology-derived technical developments
errBIOINSPIRATION & BIOMIMETICS
IF3
err2017-01-24
err107
errOAAI
errSpeck, Olga; Speck, David; Horn, Rafael; Gantner, Johannes; Sedlbauer, Klaus Peter
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
O
Olga Speck
H 指数: 34 · 论文数: 160
R
Rafael Horn
H 指数: 22 · 论文数: 75
G
Gregor Behnke
H 指数: 19 · 论文数: 85
K
Klaus Sedlbauer
H 指数: 16 · 论文数: 99
Á
Álvaro Torralba
H 指数: 14 · 论文数: 82
查看更多