2024 |
| [85] |
计算论证：推理、动力学和支持解释性（扩展抽象）
约翰·沃纳（Johannes P.Wallner）。
接受IJCAI’24（早期职业轨迹演示的扩展摘要）
|
| [84] |
抽象辩证框架中半稳定语义的复杂性
阿特菲赫·凯沙瓦尔齐·扎法尔甘迪和约翰·沃纳。
接受COMMA'24
|
| [83] |
论ABA中的可容许性计算
托莫·莱顿,安娜·拉贝格,弗朗西丝卡·托尼,马库斯·乌布利希特和Johannes P.Wallner。
接受COMMA'24
|
| [82] |
ASPIC中基于值的推理+
Johannes P.Wallner，亚当·怀纳，以及托马斯·苏莱克.
接受COMMA'24
|
| [81] |
非平面假设论证的实例和计算方面
托莫·莱顿,安娜·拉贝格,弗朗西丝卡·托尼,马库斯·乌布利希特和Johannes P.Wallner。
接受IJCAI’24
|
| [80] |
使用基于假设的论证对基于过渡期的医疗建议进行排名
肯尼斯·斯基巴,马蒂亚斯·蒂姆和Johannes P.Wallner。
接受比率'24
|
| [79] |
结构化论证中的抽象假设（扩展抽象）
阿波斯托拉基斯，Zeynep G.Saribatur公司和Johannes P.Wallner。
在梅迪·达斯坦尼、杰米·西蒙·西奇曼、娜塔莎·阿莱奇纳和弗吉尼亚·迪格纳姆，编辑，第23届国际自治机构会议记录和多智能体系统，AAMAS 2024年，第2132-2134页，2023年
[ 内政部 ] |
| [78] |
形式论证的计算方面
约翰·沃纳（Johannes P.Wallner）。
习惯化理论，TU Graz，2024年。
|
2023 |
| [77] |
基于假设论证的基于排名的语义
肯尼斯·斯基巴,马蒂亚斯·蒂姆和Johannes P.Wallner。
Christoph Beierle、Kai Sauerwald、François Schwarzentruber和Frieder Stolzenburg，编辑，《第九届形式与认知推理研讨会论文集》，FCR 2023年，第44-52页，2023年
[ 诉讼程序 ] |
| [76] |
基于假设的树分解论证中的推理
安德烈·波佩斯库和约翰尼斯·P·沃尔纳。
在Sarah Gaggl、Vanina Martinez和Magdalena Ortiz编辑的《第18届欧洲人工智能逻辑会议论文集》中，JELIA 2023年，第192-208页，德国德累斯顿，2023
[ 内政部 | 系统（和更多详细信息） ] |
| [75] |
基于假设的论证引发的论证框架：关联大小和复杂性
托莫·莱顿,安娜·拉贝格,马库斯·乌布利希特和Johannes P.Wallner。
在Pierre Marquis、Tran Cao Son和Gabriele Kern-Isberner编辑的《第20届知识表示和推理原则国际会议论文集》中，2023年韩元，第440-450页，2023年
[ 内政部 | 带有补充的pdf ] |
| [74] |
不完全信息条件下ASPIC+中的议论文推理
达芙妮·奥德克肯,托莫·莱顿,安妮玛丽·博格Johannes P.Wallner和马蒂·贾维萨洛.
在Pierre Marquis、Tran Cao Son和Gabriele Kern-Isberner编辑的《第20届知识表示和推理原则国际会议论文集》中，2023年韩元，第531-541页，2023年
[ 内政部 ] |
2022 |
| [73] |
第四届形式论证系统与算法国际研讨会论文集
莎拉·加格尔,Jean-Guy Mailly女士,马蒂亚斯·蒂姆和编辑Johannes P.Wallner。
CEUR研讨会记录。
[ URN公司 | 研讨会网站 ] |
| [72] |
基于假设的论证默认逻辑实例化中的推理算法
托莫·莱赫托宁Johannes P.Wallner和马蒂·贾维萨洛.
在弗朗西丝卡·托尼、西尔维亚·波尔伯格、理查德·布斯、马丁·卡米纳达和基多的编辑中，第九届国际辩论计算模型会议记录，2022年通信第236-247页，2022年。
[ 内政部 ] |
| [71] |
强烈接受子框架：连接抽象和结构化论证
马库斯·乌布利希特和约翰·沃纳。
编辑Francesca Toni、Sylwia Polberg、Richard Booth、Martin Caminada和Hiroyuki Kido，第九届国际辩论计算模型会议记录，2022年通信第320-331页，2022年。
[ 内政部 ] |
| [70] |
用二元决策图表示抽象辩证框架
斯特凡·埃尔马瑟勒,莎拉·加格尔,多米尼克·鲁索瓦克和Johannes P.Wallner。
乔治·戈特洛布（Georg Gottlob）、丹妮拉·伊普里赞（Daniela Inclezan）、马可·马拉提亚（Marco Maratea）编辑，《第16届逻辑程序设计和非单调推理国际会议论文集》，LPNMR 2022，第177-189页，Genova Nervi，意大利，2022年
[ 内政部 | 系统演示（COMMA’22） ] |
| [69] |
基于假设的论证引发的论证框架：关联大小和复杂性
安娜·拉贝格,马库斯·乌布利希特和Johannes P.Wallner。
在Ofer Arieli、Giovanni Casini和Laura Giordano编辑的《第20届非单调推理国际研讨会论文集》中，核磁共振2022，第92-103页，2022年
[ 诉讼程序 ] |
| [68] |
ASPIC+论证形式主义中弱链接原则下计算稳定结论
托莫·莱顿，Johannes P.Wallner，以及马蒂·贾维萨洛.
加布里埃尔·克恩·伊斯伯纳（Gabriele Kern-Isberner）、格哈德·莱克梅耶（Gerhard Lakemeyer）和托马斯·梅耶（Thomas Meyer）主编，《第19届知识表示和推理原则国际会议论文集》，2022年韩国，第215-225页，2022年
[ 内政部 | 带有补充的pdf ] |
| [67] |
基于子类复杂性分析和SAT求解的抽象辩证框架高级算法
托马斯·林斯比勒,马可·马拉特,安德烈亚斯·尼斯卡宁Johannes P.Wallner和斯特凡·沃尔特兰.
《人工智能》，第307卷，第103697页。
[ 内政部 ] |
| [66] |
修改偏好的公理方法
阿德里安·哈雷和约翰·沃纳。
在第三十六届AAAI人工智能会议论文集中，AAAI 2022年第5676-5683页，2022年2月。
[ 内政部 ] |
2021 |
| [65] |
修正偏好的AGM方法
阿德里安·哈雷和约翰·沃纳。
Leila Amgoud和Richard Booth，编辑，《第19届非单调推理国际研讨会论文集》，核磁共振2021，第41-50页，2021
|
| [64] |
在基于假设的论证中利用增量ASP求解进行推理
托莫·莱顿Johannes P.Wallner和马蒂·贾维萨洛.
逻辑程序设计理论与实践，第21卷（6），第717-734页。2021
[ 内政部 | 阿西夫 ] |
| [63] |
形式论证中的强制执行
林戈·鲍曼,西尔维·多特,让·盖伊·梅利和Johannes P.Wallner。
Dov Gabbay、Massimiliano Giacomin、Guillermo R.Simari和Matthias Thimm编辑，《形式论证手册》第2卷第8章。2021
[ 手册 | 应用逻辑杂志-IfCoLog杂志 ] |
| [62] |
基于聚类的论证框架存在性抽象
Zeynep G.Saribatur公司和约翰·沃纳。
《第18届知识表示与推理原则国际会议论文集》编辑梅根·宾文努、格哈德·莱克梅耶和埃斯拉·埃尔登，2021年韩国，第549-5592021页
[ 内政部 | 补充 ] |
| [61] |
基于假设的论证的声明算法和复杂性结果
托莫·莱顿Johannes P.Wallner和马蒂·贾维萨洛.
《人工智能研究杂志》，第71卷，第265-318页。2021
[ 内政部|会议版本：[47] ] |
| [60] |
结构化论证的优先方法中可推迟元素的排序集：假设、关系和特征
简·马利和约翰·沃纳。
在第三十五届AAAI人工智能会议记录中，AAAI 2021年第6435-6443页，2021年2月。
[ 链接 ] |
| [59] |
抽象论证中的有力解释
马库斯·乌布利希特和约翰·沃纳。
在第三十五届AAAI人工智能会议记录中，AAAI 2021年第6496-6504页，2021年2月。
[ 链接 ] |
2020 |
| [58] |
基于标签的SETAF算法
沃尔夫冈·德沃夏克,安娜·拉贝格和Johannes P.Wallner。
在Sarah A.Gaggl、Matthias Thimm和Mauro Vallati的编辑中，第三届形式论证系统和算法国际研讨会论文集，SAFA 2020，第34-46页，2020年。
[ .pdf格式 ] |
| [57] |
计算强可容许集
沃尔夫冈·德沃亚克和约翰·沃纳。
编辑Henry Prakken、Stefano Bistarelli、Francesco Santini和Carlo Taticchi，第八届国际辩论计算模型会议记录，2020年COMMA，第179-190页，2020年。
[ 内政部 | .pdf格式 ] |
| [56] |
ASPARTIX系统套件（系统演示）
沃尔夫冈·德沃夏克,莎拉·加格尔,安娜·拉贝格Johannes P.Wallner和斯特凡·沃尔特兰.
亨利·普拉肯（Henry Prakken）、斯特凡诺·比斯塔雷利（Stefano Bistarelli）、弗朗西斯科·桑蒂尼（Francesco Santini）和卡洛·塔蒂奇（Carlo Taticchi），编辑，第八届国际争论计算模型会议记录，2020年COMMA，第461-462页，2020年。
[ 内政部 | .pdf格式 ] |
| [55] |
ASPIC+框架下辩论推理的答案集编程方法
托莫·莱顿Johannes P.Wallner和马蒂·贾维萨洛.
在Diego Calvanee、Esra Erdem和Michael Thielscher编辑的《第17届知识表示和推理原则国际会议论文集》中，2020年韩国，第636-646页，2020年
[ 内政部 ] |
| [54] |
解释抽象论证中的不可接受性
泽内普·萨里巴图尔Johannes P.Wallner和斯特凡·沃尔特兰.
在朱塞佩·德贾科莫、亚历杭德罗·加泰拉、比斯特拉·迪尔基纳、米歇拉·米兰、塞恩·巴罗、阿尔贝托·布加林和杰尔·朗的编辑中，第24届欧洲人工智能会议记录，2020年ECAI，第881-888页，2020年。
[ 内政部 | .pdf格式 ] |
| [53] |
ASPARTIX-V19-基于答案集编程的抽象论证系统
沃尔夫冈·德沃亚克,安娜·拉贝格，Johannes P.Wallner，以及斯特凡·沃尔特兰.
在安德烈亚斯·赫齐格和朱哈·孔廷宁主编的《第十一届信息和知识系统基础国际研讨会论文集》中，FoIKS 2020，第79-89页，德国多特蒙德，2020年
[ 内政部 ] |
| [52] |
比例信念合并
阿德里安·哈雷,马丁·拉克纳,安德烈亚斯·普凡德勒和Johannes P.Wallner。
文森特·科尼策（Vincent Conitzer）和费沙（Fei Sha）主编，《第三十四届AAAI人工智能会议论文集》，AAAI 2020年，第2822-2829页，美国纽约，2020年2月
[ 内政部 | .pdf格式 ] |
| [51] |
抽象论证中动态算子的结构约束
约翰·沃纳（Johannes P.Wallner）。
论证与计算。第11卷（1-2），第151-190页。2020
[ 内政部|会议版本：[43] ] |
2019 |
| [50] |
从实例综合论证框架
安德烈亚斯·尼斯卡宁Johannes P.Wallner和马蒂·贾维萨洛.
《人工智能研究杂志》，第66卷，第503-554页。2019
[ 内政部|会议版本：[32] ] |
| [49] |
关于不一致性度量的复杂性
马蒂亚斯·蒂姆和约翰·沃纳。
《人工智能》，第275卷，第411-456页。2019
[ 内政部|会议版本：[29] ] |
| [48] |
在融合信仰时操纵怀疑和轻信的后果
阿德里安·哈雷和约翰·沃纳。
《第16届欧洲人工智能逻辑会议论文集》编辑弗朗西斯科·卡利默里、尼古拉·利昂内和马可·曼纳，2019年JELIA，第133-150页，伦德，意大利，2019年
[ 内政部 | 技术报告（附详细证明） ] |
| [47] |
通过直接回答集编程编码对基于假设的论证框架进行推理
托莫·莱顿，Johannes P.Wallner，以及马蒂·贾维萨洛.
《第三十三届美国人工智能学会人工智能会议论文集》编辑Pascal Van Hentenryck和Zhi-Hua Zhou，2019年AAAI，第2938-2945页，美国夏威夷檀香山，2019年1月
[ 内政部 | 网状物 | .pdf格式 ] |
2018 |
| [46] |
ASP在形式论证中的应用
马丁·迪勒,沃尔夫冈·德沃亚克,约尔格·普勒Johannes P.Wallner和斯特凡·沃尔特兰.
在2018年TAASP研讨会。
[ .pdf格式 ] |
| [45] |
命题知识库和论证框架语义聚合过程的操作
阿德里安·哈雷和Johannes P.Wallner
Eduardo Fermé和Serena Villata，编辑，第17届非单调推理国际研讨会论文集，核磁共振2018，第146-155页，美国坦佩，2018年10月
[ 诉讼程序 ] |
| [44] |
抽象论证中基于基础语义的扩展实施
安德烈亚斯·尼斯卡宁Johannes P.Wallner和马蒂·贾维萨洛
迈克尔·泰尔舍尔（Michael Thielscher）、弗朗西丝卡·托尼（Francesca Toni）和弗兰克·沃尔特（Frank Wolter）主编，《第16届知识表示和推理原则国际会议论文集》，2018年韩国，第178-183页，Tempe，美国，2018年10月
[ 网址 | .pdf格式 ] |
| [43] |
抽象论证中动态算子的结构约束
约翰·沃纳（Johannes P.Wallner）。
在桑杰·莫吉尔、卡塔兹娜·巴兹恩斯卡、约翰·劳伦斯编辑的《第七届国际争论计算模型会议论文集》中，逗号2018，第73-84页，华沙，波兰，2018年9月
[ 内政部 | .pdf格式 ] |
| [42] |
基于子类复杂性分析和SAT求解的抽象辩证框架新算法
托马斯·林斯比勒,马可·马拉特,安德烈亚斯·尼斯卡宁Johannes P.Wallner和斯特凡·沃尔特兰.
《第二十七届国际人工智能联合会议论文集》编辑Jéróme Lang，2018年IJCAI，第1905-1911页，瑞典斯德哥尔摩，2018年7月
[ 内政部 | 系统页面 | .pdf格式 ] |
| [41] |
同一硬币的两面：信念修正与强化论证
阿德里安·哈雷Johannes P.Wallner和斯特凡·沃尔特兰.
《第二十七届国际人工智能联合会议论文集》编辑Jéróme Lang，2018年IJCAI，第1854-1860页，瑞典斯德哥尔摩，2018年7月
[ 内政部 | .pdf格式 ] |
| [40] |
加权抽象辩证框架
格哈德·布鲁卡,汉内斯·斯特拉斯Johannes P.Wallner和斯特凡·沃尔特兰.
在Sheila A.McIlraith和Kilian Q.Weinberger编辑的《第三十二届AAAI人工智能会议论文集》中，AAAI 2018年，第1779-1786页，美国路易斯安那州新奥尔良，2018年2月
[ 扩展版和修订版 | arXiv公司 ] |
| [39] |
形式论证的实现基础
费德里科·塞鲁蒂,莎拉·加格尔,马蒂亚斯·蒂姆和约翰·沃纳。
彼得罗·巴罗尼（Pietro Baroni）、多夫·加巴伊（Dov Gabbay）、马西米利亚诺·贾科明（Massimiliano Giacomin）和林德特·范德托雷（Leendert van der Torre），编辑，《形式论证手册》，第14章，第688-767页。2018
[ 手册 | IfCoLog中的章节 | .pdf格式 ] |
| [38] |
抽象辩证框架。概述
格哈德·布鲁卡,斯特凡·埃尔马瑟勒,汉内斯·斯特拉斯Johannes P.Wallner和斯特凡·沃尔特兰.
彼得罗·巴罗尼（Pietro Baroni）、多夫·加巴伊（Dov Gabbay）、马西米利亚诺·贾科明（Massimiliano Giacomin）和林德特·范德托雷（Leendert van der Torre），编辑，《形式论证手册》，第5章，第237-285页。2018
[ 手册 | IfCoLog中的章节 | .pdf格式 ] |
| [37] |
Dung论证框架的抽象解算器
雷米·布罗奇宁,托马斯·林斯比勒,马可·马拉特Johannes P.Wallner和斯特凡·沃尔特兰.
《论证与计算》，第9卷（1），第41-72页。2018
[ 内政部 | .pdf格式|车间版本：[26] ] |
2017 |
| [36] |
抽象论证中扩展实施的复杂性结果和算法
Johannes P.Wallner，安德烈亚斯·尼斯卡宁，以及马蒂·贾维萨洛.
《人工智能研究杂志》，第60卷，第1-40页。2017
[ 内政部 | .pdf格式|会议版本：[28] ] |
| [35] |
从结构化论证到抽象论证：基于假设的AF推理接受
托莫·莱赫托宁Johannes P.Wallner和马蒂·贾维萨洛.
在Alessandro Antonucci、Laurence Cholvy和Odile Papini编辑的《第14届欧洲不确定性推理的符号和定量方法会议记录》中，ECSQARU 2017，第57-68页，瑞士卢加诺，2017年7月
[ 内政部 | .pdf格式 ] |
| [34] |
抽象辩证法框架的可拓语义复杂性分析初报
Sylwia Polberg和Johannes P.Wallner。
技术报告DBAI-TR-2017-103，逻辑与计算研究所，TU Wien，2017
[ 技术报告 ] |
2016 |
| [33] |
Pakota：抽象论证中的执行制度
安德烈亚斯·尼斯卡宁Johannes P.Wallner和马蒂·贾维萨洛.
在Loizos Michael和Antonis C.Kakas编辑的《第15届欧洲人工智能逻辑会议论文集》中，JELIA 2016年，第385-400页，拉纳卡，塞浦路斯，2016年11月
[ 内政部 | 系统页面 ] |
| [32] |
从实例综合论证框架
安德烈亚斯·尼斯卡宁Johannes P.Wallner和马蒂·贾维萨洛.
在Gal A.Kaminka、Maria Fox、Paolo Bouquet、Eyke Hüllermier、Virginia Dignum、Frank Dignum和Frank van Harmelen编辑的《第二十二届欧洲人工智能会议论文集》中，ECAI 2016年，第551-559页，荷兰海牙，2016年8月
[ 内政部 | 系统页面 ] |
| [31] |
抽象论证中的最优状态执行
安德烈亚斯·尼斯卡宁Johannes P.Wallner和马蒂·贾维萨洛.
在《第二十五届国际人工智能联合会议论文集》编辑苏巴拉奥·坎巴帕蒂（Subbarao Kambhampati）中，2016年IJCAI，第1216-1222页，美国纽约，2016年7月
[ 纸张 | .pdf（带正式证明） | 系统页面 ] |
| [30] |
用于NP以外推理的隐式命中集算法
保罗·赛科Johannes P.Wallner和马蒂·雅维萨洛.
在奇塔·巴拉尔（Chitta Baral）、詹姆斯·德尔格兰德（James P.Delgrand）和弗兰克·沃尔特（Frank Wolter）主编的《第十五届知识表示和推理原则国际会议论文集》（Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning）中，2016年韩国，第104-113页，南非开普敦，2016年4月
[ 纸张 | .pdf（带正式证明） | 系统页面 ] |
| [29] |
关于不一致性度量的一些复杂性结果
马蒂亚斯·蒂姆和约翰·沃纳。
在奇塔·巴拉尔（Chitta Baral）、詹姆斯·德尔格兰德（James P.Delgrand）和弗兰克·沃尔特（Frank Wolter）主编的《第十五届知识表示和推理原则国际会议论文集》（Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning）中，2016年韩国，第114-124页，南非开普敦，2016年4月
[ 纸张 ] |
| [28] |
抽象论证中扩展实施的复杂性结果和算法
Johannes P.Wallner，安德烈亚斯·尼斯卡宁，以及马蒂·贾维萨洛.
在Dale Schuurmans和Michael P.Wellman编辑的《第三十届AAAI人工智能会议论文集》中，2016年AAAI，第1088-1094页，美国亚利桑那州凤凰城，2016年2月
[ 纸张 | 系统页面 ] |
2015 |
| [27] |
用于抽象论证的改进的答案集编程编码
莎拉·加格尔,诺伯特·曼泰,亚历山德罗·隆卡Johannes P.Wallner和斯特凡·沃尔特兰.
逻辑程序设计理论与实践，第15卷（4-5），第434-448页。2015
[ 内政部 | arXiv公司 | 技术报告 | 系统页面 ] |
| [26] |
Dung论证框架的抽象解算器
雷米·布罗奇宁,托马斯·林斯比奇勒,马可·马拉特Johannes P.Wallner和斯特凡·沃尔特兰.
在Elizabeth Black、Sanjay Modgil和Nir Oren编辑的《形式论证理论与应用第三次研讨会论文集》中，TAFA 2015年，修订选定论文，第40-58页，2015
[ 内政部 ] |
| [25] |
用近似不动点理论分析抽象辩证框架的计算复杂性
汉内斯·斯特拉斯和约翰·沃纳。
《人工智能》，第226卷，第34-74页。2015
[ 内政部|会议版本：[17] ] |
| [24] |
抽象论证的复杂度敏感决策程序（扩展抽象）
沃尔夫冈·德沃亚克,马蒂·贾维萨洛,Johannes P.Wallner和斯特凡·沃尔特兰.
杨强（Qiang Yang）和迈克尔·伍尔德里奇（Michael Wooldridge）主编，《第二十四届国际人工智能联合会议论文集》（Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence），IJCAI 2015年，第4173-4177页，阿根廷布宜诺斯艾利斯，2015年7月
[ 摘要|的扩展摘要[16] ] |
| [23] |
论信念修正的参数化复杂性
安德烈亚斯·普凡德勒,斯特凡·吕梅尔Johannes P.Wallner和斯特凡·沃尔特兰.
杨强（Qiang Yang）和迈克尔·伍尔德里奇（Michael Wooldridge）主编，《第二十四届国际人工智能联合会议论文集》（Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence），IJCAI 2015年，第3149-3155页，阿根廷布宜诺斯艾利斯，2015年7月
[ 纸张 ] |
| [22] |
用量化布尔公式在抽象辩证框架中进行推理
马丁·迪勒Johannes P.Wallner和斯特凡·沃尔特兰.
《论证与计算》，第6卷（2），第149-177页。2015
[ 内政部|会议版本：[18] ] |
| [21] |
抽象论证中推理问题的解决方法综述
Günther Charwat公司,沃尔夫冈·德沃亚克,莎拉·加格尔,Johannes P.Wallner和斯特凡·沃尔特兰.
《人工智能》，第220卷，第28-63页。2015
[ 内政部 | 技术报告（早期版本） ] |
| [20] |
基于约简的方法实现Modgil的扩展论证框架
沃尔夫冈·德沃亚克,莎拉·加格尔,托马斯·林斯比勒和Johannes P.Wallner。
托马斯·艾特（Thomas Eiter）、汉内斯·斯特拉斯（Hannes Strass）、米洛斯·瓦夫·特鲁什琴斯基（Mirosław Truszczynski）和斯特凡·沃尔特兰（Stefan Woltran）主编，《知识表示、逻辑编程和抽象论证进展》。格哈德·布鲁卡60岁生日献词，第249-264页。2015
[ 内政部 | 系统页面 ] |
2014 |
| [19] |
论证的复杂性结果和算法——Dung的框架及其以外
约翰·沃纳（Johannes P.Wallner）。
博士论文，导师斯特凡·沃尔特兰和乔治·魏森巴赫，TU Wien，信息系统研究所，2014年。
[ 论文 ] |
| [18] |
用量化布尔公式在抽象辩证框架中进行推理
马丁·迪勒，Johannes P.Wallner，以及斯特凡·沃尔特兰.
在第五届国际争论计算模型会议记录中，2014年COMMA，第241-252页，英国苏格兰皮特洛克利，2014年9月
[ 内政部 | 系统页面 ] |
| [17] |
用近似不动点理论分析抽象辩证框架的计算复杂性
汉内斯·斯特拉斯和Johannes P.Wallner。
在奇塔·巴拉尔（Chitta Baral）、朱塞佩·德·贾科莫（Giuseppe De Giacomo）和托马斯·艾特（Thomas Eiter）主编的《第十四届知识表示和推理原则国际会议论文集》中，2014年韩国，第101-110页，奥地利维也纳，2014年7月
[ 纸张 | 技术报告（URN） ] |
| [16] |
抽象论证的复杂度敏感决策程序
沃尔夫冈·德沃亚克,马蒂·贾维萨洛,Johannes P.Wallner和斯特凡·沃尔特兰.
《人工智能》，第206卷，第53-78页。2014
[ 内政部|会议版本：[3] ] |
2013 |
| [15] |
利用抽象论证系统答案集编程的进展
沃尔夫冈·德沃亚克,莎拉·加格尔,Johannes P.Wallner和斯特凡·沃尔特兰.
在Hans Tompits、Salvador Abreu、Johannes Oetsch、Jörg Pührer、Dietmar Seipel、Masanobu Umeda和Armin Wolf编辑的《第19届国际声明性编程和知识管理应用会议论文集》中，2011年INAP，修订了部分论文，第114-133页，2013
[ 内政部|会议版本：[2] ] |
| [14] |
学生座谈会：抽象论证中疑难问题的高级程序
约翰·沃纳（Johannes P.Wallner）。
学生会议ACAI 2013年
[ 纸张 ] |
| [13] |
抽象论证的高级SAT技术
Johannes P.Wallner，乔治·魏森巴赫，以及斯特凡·沃尔特兰.
Joáo Leite、Tran Cao Son、Paolo Torroni、Leon van der Torre和Stefan Woltran编辑，《第十四届多智能体系统计算逻辑国际研讨会论文集》，CLIMA十四，第138-154页，西班牙科伦纳，2013年9月
[ 内政部 | 系统页面 ] |
| [12] |
抽象辩证框架中的可容许性
西尔维娅·波尔伯格Johannes P.Wallner和斯特凡·沃尔特兰.
Joáo Leite、Tran Cao Son、Paolo Torroni、Leon van der Torre和Stefan Woltran编辑，《第十四届多智能体系统计算逻辑国际研讨会论文集》，CLIMA十四，第102-118页，西班牙科伦纳，2013年9月
[ 内政部 ] |
| [11] |
SPARQL1.1与答案集编程的关系
阿克塞尔·波利斯和约翰·沃纳。
应用非经典逻辑杂志。第23卷（1-2），第159-212页。2013年，《均衡逻辑与答案集编程》专刊。
[ 内政部 | 技术报告 ] |
| [10] |
ARVis：可视化答案集之间的关系
托马斯·安布罗兹，Günther Charwat公司Andreas Jusits、Johannes P.Wallner和斯特凡·沃尔特兰.
佩德罗·卡巴拉尔（Pedro Cabalar）和特兰·曹森（Tran Cao Son）主编，《第十二届逻辑编程和非单调推理国际会议论文集》，2013年LPNMR，第73-78页，西班牙科伦纳，2013年9月
[ 内政部 | 系统页面 ] |
| [9] |
第四届答案集编程竞赛：初步报告
马里奥·阿尔维亚诺,弗朗西斯科·卡利默里,根特·查瓦特、Minh Dao-Tran、Carmine Dodaro、，乔瓦姆巴蒂斯塔·伊安尼,托马斯·克伦沃尔纳,马丁·克罗内格,约翰内斯·奥茨,安德烈亚斯·普凡德勒,约尔格·普勒,克里斯托夫·雷德,弗朗西斯科·里卡,帕特里克·施耐德,马丁·施文格勒Lara K.Spendier、Johannes P.Wallner和肖国辉
佩德罗·卡巴拉尔（Pedro Cabalar）和特兰·曹森（Tran Cao Son）主编，《第十二届逻辑编程和非单调推理国际会议论文集》，2013年LPNMR，第42-53页，西班牙科伦纳，2013年9月
[ 内政部 | 第四届ASP比赛网页 ] |
| [8] |
VCWC:一个版本控制竞争工作流编译器
Günther Charwat公司,乔瓦姆巴蒂斯塔·伊安尼,托马斯·克伦沃尔纳,马丁·克罗内格,安德烈亚斯·普凡德勒,克里斯托夫·雷德,马丁·施文格勒Lara K.Spendier、Johannes P.Wallner和肖国辉
佩德罗·卡巴拉尔（Pedro Cabalar）和特兰·曹森（Tran Cao Son）主编，《第十二届逻辑编程和非单调推理国际会议论文集》，2013年LPNMR，第233-238页，西班牙科伦纳，2013年9月
[ 内政部 | 第四届ASP比赛网页 ] |
| [7] |
重新审视抽象辩证框架
格哈德·布鲁卡,斯特凡·埃尔莫塔勒,汉内斯·斯特拉斯Johannes P.Wallner和斯特凡·沃尔特兰.
《第二十届国际人工智能联合会议论文集》编辑弗朗西丝卡·罗西，IJCAI 2013年，第803-809页，中国北京，2013年8月
[ 纸张 ] |
2012 |
| [6] |
利用ASP生成和可视化论证框架
Günther Charwat公司, Johannes P.Wallner和斯特凡·沃尔特兰.
编辑Michael Fink和Yuliya Lierler，答案集编程和其他计算范式第五次研讨会会议记录，2012年澳大利亚战略行动计划，第51-65页，匈牙利布达佩斯，2012年9月
[ 纸张 | arXiv公司 系统页面 ] |
| [5] |
CEGARTIX：一个基于SAT的论证系统
沃尔夫冈·德沃亚克,马蒂·贾维萨洛, Johannes P.Wallner和斯特凡·沃尔特兰.
在2012年PoS车间
[ 系统页面 | .pdf格式 ] |
| [4] |
用ASP评估抽象辩证框架（演示扩展摘要）
斯特凡·埃尔马瑟勒和约翰·沃纳（Johannes P.Wallner）。
在Bart Verheij、Stefan Szeider和Stefan Woltran的论文集编辑中第四届国际辩论计算模型会议，2012年COMMA, 《人工智能与应用前沿》第245卷第505-506页，奥地利维也纳，2012年9月。
[ 扩展抽象（DOI） | 系统页面 ] |
| [三] |
抽象论证的复杂度敏感决策程序
沃尔夫冈·德沃亚克,马蒂·贾维萨洛, Johannes P.Wallner和斯特凡·沃尔特兰.
格哈德·布鲁卡（Gerhard Brewka）、托马斯·艾特（Thomas Eiter）和希拉·麦克拉伊思（Sheila A.McIlraith），《会议录》编辑第十三届知识表示与推理原则国际会议，2012年韩国，第54-64页，罗马，意大利，2012年6月
[ 纸张 ] |
2011 |
| [2] |
利用抽象论证系统答案集编程的进展
沃尔夫冈·德沃亚克,莎拉·加格尔, Johannes P.Wallner和斯特凡·沃尔特兰.
在Salvador Abreu、Johannes Oetsch、Jörg Pührer、Dietmar Seipel、Hans Tompits、Masanobu Umeda和Armin Wolf编辑的《第19届国际声明性编程和知识管理应用会议论文集》中，2011年INAP，第117-130页，2011年9月，奥地利维也纳
[ 纸张 | 技术报告 | 诉讼程序 ] |
2010 |
| [1] |
基于模型的随机测试的混合方法
Stefan Mohacsi和Johannes P.Wallner。
在Lydie du Bousque、Juho Perälä和Pascal Lorenz的《第二届系统测试和验证生命周期进展国际会议论文集》中，2010年有效，第10-15页，2010年8月，法国尼斯
[ 内政部 ] |
