位置:成果数据库 > 期刊 > 期刊详情页
A family of dynamic description logics for representing and reasoning about actions.
  • 时间:0
  • 相关项目:语义Web服务的逻辑基础
同期刊论文项目
期刊论文 50 会议论文 31 著作 3
同项目期刊论文