On Dynamic Description Logic Actions Relationships with Petri Nets
On Dynamic Description Logic Actions Relationships with Petri Nets
复制标题
论动态描述逻辑动作与Petri网的关系
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Xu, Ying-Lei
中科院分区：
文献类型：
--
作者：
Ma, Bing-Xian;Xu, Ying-Lei
针对动态描述逻辑动作理论在描述和分析多动作关系尤其是并发关系方面的不足，提出了一种用Petri对动态描述逻辑动作关系进行建模和分析的方法。
According to the disadvantages of dynamic description logic actions theory at describing and analyzing multi- action relationships,especially concurrent relationship,a method to model and analyze dynamic description logic actions relationships with Petri
登录
查看更多内容
DOI：
--
发表时间：
2005-07
期刊：
--
影响因子：
--
作者：
F. Baader;C. Lutz;M. M. Brandt-M.;U. Sattler;F. Wolter
通讯作者：
F. Baader;C. Lutz;M. M. Brandt-M.;U. Sattler;F. Wolter
DOI：
10.1016/s0004-3702(97)00037-4
发表时间：
1997-09
期刊：
Artif. Intell.
影响因子：
--
作者：
E. Giunchiglia;V. Lifschitz
通讯作者：
E. Giunchiglia;V. Lifschitz
DOI：
10.1007/0-8176-4488-1_2
发表时间：
2003
期刊：
--
影响因子：
--
作者：
A. Lewis
通讯作者：
A. Lewis
DOI：
--
发表时间：
2004
期刊：
Journal of Computer Research and Development
影响因子：
--
作者：
Dong Ming
通讯作者：
Dong Ming
DOI：
10.1016/s0004-3702(99)00087-9
发表时间：
2000
期刊：
Artif. Intell.
影响因子：
--
作者：
Sheila A. McIlraith
通讯作者：
Sheila A. McIlraith