搜索筛选:
搜索耗时4.9797秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：NING Zheng-yuan,LAI Xian-wei,H,
来源：东华大学学报（英文版） 年份：2004
Alternating-time Temporal Epistemic Logic (ATEL) which is an important kind of multi-agent cooperation logics only takes knowledge into account, but does not de...
[期刊论文] 作者：LAI Xian-wei,HU Shan-li,NING Z,
来源：东华大学学报（英文版） 年份：2004
Temporal logics are often adopted as basic tools to specifying mental states such as belief and goal of agents. Althoush there are works on non-monotonic extens...
相关搜索：
