编辑配置文件（在新选项卡中打开） 井上，胜美 合著者距离 作者ID： inoue.katsumi岛 发布日期： 井上，胜美；井上，K。 已编制索引的文档： 118出版物自1960年以来 6作为编辑的贡献·1进一步贡献 合著者： 74合著者具有101份联合出版物 1171合著作者 全部的 前5名合著者 17 单作者的 35 恰基萨卡马 13 希德托莫·纳贝希玛 11 托尼·里贝罗 10 井沼，Koji 8 穆苏诺里·班巴拉 8 苏，武藏 8 铃木田村 7 摩根·马根 6 Olivier F.鲁克斯。 4 马克西姆·福舍特 4 Ohta，Yoshihiko先生 4 大辅佐藤 4 托尔斯滕·绍布（Torsten H.Schaub）。 三 吉米·井川庆（Yoshimi Egawa） 三 长谷川龙子 三 奥利弗·雷 2 托赫鲁·阿卡扎 2 阿莱尼·吉勒姆 2 埃姆纳·本·阿卜杜拉 2 高文伯恩 2 安德烈·顿塞斯库 2 神奈川，Shuya 2 川崎敬一 2 宫崎骏小村 2 大卫·马丁内斯 2 莫里斯·尼瓦特 2 Hayato Ohwada 2 冈本、腾达 2 尼古拉斯·施温德 2 卡梅·托拉斯 2 Wakaki、Toshiko 2 王，Patrick Shen-Pei 2 山本明弘 2 吉隆山本 2 山下幸郎 1 阿拉德耶夫，V.Z。 1 萨达特·安瓦尔 1 阿基奥·阿里莫托 1 Hideyuki Bando 1 奇塔·R·巴拉尔。 1 多梅尼科·博尔扎奇埃罗 1 曹永志 1 柴新伟 1 弗朗西斯科·切妮斯塔 1 多梅尼科·科尔皮 1 Davis，Larry S。 1 托马斯·艾特 1 路易斯·法利尼亚斯·德尔·塞罗 1 费斯勒，G。 1 克莉丝汀·弗罗伊德沃 1 古川县 1 高坤 1 马丁·格布瑟 1 乌尔里希戈尔泽 1 迈克尔·戈塞尔 1 羽田、广松 1 海因里希，罗兰 1 尼古拉·赫夫特 1 阿明·海默林 1 Masakazu Ishihata 1 托比亚斯·卡明斯基 1 广岛市Kaneyuki 1 恩德雷·卡托纳 1 本杰明·考夫曼 1 莱因哈德·克莱特 1 小林，宜国 1 松中幸树 1 尼古拉斯·莫代特 1 久雄森雅 1 A.Nasraoui。 1 卡苏米·尼塔 1 马克斯·奥斯特罗斯基 1 洛伊奇·波列维 1 安德烈亚·皮亚诺 1 约瑟夫·佩希特 1 阮元国 1 勃艮第叛军 1 阿兹里尔·罗森菲尔德 1 阿德里安·罗格尼 1 亚历山德拉·拉索。 1 Yasumasa Saisho 1 斋藤、光明 1 艾哈迈德·萨乌迪 1 吉藤佐香 1 肯·佐藤 1 Seutter，F。 1 丹尼尔·赛克斯 1 秋弘武村 1 蒂勒特，P。 1 弗朗西丝卡·托尼 1 索菲·托雷特 1 上田诚司 1 马库斯·沃尔克 1 伊普克·瓦奇斯莫斯 1 王汉平 1 菲利普·旺科 1 沃尔克·韦德勒 1 马蒂亚斯·维塞 全部的 前5名系列 12 机器学习 4 逻辑程序设计杂志 4 逻辑程序设计理论与实践 三 日本数学杂志。第二系列 三 数学与人工智能年鉴 三 IGPL逻辑杂志 三 RIMS Kokyuroku公司 2 人工智能 2 金泽大学的科学报告 2 逻辑与计算杂志 2 应用逻辑杂志 2 计算机科学课堂讲稿 2 机器感知与人工智能系列 1 离散应用数学 1 组合型阿尔斯 1 多元分析杂志 1 理论计算机科学 1 新一代计算 1 自动推理杂志 1 SIAM离散数学杂志 1 人工智能通信 1 运筹学年鉴 1 SUT数学杂志 1 离散和连续动力系统 1 计算机基础理论 1 机器学习研究杂志（JMLR） 1 ACM计算逻辑汇刊 1 算法 全部的 前5名领域 98 计算机科学（68至XX） 17 数学逻辑和基础（03-XX） 11 生物学和其他自然科学（92-XX） 8 复变量的函数（30年XX月） 6 群论与推广（20-XX） 5 总体主题；集合（00-XX） 5 组合数学（05-XX） 三 概率论与随机过程（60-XX） 三 统计学（62-XX） 三 数值分析（65-XX） 2 动力系统和遍历理论（37至XX） 2 运筹学、数学规划（90-XX） 1 阶、格、有序代数结构（06-XX） 1 拓扑群、李群（22日至XX日） 1 偏微分方程（35-XX） 1 流形和细胞复合体（57至XX） 1 系统论；控制（93至XX） 1 数学教育（97-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 84出版物有被引用357中的次237文件 引用人▼ 年份▼ 结果发现的线性分辨率。 Zbl 0805.68105号 井上，胜美 25 1992 否定是头脑中的失败。 Zbl 0905.68030号 井上，胜美；恰基萨卡马 19 1998 扩展析取程序的准一致稳定语义。 Zbl 0827.68070号 恰基萨卡马；井上，胜美 18 1995 析取逻辑程序和演绎数据库语义的另一种方法。 Zbl 0819.68036号 恰基萨卡马；井上，胜美 16 1994 计算知识库更新的诱因框架。 Zbl 1085.68545号 恰基萨卡马；井上，胜美 16 2003 从口译过渡中学习。 Zbl 1319.68054号 井上，胜美；托尼·里贝罗；恰基萨卡马 16 2014 更新下逻辑程序的等效性。 Zbl 1111.68381号 井上，胜美；恰基萨卡马 13 2004 答案集编程作为课程时间表的建模语言。 Zbl 1286.68040号 穆苏诺里·班巴拉；苏，武藏；铃木田村；井上，胜美；托尔斯滕·绍布 12 2013 优先逻辑编程及其在常识推理中的应用。 Zbl 0952.68020号 萨卡马，C。；井上，K。 12 2000 作为结果发现的归纳。 兹比尔1101.68078 井上，胜美 9 2004 勇敢的归纳法：从不完整信息中学习的逻辑框架。 Zbl 1470.68168号 恰基萨卡马；井上，胜美 9 2009 利用外部资源开发答案集编程用于元解释学习。 Zbl 1451.68064号 托比亚斯·卡明斯基；托马斯·艾特；井上，胜美 9 2018 基于有序线性分辨率的结果发现。 Zbl 0745.68095号 井上，胜美 7 1991 一类高斯随机场测度的等价性。 Zbl 0341.60028号 井上，K。 7 1976 诱因逻辑程序的不动点特征。 Zbl 0874.68051号 井上，胜美；恰基萨卡马 7 1996 逻辑程序的归纳等价。 Zbl 1134.68480号 恰基萨卡马；井上，胜美 6 2005 通过诱拐更新扩展逻辑程序。 Zbl 0952.68052号 恰基萨卡马；井上，胜美 6 1999 连通图的半径。 Zbl 0977.05040号 吉美Egawa；井上，胜美 6 1999 关于非霍恩魔法集与相关性测试之间的关系。 Zbl 0926.03008号 Ohta，Yoshihiko先生；井上，胜美；长谷川龙子 6 1998 SOLAR：用于结果发现的自动推断系统。 Zbl 1205.68362号 希德托莫·纳贝希玛；井沼，Koji；井上，胜美；奥利弗·雷 6 2010 一种基于SAT的二维条形装箱问题求解方法。 Zbl 1214.68374号 苏，武藏；井上，胜美；铃木田村；穆苏诺里·班巴拉；希德托莫·纳贝希玛 6 2010 通过元水平诱拐完成因果网络。 兹比尔1273.68375 井上，胜美；安德烈·顿塞斯库；希德托莫·纳贝希玛 6 2013 通过适用于CDCL SAT求解器的高效SAT编码生成组合测试用例。 Zbl 1306.68182号 穆苏诺里·班巴拉；松中幸树；铃木田村；井上，胜美 5 2010 针对具有外生效应的计划的关系强化学习。 Zbl 1434.68432号 大卫·马丁内斯；阿莱尼·吉勒姆；托尼·里贝罗；井上，胜美；卡梅·托拉斯 5 2017 完整子句理论的模态定向逆蕴涵。 Zbl 1136.68502号 奥利弗·雷；井上，胜美 5 2008 通过元级诱拐发现规则。 Zbl 1286.68380号 井上，胜美；Koichi Furukawa；小林，宜国；希德托莫·纳贝希玛 5 2010 逻辑程序中的假设推理。 Zbl 0803.68013号 井上，胜美 4 1994 限定条件下的问答。 Zbl 0742.68053号 尼古拉·赫夫特；井上，胜美；大卫·普尔 4 1991 将否定作为失败嵌入到模型生成定理证明程序中。 Zbl 0925.68417号 井上，胜美；宫崎骏小村；长谷川龙子 4 1992 非单调域中的概率规则学习。 Zbl 1348.68188号 多梅尼科·科尔皮；丹尼尔·赛克斯；井上，胜美；亚历山德拉·拉索 4 2011 在一般选言程序中嵌入限定理论。 Zbl 1496.68323号 恰基萨卡马；井上，胜美 4 1995 入职限制政策。 Zbl 1105.68380号 井上，胜美；斋藤春香 三 2004 通过规则推理归纳出因果律。 Zbl 1134.68472号 井上，胜美；Hideyuki Bando；希德托莫·纳贝希玛 三 2005 诱导、诱拐和结果发现。 Zbl 1007.68505号 井上，胜美 三 2001 自动绑架。 Zbl 1012.68189号 井上，胜美 三 2002 逻辑程序的振荡行为。 Zbl 1357.68036号 井上，胜美；恰基萨卡马 三 2012 SOLAR：用于高级推理的结果发现系统。 兹比尔1274.68412 希德托莫·纳贝希玛；井沼，Koji；井上，胜美 三 2003 通过最小模型生成确定代谢途径中的必要反应。 Zbl 1211.92025号 苏，武藏；井上，胜美 三 2010 基于上下元解释的前向假设推理机。 Zbl 0862.68096号 Ohta，Yoshihiko先生；井上，胜美 三 1992 具有同步、异步和通用语义的学习动态。 Zbl 1455.68179号 托尼·里贝罗；马克西姆·福舍特；摩根·马根；奥利维尔·鲁克斯；井上，胜美 三 2018 连续域上状态转换的归纳学习。 Zbl 1455.68180号 托尼·里贝罗；索菲·托雷特；马克西姆·福舍特；摩根·马根；多梅尼科·博尔扎奇埃罗；弗朗西斯科·切妮斯塔；奥利维尔·鲁克斯；井上，胜美 三 2018 茶匙：使用答案集编程解决基于课程的课程时间表问题。 Zbl 1434.90049号 穆苏诺里·班巴拉；井上，胜美；本杰明·考夫曼；冈本、腾达；托尔斯滕·绍布；苏，武藏；铃木田村；菲利普·旺科 三 2019 阿斯巴甜：用答案集编程解决约束满足问题。 Zbl 1467.68160号 穆苏诺里·班巴拉；马丁·格布瑟；井上，胜美；马克斯·奥斯特罗斯基；安德烈亚·皮亚诺；托尔斯滕·绍布；苏，武藏；铃木田村；马蒂亚斯·维塞 三 2015 学习由逻辑程序表示的动态系统的任何无记忆离散语义。 Zbl 07624282号 托尼·里贝罗；马克西姆·福舍特；摩根·马根；井上，胜美 2 2022 将优先限定编译为答案集编程。 Zbl 1104.68392号 Wakaki、Toshiko；井上，胜美 2 2004 最小答案计算和SOL。 Zbl 1013.68210号 井沼，Koji；井上，胜美 2 2002 通过推测计算进行有效的SAT规划。 Zbl 1032.68751号 希德托莫·纳贝希玛；井沼，Koji；井上，胜美 2 2002 生物系统的逻辑建模。 Zbl 1294.92001年 2 2014 诱拐和诱导中的对等问题。 Zbl 1176.68165号 恰基萨卡马；井上，胜美 2 2009 勇敢的诱导。 Zbl 1156.68549号 恰基萨卡马；井上，胜美 2 2008 在向量空间中使用部分求值的逻辑编程的一种有效推理方法。 兹伯利07398785 阮，Hien D。；恰基萨卡马；大辅佐藤；井上，胜美 2 2021 从解释转换中学习概率动作模型。 Zbl 1407.68407号 大卫·马丁内斯；托尼·里贝罗；井上，胜美；阿莱尼·吉勒姆；卡梅·托拉斯 2 2015 逻辑程序修正作为命题修正的扩展的特征。 Zbl 1379.68302号 尼古拉斯·施温德；井上，胜美 2 2016 使用可微逻辑编程语义学习解释转换。 Zbl 07510308号 高坤；王汉平；曹永志；井上，胜美 1 2022 一阶逻辑中的外推等价。 Zbl 1108.03012号 井上，胜美；恰基萨卡马 1 2006 作用于上半空间的离散Moebius群的Poincaré级数。 兹比尔0794.30033 井上，胜美 1 1992 外推逻辑程序设计和析取逻辑程序设计：它们之间的关系和可转移性。 Zbl 0957.68015号 恰基萨卡马；井上，胜美 1 2000 命题可满足性的竞争与合作方法。 兹比尔1142.68036 井上，胜美；苏，武藏；上田诚司；吉藤佐香；穆苏诺里·班巴拉；铃木田村 1 2006 在多智能体环境中通过结果发现进行推测性计算。 Zbl 1059.68129号 井上，胜美；井沼，Koji 1 2004 延伸诱拐的简单描述。 Zbl 0983.68538号 井上，胜美 1 2000 学习诱因和非单调逻辑程序。 Zbl 1032.68690号 井上，胜美；羽田，广正 1 2000 选言解释。 Zbl 1045.68111号 井上，胜美；恰基萨卡马 1 2002 统计外展的基于约束的概率建模。 Zbl 1237.62006年 大辅佐藤；Masakazu Ishihata；井上，胜美 1 2011 使用关联矩阵通过答案集编程生成事件序列测试用例。 Zbl 1281.68076号 穆苏诺里·班巴拉；铃木田村；井上，胜美 1 2012 探索答案集程序之间的关系。 Zbl 1326.68057号 井上，胜美；恰基萨卡马 1 2011 通过元水平诱因假设因果网络具有积极和消极影响。 Zbl 1329.68217号 井上，胜美；安德烈·顿塞斯库；希德托莫·纳贝希玛 1 2011 在答案集编程中对Petri网的高级扩展进行编码。 Zbl 1405.68040号 萨达特安瓦尔；奇塔·巴拉尔；井上，胜美 1 2013 逻辑程序修改的特征定理。 Zbl 1407.68477号 尼古拉斯·施温德；井上，胜美 1 2013 使用基于ASP的方法分析路径。 Zbl 1349.92056号 奥利弗·雷；苏，武藏；井上，胜美 1 2012 关于几何有限Kleinian群的极限集。 Zbl 0514.30034号 托赫鲁·阿卡扎；井上，胜美 1 1982 3连通图的半径。 Zbl 0890.05025号 井上，胜美 1 1996 排序论证框架。 Zbl 07170125号 恰基萨卡马；井上，胜美 1 2019 将自上而下的推理纳入自下而上定理证明的非天生魔法集。 Zbl 1430.68410号 长谷川龙子；井上，胜美；Ohta，Yoshihiko先生；宫崎骏小村 1 1997 从时间序列数据建模生物调控网络中的延迟动力学。 Zbl 1461.62184号 埃姆纳·本·阿卜杜拉；托尼·里贝罗；摩根·马根；奥利维尔·鲁克斯；井上，胜美 1 2017 从时间序列数据推断延迟生物调控网络。 Zbl 1383.92030年 埃姆纳·本·阿卜杜拉；托尼·里贝罗；摩根·马根；奥利维尔·鲁克斯；井上，胜美 1 2016 从过程碰撞模型中识别生物调控网络。 Zbl 1314.92062号 马克西姆·福舍特；洛伊奇·波列维；井上，胜美；摩根·马根；奥利维尔·鲁克斯 1 2015 绑架、不可预测性和伊甸园。 Zbl 1320.68172号 恰基萨卡马；井上，胜美 1 2013 连通图中由可收缩边组成的非分离诱导圈。 兹比尔1075.05554 吉米·井川庆（Yoshimi Egawa）；井上，胜美；川崎敬一 1 2002 几何有限自由Kleinian群的极限集。 Zbl 0537.30035号 托赫鲁·阿卡扎；井上，胜美 1 1984 答案集编程中的协调。 Zbl 1367.68040号 恰基萨卡马；井上，胜美 1 2008 通过基于逻辑的假设发现完成SBGN-AF网络。 Zbl 1402.92209号 吉隆山本；阿德里安·罗格尼；希德托莫·纳贝希玛；井上，胜美；久雄森雅；克莉丝汀·弗罗伊德沃；井沼，Koji 1 2014 离散Möbius群的Margulis分解和平移长度。 Zbl 0996.57506号 井上，胜美 1 1994 答案集编程中的一般关系。 兹比尔1131.68379 井上，胜美；恰基萨卡马 1 2006 使用稀疏表示增强逻辑程序的线性代数计算。 Zbl 07455718号 阮元国；井上，胜美；恰基萨卡马 1 2020 学习逻辑程序表示的动态系统的任何无记忆离散语义。 Zbl 07624282号 托尼·里贝罗；马克西姆·福舍特；摩根·马根；井上，胜美 2 2022 使用可微逻辑编程语义学习解释转换。 Zbl 07510308号 高坤；王汉平；曹永志；井上，胜美 1 2022 在向量空间中使用部分求值的逻辑编程的一种有效推理方法。 Zbl 07398785号 阮，Hien D。；恰基萨卡马；大辅佐藤；井上，胜美 2 2021 使用稀疏表示增强逻辑程序的线性代数计算。 兹比尔07455718 阮元国；井上，胜美；恰基萨卡马 1 2020 茶匙：使用答案集编程解决基于课程的课程时间表问题。 Zbl 1434.90049号 穆苏诺里·班巴拉；井上，胜美；本杰明·考夫曼；冈本、腾达；托尔斯滕·绍布；苏，武藏；铃木田村；菲利普·旺科 三 2019 排列论证框架。 Zbl 07170125号 恰基萨卡马；井上，胜美 1 2019 利用外部资源开发答案集编程用于元解释学习。 Zbl 1451.68064号 托比亚斯·卡明斯基；托马斯·艾特；井上，胜美 9 2018 具有同步、异步和通用语义的学习动态。 Zbl 1455.68179号 托尼·里贝罗；马克西姆·福舍特；摩根·马根；奥利维尔·鲁克斯；井上，胜美 三 2018 连续域上状态转换的归纳学习。 Zbl 1455.68180号 托尼·里贝罗；索菲·托雷特；马克西姆·福舍特；摩根·马根；多梅尼科·博尔扎奇埃罗；弗朗西斯科·切妮斯塔；奥利维尔·鲁克斯；井上，胜美 三 2018 针对具有外生效应的计划的关系强化学习。 Zbl 1434.68432号 大卫·马丁内斯；阿莱尼·吉勒姆；托尼·里贝罗；井上，胜美；卡梅·托拉斯 5 2017 从时间序列数据建模生物调控网络中的延迟动力学。 Zbl 1461.62184号 埃姆纳·本·阿卜杜拉；托尼·里贝罗；摩根·马根；奥利维尔·鲁克斯；井上，胜美 1 2017 逻辑程序修正作为命题修正的扩展的特征。 兹比尔1379.68302 尼古拉斯·施温德；井上，胜美 2 2016 从时间序列数据推断延迟生物调控网络。 Zbl 1383.92030年 埃姆纳·本·阿卜杜拉；托尼·里贝罗；摩根·马根；奥利维尔·鲁克斯；井上，胜美 1 2016 阿斯巴甜：用答案集编程解决约束满足问题。 Zbl 1467.68160号 穆苏诺里·班巴拉；马丁·格布瑟；井上，胜美；马克斯·奥斯特罗斯基；安德烈亚·皮亚诺；托尔斯滕·绍布；苏，武藏；铃木田村；马蒂亚斯·维塞 三 2015 从解释转换中学习概率动作模型。 Zbl 1407.68407号 大卫·马丁内斯；托尼·里贝罗；井上，胜美；阿莱尼·吉勒姆；卡梅·托拉斯 2 2015 从过程碰撞模型中识别生物调控网络。 Zbl 1314.92062号 马克西姆·福舍特；洛伊奇·波列维；井上，胜美；摩根·马根；奥利维尔·鲁克斯 1 2015 从口译过渡中学习。 Zbl 1319.68054号 井上，胜美；托尼·里贝罗；恰基萨卡马 16 2014 生物系统的逻辑建模。 Zbl 1294.92001年 2 2014 通过基于逻辑的假设发现完成SBGN-AF网络。 Zbl 1402.92209号 吉隆山本；阿德里安·罗格尼；希德托莫·纳贝希玛；井上，胜美；久保森也；克莉丝汀·弗罗伊德沃；井沼，Koji 1 2014 答案集编程作为课程时间表的建模语言。 Zbl 1286.68040号 穆苏诺里·班巴拉；苏，武藏；铃木田村；井上，胜美；托尔斯滕·绍布 12 2013 通过元水平诱拐完成因果网络。 Zbl 1273.68375号 井上，胜美；安德烈·顿塞斯库；希德托莫·纳贝希玛 6 2013 在答案集编程中对Petri网的高级扩展进行编码。 Zbl 1405.68040号 萨达特·安瓦尔；奇塔·巴拉尔；井上，胜美 1 2013 逻辑程序修改的特征定理。 Zbl 1407.68477号 尼古拉斯·施温德；井上，胜美 1 2013 绑架、不可预测性和伊甸园。 Zbl 1320.68172号 恰基萨卡马；井上，胜美 1 2013 逻辑程序的振荡行为。 Zbl 1357.68036号 井上，胜美；恰基萨卡马 三 2012 使用关联矩阵通过答案集编程生成事件序列测试用例。 Zbl 1281.68076号 穆苏诺里·班巴拉；铃木田村；井上，胜美 1 2012 使用基于ASP的方法分析路径。 Zbl 1349.92056号 奥利弗·雷；苏，武藏；井上，胜美 1 2012 非单调域中的概率规则学习。 Zbl 1348.68188号 多梅尼科·科尔皮；丹尼尔·赛克斯；井上，胜美；亚历山德拉·拉索 4 2011 统计外展的基于约束的概率建模。 Zbl 1237.62006年 大辅佐藤；Masakazu Ishihata；井上，胜美 1 2011 探索答案集程序之间的关系。 Zbl 1326.68057号 井上，胜美；恰基萨卡马 1 2011 通过元水平诱因假设因果网络具有积极和消极影响。 Zbl 1329.68217号 井上，胜美；安德烈·顿塞斯库；希德托莫·纳贝希玛 1 2011 SOLAR：用于结果发现的自动推断系统。 Zbl 1205.68362号 希德托莫·纳贝希玛；井沼，Koji；井上，胜美；奥利弗·雷 6 2010 一种基于SAT的二维条形装箱问题求解方法。 Zbl 1214.68374号 苏，武藏；井上，胜美；铃木田村；穆苏诺里·班巴拉；希德托莫·纳贝希玛 6 2010 通过适用于CDCL SAT解算器的高效SAT编码生成组合测试用例。 Zbl 1306.68182号 板巴拉，武都；松中幸树；铃木田村；井上，胜美 5 2010 通过元级诱拐发现规则。 Zbl 1286.68380号 井上，胜美；Koichi Furukawa；小林，宜国；希德托莫·纳贝希玛 5 2010 通过最小模型生成确定代谢途径中的必要反应。 Zbl 1211.92025号 苏，武藏；井上，胜美 三 2010 勇敢的归纳法：从不完整信息中学习的逻辑框架。 兹比尔1470.68168 恰基萨卡马；井上，胜美 9 2009 诱拐和诱导中的对等问题。 Zbl 1176.68165号 恰基萨卡马；井上，胜美 2 2009 完整子句理论的模态定向逆蕴涵。 Zbl 1136.68502号 奥利弗·雷；井上，胜美 5 2008 勇敢的诱导。 Zbl 1156.68549号 恰基萨卡马；井上，胜美 2 2008 答案集编程中的协调。 Zbl 1367.68040号 恰基萨卡马；井上，胜美 1 2008 一阶逻辑中的外推等价。 Zbl 1108.03012号 井上，胜美；恰基萨卡马 1 2006 命题可满足性的竞争与合作方法。 兹比尔1142.68036 井上，胜美；苏，武藏；上田诚司；吉藤佐香；板巴拉，武都；铃木田村 1 2006 答案集编程中的一般关系。 Zbl 1131.68379号 井上，胜美；恰基萨卡马 1 2006 逻辑程序的归纳等价。 Zbl 1134.68480号 恰基萨卡马；井上，胜美 6 2005 通过规则推理归纳出因果律。 Zbl 1134.68472号 井上，胜美；Hideyuki Bando；希德托莫·纳贝希玛 三 2005 更新下逻辑程序的等效性。 Zbl 1111.68381号 井上，胜美；恰基萨卡马 13 2004 作为结果发现的归纳。 Zbl 1101.68078号 井上，胜美 9 2004 入职限制政策。 Zbl 1105.68380号 井上，胜美；斋藤、光明 三 2004 将优先级限制编译到答案集编程中。 Zbl 1104.68392号 Wakaki、Toshiko；井上，胜美 2 2004 在多智能体环境中通过结果发现进行推测性计算。 Zbl 1059.68129号 井上，胜美；井沼，Koji 1 2004 计算知识库更新的诱因框架。 Zbl 1085.68545号 恰基萨卡马；井上，胜美 16 2003 SOLAR：用于高级推理的结果发现系统。 Zbl 1274.68412号 希德托莫·纳贝希玛；井沼，Koji；井上，胜美 三 2003 自动绑架。 Zbl 1012.68189号 井上，胜美 三 2002 最小答案计算和SOL。 兹比尔1013.68210 井沼，Koji；井上，胜美 2 2002 通过推测计算进行有效的SAT规划。 Zbl 1032.68751号 希德托莫·纳贝希玛；井沼，Koji；井上，胜美 2 2002 选言解释。 Zbl 1045.68111号 井上，胜美；恰基萨卡马 1 2002 连通图中由可收缩边组成的非分离诱导圈。 Zbl 1075.05554号 吉米·井川庆（Yoshimi Egawa）；井上，胜美；川崎敬一 1 2002 诱导、诱拐和结果发现。 Zbl 1007.68505号 井上，胜美 三 2001 优先逻辑编程及其在常识推理中的应用。 兹比尔0952.68020 萨卡马，C。；井上，K。 12 2000 外推逻辑程序设计和析取逻辑程序设计：它们之间的关系和可转移性。 Zbl 0957.68015号 恰基萨卡马；井上，胜美 1 2000 延伸诱拐的简单描述。 Zbl 0983.68538号 井上，胜美 1 2000 学习诱因和非单调逻辑程序。 Zbl 1032.68690号 井上，胜美；羽田、广松 1 2000 通过诱拐更新扩展逻辑程序。 Zbl 0952.68052号 恰基萨卡马；井上，胜美 6 1999 连通图的半径。 Zbl 0977.05040号 吉米·井川庆（Yoshimi Egawa）；井上，胜美 6 1999 否定是头脑中的失败。 Zbl 0905.68030号 井上，胜美；恰基萨卡马 19 1998 关于非Horn魔术集与相关性测试之间的关系。 Zbl 0926.03008号 Ohta，Yoshihiko先生；井上，胜美；长谷川龙子 6 1998 将自上而下的推理纳入自下而上定理证明的非天生魔法集。 Zbl 1430.68410号 长谷川龙子；井上，胜美；Ohta，Yoshihiko先生；宫崎骏小村 1 1997 诱因逻辑程序的不动点特征。 Zbl 0874.68051号 井上，胜美；恰基萨卡马 7 1996 3连通图的半径。 Zbl 0890.05025号 井上，胜美 1 1996 扩展析取程序的准一致稳定语义。 Zbl 0827.68070号 恰基萨卡马；井上，胜美 18 1995 在一般选言程序中嵌入限定理论。 Zbl 1496.68323号 恰基萨卡马；井上，胜美 4 1995 析取逻辑程序和演绎数据库语义的另一种方法。 Zbl 0819.68036号 恰基萨卡马；井上，胜美 16 1994 逻辑程序中的假设推理。 Zbl 0803.68013号 井上，胜美 4 1994 离散Möbius群的Margulis分解和平移长度。 Zbl 0996.57506号 井上，胜美 1 1994 结果发现的线性分辨率。 Zbl 0805.68105号 井上，胜美 25 1992 将否定作为失败嵌入到模型生成定理证明程序中。 Zbl 0925.68417号 井上，胜美；宫崎骏小村；长谷川龙子 4 1992 基于上下元解释的前向假设推理机。 Zbl 0862.68096号 Ohta，Yoshihiko先生；井上，胜美 三 1992 作用于上半空间的离散Moebius群的Poincaré级数。 Zbl 0794.30033号 井上，胜美 1 1992 基于有序线性分辨率的结果发现。 Zbl 0745.68095号 井上，胜美 7 1991 限定条件下的问答。 Zbl 0742.68053号 尼古拉·赫夫特；井上，胜美；普尔，大卫 4 1991 几何有限自由Kleinian群的极限集。 Zbl 0537.30035号 托赫鲁·阿卡扎；井上，胜美 1 1984 关于几何有限Kleinian群的极限集。 Zbl 0514.30034号 托赫鲁·阿卡扎；井上，胜美 1 1982 一类高斯随机场测度的等价性。 Zbl 0341.60028号 井上，K。 7 1976 所有引用出版物 前5名被引用出版物 全部的 前5名被399位作者引用 29 井上，胜美 15 恰基萨卡马 12 斯特凡·沃尔特兰 11 托尔斯滕·绍布（Torsten H.Schaub）。 10 托马斯·艾特 9 史蒂芬·H·马格尔顿。 8 马丁·格布瑟 7 约昂·莱特 6 乔瓦尼·阿蒙多拉 6 安德鲁·克洛珀 6 托尼·里贝罗 6 弗朗西斯科·里卡 5 布罗达，Krysia B。 5 迈克尔·芬克 5 法律，Mark M。 5 尼古拉·利昂 5 西蒙·穆克文比 5 亚历山德拉·拉索。 5 特鲁什琴斯基，米洛斯奥 4 穆苏诺里·班巴拉 4 鲍姆加特纳 4 罗伯特·德莫洛姆 4 汤米·詹胡宁 4 摩根·马根 4 马丁·斯洛塔 4 塔马多尼·内扎德（Alireza Tamaddoni-Nezhad） 4 汉斯·托姆皮茨 三 格哈德·布鲁卡 三 彼得·丹克尔曼 三 多达罗，胭脂红 三 路易斯·法利尼亚斯·德尔·塞罗 三 里卡多·贡萨阿尔维斯 三 克诺尔，马蒂亚斯 三 Niemelä，Ilkka N.F。 三 马克斯·奥斯特罗斯基 三 奥利弗·雷 三 Olivier F.鲁克斯。 三 斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 三 铃木田村 三 索菲·托雷特 三 菲利普·旺科 三 阿德南·H·叶海亚。 2 何塞·朱利奥·阿尔弗雷斯 2 迈克尔·贝恩（Michael E.Bain）。 2 乔里·博曼森 2 莫里斯·布吕诺格 2 卢西亚诺卡罗普莱斯 2 路易斯·克鲁兹·菲利佩 2 詹姆斯·德尔格兰德。 2 马克·德纳克 2 穆罕默德·科拉尼。 2 埃斯拉·埃尔登 2 沃尔夫冈·费伯 2 马克西姆·福舍特 2 Fundikwa，祝福T。 2 格拉萨·加斯帕 2 乔治·戈特洛布 2 长谷川龙子 2 曼纽尔·伊奥里 2 井沼，Koji 2 罗兰·卡明斯基 2 本杰明·考夫曼 2 库尔·科拉斯 2 Pushmet公司的Kohli 2 宫崎骏小村 2 林殿环 2 唐纳德·洛夫兰。 2 马可·马拉提亚 2 菲利普·马修 2 马佐罗泽、贾亚·珀西瓦尔 2 保罗·安德雷·蒙尼 2 罗尔夫·莫雷尔 2 希德托莫·纳贝希玛 2 伊莎贝尔·努斯 2 纳吉·奥贝德 2 Ohta，Yoshihiko先生 2 路易吉·帕洛波利 2 Patsantzis，S。 2 恩里科·蓬泰利 2 哈维尔·罗梅罗 2 大辅佐藤 2 安德烈亚·谢尔夫 2 康斯坦丁·舍科提欣 2 史蒂文·肖卡特 2 马雷克·塞尔戈特。 2 沈军 2 苏，武藏 2 儿子Tran Cao 2 阿什温·斯里尼瓦桑 2 Daria A.Stepanova。 2 Stickel，Mark E。 2 何塞·托雷斯-希梅内兹 2 德克·维尔梅尔 2 王斌 2 山本明弘 2 你，嘉慧 2 张书涛 2 张志正 2 埃斯特·赞帕诺 1 Michael Abseher先生 …还有299位作者 全部的 前5名44篇连载文章中引用 35 人工智能 27 机器学习 24 逻辑程序设计理论与实践 13 数学与人工智能年鉴 11 理论计算机科学 7 应用非经典逻辑杂志 5 应用逻辑杂志 4 新一代计算 4 自动推理杂志 4 ACM计算逻辑汇刊 三 计算机与运筹学 三 国际近似推理杂志 三 约束条件 2 离散数学 2 Studia Logica公司 2 日本数学杂志。第二系列 2 国际智能系统杂志 2 顶部 1 印度纯粹与应用数学杂志 1 信息处理信件 1 数学生物科学 1 应用数学与计算 1 组合理论杂志。B系列 1 计算机与系统科学杂志 1 图论杂志 1 运筹学 1 Quaestions数学 1 合成 1 信息与计算 1 运筹学年鉴 1 欧洲运筹学杂志 1 ZOR（缩放）。Zeitschrift für运筹学 1 系统设计中的形式化方法 1 组合设计杂志 1 人工智能研究杂志 1 美国计算机学会模型和计算机仿真汇刊 1 托波伊 1 机器学习研究杂志（JMLR） 1 计算方法与函数论 1 计算机科学中的逻辑方法 1 离散数学、算法和应用 1 算法 1 非洲Matematika 1 Logicheskie Issledovaniya逻辑 全部的 前5名16个领域引用 206 计算机科学（68至XX） 38 数学逻辑和基础（03-XX） 13 生物学和其他自然科学（92-XX） 11 组合数学（05-XX） 11 运筹学、数学规划（90-XX） 三 统计学（62-XX） 2 复变量的函数（30年XX月） 1 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 阶、格、有序代数结构（06-XX） 1 代数几何（14-XX） 1 动力系统和遍历理论（37至XX） 1 凸和离散几何（52至XX） 1 微分几何（53至XX） 1 数值分析（65-XX） 1 系统论；控制（93至XX） 按年份列出的引文