Foundations of Executable Temporal Logic
Foundations of Executable Temporal Logic
可执行时态逻辑的基础
批准号：
DP0211573
负责人：
Prof Mehmet Orgun
金额：
$3.41万
依托单位：
依托单位国家：
澳大利亚
项目类别：
Discovery Projects
财政年份：
2002
资助国家：
澳大利亚
项目状态：
已结题
起止时间：
2002-01-09 至 2003-12-31
中文摘要
翻译
在许多计算机应用中，包括时序推理、分布式计算和知识表示，时间的概念是至关重要的。多个时间粒度也起着关键作用，因为并不是所有事件都是必需的
英文摘要
In many computer applications, including those of temporal reasoning, distributed computations and knowledge representations, the concept of time is of central importance. Multiple granularity of time also plays a critical role as not all events are neces
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Classification and Prediction Modelling for Financial Distress, Tax Debt and Insolvency for ATO Clients
-
批准号：LP0561985
-
项目类别：Linkage Projects
-
资助金额：$5.95万
-
财政年份：2006
-
负责人：Prof Mehmet Orgun
-
依托单位：
海外基金
