... 数字分析 Wilkinson matrix 人工智能 AI; Lisp; Circumscription; Situation calculus 算法 Dijkstra‘s algorithm ...
基于1个网页-相关网页
After researching the workflow management system using situation calculus theory, expands formally the LR from state-object to state-table-set-object.
以情景演算理论为基础来研究工作流管理系统，形式化地将LR的状态对象扩展为状态表集合对象。
In order to model for enterprise management process by ontology, the theory of situation calculus is thought as the basis of dynamic activity specification in modeling.
为了对企业的管理过程进行本体建模，把情景演算理论作为企业建模过程中动态活动描述的基础。
The second part: Domestic and foreign high school calculus teaching present situation analysis.
第二部分，国内外高中微积分教学的现状分析。
应用推荐