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

Daniel Gnad

Ruprecht Karls University Heidelberg

7H指数
43论文数
145被引数
收录论文 2
发表时间
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收藏
Star-topology decoupled state space search
errartificial intelligence review
IF4.6
err2018-04-01
err13
errOAAI
errGnad, Daniel; Hoffmann, Joerg
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
J
Jörg Hoffmann
H 指数: 23 · 论文数: 191
D
David Speck
H 指数: 19 · 论文数: 123
G
Gregor Behnke
H 指数: 19 · 论文数: 85
已加载全部