编辑配置文件（在新选项卡中打开） 海宁·克里斯蒂安森 合著者距离 作者ID： 克里斯蒂安森·海宁 发布日期： 海宁·克里斯蒂安森 已编制索引的文档： 30份出版物自1983年起 3作为编辑的贡献 合著者： 15位合著者具有23联合出版物 237位合作作者 全部的 前5名合著者 10 单作者的 5 Maja Hanne Kirkeby 5 戴维·马丁内吉 4 特洛伊尔斯·安德烈森 4 奥利·托普·拉森 三 维罗妮卡·达尔 三 马蒂厄·佩蒂特 2 亨利克·莱金·拉森 1 库贝罗、胡安·卡洛斯 1 亨德里克·德克尔 1 约翰·加拉赫（John P.Gallagher）。 1 有，克里斯蒂安·泰尔 1 尼尔·D·琼斯。 1 阿米海莫特罗 1 兹比格涅夫·拉希。 1 Theil Have，Christian N.H。 全部的 前5名系列 2 逻辑程序设计理论与实践 2 计算机科学讲义 1 逻辑编程杂志 1 国际近似推理杂志 1 计算的形式方面 1 计算机基础理论 1 应用逻辑杂志 领域 32 计算机科学（68至XX） 三 总体主题；集合（00-XX） 三 数学逻辑和基础（03-XX） 1 统计学（62-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 19出版物有被引用53中的次32文件 引用人▼ 年份▼ HYPROLOG：一种带有假设和推理的新逻辑编程语言。 兹比尔1165.68327 海宁·克里斯蒂安森;维罗妮卡·达尔 8 2005 CHR语法。 Zbl 1104.68055号 赫宁克里斯蒂安森 7 2005 利用约束处理规则实现概率溯源逻辑规划。 Zbl 1229.68017号 海宁·克里斯蒂安森 4 2008 关于简化数据库完整性约束。 Zbl 1096.68037号 海宁·克里斯蒂安森;戴维·马丁内吉 4 2006 在简单的语义定向编译器生成器中控制流处理。 Zbl 0512.68017号 海宁·克里斯蒂安森;尼尔·琼斯 三 1983 灵活的问答系统。 Zbl 0878.00027号 三 1997 使用基于约束的元解释器进行自动推理。 Zbl 0920.68098号 海宁·克里斯蒂安森 三 1998 关于实施全球绑架。 Zbl 1177.68200号 海宁·克里斯蒂安森 三 2007 灵活的问答系统。第五届国际会议，FQAS 2002，丹麦哥本哈根，2002年10月27日至29日。诉讼程序。 Zbl 1045.68006号 三 2002 上下文中的含义。 Zbl 1081.68706号 海宁·克里斯蒂安森;维罗妮卡·达尔 三 2005 约束处理规则中的汇流模等价。 兹比尔1353.68048 海宁·克里斯蒂安森;Maja H.柯克比。 2 2015 非歧视性论据及其使用。 Zbl 1251.68055号 赫宁克里斯蒂安森;约翰·加拉赫（John P.Gallagher）。 2 2009 概率终止约简系统中的汇流和收敛。 Zbl 1508.68063号 Maja H.柯克比。;海宁·克里斯蒂安森 2 2018 简化数据集成的完整性约束。 Zbl 1202.68134号 海宁·克里斯蒂安森;戴维·马丁内吉 1 2004 诱拐和归纳结合在一个元逻辑框架中。 Zbl 1031.03515号 海宁·克里斯蒂安森 1 2000 概率终止约简系统中的汇流和收敛模等价性。 Zbl 1452.68095号 Maja H.柯克比。;海宁·克里斯蒂安森 1 2019 关系数据库和演绎数据库以及其他数据库中的完整性检查和维护。 Zbl 1161.68426号 戴维·马丁内吉;海宁·克里斯蒂安森;亨德里克·德克尔 1 2007 基于约束处理规则的逻辑语法。 Zbl 1045.68612号 海宁·克里斯蒂安森 1 2002 关于证明约束处理规则的汇流模等价性。 Zbl 1355.68050号 海宁·克里斯蒂安森;Maja H.柯克比。 1 2017 概率终止约简系统中的汇流和收敛模等价性。 Zbl 1452.68095号 Maja H.柯克比。;海宁·克里斯蒂安森 1 2019 概率终止约简系统中的汇流和收敛。 Zbl 1508.68063号 柯凯比，玛嘉H。;海宁·克里斯蒂安森 2 2018 关于证明约束处理规则的汇流模等价性。 Zbl 1355.68050号 海宁·克里斯蒂安森;柯凯比，玛嘉H。 1 2017 约束处理规则中的汇流模等价。 Zbl 1353.68048号 海宁·克里斯蒂安森;Maja H.柯克比。 2 2015 非歧视性论点及其用途。 Zbl 1251.68055号 海宁·克里斯蒂安森;约翰·加拉赫（John P.Gallagher）。 2 2009 利用约束处理规则实现概率溯源逻辑规划。 Zbl 1229.68017号 海宁·克里斯蒂安森 4 2008 关于实施全球绑架。 Zbl 1177.68200号 海宁·克里斯蒂安森 三 2007 关系数据库和演绎数据库以及其他数据库中的完整性检查和维护。 Zbl 1161.68426号 戴维·马丁内吉;海宁·克里斯蒂安森;亨德里克·德克尔 1 2007 关于简化数据库完整性约束。 Zbl 1096.68037号 海宁·克里斯蒂安森;戴维·马丁内吉 4 2006 HYPROLOG：一种带有假设和推理的新逻辑编程语言。 Zbl 1165.68327号 海宁·克里斯蒂安森;维罗妮卡·达尔 8 2005 CHR语法。 Zbl 1104.68055号 海宁·克里斯蒂安森 7 2005 上下文中的含义。 Zbl 1081.68706号 海宁·克里斯蒂安森;维罗妮卡·达尔 三 2005 简化数据集成的完整性约束。 Zbl 1202.68134号 海宁·克里斯蒂安森;戴维·马丁内吉 1 2004 灵活的问答系统。2002年10月27日至29日，第五届国际会议，FQAS 2002，丹麦哥本哈根。诉讼程序。 Zbl 1045.68006号 三 2002 基于约束处理规则的逻辑语法。 Zbl 1045.68612号 海宁·克里斯蒂安森 1 2002 推理和归纳结合在一个元逻辑框架中。 Zbl 1031.03515号 海宁·克里斯蒂安森 1 2000 使用基于约束的元解释器进行自动推理。 Zbl 0920.68098号 海宁·克里斯蒂安森 三 1998 灵活的问答系统。 Zbl 0878.00027号 三 1997 在简单的语义定向编译器生成器中控制流处理。 Zbl 0512.68017号 海宁·克里斯蒂安森;尼尔·琼斯 三 1983 所有引用出版物 前5名被引用出版物 全部的 前5名被59位作者引用 6 海宁·克里斯蒂安森 三 维罗妮卡·达尔 三 马可·加瓦内利 三 伊芙琳娜·拉姆 三 法布里西奥·里古齐 2 马尔科·阿尔贝蒂 2 埃琳娜·贝洛迪 2 亨德里克·德克尔 2 克劳迪娅·法根 2 Maja Hanne Kirkeby 2 弗莱明·尼尔森 2 里卡多·泽斯 1 萨尔瓦多阿布雷乌 1 达米亚诺·阿佐利尼 1 安东尼奥·巴迪亚 1 斯蒂法诺·比斯塔雷利 1 William E.伯德。 1 费德里科·切萨尼 1 乔瓦尼·西亚托 1 维托尔·桑托斯·科斯塔 1 De Calmès，玛蒂娜 1 莱斯利·德科宁克 1 玛丽亚诺·德·索萨·比斯波 1 丹尼尔·迪亚兹 1 安德烈·顿塞斯库 1 斯特凡诺·费里利 1 丹尼尔·弗里德曼（Daniel P.Friedman）。 1 曼努埃尔五世（Manuel V.Hermenegildo）。 1 井上，Katsumi 1 尼尔·D·琼斯。 1 Janusz Kacprzyk公司 1 菲利普·科纳 1 奥利·托普·拉森 1 Leuschel，迈克尔 1 刘继雪 1 法比奥·马蒂内利 1 保罗·梅洛 1 克里斯蒂安·莫里纳罗 1 马可·蒙塔利 1 何塞·弗朗西斯科·莫拉莱斯 1 希德托莫·纳贝希玛 1 约瑟夫·P·奈尔（Joseph P.Near）。 1 奥曼（Levent V.Orman）。 1 马蒂厄·佩蒂特 1 亨利·普拉德。 1 汉内·里斯·尼尔森 1 弗朗西斯科·桑蒂尼 1 佛罗伦萨塞德斯 1 Sumon马里兰州Shahriar 1 艾米·斯利娃 1 苏布拉曼尼亚，V.S。 1 斯威夫特，特伦斯 1 塞尔吉奥·特萨利斯 1 Theil Have，Christian N.H。 1 保罗·托罗尼 1 乌埃尔、古雷 1 Wielemaker，简 1 罗纳德·雅格。 1 萨奥米尔·扎德罗尼 全部的 前5名15连载 5 逻辑程序设计理论与实践 三 理论计算机科学 2 模糊集与系统 2 国际近似推理杂志 2 应用逻辑杂志 1 信息学报 1 计算机与数学及其应用 1 国际智能系统杂志 1 计算的形式方面 1 机器学习 1 数学与人工智能年鉴 1 电子商务研究 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 在3个字段中引用 32 计算机科学（68至XX） 7 数学逻辑和基础（03-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文