专业领域
人工智能与法律 自然语言处理 论证 知识表示 知识获取 推理 语义Web 知识图表
出版物
研究重点
-
巴塔查里亚·P、保罗·S、戈什·K、戈什·S和怀纳·A。 (2023). DeepRhole：深入学习法律案例文件中句子的修辞角色标记。 人工智能与法律 , 31 (1) , 53 -90. -
Fawei，B.、Pan，J.、Kollingbaum，M.和Wyner，A。 (2019). 用于法律问题解答的半自动化本体构建。 新一代计算 , 37 (4) , 453 -478. -
Bansky，P.、Edelstein，E.、Pan，J.和Wyner，A。 (2020). 基于知识图的动态信息化智能测量系统。 在 语义技术 （第226页 -241). 施普林格国际出版公司。 -
Edwards，J.、Wintersberger，P.、Clark，L.、Rough，D.、Doyle，P.，Banks，V.、Wyner，A.、Janssen，C.和Cowan，B。 (2021). CUI@Auto-UI：探索对话式汽车用户界面的幸运与不幸前景。 在 第13届汽车用户界面和交互式汽车应用国际会议 （第186页 -189). ACM公司。 -
Pan，J.、Edelstein，E.、Bansky，P.和Wyner，A。 (2021). 基于知识图的社会科学调查方法。 数据智能 , 三 (4) , 477 -506.
所有研究
期刊文章
-
Bhattacharya，P.、Paul，S.、Ghosh，K.、Ghosh，S.和Wyner，A。 (2023). DeepRhole：深入学习法律案例文件中句子的修辞角色标记。 人工智能与法律 , 31 (1) , 53 -90. -
Pan，J.、Edelstein，E.、Bansky，P.和Wyner，A。 (2021). 基于知识图的社会科学调查方法。 数据智能 , 三 (4) , 477 -506. -
Liepiņa，R.、Sartor，G.和Wyner，a。 (2020). 辩论法律中的原因：因果论证的半正式框架。 人工智能与法律 , 28 (1) , 69 -89. -
Fawei，B.、Pan，J.、Kollingbaum，M.和Wyner，A。 (2019). 用于法律问题解答的半自动化本体构建。 新一代计算 , 37 (4) , 453 -478. -
Strass，H.、Wyner，A.和Diller，M。 (2019). EMIL：从不一致的语言中提取意义。 国际近似推理杂志 , 112 , 55 -84. -
Shulayeva，O.、Siddharthan，A.和Wyner，A。 (2017). 承认法律判决中引用的事实和原则。 人工智能与法律 , 25 (1) , 107 -126. -
A.怀纳。 (2016). 处理参数管道：自然语言参数、实例化参数和论证框架之间的贯穿问题。 论证与计算 , 7 (1) , 69 -89. -
A.怀纳。 (2016). 论证方案的功能观点。 论证与计算 , 7 (2-3) , 113 -133. -
Lin，C.、Ibeke，E.、Wyner，A.和Guerin，F。 (2015). 文本挖掘中的情感-图片建模。 威利跨学科评论：数据挖掘和知识发现 , 5 (5) , 246 -254. -
Prakken，H.、Wyner，A.、Bench-Capon，T.和Atkinson，K。 (2015). ASPIC+中基于法律案例推理的论证方案的形式化。 逻辑与计算杂志 , 25 (5) , 1141 -1166. -
Wyner，A.、Bench-Capon，T.、Dunne，P.和Cerutti，F。 (2015). 实例化论证框架中“论证”的意义。 论证与计算 , 6 (1) , 50 -72. -
A.Wyner和R.Hoekstra。 (2012). 一个OWL本体的法律案例，带有Popov v.Hayashi的实例化。 人工智能与法律 , 20 (1) , 83 -107. -
Wyner，A.、Bench-Capon，T.和Wyner。 (2009). 论证框架中的司法背景建模。 逻辑与计算杂志 , 19 (6) , 941 -968. -
A.怀纳。 (2008). OWL中用于基于法律案例推理的本体。 人工智能与法律 , 16 (4) , 361 -387.
作书籍
-
A.怀纳。 (2017). 书籍章节：苏格兰法律文书文本内容注释 IOS出版社。 -
A.Wyner和H.Strass。 (2017). 人工智能进展：从理论到实践 斯普林格·弗拉格。 -
Wyner，A.、Nazarenko，A.和Lévy，F。 (2016). 受控自然语言 施普林格。 -
A.怀纳。 (2016). 在LegalRuleML中实现法律文本形式化的方法 IOS出版社。 -
A.怀纳。 (2015). 通过美国国家律师考试-第一次实验 IOS出版社。 -
Bench-Capon，T.、Atkinson，K.和Wyner，A。 (2015). 利用论证构建政策制定中的电子参与。 施普林格。 -
A.怀纳。 (2013). 法律案例注释案例研究 -
A.怀纳。 (2013). 有量纲因子推理的论证方案 -
Athan，T.、Boley，H.、Governatori，G.、Palmirani，M.、Paschke，A.和Wyner，A。 (2013). 网络规则的理论、实践和应用 -
Wyner，A.、Bench-Capon，T.和Dunne，P。 (2013). 多智能体系统中的计算逻辑 -
A.怀纳。 (2012). 基于模型的政策审议批判工具 -
A.怀纳。 (2012). 法律语义表征的实证研究 -
Lloyd-Kelly，M.和Wyner，A。 (2012). 用户建模的进展 -
Wyner，A.、Riley，L.、Hoehndorf，R.和Croset，S。 (2012). 生物与医学信息学中的信息技术 -
A.怀纳。 (2012). 使用语义模型评判行动理由：演示 -
Schneider，J.、Davis，B.和Wyner，A。 (2012). 知识工程与知识管理 -
Wyner，A.、Atkinson，K.和Bench-Capon，T。 (2012). 电子参与 -
A.怀纳。 (2012). 在线产品评论的半自动化论证分析 -
A.怀纳。 (2011). 论从规则中提取规则 -
A.怀纳。 (2011). 填充在线咨询工具 -
Wyner，A.、Atkinson，K.和Bench-Capon，T。 (2011). 电子参与 -
Wyner，A.、Mochales-Palau，R.、Moens，M.和Milward，D。 (2010). 法律文本的语义处理 -
A.怀纳。 (2010). 全球治理辩论 -
Wyner，A.、Engers，T.和Bahreini，K。 (2010). 电子政府与信息系统 -
怀纳，A。 (2010). 词汇语义学和专家法律知识对案件因素的识别 -
Wyner，A.，Angelov，K.，Barzdins，G.，Damljanovic，D.，Davis，B.，Fuchs，N.，Hoefler，S.，Jones，K。 (2010). 受控自然语言 -
A.怀纳。 (2007). “争论”的三种感觉 -
A.怀纳。 (2006). 道义逻辑与人工规范系统
书籍章节
-
Liepina，R.、Sartor，G.和Wyner，A。 (2018). 法律案例的因果模型。 计算机科学课堂讲稿 （第172页 -186). 施普林格国际出版公司 -
Peters，W.和Wyner，A。 (2015). 从文本中提取Hohfeldian关系。 安东尼诺·罗托洛（编辑）， 法律知识和信息系统 （第189页 -190). IOS出版社 -
Athan，T.、Governatori，G.、Palmirani，M.、Paschke，A.和Wyner，A。 (2015). 法律规则ML：设计原则和基础。 在沃尔夫冈·费伯（Wolfgang Faber），阿德里安·帕施克（Adrian Paschke）。 （编辑）， 推理网络。 Web逻辑规则 （第151页 -188). 施普林格国际出版公司 -
Wyner，A.、Bench-Capon，T.和Dunne，P。 (2009). 抽象论证框架中知识库的实例化。 多智能体系统中的计算逻辑 -50). -
A.怀纳。 (2004). 在道义行为逻辑中维护陈述表达的义务。 计算机科学中的道义逻辑 -274).
会议捐款
-
Anim，k.、Robaldo，L.和Wyner，A。 (2024). 通过W3C标准在能源领域进行合规性检查。 在 人工智能的新前沿 （第3页 -18). 瑞士施普林格自然。 -
Edwards，J.、Wintersberger，P.、Clark，L.、Rough，D.、Doyle，P.、Banks，V.、Wyner，A.、Janssen，C.和Cowan，B。 (2021). CUI@Auto-UI：探索对话式汽车用户界面的幸运与不幸前景。 在 第13届汽车用户界面和交互式汽车应用国际会议 （第186页 -189). ACM公司。 -
Bansky，P.、Edelstein，E.、Pan，J.和Wyner，A。 (2020). 基于知识图的动态信息化智能测量系统。 在 语义技术 （第226页 -241). 施普林格国际出版公司。 -
怀纳，A。 (2018). 儿童法律中心Chatbot框架。 在 法律知识和信息系统 （第205页 -209). IOS出版社。 -
Fawei，B.、Pan，J.、Kollingbaum，M.和Wyner，A。 (2018). 《刑法与程序本体论的法律问题解答方法论》。 在 语义技术 （第198页 -214). -
Soares，R.、Edelstein，E.、Pan，J.和Wyner，A。 (2018). 面向语言学家的知识驱动智能调查系统。 在 语义技术 -18). 语义技术：2018年JIST第八届联合国际会议。。 -
A.怀纳。 (2017). 关于使用受控自然语言和论证的自动可解推理。 在 AAAI出版物，第三十一届AAAI人工智能会议研讨会 -
Wyner，A.和Peters，W。 (2016). 法律文本解释：从文本中识别霍菲尔德关系。 在 第十届国际语言资源与评价会议（LREC 2016）会议记录 （第379页 -384). -
A.怀纳。 (2016). 通过美国国家律师考试：第一个实验语料库。 LREC 2016，第十届国际语言资源与评估会议。 -
Bench-Capon，T.、Prakken，H.、Wyner，A.和Atkinson，K。 (2013). 使用值进行法律案例推理的论证方案。 在 ICAIL’13第十四届国际人工智能与法律会议记录 （第13页 -22). 国际人工智能与法律会议。 -
Wardeh，M.、Wyner，A.、Atkinson，K.和Bench Capon，T。 (2013). 基于论证的决策工具。 在 ICAIL’13第十四届国际人工智能与法律会议记录 （第249页 -250). 国际人工智能与法律会议。 -
Athan，T.、Boley，H.、Governatori，G.、Palmirani，M.、Paschke，A.和Wyner，A。 (2013). OASIS法律规则ML。 在 ICAIL’13第十四届国际人工智能与法律会议记录 （第3页 -12). 国际人工智能与法律会议。 -
Atkinson，K.、Bench-Capon，T.、Cartwright，D.和Wyner，A。 (2011). 政策审议的语义模型。 在 ICAIL’11第13届国际人工智能与法律会议记录 （第81页 -90). 国际人工智能与法律会议。 -
Wyner，A.、Bench-Capon，T.和Atkinson，K。 (2011). 走向法律案件论证的形式化。 在 ICAIL’11第13届国际人工智能与法律会议记录 （第1页 -10). 国际人工智能与法律会议。 -
Wyner，A.、Bench-Capon，T.和Dunne，P。 (2009). 抽象论证框架中知识库的实例化。 在 多智能体系统中的计算逻辑 （第34页 -50).
监督
-
计算定律的自然语言计算语义 （当前） 博士 其他主管： Julian Hough博士 -
注意差距：自动驾驶汽车的表示和推理 （当前） 博士 其他主管： Ulrich Berger博士 -
自动化加纳上游石油部门的文件监管合规性，特别关注本地内容和参与领域。 （当前） 博士 其他主管： Livio Robaldo博士
授课模块
-
CS-265型 人工智能 CS-265是人工智能（AI）的入门，主要关注推理和问题解决，以寻求解决方案。 理性主体和多主体系统的核心概念用于引入信念、愿望和意图等概念，这些概念是在可观察环境中搜索解决方案的基础。 符号人工智能的其他方面，如知识表示和专家系统、规划和语言处理，将被涵盖。 所有这些主题都融入了人工智能的以人为本的视角。 -
CSC315系列 人工智能高级主题 本模块让学生们接触人工智能的高级主题，加深人工智能概念和技术知识的广度和深度。还将讨论与人工智能有关的以人为中心的主题，以及可解释人工智能的各种方法的集成。 本课程每年可能会根据以下内容或根据情况增加不同的主题：高级机器学习（ML）模型和算法、NLP的ML方法、高级符号AI和NLP、ML和符号方法的集成以及以人为本（例如，可解释性、透明度、信任）。 -
CSC325型 人工智能 CSC325是人工智能的入门，主要关注推理和问题解决，以寻求解决方案，而不是分类的统计技术。 本课程可能涵盖以下主题：搜索技术； 知识表示和专家系统； 规划； 行程安排； 定性推理； 使用语法规则进行语言处理； 和元编程，以及代理、多代理系统和代理协作。 -
CSCM22系列 符号人工智能与自然语言处理 本模块将介绍语言的符号、统计和结构属性，解释和比较符号人工智能和自然语言处理中的一些主要方法，并解释它们与实际计算应用领域的相关性。 -
中信建投（CSCM23） 信任、理解和协商中的设计 本模块探索最先进的方法和概念，以帮助负责任地设计和开发技术，从而创建可靠和可信的系统。 本模块的内容将由专家讲师和实践者提供，涉及可信计算、自动化决策和决策支持中的偏见和可解释性、人工智能的道德考虑、论证和谈判，以及诸如关键系统验证等正式方法。