冯、袁;李三江 量子程序的抽象解释、霍尔逻辑和不正确逻辑。 (英语) Zbl 07742408号 Inf.计算。 294,文章ID 105077,22 p.(2023).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Feng}和\textit{S.Li},Inf.Comput。294,文章ID 105077,22 p.(2023;Zbl 07742408) 全文: DOI程序 arXiv公司
孔树峰;李三江;李永明;龙志国 关于树保留约束。 (英语) Zbl 1423.68456号 安。数学。工件。智力。 81,编号3-4,241-271(2017).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kong}等人,Ann.数学。工件。智力。81,编号3--4,241--271(2017;Zbl 1423.68456) 全文: DOI程序 链接
李三江;龙志国;刘伟明;Duckham,马特;都是,艾伦 冗余拓扑约束。 (英语) Zbl 1343.68234号 工件。智力。 225, 51-76 (2015).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{S.Li}等人,Artif。智力。225、51-76(2015;Zbl 1343.68234) 全文: DOI程序 arXiv公司
史蒂文·肖卡特;李三江 使用凸区域实现RCC8网络。 (英语) Zbl 1319.68212号 工件。智力。 218, 74-105 (2015).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{S.Schockaert}和\textit{S.Li},Artif。智力。21874--105(2015;Zbl 1319.68212) 全文: DOI程序 arXiv公司
李三江;刘伟明;王胜生 定性约束满足问题:具有里程碑的扩展框架。 (英语) Zbl 1334.68208号 工件。智力。 201,32-58(2013).MSC公司:68T27型 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Li}等人,Artif。智力。201,32-58(2013;Zbl 1334.68208) 全文: DOI程序
李三江;安东尼·科恩(Anthony G.Cohn)。 利用拓扑和方向空间信息进行推理。 (英语) Zbl 1274.68463号 计算。智力。 28,第4期,579-616(2012).MSC公司:68T27型 68立方英尺 68层37 PDF格式BibTeX公司 XML格式引用 \textit{S.Li}和\textit{A.G.Cohn},计算。智力。28,第4号,579--616(2012;Zbl 1274.68463) 全文: DOI程序 arXiv公司
刘伟明;李三江 关于扩展对象之间基本方向的推理:NP-harrdness结果。 (英语) Zbl 1238.68155号 工件。智力。 175,第18号,2155-2169(2011).MSC公司:68T27型 2017年第68季度 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{W.Liu}和\textit{S.Li},Artif。智力。175,第18号,2155--2169(2011;Zbl 1238.68155) 全文: DOI程序 arXiv公司
刘伟明;张晓彤;李三江;Ying,明生 推理扩展对象之间的基本方向。 (英语) Zbl 1205.68399号 工件。智力。 174,编号12-13,951-983(2010).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{W.Liu}等人,Artif。智力。174,编号12--13,951--983(2010;Zbl 1205.68399) 全文: DOI程序 arXiv公司
李三江;王怀清 RCC8二进制约束网络可以一致扩展。 (英语) Zbl 1131.68526号 工件。智力。 170,第1期,第1-18页(2006年).MSC公司:68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Li}和\textit{H.Wang},人工制品。智力。170,第1号,1--18(2006;Zbl 1131.68526) 全文: DOI程序
李三江 关于拓扑一致性和实现。 (英语) Zbl 1103.68770号 约束条件 11,第1期,31-51(2006).MSC公司:68吨10 68单位10 PDF格式BibTeX公司 XML格式引用 \textit{S.Li},约束11,No.1,31--51(2006;Zbl 1103.68770) 全文: DOI程序
李三江;李永明 关于补盘代数。 (英语) Zbl 1086.68133号 J.日志。阿尔盖布。程序。 66,第2期,195-211(2006).MSC公司:68层37 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Li}和\textit{Y.Li},J.Log。阿尔盖布。程序。66,第2号,195--211(2006;Zbl 1086.68133) 全文: DOI程序
李三江;Ying,明生 区域连接演算:它的模型和组成表。 (英语) Zbl 1082.68821号 工件。智力。 145,编号1-2,121-146(2003).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{S.Li}和\textit{M.Ying},Artif。智力。145,编号1--2,121-146(2003;Zbl 1082.68821) 全文: DOI程序