克里斯托弗·沃恩哈德
人员信息
优化列表
![笔记](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [i19] 简·豪尔 , 克里斯托夫·沃恩哈德 :
综合强等价逻辑程序:Beth通过一阶逻辑中的Craig插值定义答案集程序。 CoRR公司 abs/2402.07696 ( 2024 ) 2023 [公元27年] 克里斯托夫·沃恩哈德 :
结构生成一阶定理的证明。 AReCCa@TABLEAUX公司 2023 : 64-83 [公元26年] 本尼迪克特 , 塞西莉亚·普拉迪奇 , 克里斯托夫·沃恩哈德 :
从隐式规范合成嵌套关系查询。 豆荚 2023 : 33-45 [公元25年] 克里斯托夫·沃恩哈德 :
通过Clausal Tableaux进行范围限制和喇叭插值。 TABLEAUX公司 2023 : 3-23 [公元24年] 迈克尔·劳森 , 克里斯托夫·沃恩哈德 , Zsolt Zombori公司 , 沃尔夫冈·比贝尔 :
引理:生成,选择,应用。 TABLEAUX公司 2023 : 153-174 [i18] 迈克尔·罗森 , 克里斯托夫·沃恩哈德 , Zsolt Zombori公司 , 沃尔夫冈·比贝尔 :
引理:生成,选择,应用。 CoRR公司 abs/2303.05854 ( 2023 ) [i17] 克里斯托夫·沃恩哈德 , 沃尔夫冈·比贝尔 :
验证结构调查。 CoRR公司 abs/2304.12827 ( 2023 ) [i16] 克里斯托夫·沃恩哈德 :
通过Clausal Tableaux进行范围受限插值。 CoRR公司 abs/2306.03572 ( 2023 ) 2022 【c23】 克里斯托夫·沃恩哈德 :
生成压缩组合证明结构:一种自动证明一阶定理的方法。 IJCAR的PAAR 2022 【i15】 克里斯托夫·沃恩哈德 :
CD工具-浓缩分离和结构生成定理证明(系统描述)。 CoRR公司 abs/2207.08453 ( 2022 ) [第14条] 本尼迪克特 , 塞西莉亚·普拉迪奇 , 克里斯托夫·沃恩哈德 :
从隐式规范合成嵌套关系查询。 CoRR公司 abs/2209.08299 ( 2022 ) [i13] 克里斯托夫·沃恩哈德 :
生成压缩组合证明结构——一种自动证明一阶定理的方法。 CoRR公司 abs/2209.12592 ( 2022 ) [i12] 本尼迪克特 , 塞西莉亚·普拉迪奇 , 克里斯托夫·沃恩哈德 :
从隐式规范合成嵌套关系查询:通过模型理论和通过证明理论。 CoRR公司 abs/2212.03085 ( 2022 ) 2021 [j3] 克里斯托夫·沃恩哈德 :
用Clausal一阶表进行Craig插值。 J.汽车。 原因。 65 ( 5 ) : 647-690 ( 2021 ) [公元22年] 克里斯托弗·沃恩哈德 , 沃尔夫冈·比贝尔 :
向Łukasiewicz和Meredith学习:证据结构研究。 CADE公司 2021 : 58-75 【c21】 克里斯托夫·沃恩哈德 :
二阶量词消去法在哥德尔本体论证明中的应用。 韩国SOQE 2021 : 98-111 [电子4] 雷娜特·施密特 , 克里斯托夫·沃恩哈德 , 赵仪征 :
2021年11月4日,在线活动,与第18届知识表示和推理原则国际会议(KR 2021)相关的二阶量词消除及相关主题第二次研讨会(SOQE 2021)会议记录。 CEUR研讨会记录 3009, CEUR-WS.org公司 2021 [目录] [i11] 克里斯托弗·沃恩哈德 , 沃尔夫冈·比贝尔 :
向Łukasiewicz和Meredith学习:证据结构研究(扩展版)。 CoRR公司 abs/2104.13645 ( 2021 ) [i10] 克里斯托夫·沃恩哈德 :
二阶量词消去法在哥德尔本体论证明中的应用。 CoRR公司 abs/2110.11108 ( 2021 ) 2020 [第九章] 贾娜·基特尔曼 , 克里斯托夫·沃恩哈德 :
KBSET——基于知识的学术编辑和文本处理支持,具有声明性LaTeX标记和SWI-Prolog编写的核心。 CoRR公司 abs/2002.10329 ( 2020 ) [i8] 克里斯托夫·沃恩哈德 :
基于一阶逻辑的PIE证明、内插和消除环境的方面。 CoRR公司 2002年10月892日 ( 2020 ) [i7] 克里斯托夫·沃恩哈德 :
用Clausal一阶表进行Craig插值。 CoRR公司 abs/2008.03489 ( 2020 )
2010 – 2019
2019 [公元20年] 克里斯托夫·沃恩哈德 :
用于在一阶逻辑的基础上进行证明、插值和消除的PIE环境的方面。 声明 2019 : 160-177 [第19条] 贾娜·基特尔曼 , 克里斯托夫·沃恩哈德 :
KBSET-基于知识的支持,支持学术编辑和文本处理,具有声明性[内联纹理不可用:请参阅全文]标记和SWI-Protog编写的核心。 声明 2019 : 178-196 [i6] 贾娜·基特尔曼 , 克里斯托夫·沃恩哈德 :
KBSET-基于知识的学术编辑和文本处理支持。 CoRR公司 abs/1908.11135 ( 2019 ) [i5] 克里斯托夫·沃恩哈德 :
PIE——基于一阶逻辑的证明、插值和消元。 CoRR公司 腹肌/1908.11137 ( 2019 ) 2018 [i4] 克里斯托夫·沃恩哈德 :
用Clausal一阶表进行Craig插值和Access插值。 CoRR公司 abs/1802.04982 ( 2018 ) 2017 [第18条] 克里斯托夫·沃恩哈德 :
谓词逻辑视角下的布尔解问题。 FroCoS公司 2017 : 333-350 [第17条] 克里斯托夫·沃恩哈德 :
普遍关系一阶公式上存在二阶量词消去的近似结果。 SOQE公司 2017 : 82-98 [第16条] 克里斯托夫·沃恩哈德 :
谓词逻辑视角下的布尔解问题(摘要)。 SOQE公司 2017 : 99-101 [第15条] 克里斯托夫·沃恩哈德 :
一元格以外二阶量词消除的早期步骤:Heinrich Behmann和Wilhelm Ackermann 1928-1934之间的通信(摘要)。 SOQE公司 2017 : 102-105 [电子3] 帕特里克·科普曼 , 塞巴斯蒂安·鲁道夫 , 雷娜特·施密特 , 克里斯托夫·沃恩哈德 :
2017年12月6日至8日,德国德累斯顿,二阶量词消除及相关主题研讨会会议记录(SOQE 2017)。 CEUR研讨会记录 2013, CEUR-WS.org公司 2017 [目录] [电子2] 斯特芬·Hölldobler , 安德烈·马利科夫 , 克里斯托夫·沃恩哈德 :
YSIP2——第二届青年科学家信息处理趋势国际研讨会论文集,2017年5月16日至20日,俄罗斯联邦Dombai。 CEUR研讨会记录 1837, CEUR-WS.org公司 2017 [目录] [i3] 克里斯托夫·沃恩哈德 :
谓词逻辑视角下的布尔解问题——扩展版。 CoRR公司 abs/1706.08329 ( 2017 ) [i2] 克里斯托夫·沃恩哈德 :
从计算逻辑的角度看海因里希·贝曼对二阶量词消除的贡献。 CoRR公司 abs/1712.06868 ( 2017 ) 2016 [第14条] 克里斯托夫·沃恩哈德 :
基于一阶证明、插值和消元的PIE环境。 IJCAR的PAAR 2016 : 125-138 [第13条] 贾娜·基特尔曼 , 克里斯托弗·沃恩哈德 :
基于知识的学术编辑和文本处理支持。 DHd公司 2016 2015 [第12条] 克里斯托夫·沃恩哈德 :
关系一元公式的二阶量词消除——一种基本方法和一些不太期望的应用。 TABLEAUX公司 2015 : 253-269 2014 [注2] 艾曼纽尔·安娜·迪茨 , 斯特芬·Hölldobler , 克里斯托夫·沃恩哈德 :
在弱完成和良好语义基础下对抑制任务进行建模。 J.应用。 非班级。 逻辑 24 ( 1-2 ) : 61-85 ( 2014 ) [电子1] 斯特芬·Hölldobler , 安德烈·马利科夫 , 克里斯托弗·沃恩哈德 :
2014年4月22日至25日,俄罗斯联邦斯塔夫罗波尔,与第六届科学、生产和教育信息通信技术国际会议(INFOCOM-6)联合举办的青年科学家信息处理趋势国际研讨会(YSIP)会议记录。 CEUR研讨会记录 1145, CEUR-WS.org公司 2014 [目录] 2013 [第11条] 克里斯托夫·沃恩哈德 :
逻辑编程中的诱拐作为二阶量词消除。 FroCos公司 2013 : 103-119 [第10条] 诺伯特·曼泰 , 托比亚斯·菲利普 , 克里斯托夫·沃恩哈德 :
条款共享SAT解算器中Inprocessing的稳健性。 坐 2013 : 22-39 2012 [j1] 克里斯托夫·沃恩哈德 :
投影和范围确定的范围。 J.塞姆。 计算。 47 ( 9 ) : 1089-1108 ( 2012 ) 2011 【c9】 斯特芬·Hölldobler , 托比亚斯·菲利普 , 克里斯托夫·沃恩哈德 :
人类推理的一个推理模型。 AAAI春季研讨会:常识推理的逻辑形式化 2011 【c8】 克里斯托夫·沃恩哈德 :
以逻辑作为运算符消除的计算:ToyElim系统。 INAP/WLP公司 2011 : 289-296 [i1] 克里斯托夫·沃恩哈德 :
以逻辑为算子消去的计算:ToyElim系统。 CoRR公司 abs/1108.4891 ( 2011 ) 2010 【c7】 克里斯托夫·沃恩哈德 :
作为逻辑程序设计基本要素的包围和投影。 ICLP(技术通信) 2010 : 202-211
2000 – 2009
2009 【b1】 克里斯托夫·沃恩哈德 :
自动扣除以消除投影。 科布伦兹·兰道大学, 2009 ,国际标准图书编号 978-3-89838-324-0 ,第1-283页 【c6】 克里斯托夫·沃恩哈德 :
文字投影和边界。 文件传输协议 2009 【c5】 克里斯托夫·沃恩哈德 :
投影计算和知识汇编表。 TABLEAUX公司 2009 : 325-340 2008 【c4】 克里斯托夫·沃恩哈德 :
一阶逻辑的文字投影。 杰莉亚 2008 : 389-402 2007 【c3】 比约恩·佩尔泽 , 克里斯托夫·沃恩哈德 :
系统描述:E-KRHper。 CADE公司 2007 : 508-513 2004 【c2】 克里斯托夫·沃恩哈德 :
语义知识划分。 IJCAR博士项目 2004 【c1】 克里斯托夫·沃恩哈德 :
语义知识划分。 杰莉亚 2004 : 552-564
合著者索引
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)