亚历山德罗·阿曼多;恩里科·金西格里亚;马可·马拉提亚;塞雷娜·伊丽莎·蓬塔 一种基于操作的方法,用于在授权约束下对业务流程进行正式规范和自动分析。 (英语) Zbl 1238.68157号 J.计算。系统。科学。 78,第1期,119-141(2012).MSC公司:68立方英尺 90B50型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Armando}等人,J.Compute。系统。科学。78,第1号,119--141(2012;Zbl 1238.68157) 全文: 内政部
恩里科·金西格里亚;尤利娅·利勒;马可·马拉提亚 基于命题可满足性的答案集编程。 (英语) Zbl 1107.68029号 J.汽车。推理 36,第4期,345-377(2006).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人,J.Autom。推理36,No.4,345--377(2006;Zbl 1107.68029) 全文: 内政部
恩里科·金西格里亚;Lee,Joohyng先生;弗拉基米尔·利夫希茨;诺曼·麦凯恩;哈德森·特纳 非单调因果理论。 (英语) Zbl 1085.68161号 Artif公司。智力。 153,编号1-2,49-104(2004).MSC公司:68T27型 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人,Artif。智力。153,编号1--2,49-104(2004;Zbl 1085.68161) 全文: 内政部
恩里科·金西格里亚;G.Neelakantan Kartha;弗拉基米尔·利夫希茨 代表行动:不确定性和后果。 (英语) Zbl 0894.68140号 Artif公司。智力。 95,第2期,409-438(1997).MSC公司:68T99型 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人,Artif。智力。95,第2号,409--438(1997;Zbl 0894.68140) 全文: 内政部