阿方索·杰雷维尼 增量定性时态推理:点代数和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 1132.03334号 Artif公司。智力。 166,第1-2、1-36号(2005).MSC公司:03B65号 03B44号 2015年3月1日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Pratt-Hartmann},阿蒂夫。智力。166,编号1--2,1--36(2005;Zbl 1132.03334) 全文: 内政部