Michael Sioutis先生;阿纳斯塔西亚·帕帕里佐;汤米·詹胡宁 定性空间和时间推理的邻域单样式一致性。 （英语） Zbl 1518.68351号 Inf.计算。 280，文章ID 104638，17 p.（2021）.MSC公司：68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Sioutis}等人，《信息计算》。280，文章ID 104638，17 p.（2021；Zbl 1518.68351） 全文： 内政部 链接
阿图尔·维达尔·迈亚;杰米·西芒·西赫曼 在代理组织模型中表示计划自治。 （英语） Zbl 1436.68372号 西奥。计算。科学。 805, 92-108 (2020).MSC公司：68T42型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit｛A.V.Maia｝和\textit｛J.S.Sichman｝，Theor。计算。科学。805，92--108（2020年；Zbl 1436.68372） 全文： 内政部
Michael Sioutis先生;阿纳斯塔西亚·帕帕里佐;Jean-François康多塔 定性约束网络的基于集体单点的一致性：理论与实践。 （英语） Zbl 1435.68322号 西奥。计算。科学。 797, 17-41 (2019).MSC公司：68立方英尺 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Sioutis}等人，Theor。计算。科学。797、17-41（2019年；Zbl 1435.68322） 全文： 内政部 哈尔
阿方索·杰雷维尼（Alfonso E.Gerevini）。;亚历山德罗·萨蒂 通过元图闭包计算基于点的定性时序推理中的最小关系。 （英语） Zbl 1216.68266号 Artif公司。智力。 175，第2期，556-585（2011）.MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.E.Gerevini}和\textit{A.Saetti}，Artif。智力。175，No.2，556--585（2011；Zbl 1216.68266） 全文： 内政部
史蒂文·肖卡特;马丁·德·科克 关于模糊区间的时间推理。 （英语） Zbl 1183.68620号 Artif公司。智力。 172，编号8-9，1158-1193（2008）.MSC公司：68层37 PDF格式BibTeX公司 XML格式引用 \textit｛S.Schockaert｝和\textit｛M.de Cock｝，人工制品。智力。172，编号8--9，1158--1193（2008；Zbl 1183.68620） 全文： 内政部
A.P.埃里梅耶夫。;I.E.库里连科。 现代智能系统中时态推理机制的实现。 （英语。俄文原件） Zbl 1263.68159号 J.计算。系统。科学。国际。 46，第2期，279-294（2007）; Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2007年，第2期，第120-136页（2007年）。MSC公司：68层37 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Ereemev}和\textit{I.E.Kurilenko}，J.Compute。系统。科学。国际46号，第2号，279--294（2007；Zbl 1263.68159）；Izv的翻译。罗斯。阿卡德。特奥尔，瑙克。修女。向上。2007年，第2期，第120--136号（2007年） 全文： 内政部
玛尔塔·恰尔迪亚·梅耶;卡拉·利蒙盖利;安德烈亚·奥兰迪尼;瓦伦蒂娜·波吉奥尼 线性时态逻辑作为规划语言的可执行语义。 （英语） Zbl 1159.68562号 J.逻辑语言信息。 16，第1期，63-89（2007）.MSC公司：68T20型 03B44号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Cialdea Mayer}等人，J.Logic Lang.Inf.16，No.1，63-89（2007；Zbl 1159.68562） 全文： 内政部
阿巴斯·K·扎伊迪。;Wagenhals，Lee W。 使用点间隔逻辑规划时间事件。 （英语） 兹比尔1133.03318 数学。计算。建模 43，编号9-10，1229-1253（2006）.MSC公司：03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Zaidi}和\textit{L.W.Wagenhals}，数学。计算。43号模型，编号9--10，1229--1253（2006；Zbl 1133.03318） 全文： 内政部
阿方索·杰雷维尼 增量定性时态推理：点代数和ORD-Horn类的算法。 （英语） Zbl 1132.68730号 Artif公司。智力。 166，第1-2号，第37-80号（2005年）.MSC公司：68T27型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit｛A.Gerevini｝，人工制品。智力。166，编号1--2，37-80（2005；Zbl 1132.68730） 全文： 内政部
保罗·特伦齐亚尼;卢卡·安塞尔马 用于推理类和事件实例之间的时间约束的知识服务器。 （英语） Zbl 1089.68645号 《国际情报杂志》。系统。 19，第10号，919-947（2004）.MSC公司：68层37 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Terenziani}和\textit{L.Anselma}，国际情报杂志。系统。19，第10号，919--947（2004；Zbl 1089.68645） 全文： 内政部
胡安·卡洛斯·奥古斯托 推理变化的一般框架。 （英语） Zbl 1089.68633号 新一代计算。 21，第3期，209-246（2003）.MSC公司：68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Augusto}，新一代计算。21，第3号，209--246（2003；Zbl 1089.68633） 全文： 内政部
保罗·特伦齐亚尼 全面处理周期性事件的时间约束。 （英语） Zbl 1018.68076号 《国际情报杂志》。系统。 18，第4期，429-468（2003）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit｛P.Terenziani｝，国际J.国际。系统。18，编号429-468（2003年；兹bl 1018.68076） 全文： 内政部
A.K.帕尼。;巴塔查吉，G.P。 人工智能中的时间表示和推理：综述。 （英语） Zbl 0990.68109号 数学。计算。建模 34，编号1-2，55-80（2001）.MSC公司：68T01型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Pani}和\textit{G.P.巴塔查吉}，数学。计算。建模34，编号1--2，55-80（2001；Zbl 0990.68109） 全文： 内政部
萨里特·克劳斯;卡蒂亚·西卡拉;埃米尔·埃文希克 通过论证达成协议：逻辑模型和实施。 （英语） Zbl 0908.68033号 Artif公司。智力。 104，第1-2、1-69号（1998年）.MSC公司：68N99型 68T01型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kraus}等人，Artif。智力。104，编号1-2，1-69（1998年；Zbl 0908.68033） 全文： 内政部
伯恩哈德·内贝尔 解决难定性时态推理问题：评估ORD-Horn类的使用效率。 （英语） Zbl 0870.68138号 约束条件 175-190年第1期第3期（1997年）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Nebel}，约束1，第3号，175--190（1997；Zbl 0870.68138） 全文： 内政部
阿方索·杰雷维尼;舒伯特、伦哈特 关于时间的定性推理的有效算法。 （英语） 兹比尔1013.68553 Artif公司。智力。 74，第2期，207-248（1995）.MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Gerevini}和\textit{L.Schubert}，Artif。智力。74，第2号，207--248（1995；Zbl 1013.68553） 全文： 内政部
阿方索·杰雷维尼;舒伯特、伦哈特 基于点的时间不相交性。 （英语） Zbl 0824.68099号 Artif公司。智力。 70，编号1-2，347-361（1994）.MSC公司：68T01型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Gerevini}和\textit{L.Schubert}，Artif。智力。70，编号1--2，347--361（1994；Zbl 0824.68099） 全文： 内政部
普雷姆库马尔·德文布。;戴安·利特曼。 基于平面的术语推理。 （英语） Zbl 0825.68609号 知识表示和推理原理，Proc。第二届国际会议，剑桥/马萨诸塞州（美国）1991年，128-138（1991年）。MSC公司：68立方英尺 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.T.Devanbu}和\textit{D.J.Litman}，in：知识表示和推理原理。1991年4月22日至25日，美国马萨诸塞州坎布里奇市，第二届国际会议记录（KR’91）。加利福尼亚州圣马特奥：Morgan Kaufmann Publishers，Inc.。128-138（1991；Zbl 0825.68609）