约格·希克曼
人员信息
附属: 德国人工智能研究中心(DFKI) 附属: 萨尔州大学计算机科学系
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2020年–今天
2021 [j35] 卡尔·汉斯·巴修斯 , 约格·希克曼 :
意外核战争。 昆士利希情报。 35 ( 1 ) : 119-121 ( 2021 ) [公元34年] 约格·希克曼 :
人工智能:思维、计算机和五里大师的舞蹈。 昆士利希情报。 35 ( 三 ) : 445-447 ( 2021 ) [公元33年] 彼得·萨博 , 约格·希克曼 :
基于广义嵌入的电子统一。 数学。 结构。 计算。 科学。 31 ( 8 ) : 898-917 ( 2021 )
2010 – 2019
2018 [公元32年] Dov M.Gabbay公司 , 约格·希克曼 :
编辑。 拍打 5 ( 1 ) : 1-4 ( 2018 ) 2017 [公元31年] Dov M.Gabbay公司 , 约格·希克曼 :
哲学、信息学和逻辑学中的算法。 2017年立场宣言。 拍打 4 ( 5 ) ( 2017 ) 2016 【j30】 迈克尔·霍切 , 约格·希克曼 , 彼得·萨博 :
字符串统一本质上是无限的。 拍打 三 ( 5 ) : 755-788 ( 2016 ) [第6页] 彼得·萨博 , 约格·希克曼 , 迈克尔·霍克 :
什么是本质统一? 马丁·戴维斯谈可计算性、计算逻辑和数学基础 2016 : 285-314 2014 [电子10] 约格·希克曼 :
计算逻辑。 逻辑史手册 9, 爱思维尔 2014 ,十亿 978-0-444-51624-4 [目录] [r3] 约格·希克曼 :
计算逻辑。 计算逻辑 2014 : 15-30 【r2】 约格·希克曼 , Dov M.Gabbay公司 :
编辑注释。 计算逻辑 2014 2011 [第5页] 约格·希克曼 , 马修·克罗克 :
资源适应性认知过程。 资源适应性认知过程 2011 : 1-10 [第4页] 克里斯托夫·本兹穆勒 , 马文·R·G·席勒 , 约格·希克曼 :
基于资源的建模和人-层交互证据分析。 资源适应性认知过程 2011 : 291-311 [第3页] 谢尔盖·奥特谢尔 , 克里斯托夫·本兹穆勒 , 多米尼克·迪特里希 , 约格·希克曼 :
ΩMEGA:自动推理系统中的资源自适应过程。 资源适应性认知过程 2011 : 389-423 [电子9] 马修·克罗克 , 约格·希克曼 :
资源适应性认知过程。 认知技术 , 施普林格 2011 ,十亿 978-3-540-89407-0 [目录] 2010 [公元29年] Dov M.Gabbay公司 , 约格·希克曼 :
认知、信息学和逻辑中的算法:一份立场宣言。 日志。 J.IGPL公司 18 ( 6 ) : 763-768 ( 2010 )
2000 – 2009
2009 [公元28年] 约格·希克曼 :
德意志迪士林的Entwicklung der Disziplin。 昆士利希情报。 23 ( 1 ) : 47-52 ( 2009 ) 【r1】 克劳斯·佩特·沃思 , 约格·希克曼 , 克里斯托夫·本兹穆勒 , 谢尔盖·奥特谢尔 :
雅克·赫布兰德:生活、逻辑和自动演绎。 从罗素到教会的逻辑 2009 : 195-254 [i4] 克劳斯·佩特·沃思 , 约格·希克曼 , 克里斯托夫·本兹穆勒 , 谢尔盖·奥特谢尔 :
雅克·赫布兰德作为逻辑学家的演讲。 CoRR公司 abs/0902.4682 ( 2009 ) 2008 [公元27年] 艾丽卡·梅利斯 , 安德烈亚斯·梅耶 , 约格·希克曼 :
用多种策略验证计划。 Artif公司。 智力。 172 ( 6-7 ) : 656-684 ( 2008 ) [公元44年] 约格·希克曼 , 迈克尔·霍切 , 彼得·萨博 :
字符串统一本质上是无限的。 联合国国际金融中心 2008 : 82-102 [电子8] 阿马尔·阿尔卡萨 , 约格·希克曼 :
Sicherheit 2008:Sicherhiet、Schutz和Zuverlässigkeit。 Konferenzband der 4号机组。 Jahrestagung des Fachbereics Sicherheit der Gesellschaft für Informatik e.V.(GI),2-4。 2008年4月,萨布吕克学院。 LNI公司 P-128, GI公司 2008 ,十亿 978-3-88579-222-2 [目录] 2007 [电子7] 如前路 , 约格·希克曼 , 卡斯滕·乌尔里希 :
认知系统,中德联合研讨会,中国上海,2005年3月7日至11日,修订论文集。 计算机科学讲义 4429, 施普林格 2007 ,十亿 3-540-70933-9 [目录] [电子6] Zili Zhang先生 , 约格·希克曼 :
知识科学、工程和管理,第二届国际会议,KSEM 2007,澳大利亚墨尔本,2007年11月28日至30日,会议记录。 计算机科学讲义 4798, 施普林格 2007 ,十亿 978-3-540-76718-3 [目录] 2006 [公元26年] 约格·希克曼 , 克里斯托夫·本兹穆勒 , 谢尔盖·奥特谢尔 :
Omegamega的计算机支持数学。 J.应用。 日志。 4 ( 4 ) : 533-559 ( 2006 ) [公元43年] 艾丽卡·梅利斯 , 马丁·波莱特 , 约格·希克曼 :
荒诞还原:用矛盾证明计划。 人工智能理论和系统中的推理、行动和交互 2006 : 45-58 [公元42年] 约格·希克曼 :
人工智能在德国的历史和第三次工业革命。 KI公司 2006 : 445 [第2页] 克里斯托夫·本兹穆勒 , 阿明·菲德勒 , 安德烈亚斯·梅耶 , 马丁·波莱特 , 约格·希克曼 :
欧米茄。 世界十七个证明人 2006 : 127-141 2005 [公元41年] 艾丽卡·梅利斯 , 约格·希克曼 :
电子学习逻辑和数学:我们有什么和我们需要什么。 我们将向他们展示! (2) 2005 : 639-662 [公元40年] 克里斯托夫·本兹穆勒 , 赫尔穆特·霍拉切克 , 伊万娜·克鲁伊夫-科尔巴约娃 , 曼弗雷德·平卡尔 , 约格·希克曼 , 马格达莱娜·沃尔斯卡 :
自然语言对话与数学校对导师系统。 认知系统 2005 : 1-14 [公元39年] 艾丽卡·梅利斯 , 沈瑞敏(Ruimin Shen) , 约格·希克曼 , 卡斯滕·乌尔里奇 , 范扬 , 彭翰 :
搜索和使用多媒体学习对象的挑战。 认知系统 2005 : 36-44 [i3] 约格·希克曼 :
证明演示。 扣除和应用 2005 2004 [公元25年] 马丁·里德米勒 , 弗朗索瓦·法赫斯 , 马利克·加拉布 , 沃尔夫冈·瓦尔斯特尔 , 约格·希克曼 :
受邀会谈。 昆士利希情报。 18 ( 三 ) : 44- ( 2004 ) [公元38年] 艾丽卡·梅利斯 , 约格·希克曼 :
ActiveMath:一个智能数学教学系统。 ICAISC公司 2004 : 91-101 [公元37年] 约格·希克曼 , 克里斯托夫·本兹穆勒 :
Omega:计算机支持的数学。 KI公司 2004 : 3-28 [电子5] 莱泽克·鲁特科夫斯基 , 约格·希克曼 , Ryszard Tadeusiewicz公司 , 洛特菲·A·扎德 :
人工智能和软计算——ICAISC 2004,第七届国际会议,波兰扎科帕内,2004年6月7日至11日,会议记录。 计算机科学讲义 3070, 施普林格 2004 ,十亿 3-540-22123-9 [目录] 2003 [c36] 菲舍尔 , 迈克尔·希洛 , 约格·希克曼 :
Holonic Multiagent Systems:多智能体系统组织的基础。 全息MAS 2003 : 71-80 [公元35年] 迈克尔·希洛 , 菲舍尔 , 约格·希克曼 :
多智能体系统中自治与组织之间的联系。 全息MAS 2003 : 81-90 2002 [j24] 约格·希克曼 , 格雷厄姆·赖特森 :
一个开放的研究问题:R.Kowalski连接图证明过程的强完备性。 日志。 J.IGPL公司 10 ( 1 ) : 85-103 ( 2002 ) [公元23年] 约格·希克曼 :
KI-德国迪士林公司。 昆士利希情报。 16 ( 1 ) : 52-53 ( 2002 ) [公元34年] 莫里斯·布吕诺格 , 路易斯·莫尼兹·佩雷拉 , 约格·希克曼 , 马滕·范·埃姆登 :
一位科学家作为计算逻辑学家的肖像。 计算逻辑:逻辑编程及其以外 2002 : 1-4 [c33] 约格·希克曼 , 格雷厄姆·赖特森 :
一个开放的研究问题:R.Kowalski连接图证明过程的强完备性。 计算逻辑:逻辑编程及其以外 2002 : 231-252 [公元32年] 约格·希克曼 , 克里斯托夫·本兹穆勒 , 弗拉基米尔·勃列日涅夫 , Lassaad Cheikhrouhou公司 , 阿明·菲德勒 , 安德烈亚斯·弗兰克 , 赫尔穆特·霍拉切克 , Michael Kohlhase公司 , 安德烈亚斯·梅耶 , 艾丽卡·梅利斯 , 马库斯·莫施纳 , 伊曼纽尔·诺曼 , 马丁·波莱特 , 沃尔克·索尔格 , 卡斯滕·乌尔里奇 , 克劳斯·佩特·沃思 , 尤根·齐默(Jürgen Zimmer) :
使用OMEGA进行验证开发。 CADE公司 2002 : 144-149 [公元31年] 约格·希克曼 , 克里斯托夫·本兹穆勒 , 阿明·菲德勒 , 安德烈亚斯·梅耶 , 马丁·波莱特 :
Omega-MEGA验证开发:sqrt(2)是不合理的。 LPAR公司 2002 : 367-387 2001 [公元22年] 约格·希克曼 , 格雷厄姆·赖特森 :
勘误表:W.Bibel和E.Eder关于连接图解析的强完备性结果的反例。 J.ACM公司 48 ( 1 ) : 145-147 ( 2001 ) 2000 [公元21年] 迪特尔·赫特 , 布鲁诺·兰根斯坦 , 乔治·洛克 , 约格·希克曼 , 沃纳·斯蒂芬 , 罗兰·沃特 :
验证支持环境(VSE)中的正式软件开发。 J.实验理论。 Artif公司。 智力。 12 ( 4 ) : 383-406 ( 2000 ) [公元30年] 艾丽卡·梅利斯 , 约格·希克曼 :
验证计划中的概念。 智能与计算逻辑 2000 : 263-276 [公元29年] 迪特尔·赫特 , 乔治·洛克 , 约格·希克曼 , 沃纳·斯蒂芬 , 罗兰·沃特 :
验证支持环境(VSE)中的正式软件开发。 FLAIRS公司 2000 : 367-376
1990 – 1999
1999 [公元20年] 艾丽卡·梅利斯 , 约格·希克曼 :
基于知识的证明规划。 Artif公司。 智力。 115 ( 1 ) : 65-105 ( 1999 ) [公元19年] 约格·希克曼 , 斯蒂芬·赫斯 , 克里斯托夫·本兹穆勒 , Lassaad Cheikhrouhou公司 , 阿明·菲德勒 , 赫尔穆特·霍拉切克 , 迈克尔·科尔哈斯 , 卡斯滕·康拉德 , 安德烈亚斯·梅耶 , 艾丽卡·梅利斯 , 马丁·波莱特 , 沃尔克·索尔格 :
L(左) <欧米茄> 用户界面 : L(左) 奥维利<欧米茄>MEGA U型 服务器 我 界面。 形式方面计算。 11 ( 三 ) : 326-342 ( 1999 ) 1998 [公元18年] 哈拉尔德·甘津格 , 约格·希克曼 , 彼得·施密特 :
什么是自动删除? 昆士利希情报。 12 ( 4 ) : 33-37 ( 1998 ) [公元17年] 约格·希克曼 , 迈克尔·科尔哈斯 , 艾丽卡·梅利斯 :
MEGA:数学辅助系统。 Kognitionswissenschaft公司 7 ( 三 ) : 101-105 ( 1998 ) [公元28年] Lassaad Cheikhrouhou公司 , 约格·希克曼 :
规划对角化证明。 AIMSA公司 1998 : 167-180 1997 [公元27年] 克里斯托夫·本兹穆勒 , Lassaad Cheikhrouhou公司 , 德特勒夫·费勒 , 阿明·菲德勒 , 黄晓蓉 , 曼弗雷德·科伯 , 迈克尔·科尔哈斯 , 卡斯滕·康拉德 , 安德烈亚斯·梅尔 , 艾丽卡·梅利斯 , 沃尔夫·沙施米特 , 约格·希克曼 , 沃尔克·索尔格 :
欧米茄:走向数学助理。 CADE公司 1997 : 252-255 1996 [j16] 黄晓荣 , 曼弗雷德·科伯 , 迈克尔·科尔哈斯 , 艾丽卡·梅利斯 , 丹·内史密斯 , 约恩·里奇斯 , 约格·希克曼 :
Die Beweisentwicklungsumgebung Omega-MKRP品牌。 通知。 福施。 恩特维克。 11 ( 1 ) : 20-26 ( 1996 ) [公元26年] 迪特尔·赫特 , 布鲁诺·兰根斯坦 , 克劳斯·森格勒 , 约格·希克曼 , 沃纳·斯蒂芬 , 安德烈亚斯·沃尔珀斯 :
验证支持环境(VSE)中的扣除。 失效模式与后果 1996 : 268-286 1994 [公元15年] 沃尔夫冈·比贝尔 , 约格·希克曼 :
Informatik和Intellektik als zukünftiges Zwiegespann。 昆士利希情报。 8 ( 1 ) : 16-22 ( 1994 ) [公元25年] 黄晓荣 , 曼弗雷德·科伯 , 迈克尔·科尔哈斯 , 艾丽卡·梅利斯 , 丹·奈史密斯 , 约恩·里奇斯 , 约格·希克曼 :
Omega-MKRP:一个验证开发环境。 CADE公司 1994 : 788-792 [公元24年] 黄晓荣 , 曼弗雷德·科伯 , 迈克尔·科尔哈斯 , 艾丽卡·梅利斯 , 丹·内史密斯 , 约恩·里奇斯 , 约格·希克曼 :
KEIM:自动扣除工具包。 CADE公司 1994 : 807-810 [第1页] 弗兰兹·巴德 , 约格·希克曼 :
统一理论。 人工智能和逻辑编程逻辑手册(2) 1994 : 41-126 [电子4] Dov M.Gabbay公司 , 克里斯托弗·霍格 , J.A.罗宾逊 , 约格·希克曼 :
人工智能和逻辑编程逻辑手册,第2卷,演绎方法。 牛津大学出版社 1994 ,十亿 0-19-853746-8 [目录] 1992 [公元14年] 克里斯托夫·贝尔 , 乌尔里希·赫德斯蒂克 , 乌多普列塔 , 彼得·施密特 , 约格·希克曼 :
一种用于知识表示系统的有序逻辑。 Artif公司。 智力。 55 ( 2 ) : 149-191 ( 1992 ) 【c23】 约格·希克曼 :
穆森·迪·比舍里根(Mussen die bisherigen Positionen der KIüberdacht werden)? Künstliche Intelligenz-Leitvorstellungen und Verantwortung(2) 1992 : 34-38 1991 [j13] 迈克尔·麦克罗比 , 约格·希克曼 :
人工智能:观点和预测。 申请。 Artif公司。 智力。 5 ( 2 ) : 187-207 ( 1991 ) [公元12年] 格哈德·巴思 , 托马斯·克里斯塔勒 , Armin B.Cremers公司 , 伯恩德·诺依曼 , 弗朗兹·约瑟夫·雷德马赫 , 伯恩德·拉迪格 , 迈克尔·M·里希特 , 约格·希克曼 , 沃纳·冯·塞伦 :
Künstliche Intelligenz-Perspektiven einer wissenschaftlichen Disziplin und Realisierungsmöglichkeiten。 通知。 Spektrum公司 14 ( 4 ) : 201-206 ( 1991 ) [公元22年] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) , 约格·希克曼 :
Markgraf Karl拒绝程序。 计算逻辑——纪念艾伦·罗宾逊的论文 1991 : 41-112 【c21】 尤尔根·米勒 , 约格·希克曼 :
结构化社会代理。 Wissensbasierte系统 1991 : 42-52 1990 [公元11年] 约格·希克曼 :
统一理论。 小数。 支持系统。 6 ( 4 ) : 315-337 ( 1990 ) [i2] 克里斯托夫·贝尔 , 乌尔里希·赫德斯蒂克 , 乌多普列塔 , 彼得·施密特 , 约格·希克曼 :
一种用于知识表示系统的有序逻辑。 IWBS报告 113 ( 1990 )
1980 – 1989
1989 [公元10年] 约格·希克曼 :
统一理论。 J.塞姆。 计算。 7 ( 3/4 ) : 207-274 ( 1989 ) [公元9年] 约格·希克曼 , 彼得·萨博 :
D的不确定性 A类 -统一问题。 J.塞姆。 日志。 54 ( 2 ) : 402-414 ( 1989 ) [公元20年] 卡尔·汉斯·巴修斯 , 克劳斯-维护辊 , 约格·希克曼 :
L-LILOG推理系统的结构和控制。 人工智能的分类和类型 1989 : 165-182 [i1] 克里斯托夫·拜尔 , 乌尔里希·赫德斯蒂克 , 乌多普列塔 , 约格·希克曼 :
一种具有紧密耦合分类信息的顺序排序谓词逻辑。 IWBS报告 86 ( 1989 ) 1988 [j8] 迈克尔·麦克罗比 , 约格·希克曼 :
人工智能:观点和预测。 AI通讯。 1 ( 4 ) : 16-29 ( 1988 ) [j7] 汉斯·吉尔根·比尔科特 , 亚历山大·赫罗德 , 迪帕克·卡普尔 , 约格·希克曼 , Mark E.Stickel公司 , 迈克尔·特普 , 张汉涛 :
开启AC-Unification竞赛。 J.汽车。 原因。 4 ( 4 ) : 465-474 ( 1988 ) [第19条] 卡尔·汉斯·巴修斯 , 约格·希克曼 :
基于图的等式推理的部分统一。 CADE公司 1988 : 397-414 [第18条] 约格·希克曼 , 斯坦·奥克·塔伦德 , 亚伦·斯洛曼 , 安迪克拉克 , 玛格丽特·博登 :
什么是计算? (面板介绍)。 ECAI公司 1988 : 724 [第17条] 约格·希克曼 :
人工智能:观点和预测。 FGCS公司 1988 : 145-146 1987 [j6] 卡尔·汉斯·巴修斯 , 约格·希克曼 :
计算机最先进的Frühwarn-und Entwscheidungssysteme。 通知。 Spektrum公司 10 ( 1 ) : 24-39 ( 1987 ) [j5] 亚历山大·赫罗德 , 约格·希克曼 :
阿贝尔半群中的统一。 J.汽车。 原因。 三 ( 三 ) : 247-283 ( 1987 ) 1986 【j4】 罗纳德·V·书 , 约格·希克曼 :
统一论:等式理论没有边界。 J.塞姆。 计算。 2 ( 4 ) : 317-324 ( 1986 ) [第16条] 约格·希克曼 :
统一理论。 ECAI公司 1986 : 365-400 [电子3] 约格·希克曼 :
第八届自动扣减国际会议,英国牛津,1986年7月27日至8月1日,会议记录。 计算机科学讲义 230, 施普林格 1986 ,十亿 3-540-16780-3 [目录] 1985 [第15条] 罗纳德·V·书 , 约格·希克曼 :
关于统一层次。 全球加权平均指数 1985 : 111-117 1984 [第14条] 约格·希克曼 :
普遍统一。 CADE公司 1984 : 1-42 1983 [j3] 约格·希克曼 :
开放式数学问题计算机竞赛。 计算 30 ( 4 ) : 379-380 ( 1983 ) 1982 [第13条] 约格·希克曼 , 彼得·萨博 :
普适统一与等式理论的分类。 CADE公司 1982 : 369-389 [第12条] 约格·希克曼 :
埃因夫·赫隆在《昆士兰情报报》上发表文章。 KIFS公司 1982 : 1-60 [第11条] 约格·希克曼 , 彼得·萨博 :
普遍统一。 全球加权平均指数 1982 : 102-141 [电子2] 沃尔夫冈·比贝尔 , 约格·希克曼 :
德国Teisendorf,Frühjahrsschule,Künstliche Intelligenz,15-24。 März 1982年。 信息-Fachberichte 59, 施普林格 1982 ,十亿 3-540-11974-4 [目录] 1981 [第10条] 卡尔·汉斯·布莱修斯 , 诺伯特·艾辛格 , 约格·希克曼 , 格特·斯莫尔卡 , 亚历山大·赫罗德 , 克里斯托弗·沃尔瑟 :
Markgraf Karl拒绝程序。 国际JCAI 1981 : 511-518 【c9】 约格·希克曼 , 彼得·萨博 :
通用统一和正则等式ACFM理论。 国际JCAI 1981 : 532-538 【c8】 约格·希克曼 , 格特·斯莫尔卡 :
连接图证明程序的选择启发式、删除策略和N级终止器配置。 全球加权平均指数 1981 : 199-200 【c7】 约格·希克曼 , 彼得·萨博 :
幂等半群的Noetherian重写系统。 全球加权平均指数 1981 : 235-245 [电子1] 约格·希克曼 :
GWAI-81,德国人工智能研讨会,Bad Honnef,德国,1981年1月26日至31日,会议记录。 信息-Fachberichte 47, 施普林格 1981 ,十亿 3-540-10859-9 [目录] 1980 [注2] 约格·希克曼 , 格雷厄姆·赖特森 :
参数化连接图。 信息学报 13 : 67-86 ( 1980 ) 【c6】 诺伯特·艾辛格 , 约格·希克曼 , 格特·斯莫尔卡 , E.Unvericht公司 , 克里斯托夫·沃尔特 :
Das Karlsruher Beweiss系统。 GI贾尔斯塔贡 1980 : 400-412
1970 – 1979
1979 [j1] 彼得·劳列夫斯 , 约格·希克曼 , 彼得·萨博 , E.Unvericht公司 :
关于匹配和统一问题的最新技术的简短调查。 SIGSAM牛市。 13 ( 2 ) : 14-20 ( 1979 ) 【c5】 约格·希克曼 :
交换项的统一。 欧洲萨姆 1979 : 22 【c4】 约格·希克曼 :
交换性下的匹配。 欧洲萨姆 1979 : 531-545 1978 【b1】 约格·希克曼 :
统一和匹配问题。 英国埃塞克斯大学, 1978 【c3】 诺伯特·艾辛格 , 约格·希克曼 , 格雷厄姆·赖特森 :
参数化连接图。 AISB/GI(ECAI) 1978 : 105-109 【c2】 沃纳·斯蒂芬 , 约格·希克曼 :
连通图证明的完备性和稳健性。 AISB/GI(ECAI) 1978 : 340-344 1977 【c1】 斯特凡·库纳 , 克里斯·马蒂斯 , 彼得·劳列夫斯 , 约格·希克曼 :
幂等函数的统一。 国际JCAI 1977 : 528
合著者索引
![](https://dblp.org/img/cog.dark.24x24.png)