搜索筛选:
搜索耗时4.1476秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
类      型:
[期刊论文] 作者: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...
相关搜索: