杰西·海因尼克
人员信息
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2020年–今天
2024 [公元16年] 杰西·海因尼克 , 奥弗·阿里埃利 , Bart Bogaerts公司 :
非确定性近似不动点理论及其在析取逻辑编程中的应用。 Artif公司。 智力。 331 : 104110 ( 2024 ) [公元33年] 奥弗·阿里埃利 , 杰西·海因尼克 :
基于假设的论证中的集体攻击。 囊 2024 : 746-753 2023 [公元15年] 杰西·海因尼克 , 加布里埃尔·克恩·伊斯伯纳 , 蒂兹·林斯特拉 , 肯尼斯·斯基巴 , 马蒂亚斯·蒂姆 :
抽象辩证框架的修正、可废止条件句和非单调推理。 Artif公司。 智力。 317 : 103876 ( 2023 ) [公元14年] 杰西·海因尼克 , 肯尼斯·斯基巴 , 马蒂亚斯·蒂姆 :
论据强度专题的前言。 参数计算。 14 ( 三 ) : 245-246 ( 2023 ) [j13] 杰西·海因尼克 , Bart Bogaerts公司 :
非确定性近似算子:终极算子、半平衡语义和聚合。 理论与实践。 日志。 程序。 23 ( 4 ) : 632-647 ( 2023 ) [公元32年] 杰西·海因尼克 , 加布里埃尔·克恩·伊斯伯纳 , 托马斯·安德烈亚斯·梅耶 , 乔纳斯·菲利普·哈尔德曼 , 克里斯托夫·贝尔 :
非单调推理算子的条件语法拆分。 AAAI公司 2023 : 6416-6424 [公元31年] 杰西·海因尼克 , 巴德兰·拉德道伊 , 克里斯蒂安·斯特拉 :
基于排名的论证语义学应用于逻辑论证。 国际JCAI 2023 : 3268-3276 [公元30年] 马可·威廉 , 梅利哈·塞兹金 , 加布里埃尔·克恩·伊斯伯纳 , 乔纳斯·哈尔迪曼 , 克里斯托夫·贝尔 , 杰西·海因尼克 :
c-表示上下文中条件信念基的分割技术。 杰莉亚 2023 : 462-477 [公元29年] Ofer Arieli公司 , 杰西·海因尼克 :
基于简单对比假设的部分有序偏好论证。 韩国 2023 : 55-64 [公元28年] 杰西·海因尼克 , 乔瓦尼·卡西尼 , 托马斯·迈耶尔 , 翁贝托·斯特拉契亚 :
修正典型信念:一次修正以统治所有信念。 韩国 2023 : 355-364 [公元27年] 杰西·海因尼克 :
条件独立的代数概念及其在知识表示中的应用(初步报告)。 核磁共振 2023 : 64-73 [公元26年] 杰西·海因尼克 :
基于近似不动点理论的选择结构逻辑程序语义(初步报告)。 核磁共振 2023 : 74-83 [电子2] 克莱顿·K·贝克 , 卢西亚·戈麦斯·阿尔瓦雷斯 , 杰西·海因尼克 , 托马斯·迈耶尔 , 拉斐尔·佩尼亚洛萨 , 斯尔詹·维西奇 :
第二届知识多样性研讨会和第二届认知知识表征研讨会的联合会议记录,与第二十届知识表征和推理原则国际会议(KR2023)合办,希腊罗德斯,2023年9月3日至4日。 CEUR研讨会记录 3548, CEUR-WS.org公司 2023 [目录] [i8] 杰西·海因尼克 , Bart Bogaerts公司 :
非确定性近似操作符:最终操作符、半平衡语义和聚合(完整版)。 CoRR公司 abs/2305.10846 ( 2023 ) [i7] 杰西·海因尼克 , 奥弗·阿里埃利 :
(扩展)析取逻辑程序的论证特征。 CoRR公司 abs/2306.07126 ( 2023 ) [i6] 杰西·海因尼克 , 巴德兰·拉德道伊 , Christian大街 :
基于排名的论证语义应用于逻辑论证(完整版)。 CoRR公司 abs/2307.16780 ( 2023 ) 2022 [公元12年] 西蒙·马利尼森 , 杰西·海因尼克 , Bart Bogaerts公司 , 马克·德内克 :
关于嵌套对正系统。 理论与实践。 日志。 程序。 22 ( 5 ) : 641-657 ( 2022 ) [公元25年] 杰西·海因尼克 , 马蒂亚斯·蒂姆 , 加布里埃尔·克恩·伊斯伯纳 , 蒂兹·林斯特拉 , 肯尼斯·斯基巴 :
条件抽象辩证框架。 AAAI公司 2022 : 5692-5699 [公元24年] 蒂兹·林斯特拉 , 杰西·海因尼克 , 加布里埃尔·克恩·伊斯伯纳 , 肯尼斯·斯基巴 , 马蒂亚斯·蒂姆 :
解释ADF中的参数接受。 康马ArgXAI 2022 【c23】 肯尼斯·斯基巴 , 马蒂亚斯·蒂姆 , 蒂兹·林斯特拉 , 杰西·海因尼克 , 加布里埃尔·克恩·伊斯伯纳 :
基于排名的语义的可实现性。 SAFA@COMMA 2022 : 73-85 [公元22年] 杰西·海因尼克 , 加布里埃尔·克恩·伊斯伯纳 , 蒂兹·林斯特拉 , 肯尼斯·斯基巴 , 马蒂亚斯·蒂姆 :
可能性逻辑是抽象辩证框架的基础。 国际JCAI 2022 : 2655-2661 【c21】 杰西·海因尼克 , 加布里埃尔·克恩·伊斯伯纳 , 托马斯·安德烈亚斯·梅耶 :
词汇蕴涵,语法分裂和溺水问题。 国际JCAI 2022 : 2662-2668 [公元20年] 加布里埃尔·克恩·伊斯伯纳 , 杰西·海因尼克 , 克里斯托夫·贝尔 :
反复信念修正的条件独立性。 国际JCAI 2022 : 2690-2696 [第19条] 杰西·海因尼克 , 加布里埃尔·克恩·伊斯伯纳 , 托马斯·安德烈亚斯·梅耶 :
条件性句法分裂,词汇隐含和溺水效应。 核磁共振 2022 : 61-69 [第18条] 杰西·海因尼克 , 托马斯·迈耶尔 :
非单调推理计算中的相关性。 SACAIR公司 2022 : 202-214 [e1] 杰西·海因尼克 , 托马斯·迈耶尔 , 马可·拉格尼 , 马蒂亚斯·蒂姆 , 加布里埃尔·克恩·伊斯伯纳 :
知识表示的认知方面研讨会论文集,与第31届国际人工智能联合会议(IJCAI-ECAI 2022)合办,奥地利维也纳,2022年7月23日。 CEUR研讨会记录 3251, CEUR-WS.org公司 2022 [目录] [i5] 西蒙·马利尼森 , 杰西·海因尼克 , Bart Bogaerts公司 , 马克·德内克 :
关于嵌套对正系统(完整版本)。 CoRR公司 abs/2205.04541 ( 2022 ) [i4] 杰西·海因尼克 , 奥弗·阿里埃利 , Bart Bogaerts公司 :
非确定逼近不动点理论及其在选言逻辑程序设计中的应用。 CoRR公司 abs/2211.17262 ( 2022 ) 2021 [公元11年] 杰西·海因尼克 , 加布里埃尔·克恩·伊斯伯纳 , 马蒂亚斯·蒂姆 , 肯尼斯·斯基巴 :
抽象辩证框架与非单调条件逻辑的对应。 安。数学。 Artif公司。 智力。 89 ( 10-11 ) : 1075-1099 ( 2021 ) [公元10年] 杰西·海因尼克 , 克里斯蒂安·斯特拉 :
ASPIC+片段的合理性和最大一致性集(无底切)。 参数计算。 12 ( 1 ) : 3-47 ( 2021 ) [公元9年] 杰西·海因尼克 , 克里斯蒂安·斯特拉 :
基于假设的优先推理论证方法的比较研究。 拍打 8 ( 三 ) : 737-808 ( 2021 ) [j8] 奥弗·阿里埃利 , 安妮玛丽·博格 , 杰西·海因尼克 , 克里斯蒂安·斯特拉 :
基于逻辑的形式论证方法。 拍打 8 ( 6 ) : 1793-1898 ( 2021 ) [j7] 奥弗·阿里埃利 , 杰西·海因尼克 :
基于简单对立假设的论证第二部分:偏好推理。 国际期刊近似原因。 139 : 28-53 ( 2021 ) [第17条] 安德烈·塞瓦帕兰 , 杰西·海因尼克 , 加布里埃尔·克恩·伊斯伯纳 :
在逻辑程序中建立一致性——通过论证建模专家知识。 ICLP研讨会 2021 [第16条] 肯尼斯·斯基巴 , 蒂兹·林斯特拉 , 马蒂亚斯·蒂姆 , 杰西·海因尼克 , 加布里埃尔·克恩·伊斯伯纳 :
抽象论证中的扩展排序。 国际JCAI 2021 : 2047-2053 [第15条] 杰西·海因尼克 , 里卡多·贡萨尔维斯 , 马蒂亚斯·克诺尔 , 乔·莱特 :
使用具有内涵概念的逻辑程序进行可追踪推理。 杰莉亚 2021 : 329-345 [第14条] 杰西·海因尼克 , 奥弗·阿里埃利 :
不确定算子的近似不动点理论及其在析取逻辑程序设计中的应用。 韩国 2021 : 334-344 [第13条] 杰西·海因尼克 , 加布里埃尔·克恩·伊斯伯纳 , 蒂兹·林斯特拉 , 肯尼斯·斯基巴 , 马蒂亚斯·蒂姆 :
抽象辩证法框架的修正和条件推理。 韩国 2021 : 345-355 2020 [j6] 杰西·海因尼克 , 奥弗·阿里埃利 :
简单的基于相反假设的论证框架。 国际期刊近似原因。 121 : 103-124 ( 2020 ) [第12条] 杰西·海因尼克 , 奥弗·阿里埃利 :
近似不动点理论的论证性思考。 COMMA公司 2020 : 215-226 [第11条] 杰西·海因尼克 , 加布里埃尔·克恩·伊斯伯纳 :
抽象辩证论证的认识论解释。 COMMA公司 2020 : 227-238 [第10条] 奥弗·阿里埃利 , 杰西·海因尼克 :
基于优先简单对立假设的框架。 ECAI公司 2020 : 608-615 [c9] 杰西·海因尼克 , 加布里埃尔·克恩·伊斯伯纳 , 马蒂亚斯·蒂姆 :
抽象辩证框架与非单调条件逻辑的对应。 FLAIRS公司 2020 : 575-580
2010 – 2019
2019 【b1】 杰西·海因尼克 :
研究可废止推理的逻辑基础:一个论证的视角。 德国波鸿鲁尔大学, 2019 [j5] 奥弗·阿里埃利 , 安尼马里·博格 , 杰西·海因尼克 :
回顾逻辑论证与最大一致性推理之间的关系。 安。数学。 Artif公司。 智力。 87 ( 三 ) : 187-226 ( 2019 ) 【j4】 杰西·海因尼克 :
非单调逻辑中基于假设的方法与形式论证之间的关系。 拍打 6 ( 2 ) : 319-360 ( 2019 ) [j3] 马修·贝伦 , 杰西·海因尼克 , 克里斯蒂安·斯特拉 :
具有优先条件义务和权限的结构化论证。 J.日志。 计算。 29 ( 2 ) : 187-214 ( 2019 ) 【c8】 杰西·海因尼克 , 克里斯蒂安·斯特拉 :
预定可失效规则的完全理性论证系统。 美国原子能机构 2019 : 1704-1712 【c7】 杰西·海因尼克 , 奥弗·阿里埃利 :
基于简单对立假设的框架。 美国原子能机构 2019 : 2018-2020 【c6】 杰西·海因尼克 , 奥弗·阿里埃利 :
选言逻辑程序设计的一个论证性特征。 EPIA(2) 2019 : 526-538 【c5】 杰西·海因尼克 , 奥弗·阿里埃利 :
基于简单对立假设的框架。 低密度核磁共振 2019 : 75-88 2018 [注2] 马修·贝伦 , 杰西·海因尼克 , 佩雷·帕尔多 , 克里斯蒂安·斯特拉 :
形式论证中的论证强度。 拍打 5 ( 三 ) : 629-676 ( 2018 ) [j1] 杰西·海因尼克 , 彼得·维尔德 , 阿尔布雷赫特·赫弗 :
处理早期微积分中的不一致性。 J.菲洛斯。 日志。 47 ( 三 ) : 481-511 ( 2018 ) 【c4】 杰西·海因尼克 , Ofer Arieli公司 :
基于简单对立假设的论证框架的语义。 COMMA公司 2018 : 9-20 2017 【c3】 杰西·海因尼克 , 佩雷·帕尔多 , 克里斯蒂安·斯特拉 :
基于假设的优先级推理方法。 AI^3@AI*IA 2017 : 58-72 【c2】 杰西·海因尼克 , 克里斯蒂安·斯特拉 :
重温结构化论证中的无限制重述和偏好。 国际JCAI 2017 : 1088-1092 【c1】 马修·贝伦 , 杰西·海因尼克 , 克里斯蒂安·斯特拉 :
结构化论证中的案例推理。 囊 2017 : 989-994 [i3] 马修·贝伦 , 杰西·海因尼克 , 克里斯蒂安·斯特拉 :
结构化论证中的案例推理。 CoRR公司 abs/1703.08397 ( 2017 ) [i2] 杰西·海因尼克 , 克里斯蒂安·斯特拉 , 佩雷·帕尔多 :
基于假设的优先级推理方法。 CoRR公司 abs/1709.07255 ( 2017 ) 2016 [i1] 杰西·海因尼克 , 克里斯蒂安·斯特拉 :
非单调逻辑中基于假设的方法与形式论证之间的关系。 CoRR公司 abs/1604.00162 ( 2016 )
合著者索引
![](https://dblp.org/img/cog.dark.24x24.png)