编辑配置文件（在新选项卡中打开） 井上，Katsumi 合著者距离 作者ID： inoue.katsumi岛 发布日期： 井上，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 Völker，马库斯 1 伊普克·瓦奇斯莫斯 1 王汉平 1 菲利普·万科 1 沃尔克·韦德勒 1 马蒂亚斯·维塞 全部的 前5名系列 12 机器学习 4 逻辑编程杂志 4 逻辑程序设计理论与实践 三 日本数学杂志。第二系列 三 数学与人工智能年鉴 三 IGPL逻辑期刊 三 RIMS Kokyuroku公司 2 人工智能 2 金泽大学科学报告 2 逻辑与计算杂志 2 应用逻辑杂志 2 计算机科学讲义 2 机器感知与人工智能系列 1 离散应用数学 1 Ars Combinatoria公司 1 多元分析杂志 1 理论计算机科学 1 新一代计算 1 自动推理杂志 1 SIAM离散数学杂志 1 AI通信 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文件 引用人▼ 年份▼ 结果发现的线性分辨率。 兹比尔0805.68105 井上，Katsumi 25 1992 否定是头脑中的失败。 Zbl 0905.68030号 井上，Katsumi;恰基萨卡马 19 1998 扩展析取程序的准一致稳定语义。 Zbl 0827.68070号 恰基萨卡马;井上，Katsumi 18 1995 析取逻辑程序和演绎数据库语义的另一种方法。 Zbl 0819.68036号 恰基萨卡马;井上，Katsumi 16 1994 计算知识库更新的诱因框架。 Zbl 1085.68545号 恰基萨卡马;井上，Katsumi 16 2003 从口译过渡中学习。 Zbl 1319.68054号 井上，Katsumi;托尼·里贝罗;千木坂间 16 2014 更新下逻辑程序的等效性。 Zbl 1111.68381号 井上，Katsumi;恰基萨卡马 13 2004 优先逻辑编程及其在常识推理中的应用。 Zbl 0952.68020号 萨卡马，C。;井上，K。 12 2000 答案集编程作为课程时间表的建模语言。 Zbl 1286.68040号 穆苏诺里·班巴拉;苏，武藏;田村直之;井上，Katsumi;托尔斯滕·绍布 12 2013 勇敢的归纳法：从不完整信息中学习的逻辑框架。 Zbl 1470.68168号 恰基萨卡马;井上，Katsumi 9 2009 利用外部资源开发答案集编程用于元解释学习。 Zbl 1451.68064号 托比亚斯·卡明斯基;托马斯·艾特;井上，Katsumi 9 2018 作为结果发现的归纳。 Zbl 1101.68078号 井上，Katsumi 9 2004 基于有序线性分辨率的结果发现。 Zbl 0745.68095号 井上，Katsumi 7 1991 一类高斯随机场测度的等价性。 Zbl 0341.60028号 井上，K。 7 1976 溯因逻辑程序的不动点特征。 Zbl 0874.68051号 井上，Katsumi;恰基萨卡马 7 1996 关于非霍恩魔法集与相关性测试之间的关系。 Zbl 0926.03008号 Ohta，Yoshihiko先生;井上，Katsumi;长谷川龙子 6 1998 连通图的半径。 Zbl 0977.05040号 吉米·井川庆（Yoshimi Egawa）;井上，Katsumi 6 1999 一种基于SAT的二维条形装箱问题求解方法。 Zbl 1214.68374号 苏，武藏;井上，Katsumi;田村直之;穆苏诺里·班巴拉;希德托莫·纳贝希玛 6 2010 SOLAR：用于结果发现的自动推断系统。 Zbl 1205.68362号 希德托莫·纳贝希玛;井沼，Koji;井上，Katsumi;奥利弗·雷 6 2010 通过元水平诱拐完成因果网络。 兹比尔1273.68375 井上，Katsumi;安德烈·顿塞斯库;希德托莫·纳贝希玛 6 2013 逻辑程序的归纳等价。 Zbl 1134.68480号 恰基萨卡马;井上，Katsumi 6 2005 通过诱拐更新扩展逻辑程序。 Zbl 0952.68052号 恰基萨卡马;井上，Katsumi 6 1999 通过元级诱拐发现规则。 Zbl 1286.68380号 井上，Katsumi;Koichi Furukawa;小林，宜国;希德托莫·纳贝希玛 5 2010 通过适用于CDCL SAT求解器的高效SAT编码生成组合测试用例。 Zbl 1306.68182号 穆苏诺里·班巴拉;松中幸树;田村直之;井上，Katsumi 5 2010 针对具有外生效应的规划的关系强化学习。 兹比尔1434.68432 大卫·马丁内斯;阿莱尼·吉勒姆;托尼·里贝罗;井上，Katsumi;卡梅·托拉斯 5 2017 完整子句理论的模态定向逆蕴涵。 Zbl 1136.68502号 奥利弗·雷;井上，Katsumi 5 2008 限定条件下的问答。 兹比尔0742.68053 尼古拉·赫夫特;井上，Katsumi;大卫·普尔 4 1991 逻辑程序中的假设推理。 Zbl 0803.68013号 井上，Katsumi 4 1994 非单调域中的概率规则学习。 Zbl 1348.68188号 多梅尼科·科尔皮;丹尼尔·赛克斯;井上，Katsumi;亚历山德拉·拉索 4 2011 在一般选言程序中嵌入限定理论。 Zbl 1496.68323号 恰基萨卡马;井上，Katsumi 4 1995 将否定作为失败嵌入到模型生成定理证明程序中。 Zbl 0925.68417号 井上，Katsumi;宫崎骏小村;长谷川龙子 4 1992 具有同步、异步和通用语义的学习动态。 Zbl 1455.68179号 托尼·里贝罗;马克西姆·福尔切特;摩根·马根;奥利维尔·鲁克斯;井上，Katsumi 三 2018 连续域上状态转换的归纳学习。 Zbl 1455.68180号 托尼·里贝罗;索菲·托雷特;马克西姆·福舍特;摩根·马根;多梅尼科·博尔扎奇埃罗;弗朗西斯科·切妮斯塔;奥利维尔·鲁克斯;井上，Katsumi 三 2018 通过最小模型生成确定代谢途径中的必要反应。 Zbl 1211.92025号 苏，武藏;井上，Katsumi 三 2010 SOLAR：用于高级推理的结果发现系统。 Zbl 1274.68412号 希德托莫·纳贝希玛;井沼，Koji;井上，Katsumi 三 2003 基于上下元解释的前向假设推理机。 Zbl 0862.68096号 Ohta，Yoshihiko先生;井上，Katsumi 三 1992 茶匙：使用答案集编程解决基于课程的课程时间表问题。 Zbl 1434.90049号 穆苏诺里·班巴拉;井上，Katsumi;本杰明·考夫曼;滕达Okimoto;托尔斯滕·绍布;苏，武藏;田村直之;菲利普·万科 三 2019 自动绑架。 Zbl 1012.68189号 井上，Katsumi 三 2002 阿斯巴甜：用答案集编程解决约束满足问题。 Zbl 1467.68160号 穆苏诺里·班巴拉;马丁·格布瑟;井上，Katsumi;马克斯·奥斯特罗斯基;安德烈亚·皮亚诺;托尔斯滕·绍布;苏，武藏;田村直之;马蒂亚斯·维塞 三 2015 入职说明政策。 Zbl 1105.68380号 井上，Katsumi;斋藤、光明 三 2004 通过规则推理归纳出因果律。 Zbl 1134.68472号 井上，Katsumi;Hideyuki Bando;希德托莫·纳贝希玛 三 2005 诱导、诱拐和结果发现。 Zbl 1007.68505号 井上，Katsumi 三 2001 逻辑程序的振荡行为。 Zbl 1357.68036号 井上，Katsumi;恰基萨卡马 三 2012 诱拐和诱导中的对等问题。 Zbl 1176.68165号 恰基萨卡马;井上，Katsumi 2 2009 将优先限定编译为答案集编程。 兹比尔1104.68392 Wakaki、Toshiko;井上，Katsumi 2 2004 在向量空间中使用部分求值的逻辑编程的一种有效推理方法。 Zbl 07398785号 阮，Hien D。;恰基萨卡马;大辅佐藤;井上，Katsumi 2 2021 逻辑程序修正作为命题修正的扩展的特征。 Zbl 1379.68302号 尼古拉斯·施温德;井上，Katsumi 2 2016 从解释转换中学习概率动作模型。 Zbl 1407.68407号 大卫·马丁内斯;托尼·里贝罗;井上，Katsumi;阿莱尼·吉勒姆;卡梅·托拉斯 2 2015 勇敢的诱导。 Zbl 1156.68549号 千木坂间;井上，Katsumi 2 2008 最小答案计算和SOL。 Zbl 1013.68210号 井沼，Koji;井上，Katsumi 2 2002 通过推测计算进行有效的SAT规划。 Zbl 1032.68751号 希德托莫·纳贝希玛;井沼，Koji;井上，Katsumi 2 2002 生物系统的逻辑建模。 兹比尔1294.92001 2 2014 学习逻辑程序表示的动态系统的任何无记忆离散语义。 Zbl 07624282号 托尼·里贝罗;马克西姆·福舍特;摩根·马根;井上，Katsumi 2 2022 作用于上半空间的离散Moebius群的Poincaré级数。 Zbl 0794.30033号 井上，Katsumi 1 1992 关于几何有限Kleinian群的极限集。 Zbl 0514.30034号 托赫鲁·阿卡扎;井上，Katsumi 1 1982 几何有限自由Kleinian群的极限集。 Zbl 0537.30035号 托赫鲁·阿卡扎;井上，Katsumi 1 1984 延伸诱拐的简单描述。 Zbl 0983.68538号 井上，Katsumi 1 2000 学习诱因和非单调逻辑程序。 兹比尔1032.68690 井上，Katsumi;羽田、广松 1 2000 通过元水平诱因假设因果网络具有积极和消极影响。 Zbl 1329.68217号 井上，Katsumi;安德烈·顿塞斯库;希德托莫·纳贝希玛 1 2011 离散Möbius群的Margulis分解和平移长度。 Zbl 0996.57506号 井上，Katsumi 1 1994 统计外展的基于约束的概率建模。 Zbl 1237.62006年 大辅佐藤;Masakazu Ishihata;井上，Katsumi 1 2011 使用基于ASP的方法分析路径。 Zbl 1349.92056号 奥利弗·雷;苏，武藏;井上，Katsumi 1 2012 3连通图的半径。 Zbl 0890.05025号 井上，Katsumi 1 1996 连通图中由可收缩边组成的非分离诱导圈。 兹比尔1075.05554 吉米·井川庆（Yoshimi Egawa）;井上，Katsumi;川崎敬一 1 2002 探索答案集程序之间的关系。 Zbl 1326.68057号 井上，Katsumi;恰基萨卡马 1 2011 从时间序列数据推断延迟生物调控网络。 Zbl 1383.92030年 埃姆纳·本·阿卜杜拉;托尼·里贝罗;摩根·马根;奥利维尔·鲁克斯;井上，Katsumi 1 2016 排列论证框架。 Zbl 07170125号 恰基萨卡马;井上，Katsumi 1 2019 在答案集编程中对Petri网的高级扩展进行编码。 兹比尔1405.68040 萨达特·安瓦尔;奇塔·巴拉尔;井上，Katsumi 1 2013 逻辑程序修改的特征定理。 Zbl 1407.68477号 尼古拉斯·施温德;井上，Katsumi 1 2013 绑架、不可预测性和伊甸园。 Zbl 1320.68172号 恰基萨卡马;井上，Katsumi 1 2013 使用可微逻辑编程语义学习解释转换。 Zbl 07510308号 高坤;王汉平;曹永志;井上，Katsumi 1 2022 答案集编程中的一般关系。 Zbl 1131.68379号 井上，Katsumi;恰基萨卡马 1 2006 命题可满足性的竞争与合作方法。 Zbl 1142.68036号 井上，Katsumi;苏，武藏;上田圣治;吉藤佐香;穆苏诺里·班巴拉;田村直之 1 2006 将自上而下的推理纳入自下而上定理证明的非天生魔法集。 Zbl 1430.68410号 长谷川龙子;井上，Katsumi;Ohta，Yoshihiko先生;宫崎骏小村 1 1997 一阶逻辑中的外推等价。 Zbl 1108.03012号 井上，Katsumi;恰基萨卡马 1 2006 外推逻辑程序设计和析取逻辑程序设计：它们之间的关系和可转移性。 Zbl 0957.68015号 恰基萨卡马;井上，Katsumi 1 2000 选言解释。 Zbl 1045.68111号 井上，Katsumi;恰基萨卡马 1 2002 在多智能体环境中通过结果发现进行推测性计算。 兹比尔1059.68129 井上，Katsumi;井沼，Koji 1 2004 使用稀疏表示增强逻辑程序的线性代数计算。 Zbl 07455718号 阮元国;井上，Katsumi;恰基萨卡马 1 2020 从时间序列数据建模生物调控网络中的延迟动力学。 Zbl 1461.62184号 埃姆纳·本·阿卜杜拉;托尼·里贝罗;摩根·马根;奥利维尔·鲁克斯;井上，Katsumi 1 2017 从过程碰撞模型中识别生物调控网络。 Zbl 1314.92062号 马克西姆·福尔切特;洛伊奇·波列维;井上，Katsumi;摩根·马根;奥利维尔·鲁克斯 1 2015 答案集编程中的协调。 Zbl 1367.68040号 恰基萨卡马;井上，Katsumi 1 2008 使用关联矩阵通过答案集编程生成事件序列测试用例。 Zbl 1281.68076号 穆苏诺里·班巴拉;田村直之;井上，Katsumi 1 2012 通过基于逻辑的假设发现完成SBGN-AF网络。 Zbl 1402.92209号 吉隆山本;阿德里安·罗格尼;希德托莫·纳贝希玛;井上，Katsumi;久雄森雅;克莉丝汀·弗罗伊德沃;井沼，Koji 1 2014 学习逻辑程序表示的动态系统的任何无记忆离散语义。 Zbl 07624282号 托尼·里贝罗;马克西姆·福尔切特;摩根·马根;井上，Katsumi 2 2022 使用可微逻辑编程语义学习解释转换。 Zbl 07510308号 高坤;王汉平;曹永志;井上，Katsumi 1 2022 在向量空间中使用部分求值的逻辑编程的一种有效推理方法。 Zbl 07398785号 阮，Hien D。;恰基萨卡马;大辅佐藤;井上，Katsumi 2 2021 使用稀疏表示增强逻辑程序的线性代数计算。 Zbl 07455718号 阮元国;井上，Katsumi;恰基萨卡马 1 2020 茶匙：使用答案集编程解决基于课程的课程时间表问题。 Zbl 1434.90049号 穆苏诺里·班巴拉;井上，Katsumi;本杰明·考夫曼;冈本、腾达;托尔斯滕·绍布;苏，武藏;田村直之;菲利普·万科 三 2019 排列论证框架。 兹伯利07170125 恰基萨卡马;井上，Katsumi 1 2019 利用外部资源开发答案集编程用于元解释学习。 Zbl 1451.68064号 托比亚斯·卡明斯基;托马斯·艾特;井上，Katsumi 9 2018 具有同步、异步和通用语义的学习动态。 Zbl 1455.68179号 托尼·里贝罗;马克西姆·福舍特;摩根·马根;奥利维尔·鲁克斯;井上，Katsumi 三 2018 从连续域上的状态转换中进行归纳学习。 Zbl 1455.68180号 托尼·里贝罗;索菲·托雷特;马克西姆·福舍特;摩根·马根;多梅尼科·博尔扎奇埃罗;弗朗西斯科·切妮斯塔;奥利维尔·鲁克斯;井上，Katsumi 三 2018 针对具有外生效应的计划的关系强化学习。 Zbl 1434.68432号 大卫·马丁内斯;阿莱尼·吉勒姆;托尼·里贝罗;井上，Katsumi;卡梅·托拉斯 5 2017 从时间序列数据建模生物调控网络中的延迟动力学。 Zbl 1461.62184号 埃姆纳·本·阿卜杜拉;托尼·里贝罗;摩根·马根;奥利维尔·鲁克斯;井上，Katsumi 1 2017 逻辑程序修正作为命题修正的扩展的特征。 Zbl 1379.68302号 尼古拉斯·施温德;井上，Katsumi 2 2016 从时间序列数据推断延迟生物调控网络。 Zbl 1383.92030年 埃姆纳·本·阿卜杜拉;托尼·里贝罗;摩根·马根;奥利维尔·鲁克斯;井上，Katsumi 1 2016 阿斯巴甜：用答案集编程解决约束满足问题。 Zbl 1467.68160号 穆苏诺里·班巴拉;马丁·格布瑟;井上，Katsumi;马克斯·奥斯特罗斯基;安德烈亚·皮亚诺;托尔斯滕·绍布;苏，武藏;田村直之;Matthias威瑟 三 2015 从解释转换中学习概率动作模型。 Zbl 1407.68407号 大卫·马丁内斯;托尼·里贝罗;井上，Katsumi;阿莱尼·吉勒姆;卡梅·托拉斯 2 2015 从过程碰撞模型中识别生物调控网络。 Zbl 1314.92062号 马克西姆·福舍特;洛伊奇·波列维;井上，Katsumi;摩根·马根;奥利维尔·鲁克斯 1 2015 从口译过渡中学习。 Zbl 1319.68054号 井上，Katsumi;托尼·里贝罗;恰基萨卡马 16 2014 生物系统的逻辑建模。 Zbl 1294.92001年 2 2014 通过基于逻辑的假设发现完成SBGN-AF网络。 兹比尔1402.92209 吉隆山本;阿德里安·罗格尼;希德托莫·纳贝希玛;井上，Katsumi;久雄森雅;克莉丝汀·弗罗伊德沃;井沼，Koji 1 2014 答案集编程作为课程时间表的建模语言。 Zbl 1286.68040号 穆苏诺里·班巴拉;苏，武藏;田村直之;井上，Katsumi;托尔斯滕·绍布 12 2013 通过元级推理完成因果网络。 Zbl 1273.68375号 井上，Katsumi;安德烈·顿塞斯库;希德托莫·纳贝希玛 6 2013 在答案集编程中对Petri网的高级扩展进行编码。 Zbl 1405.68040号 萨达特·安瓦尔;奇塔·巴拉尔;井上，Katsumi 1 2013 逻辑程序修改的特征定理。 Zbl 1407.68477号 尼古拉斯·施温德;井上，Katsumi 1 2013 绑架、不可预测性和伊甸园。 Zbl 1320.68172号 恰基萨卡马;井上，Katsumi 1 2013 逻辑程序的振荡行为。 Zbl 1357.68036号 井上，Katsumi;恰基萨卡马 三 2012 使用基于ASP的方法分析路径。 兹比尔1349.92056 奥利弗·雷;苏，武藏;井上，Katsumi 1 2012 使用关联矩阵通过答案集编程生成事件序列测试用例。 Zbl 1281.68076号 穆苏诺里·班巴拉;田村直之;井上，Katsumi 1 2012 非单调域中的概率规则学习。 Zbl 1348.68188号 多梅尼科·科尔皮;丹尼尔·赛克斯;井上，Katsumi;亚历山德拉·拉索 4 2011 通过元水平诱因假设因果网络具有积极和消极影响。 Zbl 1329.68217号 井上，Katsumi;安德烈·顿塞斯库;希德托莫·纳贝希玛 1 2011 统计外展的基于约束的概率建模。 Zbl 1237.62006年 大辅佐藤;Masakazu Ishihata;井上，Katsumi 1 2011 探索答案集程序之间的关系。 Zbl 1326.68057号 井上，Katsumi;千木坂间 1 2011 一种基于SAT的二维条形装箱问题求解方法。 Zbl 1214.68374号 苏，武藏;井上，Katsumi;田村直之;穆苏诺里·班巴拉;希德托莫·纳贝希玛 6 2010 SOLAR：用于结果发现的自动推断系统。 Zbl 1205.68362号 希德托莫·纳贝希玛;井沼，Koji;井上，Katsumi;奥利弗·雷 6 2010 通过元级诱拐发现规则。 兹比尔1286.68380 井上，Katsumi;Koichi Furukawa;小林，宜国;希德托莫·纳贝希玛 5 2010 通过适用于CDCL SAT求解器的高效SAT编码生成组合测试用例。 Zbl 1306.68182号 穆苏诺里·班巴拉;松中幸树;田村直之;井上，Katsumi 5 2010 通过最小模型生成确定代谢途径中的必要反应。 Zbl 1211.92025号 苏，武藏;井上，Katsumi 三 2010 勇敢的归纳法：从不完整信息中学习的逻辑框架。 Zbl 1470.68168号 恰基萨卡马;井上，Katsumi 9 2009 诱拐和诱导中的对等问题。 Zbl 1176.68165号 恰基萨卡马;井上，Katsumi 2 2009 完整子句理论的模态定向逆蕴涵。 兹比尔1136.68502 奥利弗·雷;井上，Katsumi 5 2008 勇敢的诱导。 Zbl 1156.68549号 恰基萨卡马;井上，Katsumi 2 2008 答案集编程中的协调。 Zbl 1367.68040号 恰基萨卡马;井上，Katsumi 1 2008 答案集编程中的一般关系。 Zbl 1131.68379号 井上，Katsumi;恰基萨卡马 1 2006 命题可满足性的竞争与合作方法。 Zbl 1142.68036号 井上，Katsumi;苏，武藏;上田诚司;吉藤佐香;穆苏诺里·班巴拉;田村直之 1 2006 一阶逻辑中的外展等价。 Zbl 1108.03012号 井上，Katsumi;恰基萨卡马 1 2006 逻辑程序的归纳等价。 Zbl 1134.68480号 恰基萨卡马;井上，Katsumi 6 2005 通过规则推理归纳出因果律。 Zbl 1134.68472号 井上，Katsumi;Hideyuki班多;希德托莫·纳贝希玛 三 2005 更新下逻辑程序的等效性。 Zbl 1111.68381号 井上，Katsumi;恰基萨卡马 13 2004 作为结果发现的归纳。 Zbl 1101.68078号 井上，Katsumi 9 2004 入职限制政策。 Zbl 1105.68380号 井上，Katsumi;斋藤、光明 三 2004 将优先限定编译为答案集编程。 Zbl 1104.68392号 Wakaki、Toshiko;井上，Katsumi 2 2004 在多智能体环境中通过结果发现进行推测性计算。 Zbl 1059.68129号 井上，Katsumi;井沼，Koji 1 2004 用于计算知识库更新的溯因框架。 Zbl 1085.68545号 恰基萨卡马;井上，Katsumi 16 2003 SOLAR：用于高级推理的结果发现系统。 Zbl 1274.68412号 希德托莫·纳贝希玛;井沼，Koji;井上，Katsumi 三 2003 自动绑架。 Zbl 1012.68189号 井上，Katsumi 三 2002 最小答案计算和SOL。 Zbl 1013.68210号 井沼，Koji;井上，Katsumi 2 2002 通过推测计算进行有效的SAT规划。 Zbl 1032.68751号 希德托莫·纳贝希玛;井沼，Koji;井上，Katsumi 2 2002 连通图中由可收缩边组成的非分离诱导圈。 兹比尔1075.05554 吉米·井川庆（Yoshimi Egawa）;井上，Katsumi;川崎敬一 1 2002 选言解释。 Zbl 1045.68111号 井上，Katsumi;恰基萨卡马 1 2002 诱导、诱拐和结果发现。 Zbl 1007.68505号 井上，Katsumi 三 2001 优先逻辑编程及其在常识推理中的应用。 Zbl 0952.68020号 Sakama，C。;井上，K。 12 2000 延伸诱拐的简单描述。 Zbl 0983.68538号 井上，Katsumi 1 2000 学习诱因和非单调逻辑程序。 Zbl 1032.68690号 井上，Katsumi;羽田、广松 1 2000 外推逻辑程序设计和析取逻辑程序设计：它们之间的关系和可转移性。 Zbl 0957.68015号 恰基萨卡马;井上，Katsumi 1 2000 连通图的半径。 Zbl 0977.05040号 吉米·井川庆（Yoshimi Egawa）;井上，Katsumi 6 1999 通过诱拐更新扩展逻辑程序。 Zbl 0952.68052号 恰基萨卡马;井上，Katsumi 6 1999 否定为头部故障。 Zbl 0905.68030号 井上，Katsumi;恰基萨卡马 19 1998 关于非霍恩魔法集与相关性测试之间的关系。 Zbl 0926.03008号 Ohta，Yoshihiko先生;井上，Katsumi;长谷川龙子 6 1998 将自上而下的推理纳入自下而上定理证明的非天生魔法集。 Zbl 1430.68410号 长谷川龙子;井上，Katsumi;Ohta，Yoshihiko先生;宫崎骏小村 1 1997 诱因逻辑程序的不动点特征。 Zbl 0874.68051号 井上，Katsumi;恰基萨卡马 7 1996 3连通图的半径。 Zbl 0890.05025号 井上，Katsumi 1 1996 扩展析取程序的准一致稳定语义。 兹比尔0827.68070 恰基萨卡马;井上，Katsumi 18 1995 在一般选言程序中嵌入限定理论。 Zbl 1496.68323号 恰基萨卡马;井上，Katsumi 4 1995 析取逻辑程序和演绎数据库语义的另一种方法。 Zbl 0819.68036号 恰基萨卡马;井上，Katsumi 16 1994 逻辑程序中的假设推理。 Zbl 0803.68013号 井上，Katsumi 4 1994 离散Möbius群的Margulis分解和平移长度。 Zbl 0996.57506号 井上，Katsumi 1 1994 结果发现的线性分辨率。 Zbl 0805.68105号 井上，Katsumi 25 1992 将否定作为失败嵌入到模型生成定理证明程序中。 Zbl 0925.68417号 井上，Katsumi;宫崎骏小村;长谷川龙子 4 1992 基于上下元解释的前向假设推理机。 Zbl 0862.68096号 Ohta，Yoshihiko先生;井上，Katsumi 三 1992 作用于上半空间的离散Moebius群的Poincaré级数。 Zbl 0794.30033号 井上，Katsumi 1 1992 基于有序线性分辨率的结果发现。 Zbl 0745.68095号 井上，Katsumi 7 1991 查询范围中的应答。 Zbl 0742.68053号 尼古拉·赫夫特;井上，Katsumi;大卫·普尔 4 1991 几何有限自由Kleinian群的极限集。 Zbl 0537.30035号 托赫鲁·阿卡扎;井上，Katsumi 1 1984 关于几何有限Kleinian群的极限集。 Zbl 0514.30034号 托赫鲁·阿卡扎;井上，Katsumi 1 1982 一类高斯随机场测度的等价性。 Zbl 0341.60028号 井上，K。 7 1976 所有引用出版物 前5名被引用出版物 全部的 前5名399位作者引用 29 井上，Katsumi 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.鲁克斯。 三 斯扎·阿斯、安德烈吉 三 田村直之 三 索菲·托雷特 三 菲利普·万科 三 阿德南·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 科利，普希米特 2 宫崎骏小村 2 林、电欢 2 唐纳德·洛夫兰。 2 马可·马拉提亚 2 菲利普·马修 2 马佐罗泽、贾亚·珀西瓦尔 2 保罗·安德雷·蒙尼 2 罗尔夫·莫雷尔 2 希德托莫·纳贝希玛 2 伊莎贝尔·努斯 2 纳吉·奥贝德 2 Ohta，Yoshihiko先生 2 路易吉·帕洛波利 2 南卡罗来纳州帕桑齐斯。 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） 37 数学逻辑和基础（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） 按年份列出的引文