劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;卡米拉·施温德 基于偏好的条件逻辑表演算、PCL及其扩展。 (英文) Zbl 1351.03019号 ACM事务处理。计算。日志。 10,第3号,第21条,第50页(2009年).MSC公司:03B60号 03B35型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人,ACM翻译。计算。日志。10,第3号,第21条,50页(2009年;Zbl 1351.03019) 全文: 内政部
劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 非单调推理的KLM逻辑的解析表计算。 (英文) Zbl 1351.03004号 ACM事务处理。计算。日志。 第10号第3条第18条第47页(2009年).MSC公司:03B35型 03B25号 03B45号 03B60号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人,ACM翻译。计算。日志。10,第3号,第18条,47页(2009年;Zbl 1351.03004) 全文: 内政部 arXiv公司
尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨;卡米拉·施温德。 标准条件逻辑的序列演算和定理证明器。 (英文) Zbl 1367.68253号 ACM事务处理。计算。日志。 8,第4号,第22条,51页(2007年).MSC公司:68吨15 03财年03 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{N.Olivetti}等人,《美国医学杂志》。计算。日志。8,第4号,第22条,51页(2007年;Zbl 1367.68253) 全文: 内政部 arXiv公司
乔治·梅特卡夫;尼古拉·奥利维蒂;Dov Gabbay公司 阿贝尔和Łukasiewicz逻辑的序贯和超序贯计算。 (英文) 兹比尔1407.03037 ACM事务处理。计算。日志。 第6期,第3期,第578-613页(2005年).MSC公司:03B50号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{G.Metcalfe}等人,《美国医学杂志》。计算。日志。6,第3号,578--613(2005;Zbl 1407.03037) 全文: 内政部 arXiv公司
皮耶罗·安德里亚·博纳蒂;尼古拉·奥利维蒂 命题非单调逻辑的序贯计算。 (英文) Zbl 1365.03023号 ACM事务处理。计算。日志。 3,第2期,226-278(2002).MSC公司:03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Bonatti}和\textit{N.Olivetti},ACM Trans。计算。日志。3,第2号,226--278(2002;Zbl 1365.03023) 全文: 内政部