保罗·E·邓恩。;沃尔夫冈·德沃亚克;托马斯·林斯比勒;斯特凡·沃尔特兰 抽象论证中多视角的特点。 (英语) Zbl 1346.68184号 Artif公司。智力。 228153-178(2015年).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Dunne}等人,Artif。智力。228153--178(2015年;Zbl 1346.68184) 全文: DOI程序
萨默·诺法尔;凯蒂·阿特金森;保罗·E·邓恩。 优选语义下论元系统决策问题的算法。 (英语) 兹比尔1334.68210 Artif公司。智力。 207, 23-51 (2014).MSC公司:68T27型 03年2月25日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Nofal}等人,Artif。智力。207、23--51(2014年;Zbl 1334.68210) 全文: DOI程序
彼得罗·巴罗尼;费德里科·塞鲁蒂;保罗·E·邓恩。;马西米利亚诺·贾科明 无限论证结构的自动机。 (英语) Zbl 1329.68243号 Artif公司。智力。 203, 104-150 (2013).MSC公司:68T27型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Baroni}等人,Artif。智力。203104-150(2013;Zbl 1329.68243) 全文: DOI程序 arXiv公司
保罗·E·邓恩。;沃尔夫冈·德沃亚克;斯特凡·沃尔特兰 理想语义的参数性质。 (英语) Zbl 1329.68244号 Artif公司。智力。 202, 1-28 (2013).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Dunne}等人,Artif。智力。202,1-28(2013年;兹比尔1329.68244) 全文: DOI程序
巴罗尼,P。;邓恩,体育。;Giacomin,M。 基于解析的抽象议论文语义学家族及其基础实例。 (英语) Zbl 1216.68255号 Artif公司。智力。 175,编号3-4,791-813(2011).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Baroni}等人,Artif。智力。175,编号3--4,791--813(2011;Zbl 1216.68255) 全文: DOI程序
保罗·E·邓恩。;安东尼·亨特;彼得·麦克伯尼;西蒙·帕森斯;迈克尔·伍尔德里奇 加权参数系统:基本定义、算法和复杂性结果。 (英语) Zbl 1216.68261号 Artif公司。智力。 175,第2期,457-486(2011).MSC公司:68T27型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Dunne}等人,Artif。智力。175,第2号,457--486(2011;Zbl 1216.68261) 全文: DOI程序
保罗·E·邓恩。;萨里特·克劳斯;马尼斯特斯基(Efrat Manisterski);迈克尔·伍尔德里奇 解决联盟资源游戏。 (英语) 兹比尔1185.68752 Artif公司。智力。 174,第1期,20-50页(2010年).MSC公司:68T42型 91A12号机组 91A30型 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Dunne}等人,Artif。智力。174,编号1,20--50(2010;Zbl 1185.68752) 全文: DOI程序
保罗·E·邓恩。 理想语义的计算复杂性。 (英语) Zbl 1185.68666号 Artif公司。智力。 173,第18号,1559-1591(2009).MSC公司:68T27型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Dunne},阿蒂夫。智力。173,第18号,1559--1591(2009;Zbl 1185.68666) 全文: DOI程序
保罗·E·邓恩。 满足图形理论约束的变元系统的计算性质。 (英语) Zbl 1168.68565号 Artif公司。智力。 171,编号10-15,701-729(2007).MSC公司:68T27型 05C90年 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Dunne},阿蒂夫。智力。171,编号10--15,701--729(2007;Zbl 1168.68565) 全文: DOI程序
T·J·M·Bench-Capon。;保罗·E·邓恩。 人工智能中的争论。 (英语) Zbl 1168.68560号 Artif公司。智力。 171,第10-15号,619-641(2007).MSC公司:68T27型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{T.J.M.Bench-Capon}和\textit{P.E.Dunne},Artif。智力。171,编号10--15,619--641(2007;Zbl 1168.68560) 全文: DOI程序
Trevor J.M.Bench-Capon。;西尔维·多特;保罗·E·邓恩。 论证框架中的受众。 (英语) Zbl 1168.68561号 Artif公司。智力。 171,第1期,42-71(2007).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{T.J.M.Bench-Capon}等人,Artif。智力。171,第1号,42--71(2007;Zbl 1168.68561) 全文: DOI程序
迈克尔·伍尔德里奇;保罗·E·邓恩。 联盟资源博弈的计算复杂性。 (英语) Zbl 1131.91011号 Artif公司。智力。 170,第10号,835-871(2006).MSC公司:91A12号机组 65年第68季度 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Wooldridge}和\textit{P.E.Dunne},Artif。智力。170,第10号,835--871(2006;Zbl 1131.91011) 全文: DOI程序
保罗·E·邓恩。;迈克尔·伍尔德里奇;迈克尔·劳伦斯 合同谈判的复杂性。 (英语) Zbl 1132.68539号 Artif公司。智力。 164,第1-2期,第23-46期(2005年).MSC公司:68T05年 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Dunne}等人,Artif。智力。164,编号1--2,23-46(2005;Zbl 1132.68539) 全文: DOI程序
迈克尔·伍尔德里奇;保罗·E·邓恩。 定性联盟博弈的计算复杂性。 (英语) Zbl 1085.68070号 Artif公司。智力。 158,第1期,第27-73页(2004年).MSC公司:65年第68季度 68T27型 91A12号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Wooldridge}和\textit{P.E.Dunne},Artif。智力。158,编号1,27--73(2004;Zbl 1085.68070) 全文: DOI程序
保罗·E·邓恩。;T·J·M·Bench-Capon。 双方即时反应争议:财产和效率。 (英语) 兹比尔1082.68819 Artif公司。智力。 149,第2期,221-250(2003).MSC公司:68T27型 20层03 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Dunne}和\textit{T.J.M.Bench-Capon},Artif。智力。149,第2号,221--250(2003;Zbl 1082.68819) 全文: DOI程序
保罗·E·邓恩。;T·J·M·Bench-Capon。 有限自变量系统中的一致性。 (英语) Zbl 1043.68098号 Artif公司。智力。 141,第1-2期,187-203(2002).MSC公司:68层37 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Dunne}和\textit{T.J.M.Bench-Capon},Artif。智力。141,编号1--2,187-203(2002;Zbl 1043.68098) 全文: DOI程序
保罗·E·邓恩。;Trevor J.M.Bench-Capon。 素数的最大长度暗示3-SAT的实例。 (英语) Zbl 1017.68512号 Artif公司。智力。 92,第1-2、317-329号(1997年).MSC公司:65年第68季度 03B05号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Dunne}和\textit{T.J.M.Bench-Capon},Artif。智力。92,编号1--2,317--329(1997;Zbl 1017.68512) 全文: DOI程序