Higher-order Representation and Reasoning for Automated Ontology Evolution
Higher-order Representation and Reasoning for Automated Ontology Evolution
复制标题
自动本体进化的高阶表示和推理
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Chan, M
中科院分区：
文献类型：
--
作者：
Chan, M
登录
查看更多内容
使用 CASL 进行渐进式正式软件开发
DOI：
--
发表时间：
1999
期刊：
Workshop on Recent Trends in Algebraic Development Techniques
影响因子：
--
作者：
S. Autexier;D. Hutter;H. Mantel;Axel Schairer
通讯作者：
Axel Schairer
DOI：
--
发表时间：
2011
期刊：
--
影响因子：
--
作者：
A. Bundy;Jos Lehmann;I. Varzinczak
通讯作者：
A. Bundy;Jos Lehmann;I. Varzinczak
不一致性：添加隐变量的本体修复方案
DOI：
--
发表时间：
2008
期刊：
Papers from the AAAI Fall Symposium
影响因子：
--
作者：
Chan, M
通讯作者：
Chan, M
Isabelle/Isar 中的区域设置和区域设置表达式
DOI：
--
发表时间：
2003
期刊：
Types for Proofs and Programs
影响因子：
--
作者：
C. Ballarin
通讯作者：
C. Ballarin
ECAI-10 关于上下文和本体进化的自动推理研讨会的笔记
DOI：
--
发表时间：
2010
期刊：
影响因子：
--
作者：
A. Bundy;Jos Lehmann;G. Qi;I. Varzinczak
通讯作者：
I. Varzinczak