法比奥·加洛。;杰拉尔多·西马里。;Martinez、Maria Vanina;桑托斯,纳塔利亚·阿巴德;马塞洛·法拉帕。 网络知识库中的局部信念动态。 (英语) Zbl 1508.68369号 ACM事务处理。计算。日志。 23,第1号,第4条,第36页(2021年).MSC公司:68立方英尺 03B42号 68T27型 91天30分 PDF格式BibTeX公司 XML格式引用 \textit{F.R.Gallo}等人,ACM Trans。计算。日志。23,第1号,第4条,第36页(2021年;Zbl 1508.68369) 全文: 内政部
杰拉尔多·西马里。;约翰·迪克森。;艾米·斯利娃;苏布拉曼尼亚,V.S。 概率逻辑程序中的并行溯源查询应答。 (英语) Zbl 1353.68038号 ACM事务处理。计算。日志。 第14号第2条第12条第39页(2013年).MSC公司:68N17号 68T20型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{G.I.Simari}等人,《美国医学杂志》。计算。日志。14,第2号,第12条,第39页(2013年;兹bl 1353.68038) 全文: 内政部
保罗·沙卡里安;杰拉尔多·西马里。;苏布拉曼尼亚,V.S。 注释概率时序逻辑:近似定点实现。 (英语) Zbl 1351.68055号 ACM事务处理。计算。日志。 第13号第2条第13条第33页(2012年).MSC公司:68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Shakarian}等人,ACM Trans。计算。日志。13,第2号,第13条,第33页(2012;Zbl 1351.68055) 全文: 内政部
保罗·沙卡里安;奥斯汀帕克;杰拉尔多·西马里;Subrahmanian,Venkatramana V.S.公司。 带注释的概率时序逻辑。 (英语) Zbl 1352.03043号 ACM事务处理。计算。日志。 第12号第2条第14条第44页(2011年).MSC公司:03B70号 03B44号 03B48 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Shakarian}等人,ACM Trans。计算。日志。12,第2号,第14条,第44页(2011年;Zbl 1352.03043) 全文: 内政部