.png){kind=icon}
返回
The Ramification Problem in Temporal Databases: Concurrent Execution
.png){kind=icon}
OA
AI
DOI：10.1002/int.20408.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
In this paper, we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they rely on the assumption that fluents persist, and because actions have effects on the next situation only. In this paper, we provide a solution to the ramification problem based on an extension of the situation calculus and the work of McCain and Turner. More specifically, we study the case in which two or more actions execute concurrently, a particularly complex problem. (C) 2010 Wiley Periodicals, Inc.
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
3.7
论文数:
3.1K
被引数:
8.1K
机构
引用论文
分享收藏Antinociceptive Effect of Clomipramine Through Interaction with Serotonin 5-Нт2 And 5-Нт3 Receptor Subtypes.png)
Folia MedicaOAAI
Folia MedicaIF0
OAAI分享收藏
查看更多内容