搜索筛选:
搜索耗时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...
相关搜索: