编辑配置文件(在新选项卡中打开) 黄志生 合著者距离 作者ID: 黄志胜 发布日期: 黄志生 已编制索引的文档: 14出版物自1991年起 合著者: 17合著者具有11联合出版物 343位合作作者 全部的 前5名合著者 1 单作者的 三 迈克尔·马苏奇 2 梅迪·达斯坦尼(Mehdi M.Dastani)。 2 范德托雷,Leendert W.N。 1 Broersen,Jan M。 1 罗纳德·科内特 1 季、秋 1 凯伦·克瓦斯特(Karen L.Kwast)。 1 洛斯洛斯·波洛斯 1 桂林齐 1 斯特凡·施洛巴赫 1 隋、岳飞 1 范德梅伊,卢伦斯 1 范·哈梅伦,弗兰克 1 Wielemaker,简 1 杨芳凯 1 张晓如 1 张再岳 全部的 前5名系列 1 人工智能 1 逻辑与分析。Nouvelle Série公司 1 自动推理杂志 1 计算与数学组织理论 1 不等式与应用杂志 1 逻辑程序设计理论与实践 1 软件杂志 领域 8 计算机科学(68至XX) 7 数学逻辑和基础(03-XX) 1 偏微分方程(35-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用37中的次34文件 引用人▼ 年份▼ 调试不连贯的术语。 Zbl 1132.68740号 斯特凡·施洛巴赫;黄志生;罗纳德·科内特;范·哈梅伦,弗兰克 20 2007 SWI-Prolog和web。 Zbl 1139.68012号 Wielemaker,简;黄志生;范德梅伊,卢伦斯 9 2008 动态逻辑中的信任和承诺。 Zbl 1025.68519号 简·布罗森;迈赫迪·达斯塔尼;黄志生;范德托雷,利安德特 2 2002 逻辑解构的个案研究:J.D.汤普森的形式化行动中的组织在多智能体动作逻辑中。 Zbl 0876.03016号 迈克尔·马苏奇;黄志胜 2 1996 动态义务层次结构。 Zbl 0940.03006号 约翰·贝尔;黄志生 1 1999 一个基于距离的操作符,用于修改DL\(\mathcal{SHOQ}\)中的本体。 Zbl 1245.68190号 杨芳凯;桂林齐;黄志生 1 2009 部分有序OWL DL本体中的冲突解决。 Zbl 1366.68306号 吉、邱;高志强;黄志生 1 2014 非线性抛物方程两相问题的弱解。 Zbl 1504.35170号 黄志生 1 2021 非线性抛物方程两相问题的弱解。 Zbl 1504.35170号 黄志生 1 2021 部分有序OWL DL本体中的冲突解决。 Zbl 1366.68306号 季、秋;高志强;黄志生 1 2014 一个基于距离的操作符,用于修改DL\(\mathcal{SHOQ}\)中的本体。 兹比尔1245.68190 杨芳凯;桂林齐;黄志生 1 2009 SWI-Prolog和web。 Zbl 1139.68012号 Wielemaker,简;黄志生;范德梅伊,卢伦斯 9 2008 调试不连贯的术语。 Zbl 1132.68740号 斯特凡·施洛巴赫;黄志生;罗纳德·科内特;范·哈梅伦,弗兰克 20 2007 动态逻辑中的信任和承诺。 Zbl 1025.68519号 简·布罗森;迈赫迪·达斯塔尼;黄志生;范德托雷,利安德特 2 2002 动态义务层次结构。 Zbl 0940.03006号 约翰·贝尔;黄志生 1 1999 逻辑解构的个案研究:J.D.汤普森的形式化行动中的组织在多智能体动作逻辑中。 Zbl 0876.03016号 迈克尔·马苏奇;黄志生 2 1996 所有引用出版物 前5名被引用出版物 全部的 前5名88位作者引用 4 Wielemaker,简 三 托比恩拉格 三 帕特里克·罗德勒 2 萨尔瓦多阿布雷乌 2 Franz巴德 2 曼努埃尔五世(Manuel V.Hermenegildo)。 2 黄志生 2 叶夫根尼·哈萨克斯坦 2 弗朗西斯科·克里格尔 2 何塞·弗朗西斯科·莫拉莱斯 2 拉斐尔·佩尼亚洛萨 1 萨默尔·阿卜杜拉。 1 马克·艾吉尔 1 尼科斯·安杰洛普洛斯 1 阿拉瓦尼斯·提奥凡尼斯一世。 1 阿里夫·M·法里德 1 贾马尔·阿蒂夫 1 鲁米尼·巴布 1 迈克尔·贝茨 1 塞勒姆·本费哈特 1 伊莎贝尔·布洛赫 1 扎伊德·布劳伊 1 格哈德·布鲁卡 1 布朗,马克·A。 1 安德烈亚·布拉克 1 米盖尔·卡列霍 1 曼纽尔·卡罗 1 郑戈登 1 乔瓦尼·西亚托 1 维托尔·桑托斯·科斯塔 1 Cuenca Grau,贝尔纳多 1 维罗妮卡·达尔 1 梅迪·达斯坦尼(Mehdi M.Dastani)。 1 巴特·德梅恩 1 丹尼尔·迪亚兹 1 乌尔·恩德里斯 1 高金凤 1 乔治·贾马斯 1 雷米·海默尔 1 克里斯蒂安·哈拉斯切克·维纳 1 塞琳·哈德洛特 1 Joris Hulstijn 1 斯兹蒙·克拉曼 1 鲍里斯·科涅夫 1 帕特里克·科普曼 1 菲利普·科纳 1 罗伯特·A·科瓦尔斯基。 1 马库斯·科洛奇 1 布莱恩·库利克。 1 Michael Leuschel先生 1 卡斯滕·卢茨 1 若昂·席尔瓦侯爵。 1 迈克尔·马苏奇 1 卡洛斯·门西娅 1 Gheorghe的Moroșanu 1 格列戈兹·奈勒帕(Grzegorz J.Nalepa)。 1 阮富兰 1 阿德里安·努拉迪安西亚 1 安娜·奥扎基 1 奥德尔·帕皮尼 1 洛斯洛斯·波洛斯 1 朱塞佩·普里米埃罗 1 桂林齐 1 卡琳娜·拉米雷斯-阿玛罗 1 法布里齐奥·里古齐 1 法里巴·萨德里 1 斯特凡·施洛巴赫 1 汤姆·施里杰弗斯 1 巴尔·塞尔特卡亚 1 弗朗蒂舍克·西蒙切克 1 马特乌斯·拉因斯基 1 Suntisrivaraporn、Boontawee 1 马里亚罗萨利亚·塔迪奥 1 马蒂亚斯·蒂姆 1 罗德尼·托波尔。 1 马库斯·特里斯卡 1 马库斯·乌布利希特 1 范德托雷,Leendert W.N。 1 王克文 1 王哲 1 弗兰克·沃尔特 1 吴海涛 1 埃里克·沃贝尔 1 杨芳凯 1 姚如仙 1 张永涛 1 张瑜 1 朱玉祥 全部的 前5名13篇连载文章中引用 7 人工智能 6 逻辑程序设计理论与实践 4 自动推理杂志 2 应用逻辑杂志 1 国际近似推理杂志 1 欧洲运筹学杂志 1 数学与人工智能年鉴 1 计算与数学组织理论 1 机器学习研究杂志(JMLR) 1 ACM计算逻辑事务 1 地中海数学杂志 1 数学生物科学与工程 1 希腊数学学会公报 全部的 前5名在7个字段中引用 30 计算机科学(68至XX) 6 数学逻辑和基础(03-XX) 2 生物学和其他自然科学(92-XX) 1 偏微分方程(35-XX) 1 统计学(62-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文