位置：成果数据库 > 期刊 > 期刊详情页
时态描述逻辑ALC-LTL的Tableau判定算法
  • ISSN号：1002-137X
  • 期刊名称：计算机科学
  • 时间：0
  • 页码：150-154
  • 相关项目：基于描述逻辑和模型检测的行动理论研究
作者： 常亮|王娟|古天龙|董荣胜|
同期刊论文项目
基于描述逻辑和模型检测的行动理论研究
期刊论文 41 会议论文 8 专利 1
同项目期刊论文
基于几何公差描述逻辑的公差类型的自动生成
装配序列规划问题的CSP模型及其符号OBDD求解技术
基于OBDD的描述逻辑ALCIO判定算法
基于语境和动作推理的语义Web服务发现
柔性制造系统中生产调度问题的零压缩二叉决策图算法
基于赋时Petri网的装配建模研究
基于逻辑的行动理论综述
A dynamic description logic based system for video event detection
The Symbolic OBDD Algorithm for Finding Optimal Semi-matching in Bipartite Graphs
基于启发式DCPM-FGA的产品装配序列规划
加权约束满足问题的符号ADD求解算法
约束满足问题求解的符号OBDD桶消元算法
自组网MRP移动模型节点的空间概率分布研究
Petri网的符号ZBDD可达树分析技术
基于描述逻辑的新一代GPS几何公差类型的自动生成
基于改进遗传编程的并行装配序列规划
基于符号ADD和线性多分支程序的分类算法安全评估
可判定的时序动态描述逻辑
基于OBDD的描述逻辑εL循环术语集推理
物流企业遴选业务项目的熵权灰色关联算法设计
轻型卡车底板纵梁生产线的机器人焊接仿真
多区域物流产业竞争力的模糊逼近理想排序（TOPSIS）模型
用Arena对B物流公司作业时间的仿真及优化
期刊信息
  • 《计算机科学》
  • 北大核心期刊（2011版）
  • 主管单位:重庆西南信息有限公司（原科技部西南信息中心）
  • 主办单位:重庆西南信息有限公司（原科技部西南信息中心）
  • 主编：陈国良
  • 地址：重庆市渝北区洪湖西路18号
  • 邮编：401121
  • 邮箱：jsjkx12@163.com
  • 电话：023-63500828
  • 国际标准刊号：ISSN：1002-137X
  • 国内统一刊号：ISSN：50-1075/TP
  • 邮发代号:78-68
  • 获奖情况:
  • 2001年重庆市优秀期刊,2004年第三届重庆市优秀科技期刊,2005年重庆市优秀期刊编辑部,2010年第六届重庆市期刊综合质量考核"十佳科技期刊",2012年重庆市出版专项资金报刊资助项目（重庆市新...,2013年重庆市出版专项资金重点学术期刊资助项目（...,2014年重庆市出版专项资金期刊资助项目（重庆市文...,2015年"中国国际影响力优秀学术期刊"
  • 国内外数据库收录:
  • 波兰哥白尼索引,美国乌利希期刊指南,美国剑桥科学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:41227