约翰·彼得·沃纳
人员信息
附属: 奥地利格拉茨TU Graz 隶属关系(前): 赫尔辛基大学HIIT/芬兰计算机科学系 隶属关系(前): 奥地利维也纳TU Wien
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2020年–今天
2024 [第51条] 阿波斯托拉基斯 , Zeynep G.Saribatur公司 , 约翰·彼得·沃纳 :
结构化论证中的抽象假设。 美国原子能机构 2024 : 2132-2134 [i8] 托莫·莱顿 , 安娜·拉贝格 , 弗朗西斯卡·托尼 , 马库斯·乌布利希特 , 约翰·彼得·沃纳 :
非平面假设论证的实例和计算方面。 CoRR公司 abs/2404.11431 ( 2024 ) 2023 [公元50年] 安德烈·波佩斯库 , 约翰·彼得·沃纳 :
使用树分解进行基于假设的论证中的推理。 杰莉亚 2023 : 192-208 [公元49年] 肯尼斯·斯基巴 , 马蒂亚斯·蒂姆 , 约翰·彼得·沃纳 :
基于假设的论证的基于排名的语义。 KI的FCR 2023 : 44-52 [公元48年] 托莫·莱顿 , 安娜·拉贝格 , 马库斯·乌布利希特 , 约翰·彼得·沃纳 :
基于假设的论证引发的论证框架:相关的规模和复杂性。 韩国 2023 : 440-450 [公元47年] 达芙妮·奥德克肯 , 托莫·莱顿 , 安妮玛丽·博格 , 约翰·彼得·沃纳 , 马蒂·贾维萨洛 :
不完全信息下ASPIC+中的论证推理。 韩国 2023 : 531-541 2022 [公元17年] 托马斯·林斯比勒 , 马可·马拉特 , 安德烈亚斯·尼斯卡宁 , 约翰·彼得·沃纳 , 斯特凡·沃尔特兰 :
基于子类复杂性分析和SAT求解的抽象辩证框架的高级算法。 Artif公司。 智力。 307 : 103697 ( 2022 ) [c46] 阿德里安·哈雷 , 约翰·彼得·沃纳 :
修改偏好的公理方法。 AAAI公司 2022 : 5676-5683 [公元45年] 托莫·莱顿 , 约翰·彼得·沃纳 , 马蒂·贾维萨洛 :
基于假设的论证默认逻辑实例化中的推理算法。 COMMA公司 2022 : 236-247 [公元44年] 马库斯·乌布利希特 , 约翰·彼得·沃纳 :
强烈接受的子框架:连接抽象论证和结构化论证。 COMMA公司 2022 : 320-331 [公元43年] 斯特凡·埃尔马瑟勒 , 莎拉·爱丽丝·加格尔 , 多米尼克·鲁索瓦茨 , 约翰·彼得·沃纳 :
ADF-BDD:基于二进制决策图的ADF求解器。 COMMA公司 2022 : 355-356 [公元42年] 托莫·莱顿 , 约翰·彼得·沃纳 , 马蒂·贾维萨洛 :
在ASPIC+论证形式主义的弱链接原则下计算稳定结论。 韩国 2022 [公元41年] 斯特凡·埃尔马瑟勒 , 莎拉·爱丽丝·加格尔 , 多米尼克·鲁索瓦克 , 约翰·彼得·沃纳 :
用二元决策图表示抽象辩证框架。 低密度核磁共振 2022 : 177-189 [c40] 安娜·拉贝格 , 马库斯·乌尔布里奇特 , 约翰·彼得·沃纳 :
基于假设的论证引发的论证框架:相关的规模和复杂性。 核磁共振 2022 : 92-103 [电子1] 莎拉·爱丽丝·加格尔 , Jean-Guy Mailly女士 , 马蒂亚斯·蒂姆 , 约翰·彼得·沃纳 :
第四届形式论证系统和算法国际研讨会论文集,与第九届国际论证计算模型会议(COMMA 2022)合办,英国威尔士加的夫,2022年9月13日。 CEUR研讨会记录 3236, CEUR-WS.org公司 2022 [目录] 2021 [公元16年] 林戈·鲍曼 , 西尔维·多特 , 让·盖伊·梅利 , 约翰·彼得·沃纳 :
形式论证中的强制执行。 拍打 8 ( 6 ) : 1623-1678 ( 2021 ) [公元15年] 托莫·莱顿 , 约翰·彼得·沃纳 , 马蒂·贾维萨洛 :
基于假设的论证的声明性算法和复杂性结果。 J.阿蒂夫。 智力。 物件。 71 : 265-318 ( 2021 ) [公元14年] 托莫·莱顿 , 约翰·彼得·沃纳 , 马蒂·贾维萨洛 :
在基于假设的论证中利用增量答案集求解进行推理。 理论与实践。 日志。 程序。 21 ( 6 ) : 717-734 ( 2021 ) [公元39年] 简·马利 , 约翰·彼得·沃纳 :
结构化论证优先方法中的可击败元素集排序:假设、关系和特征。 啊啊啊 2021 : 6435-6443 [公元38年] 马库斯·乌布利希特 , 约翰·彼得·沃纳 :
抽象论证中的有力解释。 AAAI公司 2021 : 6496-6504 [公元37年] Zeynep G.Saribatur公司 , 约翰·彼得·沃纳 :
通过聚类对论证框架进行存在性抽象。 韩国 2021 : 549-559 [i7] 托莫·莱顿 , 约翰·彼得·沃纳 , 马蒂·贾维萨洛 :
在基于假设的论证中利用增量答案集求解进行推理。 CoRR公司 abs/2108.04192 ( 2021 ) [i6] 沃尔夫冈·德沃拉克 , 马蒂亚斯·科尼格 , 约翰·彼得·沃纳 , 斯特凡·沃尔特兰 :
天冬氨酸-V21。 CoRR公司 abs/2109.03166 ( 2021 ) [i5] 阿德里安·哈雷 , 约翰·彼得·沃纳 :
AGM方法修改偏好。 CoRR公司 abs/2112.14243 ( 2021 ) 2020 [j13] 约翰·彼得·沃纳 :
抽象论证中动态算子的结构约束。 参数计算。 11 ( 1-2 ) : 151-190 ( 2020 ) [公元36年] 阿德里安·哈雷 , 马丁·拉克纳 , 安德烈亚斯·普凡德勒 , 约翰·彼得·沃纳 :
比例信念合并。 AAAI公司 2020 : 2822-2829 [公元35年] 沃尔夫冈·德沃拉克 , 安娜·拉贝格 , 约翰·彼得·沃纳 :
SETAF的基于标签的算法。 SAFA@COMMA 2020 : 34-46 [公元34年] 沃尔夫冈·德沃拉克 , 约翰·彼得·沃纳 :
计算强可容许集。 逗号 2020 : 179-190 [公元33年] Wolfgang Dvorák公司 , 莎拉·爱丽丝·加格尔 , 安娜·拉贝格 , 约翰·彼得·沃纳 , 斯特凡·沃尔特兰 :
ASPARTIX系统套件。 COMMA公司 2020 : 461-462 [公元32年] Zeynep G.Saribatur公司 , 约翰·彼得·沃纳 , 斯特凡·沃尔特兰 :
解释抽象论证中的不可接受性。 ECAI公司 2020 : 881-888 [公元31年] 沃尔夫冈·德沃拉克 , 安娜·拉贝格 , 约翰·彼得·沃纳 , 斯特凡·沃尔特兰 :
ASPARTIX-V19:基于答案集编程的抽象论证系统。 FoIKS公司 2020 : 79-89 [公元30年] 托莫·莱顿 , 约翰·彼得·沃纳 , 马蒂·雅维萨洛 :
ASPIC+框架中论证推理的答案集编程方法。 韩国 2020 : 636-646
2010 – 2019
2019 [公元12年] 马蒂亚斯·蒂姆 , 约翰·彼得·沃纳 :
关于不一致性度量的复杂性。 Artif公司。 智力。 275 : 411-456 ( 2019 ) [公元11年] 安德烈亚斯·尼斯卡宁 , 约翰·彼得·沃纳 , 马蒂·贾维萨洛 :
从实例中综合论证框架。 J.阿蒂夫。 智力。 物件。 66 : 503-554 ( 2019 ) [公元29年] 托莫·莱顿 , 约翰·彼得·沃纳 , 马蒂·贾维萨洛 :
通过直接回答集编程编码对基于假设的论证框架进行推理。 AAAI公司 2019 : 2938-2945 [公元28年] 阿德里安·哈雷 , 约翰·彼得·沃纳 :
在融合信仰时操纵怀疑和轻信的后果。 杰莉亚 2019 : 133-150 2018 [公元10年] 雷米·布罗奇宁 , 托马斯·林斯比勒 , 马可·马拉特 , 约翰·彼得·沃纳 , 斯特凡·沃尔特兰 :
Dung论证框架的抽象求解器。 参数计算。 9 ( 1 ) : 41-72 ( 2018 ) [公元27年] 格哈德·布鲁卡 , 汉内斯·斯特拉斯 , 约翰·彼得·沃纳 , 斯特凡·沃尔特兰 :
加权抽象辩证框架。 AAAI公司 2018 : 1779-1786 [公元26年] 约翰·彼得·沃纳 :
抽象论证中动态算子的结构约束。 COMMA公司 2018 : 73-84 [公元25年] 阿德里安·哈雷 , 约翰·彼得·沃纳 , 斯特凡·沃尔特兰 :
同一硬币的两面:信念修正和强化论点。 国际JCAI 2018 : 1854-1860 [公元24年] 托马斯·林斯比勒 , 马可·马拉特 , 安德烈亚斯·尼斯卡宁 , 约翰·彼得·沃纳 , 斯特凡·沃尔特兰 :
基于子类复杂性分析和SAT求解的抽象辩证框架新算法。 国际JCAI 2018 : 1905-1911 【c23】 安德烈亚斯·尼斯卡宁 , 约翰·彼得·沃纳 , 马蒂·贾维萨洛 :
抽象论证中基于基础语义的扩展执行。 韩国 2018 : 178-183 [i4] 格哈德·布鲁卡 , 约尔格·普勒 , 汉内斯·斯特拉斯 , 约翰·彼得·沃纳 , 斯特凡·沃尔特兰 :
加权抽象辩证框架:扩展和修订报告。 CoRR公司 abs/1806.07717 ( 2018 ) 2017 [公元9年] 格哈德·布鲁卡 , 斯特凡·埃尔马瑟勒 , 汉内斯·斯特拉斯 , 约翰·彼得·沃纳 , 斯特凡·沃尔特兰 :
抽象辩证框架。 概述。 拍打 4 ( 8 ) ( 2017 ) [j8] 费德里科·塞鲁蒂 , 莎拉·爱丽丝·加格尔 , 马蒂亚斯·蒂姆 , 约翰·彼得·沃纳 :
形式论证的实现基础。 拍打 4 ( 8 ) ( 2017 ) [j7] 约翰·彼得·沃纳 , 安德烈亚斯·尼斯卡宁 , 马蒂·贾维萨洛 :
抽象论证中扩展实施的复杂性结果和算法。 J.阿蒂夫。 智力。 物件。 60 : 1-40 ( 2017 ) [公元22年] 托莫·莱顿 , 约翰·彼得·沃纳 , 马蒂·贾维萨洛 :
从结构化论证到抽象论证:通过AF推理的基于假设的接受。 ECSQARU公司 2017 : 57-68 2016 【c21】 约翰·彼得·沃纳 , 安德烈亚斯·尼斯卡宁 , 马蒂·贾维萨洛 :
抽象论证中扩展实施的复杂性结果和算法。 AAAI公司 2016 : 1088-1094 [公元20年] 安德烈亚斯·尼斯卡宁 , 约翰·彼得·沃纳 , 马蒂·贾维萨洛 :
从实例中综合论证框架。 ECAI公司 2016 : 551-559 [第19条] 安德烈亚斯·尼斯卡宁 , 约翰·彼得·沃纳 , 马蒂·雅维萨洛 :
抽象论证中的最优状态执行。 国际JCAI 2016 : 1216-1222 [第18条] 安德烈亚斯·尼斯卡宁 , 约翰·彼得·沃纳 , 马蒂·贾维萨洛 :
Pakota:抽象论证中的执行制度。 杰莉亚 2016 : 385-400 [第17条] 保罗·赛科 , 约翰·彼得·沃纳 , 马蒂·贾维萨洛 :
用于NP以外推理的隐式命中集算法。 韩国 2016 : 104-113 [第16条] 马蒂亚斯·蒂姆 , 约翰·彼得·沃纳 :
不一致性度量的一些复杂性结果。 韩国 2016 : 114-124 2015 [j6] Günther Charwat公司 , 沃尔夫冈·德沃拉克 , 莎拉·爱丽丝·加格尔 , 约翰·彼得·沃纳 , 斯特凡·沃尔特兰 :
解决抽象论证中推理问题的方法——综述。 Artif公司。 智力。 220 : 28-63 ( 2015 ) [j5] 汉内斯·斯特拉斯 , 约翰·彼得·沃纳 :
利用近似不动点理论分析抽象辩证框架的计算复杂性。 Artif公司。 智力。 226 : 34-74 ( 2015 ) 【j4】 马丁·迪勒 , 约翰·彼得·沃纳 , 斯特凡·沃尔特兰 :
使用量化布尔公式在抽象辩证框架中进行推理。 参数计算。 6 ( 2 ) : 149-177 ( 2015 ) [j3] 莎拉·爱丽丝·加格尔 , 诺伯特·曼泰 , 亚历山德罗·隆卡 , 约翰·彼得·沃纳 , 斯特凡·沃尔特兰 :
改进了用于抽象论证的答案集编程编码。 理论与实践。 日志。 程序。 15 ( 4-5 ) : 434-448 ( 2015 ) [第15条] 沃尔夫冈·德沃拉克 , 莎拉·爱丽丝·加格尔 , 托马斯·林斯比勒 , 约翰·彼得·沃纳 :
基于约简的方法实现Modgil的扩展论证框架。 知识表示、逻辑编程和抽象论证的进展 2015 : 249-264 [第14条] 安德烈亚斯·普凡德勒 , 斯特凡·吕梅尔 , 约翰·彼得·沃纳 , 斯特凡·沃尔特兰 :
关于信念修正的参数化复杂性。 国际JCAI 2015 : 3149-3155 [第13条] 沃尔夫冈·德沃拉克 , 马蒂·贾维萨洛 , 约翰·彼得·沃纳 , 斯特凡·沃尔特兰 :
抽象论证的复杂性敏感决策程序(扩展抽象)。 国际JCAI 2015 : 4173-4177 [第12条] 雷米·布罗奇宁 , 托马斯·林斯比勒 , 马可·马拉特 , 约翰·彼得·沃纳 , 斯特凡·沃尔特兰 :
Dung论证框架的抽象解算器。 TAFA公司 2015 : 40-58 [i3] 莎拉·爱丽丝·加格尔 , 诺伯特·曼泰 , 亚历山德罗·隆卡 , 约翰·彼得·沃纳 , 斯特凡·沃尔特兰 :
用于抽象论证的改进答案集编程编码。 CoRR公司 腹肌/1507.06689 ( 2015 ) 2014 [注2] 沃尔夫冈·德沃拉克 , 马蒂·贾维萨洛 , 约翰·彼得·沃纳 , 斯特凡·沃尔特兰 :
抽象论证的复杂敏感决策程序。 Artif公司。 智力。 206 : 53-78 ( 2014 ) [第11条] 马丁·迪勒 , 约翰·彼得·沃纳 , 斯特凡·沃尔特兰 :
使用量化布尔公式在抽象辩证框架中进行推理。 COMMA公司 2014 : 241-252 [第10条] 汉内斯·斯特拉斯 , 约翰·彼得·沃纳 :
用近似不动点理论分析抽象辩证框架的计算复杂性。 韩国 2014 2013 [j1] 阿克塞尔·波利斯 , 约翰·彼得·沃纳 :
关于SPARQL1.1与答案集编程之间的关系。 J.应用。 非班级。 逻辑 23 ( 1-2 ) : 159-212 ( 2013 ) 【c9】 西尔维娅·波尔伯格 , 约翰·彼得·沃纳 , 斯特凡·沃尔特兰 :
抽象辩证框架中的可容许性。 CLIMA公司 2013 : 102-118 【c8】 约翰·彼得·沃纳 , 乔治·魏森巴赫 , 斯特凡·沃尔特兰 :
抽象论证的高级SAT技术。 CLIMA公司 2013 : 138-154 【c7】 格哈德·布鲁卡 , 汉内斯·斯特拉斯 , 斯特凡·埃尔莫塔勒 , 约翰·彼得·沃纳 , 斯特凡·沃尔特兰 :
重新审视辩证框架。 国际JCAI 2013 : 803-809 【c6】 马里奥·阿尔维亚诺 , 弗朗西斯科·卡利默里 , Günther Charwat公司 , 明道-特兰 , 卡米娜·多达罗 , 乔瓦姆巴蒂斯塔·伊安尼 , 托马斯·克伦沃尔纳 , 马丁·克罗内格 , 约翰内斯·奥茨 , 安德烈亚斯·普凡德勒 , 约尔格·普勒 , 克里斯托夫·雷德 , 弗朗西斯科·里卡 , 帕特里克·施耐德 , 马丁·施文格勒 , 劳拉·凯萨琳娜·斯彭迪尔 , 约翰·彼得·沃纳 , 肖国辉 :
第四届答案集编程竞赛:初步报告。 低密度核磁共振 2013 : 42-53 [c5] 托马斯·安布罗兹 , Günther Charwat公司 , 安德烈亚斯·朱西斯 , 约翰·彼得·沃纳 , 斯特凡·沃尔特兰 :
ARVis:可视化答案集之间的关系。 低密度核磁共振 2013 : 73-78 【c4】 Günther Charwat公司 , 乔瓦姆巴蒂斯塔·伊安尼 , 托马斯·克伦沃尔纳 , 马丁·克罗内格 , 安德烈亚斯·普凡德勒 , 克里斯托弗·雷德 , 马丁·施文格勒 , 劳拉·凯萨琳娜·斯彭迪尔 , 约翰·彼得·沃纳 , 肖国辉 :
VCWC:版本控制竞赛工作流编译器。 低密度核磁共振 2013 : 233-238 [i2] Günther Charwat公司 , 约翰·彼得·沃纳 , 斯特凡·沃尔特兰 :
利用ASP生成和可视化论证框架。 CoRR公司 abs/1301.1388 ( 2013 ) 2012 【c3】 斯特凡·埃尔马瑟勒 , 约翰·彼得·沃纳 :
用ASP。 COMMA公司 2012 : 505-506 【c2】 沃尔夫冈·德沃拉克 , 马蒂·贾维萨洛 , 约翰·彼得·沃纳 , 斯特凡·沃尔特兰 :
抽象论证的复杂度敏感决策程序。 韩国 2012 2011 【c1】 沃尔夫冈·德沃拉克 , 莎拉·爱丽丝·加格尔 , 约翰·彼得·沃纳 , 斯特凡·沃尔特兰 :
利用抽象论证系统答案集编程的进展。 INAP/WLP公司 2011 : 114-133 [i1] Wolfgang Dvorák公司 , 莎拉·爱丽丝·加格尔 , 约翰·彼得·沃纳 , 斯特凡·沃尔特兰 :
利用抽象论证系统答案集编程的进展。 CoRR公司 腹肌/1108.4942 ( 2011 )
合著者索引
![](https://dblp.org/img/cog.dark.24x24.png)