编辑配置文件（在新选项卡中打开） 范·哈梅伦，弗兰克 合著者距离 作者ID： 范·哈梅伦·弗兰克 发布日期： 范·哈梅伦，弗兰克；范·哈梅伦（Frank Van Harmelen）；范·哈梅伦（F.Van Harmelen）。 更多。。。较少的 外部链接： MGP公司·维基数据·推特·数据库许可证·接地·ID参考·论文.fr 已编制索引的文档： 19出版物自1988年以来，包括1本书 5作为编辑的贡献 合著者： 43位合著者具有22联合出版物 823联合作者 全部的 前5名合著者 2 单作者的 6 阿兰·邦迪 5 阿兰·斯梅尔 三 安妮特·泰杰（Annette Teije） 三 埃米尔·范·克里肯 2 埃曼·阿克 2 简·赫斯基 2 爱尔兰，安德鲁 2 马科斯 2 斯特凡·施洛巴赫 2 安德鲁·史蒂文斯 2 海纳·斯塔肯施密特 1 汉斯·阿克曼 1 迈克尔·巴尔泽 1 吉尔特·伯杰 1 保罗·布凯 1 Jeen Broekstra先生 1 罗纳德·科内特 1 亚历山德罗·丹尼尔 1 弗洛里斯·登·亨斯特 1 迪格纳姆，F.P.M。 1 弗吉尼亚州迪格纳姆 1 玛丽亚·福克斯 1 弗朗索瓦·拉维特，文森特 1 乔治·戈特洛布 1 安德烈亚斯·赫齐格 1 帕斯卡·希茨勒 1 马克·胡根登 1 霍恩，克里斯蒂安 1 伊恩·霍洛克斯 1 黄志生 1 埃克Hullermeier 1 Gal A.卡明卡。 1 阿约翰·坎普曼 1 乔治·卡拉福蒂亚斯 1 弗拉基米尔·利夫希茨 1 布鲁斯·沃尔特·波特 1 桂林齐 1 雨果·鲁曼斯 1 塞巴斯蒂安·鲁道夫 1 古斯·施赖伯 1 卢西亚诺·塞拉菲尼 1 加斯顿·塔格尼 1 鲍勃·威林加。 全部的 前5名系列 三 人工智能 2 自动推理杂志 2 机器学习 2 人工智能和应用的前沿 1 信息处理与控制论杂志 1 国际智能系统杂志 1 数学与人工智能年鉴 1 计算机科学课堂讲稿 1 人工智能基础 1 高级信息和知识处理 1 应用逻辑期刊-IfCoLog逻辑期刊及其应用 领域 24 计算机科学（68至XX） 4 总体主题；集合（00-XX） 三 数学逻辑和基础（03-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用211中的次178文件 引用人▼ 年份▼ 知识表示手册。 Zbl 1183.68611号 80 2008 撕裂：引导归纳证明的启发式方法。 Zbl 0789.68121号 阿兰·邦迪；安德鲁·史蒂文斯；范·哈梅伦，弗兰克；爱尔兰，安德鲁；阿兰·斯梅尔 33 1993 调试不连贯的术语。 Zbl 1132.68740号 斯特凡·施洛巴赫；黄志生；罗纳德·科内特；范·哈梅伦，弗兰克 20 2007 OYSTER-CLAM系统。 Zbl 1509.68299号 阿兰·邦迪；范·哈梅伦，弗兰克；霍恩，克里斯蒂安；阿兰·斯梅尔 18 1990 芝麻：用于存储和查询RDF和RDF模式的通用架构。 Zbl 1048.68693号 Jeen Broekstra先生；阿约翰·坎普曼；范·哈梅伦，弗兰克 13 2002 归纳验证计划的实验。 Zbl 0733.68069号 阿兰·邦迪；范·哈梅伦，弗兰克；简·赫斯基；阿兰·斯梅尔 12 1991 基于解释的概括（=）部分评估。 Zbl 0655.68106号 范·哈梅伦，弗兰克；阿兰·邦迪 9 1988 用于指导归纳证明的涟漪式策略的扩展。 Zbl 1509.68300号 阿兰·邦迪；范·哈梅伦，弗兰克；阿兰·斯梅尔；爱尔兰，安德鲁 9 1990 递归分析的合理重构和扩展。 Zbl 0708.68061号 阿兰·邦迪；范·哈梅伦，弗兰克；简·赫斯基；阿兰·斯梅尔；安德鲁·史蒂文斯 7 1989 分析可微模糊逻辑算子。 Zbl 1490.68233号 埃米尔·范·克里肯；埃曼·阿克；范·哈梅伦，弗兰克 5 2022 使用可微推理的半监督学习。 Zbl 1514.68264号 埃米尔·范·克里肯；埃曼·阿克；范·哈梅伦，弗兰克 三 2019 专家系统中用于控制的元级体系结构概述。 Zbl 0669.68057号 范·哈梅伦，弗兰克 2 1989 分析可微模糊逻辑算子。 Zbl 1490.68233号 埃米尔·范·克里肯；埃曼·阿克；范·哈梅伦，弗兰克 5 2022 使用可微分推理的半监督学习。 Zbl 1514.68264号 埃米尔·范·克里肯；埃曼·阿克；范·哈梅伦，弗兰克 三 2019 知识表示手册。 Zbl 1183.68611号 80 2008 调试不连贯的术语。 兹比尔1132.68740 斯特凡·施洛巴赫；黄志生；罗纳德·科内特；范·哈梅伦，弗兰克 20 2007 芝麻：用于存储和查询RDF和RDF模式的通用架构。 Zbl 1048.68693号 Jeen Broekstra先生；阿约翰·坎普曼；范·哈梅伦，弗兰克 13 2002 Rippling：引导归纳证明的启发式方法。 Zbl 0789.68121号 阿兰·邦迪；安德鲁·史蒂文斯；范·哈梅伦，弗兰克；爱尔兰，安德鲁；阿兰·斯梅尔 33 1993 具有归纳证明计划的实验。 Zbl 0733.68069号 阿兰·邦迪；范·哈梅伦，弗兰克；简·赫斯基；阿兰·斯梅尔 12 1991 OYSTER-CRAM系统。 Zbl 1509.68299号 阿兰·邦迪；范·哈梅伦，弗兰克；霍恩，克里斯蒂安；阿兰·斯梅尔 18 1990 用于指导归纳证明的涟漪式策略的扩展。 Zbl 1509.68300号 阿兰·邦迪；范·哈梅伦，弗兰克；阿兰·斯梅尔；爱尔兰，安德鲁 9 1990 递归分析的合理重构和扩展。 Zbl 0708.68061号 阿兰·邦迪；范·哈梅伦，弗兰克；简·赫斯基；阿兰·斯梅尔；安德鲁·史蒂文斯 7 1989 专家系统中用于控制的元级体系结构概述。 Zbl 0669.68057号 范·哈梅伦，弗兰克 2 1989 基于解释的概括（=）部分评估。 Zbl 0655.68106号 范·哈梅伦，弗兰克；阿兰·邦迪 9 1988 所有引用的出版物 前5名被引用出版物 全部的 前5名356位作者引用 10 阿兰·邦迪 5 爱尔兰，安德鲁 5 阿兰·斯梅尔 5 范·哈梅伦，弗兰克 4 David A.Basin。 4 迪特尔·赫特 4 艾丽卡·梅利斯 4 弗朗西斯科·里卡 三 乔瓦尼·阿蒙多拉 三 詹姆斯·德尔格兰德。 三 卡明·多达罗 三 吉尔根·吉斯尔 三 格林，伊恩 三 弗拉基米尔·利夫希茨 三 帕夫洛斯·佩帕斯 三 帕特里克·罗德勒 三 谢克曼，Jörg H。 三 吉列尔莫·里卡多·西马里 三 托比·沃尔什 2 谢尔盖·奥特西尔 2 弗兰兹·巴德 2 彼得·鲍姆加特纳 2 Białek，Łukasz 2 玛丽亚·保拉（Maria Paola Bonacina） 2 弗朗索瓦·布隆萨德 2 Louise Abigail丹尼斯 2 卢卡斯·狄克逊 2 巴巴拉·杜宁·科普里茨 2 托马斯·艾特 2 格哈德·弗里德里希（Gerhard E.Friedrich）。 2 马丁·格布瑟 2 阿米莉亚·哈里森 2 罗伯特·哈斯克（Robert W.Hasker）。 2 简·赫斯基 2 穆阿·约翰逊 2 叶夫根尼·哈萨克夫 2 伊曼纽尔·库纳利斯 2 伊娜·克拉恩 2 弗朗西斯科·克里格尔 2 尤利亚·利勒 2 拉斐尔·佩尼亚洛萨 2 马丁·普罗岑 2 美国雷迪。 2 保罗·爱德华多·桑托斯 2 托尔斯滕·绍布（Torsten H.Schaub）。 2 弗朗索瓦·施瓦森特鲁伯 2 克劳斯·森格勒 2 卢西亚诺·塞拉菲尼 2 斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 2 斯泽德，斯特凡 2 迈克尔·泰尔舍尔 2 特鲁什琴斯基，米洛斯奥 2 埃米尔·范·克里肯 1 埃曼·阿克 1 安德鲁·亚当斯（Andrew A.Adams）。 1 阿尔多·艾略 1 马克·艾吉尔 1 马里奥·阿尔维亚诺 1 法布里西奥·安吉乌利 1 阿拉瓦尼斯·提奥凡尼斯一世。 1 马塞洛·阿里纳斯 1 阿里夫·M·法里德 1 康斯坦丁·阿库达斯 1 弗洛里安·阿诺德 1 亚历山大·阿提基斯 1 艺术，托马斯 1 贾马尔·阿蒂夫 1 萨米·巴德雷丁 1 斗权拜克 1 珍妮特·巴恩斯 1 理查德·巴内特（Richard C.Barnett）。 1 彼得罗·巴罗尼 1 伊曼纽尔·贝里尼 1 雷切尔·本·埃利亚胡·佐哈里 1 克里斯托夫·埃瓦尔德·本兹穆勒 1 布拉尼斯拉夫·贝兰 1 埃斯特拉·比乔 1 伊莎贝尔·布洛赫 1 约翰·博斯 1 阿黛尔·布胡拉 1 理查德·博尔顿。 1 布鲁诺·布齐 1 Tour男孩，蒂埃里 1 布兰迪，S。 1 于尔根·布劳伯格 1 格哈德·布鲁卡 1 塞尔默布林斯乔尔 1 罗伯托·布鲁托梅索 1 莫里斯·布吕诺格 1 弗朗索瓦·布里 1 马西米利亚诺·巴丹。 1 Jochen Burghardt 1 布施，霍尔格 1 佩德罗·卡巴拉尔 1 蔡少伟 1 V·卡普托。 1 罗德里克·查普曼 1 雅克·查扎兰 1 陈小平 1 卡洛斯·伊万·切斯尼瓦尔 …还有256位作者 全部的 前5名47篇连载文章被引用 36 人工智能 16 自动推理杂志 7 数学与人工智能年鉴 7 逻辑程序设计理论与实践 4 机器学习 4 系统设计中的形式化方法 三 信息科学 三 理论计算机科学 三 应用逻辑杂志 三 程序设计中的逻辑和代数方法杂志 2 计算机与系统科学杂志 2 国际近似推理杂志 2 全球优化杂志 2 逻辑、语言与信息杂志 2 ACM计算逻辑事务 2 算法 1 信息学报 1 计算机与数学及其应用 1 离散数学 1 哲学逻辑杂志 1 合成 1 逻辑科公报 1 纯逻辑与应用逻辑年鉴 1 符号计算杂志 1 新一代计算 1 国际并行程序设计杂志 1 计算的形式方面 1 杰泰。实验与理论人工智能杂志 1 欧洲运筹学杂志 1 国际计算机与系统科学杂志 1 应用非经典逻辑杂志 1 计算与应用数学 1 复杂性 1 LMS计算与数学杂志 1 国际应用数学与计算机科学杂志 1 洛巴切夫斯基数学杂志 1 逻辑与代数程序设计杂志 1 机器学习研究杂志（JMLR） 1 ACM实验算法杂志 1 离散算法杂志 1 数学生物科学与工程 1 国际并行、紧急和分布式系统杂志 1 新数学与自然计算 1 浙江大学学报。科学A 1 符号逻辑述评 1 计算机科学前沿 1 伦敦皇家学会哲学学报。A.数学、物理和工程科学 全部的 前5名在15个字段中引用 165 计算机科学（68至XX） 44 数学逻辑和基础（03-XX） 7 运筹学、数学规划（90-XX） 4 组合数学（05-XX） 4 博弈论、经济学、金融和其他社会和行为科学（91-XX） 4 生物学和其他自然科学（92-XX） 三 总体主题；集合（00-XX） 三 历史和传记（01-XX） 2 阶、格、有序代数结构（06-XX） 2 系统论；控制（93至XX） 1 一般代数系统（08-XX） 1 微分几何（53至XX） 1 统计学（62-XX） 1 数值分析（65-XX） 1 信息和通信理论，电路（94-XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.