搜索筛选:
搜索耗时0.0386秒,为你在为你在61,042,058篇论文里面共找到 3 篇相符的论文内容
发布年度:
[期刊论文] 作者：沈榆平,
来源：逻辑学研究 年份：2009
由中山大学逻辑与认知研究所主办的逻辑与认知国际研讨会自2001年开始每年举办一次，内容涉及逻辑学、计算机科学、数学、认知科学和哲学，共同的目的在于发展中国的逻辑学研究及......
[学位论文] 作者：沈榆平,
来源：中山大学 年份：2008
关于动作的推理自20世纪60年代以来就已经成为人工智能领域里的一个重要分支，人们设计了许多动作语言用于描述动作及其效应。本学位论文主要研究了在时态约束下的动作推理问题......
[期刊论文] 作者：沈榆平,赵希顺,
来源：南京大学学报：数学半年刊 年份：2007
在本文中我们提出一种整合的推理模式ASP^X，它同时支持非单调推理及时态约束推理．本文展示了它的语法，语义及复杂性分析．除此以外，我们详细研究了它的一个实例化的框架ASP^DLR，并举......
相关搜索：
