德米特里·索洛马金;恩里科·弗兰科尼;亚历山德罗·莫斯卡 基于逻辑的SBVR推理支持。 (英语) Zbl 1268.68161号 芬丹。通知。 124,第4期,543-560(2013).MSC公司:68T27型 03B45号 68单位35 90B50型 PDF格式BibTeX公司 XML格式引用 \textit{D.Solomakhin}等人,Fundam。通知。124,No.4,543--560(2013;Zbl 1268.68161) 全文: 内政部
弗朗西丝卡·莉西。;翁贝托·斯特拉奇亚 一种基于逻辑的自动归纳模糊本体公理的计算方法。 (英语) Zbl 1268.68160号 芬丹。通知。 124,第4期,503-519(2013).MSC公司:68T27型 68N17号 68T05型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.A.Lisi}和\textit{U.Straccia},Fundam。通知。124,编号4,503--519(2013;Zbl 1268.68160) 全文: 内政部
法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 控制基于专业化验证的多元方差。 (英语) Zbl 1268.68110号 芬丹。通知。 124,第4期,483-502(2013).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Fioravanti}等人,Fundam。通知。124,第4号,483--502(2013;Zbl 1268.68110) 全文: 内政部
乔瓦娜·达戈斯蒂诺;贾科莫·伦齐 关于(S5)中的模态演算及其应用。 (英语) Zbl 1284.68391号 芬丹。通知。 124,第4期,465-482(2013).MSC公司:60年第68季度 03B45号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.D'Agostino}和\textit{G.Lenzi},Fundam。通知。124,第4号,465--482(2013;Zbl 1284.68391) 全文: 内政部
特法尼亚科斯坦蒂尼;安德烈亚·福米萨诺 ASP中的嵌套权重约束。 (英语) Zbl 1268.68158号 芬丹。通知。 124,第4期,449-464(2013).MSC公司:68T27型 68N17号 68T20型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.Costantini}和\textit{A.Formisano},Fundam。通知。124,第4号,449--464(2013;Zbl 1268.68158) 全文: 内政部
坎通纳,多梅尼科;玛丽安娜·尼科洛西·阿斯蒙多 关于四级量化三段论的可满足性问题及其在模态逻辑中的一些应用。 (英语) Zbl 1432.03030号 芬丹。通知。 124,第4期,427-448(2013).MSC公司:03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}和\textit{M.Nicolosi Asmundo},Fundam。通知。124,第4号,427--448(2013;Zbl 1432.03030) 全文: 内政部
斯蒂法诺·比斯塔雷利;弗朗西斯科·桑蒂尼 参数组合:一种约束编程方法。 (英语) Zbl 1290.68116号 芬丹。通知。 124,第4期,383-401(2013).MSC公司:68T42型 PDF格式BibTeX公司 XML格式引用 \textit{S.Bistarelli}和\textit{F.Santini},Fundam。通知。124,第4号,383--401(2013;Zbl 1290.68116) 全文: 内政部
特刊:根据2011年8月30日至9月2日在意大利切提·佩斯卡拉举行的第26届意大利计算逻辑会议(Convergno Italiano die Logica Computazionale,CILC 2011)上的发言,对论文进行了修订和精选。 (英语) Zbl 1273.68009号 芬丹。通知。124,第4期,365-575(2013)。 MSC公司:68-06 68T27型 00B25型 PDF格式BibTeX公司 XML格式