高级讲师文凭-Ing.Dipl.公司-工程博士。
沃尔夫冈·德沃亚克
地址 |
逻辑与计算研究所 数据库和人工智能小组 维也纳工业大学 收藏夹9-11 维恩1040 奥地利 |
邮件 |
|
电话 |
+43-1-58801-18441 |
传真 |
+43-1-58801-9-18441 |
房间 |
HA 03 18号 |
办公室 小时 |
预约(给我发电子邮件) |
你可以在里面找到我TISS地址簿
我是TU Wien数据库和人工智能小组的高级讲师并在维也纳大学(计算机科学学院).在此之前,我和算法组的理论与应用在维也纳大学甚至在我获得博士学位之前维也纳工业大学,在WWTF资助的项目内“分析、比较和解决争论的新方法”.
当前工作和研究兴趣
我的研究兴趣理论计算机科学谎言我的主要研究领域是应用程序中图形问题的算法和算法下限,目前的重点是人工智能中的问题和计算机辅助验证中的模型检查问题。在我的研究中,我应用了算法和计算复杂性理论领域的方法,特别是参数化复杂性、近似算法和条件下界的研究领域。除此之外,我还对人工智能形式主义的互译性和表达性研究感兴趣。下面是我感兴趣的一些主题的列表。
- 算法(分析)
- 近似算法
- 复杂性理论与复杂性分析
- 条件下限
- 参数化复杂性
- 知识表示与推理
- (摘要)论证
- 图形和图形参数
- 图上的游戏
- 答案集编程
- ...
简历
A短裤简历.
最近和即将发表的论文
-
用集体攻击证明接受论点的正当性:讨论和争议。
乔瓦尼·布拉利奥,沃尔夫冈·德沃亚克,马蒂亚斯·科尼格,马库斯·乌布利希特,IJCAI 2024年
-
基于假设的论证中的约束推导。
乔瓦尼·布拉利奥,沃尔夫冈·德沃亚克,安娜·拉贝格,斯特凡·沃尔特兰
FoIKS 2024年[纸张]
-
为验证否定结果配备抽象论证解算器
沃尔夫冈·德沃夏克, 亚历山大·格雷勒,斯特凡·沃尔特兰
SAC 2024年
-
集体攻击论证框架的原则及其计算结果。
沃尔夫冈·德沃亚克,马蒂亚斯·科尼格,马库斯·乌布利希特,斯特凡·沃尔特兰
《人工智能研究杂志》79:69-136(2024)[纸张]
-
基于假设的论证中的约束推导。
乔瓦尼·布拉利奥,沃尔夫冈·德沃亚克,安娜·拉贝格,斯特凡·沃尔特兰
人工智能三2023[纸张]
-
基于假设的论证中的约束推导。
乔瓦尼·布拉利奥,沃尔夫冈·德沃亚克,安娜·拉贝格,斯特凡·沃尔特兰
ACLAI 2023年
-
以权利要求为中心的抽象论证语义学观点:权利要求失败、原则和表达性。
沃尔夫冈·德沃亚克,安娜·拉斯伯格,斯特凡·沃尔特兰
人工智能324:104011(2023)[纸张]
-
三值语义下SETAF和无支持~ADF的表达
沃尔夫冈·德沃亚克,阿特菲赫·凯沙瓦尔齐·扎法尔甘迪,斯特凡·沃尔特兰
应用非经典逻辑杂志[纸张]
-
抽象论证中的集合攻击集合
亚尼斯·迪莫普洛斯,沃尔夫冈·德沃亚克,马蒂亚斯·科尼格,安娜·拉贝格,马库斯·乌布利希特,斯特凡·沃尔特兰
核磁共振2023[纸张]
-
带有条件偏好的抽象论证
迈克尔·伯恩雷特,沃尔夫冈·德沃亚克,斯特凡·沃尔特兰
论证与计算[纸张]
-
索赔增强论证框架的复杂性
沃尔夫冈·德沃亚克, 亚历山大·格雷勒,安娜·拉贝格,斯特凡·沃尔特兰
人工智能[纸张]
-
索赔中心观点下抽象论证中偏好的影响
迈克尔·伯恩雷特,沃尔夫冈·德沃亚克,安娜·拉贝格,斯特凡·沃尔特兰
AAAI 2023年[纸张]
-
抽象论证中的递归很难——基于弱可容许性的语义复杂性。
沃尔夫冈·德沃亚克,马库斯·乌布利希特,斯特凡·沃尔特兰
《人工智能研究杂志》,第741卷(2022年),第1403-1447页。
[纸张]
完整出版记录
奖品