HugMap
人工智能
云计算
半导体
网络安全
企业软件
区块链
量子计算
生物科技
新能源与智能制造
智能穿戴
机器人
智能手机
图谱探索
趋势分析
登录
注册
Modelling Mixed Discrete-Continuous Domains for Planning
论文
2006
Journal of Artificial Intelligence Research
引用
237
顶会
DOI
ArXiv
PDF
AI-based Problem Solving and Planning
Model-Driven Software Engineering Techniques
Formal Methods in Verification
企业软件
Model-Driven Software Engineering Techniques
AI-based Problem Solving and Planning
Formal Methods in Verification
相关技术:
Model-Driven Software Engineering Techniques
Formal Methods in Verification
关系图谱
概览
作者
相关技术
相关事件
相关文章
Modelling Mixed Discrete-Continuous Domains for Planning · 相关技术
相关技术
Model-Driven Software Engineering Techniques
Formal Methods in Verification