Reasoning about Processes: A Case Study

机译：关于过程的推理：案例研究

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

In this paper, we give a case study to show how a high level semantics of processes can be integrated with the event calculus to reason about processes, and further present a formal method to specify the semantics of processes in the event calculus.

机译：在本文中，我们提供了一个案例研究，展示了如何与事件微积分集成了如何与事件微积分集成的过程，并进一步提出了一种规范事件微积分中的过程的语义的形式方法。

著录项

来源
《International Conference on Artificial Intelligence and Pattern Recognition》|2010年||共7页
会议地点
作者
Chunping Li;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类 TP18-53;
关键词

相似文献

外文文献
中文文献
专利

1. Understanding the clinical reasoning processes involved in the management of multimorbidity in an ambulatory setting: study protocol of a stimulated recall research [J] . M.-C. Audétat, S. Cairo Notari, J. Sader, BMC Medical Education . 2021,第1期

机译：了解传动环境中多重货物管理中涉及的临床推理过程：刺激召回研究的研究方案
2. Articulating care and responsibility in design: A study on the reasoning processes guiding health innovators' 'care-making' practices [J] . Rivard Lysanne, Lehoux Pascale, Hagemeister Nicola Design Studies . 2021,第Jana期

机译：设计中的关怀和责任：指导卫生创新者“护理”实践的推理过程研究
3. Gut feeling: A grounded theory study to identify clinical educators' reasoning processes in putting students on a learning contract [J] . El Hussein Mohamed Toufic, Fast Olive Journal of clinical nursing . 2020,第1a2期

机译：肠道感觉：一个接地的理论研究，识别临床教育者推理过程，将学生放在学习合同中
4. Reasoning about Processes: A Case Study [C] . Chunping Li International Conference on Artificial Intelligence and Pattern Recognition . 2010

机译：关于过程的推理：案例研究
5. A case study of the abductive reasoning processes of pre-service elementary education students in a role playing setting concerning a mock senate hearing on global climate change. [D] . Petty, Michael Eugene. 2001

机译：在关于全球气候变化模拟参议院听证会的角色扮演环境中，职前基础教育学生的绑架推理过程的案例研究。
6. Reasoning processes in clinical reasoning: from the perspective of cognitive psychology [O] . Hyoung Seok Shin 2019

机译：临床推理中的推理过程：从认知心理学的角度
7. Understanding the clinical reasoning processes involved in the management of multimorbidity in an ambulatory setting: study protocol of a stimulated recall research [O] . M.-C. Audétat, S. Cairo Notari, J. Sader, 2021

机译：了解传动环境中多重货物管理中涉及的临床推理过程：刺激召回研究的研究方案

Reasoning about Processes: A Case Study

摘要

著录项

相似文献

相关主题

期刊订阅