恩里科·金西格里亚;马可·马拉提亚;卢卡·普利纳 基于翻译的方法解决带有偏好的选言时态问题。 (英语) Zbl 1468.68201号 约束条件 23,第4号,383-402(2018).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人,《限制条件》23,第4期,383--402(2018年;Zbl 1468.68201) 全文: 内政部 链接
卡洛·科明;罗伯托·波塞纳托;罗密欧·里兹 超时间网络。简单时间网络的一个易处理的推广及其与平均支付博弈的关系。 (英语) Zbl 1390.90102号 约束条件 22,第2期,152-190(2017).MSC公司:90B10型 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{C.Comin}等人,《约束》22,第2期,152--190(2017;Zbl 1390.90102) 全文: 内政部
马尔科·马拉泰阿;卢卡·普利纳 使用最大可满足性解决带有偏好的析取时态问题。 (英语) Zbl 1248.68459号 AI通讯。 25,第2期,137-156(2012).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Maratea}和\textit{L.Pulina},AI Commun。25,第2号,137--156(2012;Zbl 1248.68459) 全文: 内政部