INOUE Katsumi 井上克巳

Researcher Number	10252321
External Links
Affiliation *help	2016 – 2018 : 国立情報学研究所, 大学共同利用機関等の部局等, 教授 2014 – 2018 : 国立情報学研究所, 情報学プリンシプル研究系, 教授 2014 : 国立情報学研究所, 教授 2013 : 国立情報学研究所, 大学共同利用機関等の部局等, 教授 2006 – 2012 : 国立情報学研究所, 情報学プリンシプル研究系, 教授 … More
Review Section/Research Field	Principal Investigator Intelligent informatics / Intelligent informatics / Intelligent informatics Except Principal Investigator Intelligent informatics / Intelligent informatics / System engineering / Intelligent informatics / Software / Software / 情報工学 / Basic Section 61030:Intelligent informatics-related
Keywords	Principal Investigator アブダクション / 結論発見 / 推論 / 非単調推論 / 帰納推論 / 仮説発見 / abduction / 状態遷移 / 結論発見手続き / induction … More Except Principal Investigator アブダクション / 人工知能 / マルチエージェント / 帰納推論 / 不完全通信 / 音声認識 / 音声対話 / 距離関数 / Genetic Algorithm / マルチエージェントシステム / 制約プログラミング / 音声入力 / Incomplete communication / 仮説論理型プログラミング / 対話システム / Intelligent Robot / 並列分散処理 / Interactive Algorithm / 時間割作成問題 / abduction / ナーススケジューリング問題 / ロバスト性 / スケジューリング問題 / 仮説論理型プログラミンク / 多目的分散制約最適化 / 分散制約最適化問題 / 推論 / パレート最適性 / 述語論理 / タッチ入力 / incomplete information / 知識グラフ / 並列処理・分散処理 / 計算言語論 / 並列処理 / 先行投機的処理 / natural language understanding / 交叉演算 / マルチモーダル / エージェント間交渉 / Robot Control / 自然な発話 / Logical system / Learning / ロボット / 投機的計算 / 計算機システム / 環境認識 / Language Understaning / 仮設推論 / Parallel Processing / 不誠実な推論 / デフォルト推論 / 知識発見 / Metric Function / 高次推論 / パレート最適解 / Man-machine Interface / 交渉プロトコル / 多目的制約最適化問題 / インターフェース / 自然言語処理 / 充足可能性判定問題 / テンソル空間 / スキルサイエンス / 認識システム / スキル獲得支援 / ロボット制御 / abductive logic programming / 音声理解 / spontaneous speech / 倒置 / コツの説明 / チーム編成 / 自然言語理解 / 自然言語解析 / スキル創造支援 / 言語理解 / multi-model inteface / Spoken dialog / Reasoning / Knowledge / 論理 / 分散協調問題解決 / 分散強調問題解決 / Theorem Prover / 様相論理 / 間投詞 / Crossover Operation / 知能プログラミング / 制約最適化問題 / Emergent Approach / 分散制約最適化 / Cooperative Design / Abduction / 知識情報処理 / Multi-agent systems / Speech Understanding / 遺伝的アルゴリズム / あいまいな入力 / Dialog System / Scheduling Problem / Intelligent Programming / Speech Input / 言い淀み / 学習 / speculative computation / アナロジー / チーム編成問題 / 高次推論原理 / 命題論理 / SAT / 近似計算 / speech recognition / マルチモーダルインターフェース / アフォーダンス / Spoken Dialog / 定理証明 / 対話的実行環境 / 仮説推論 / 進化型計算 / エッジ交叉 / 知識ベース更新 / multi agent system / Speculative computation / 相互作用 / SATソルバー / 比喩表現 / 共同プランニング / Speech Recognition / 仮設論理型プログラミング / 文生成 / 提携ゲーム / 文脈処理 / 拡張アブダクション / 解集合プログラミング / 多目的分散制約最適化問題 / 遺伝的アルゴリム / 助詞 / Ambiguous Input / Type Theory / default reasoning / 情報システム / Distributed problem solving / 言い直し / Artificial Intelligence Less

Development of advanced inference technologies for huge knowledge graphs in tensor spacesOngoing
- Principal Investigator
  
  坂間千秋
- Project Period (FY)
  2018 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 61030:Intelligent informatics-related
- Research Institution
  Wakayama University
Learning Relational Dynamics from State TransitionPrincipal InvestigatorOngoing
- Principal Investigator
  
  井上克巳
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Intelligent informatics
- Research Institution
  National Institute of Informatics
動的環境におけるロバストなチーム編成に関する研究Ongoing
- Principal Investigator
  
  沖本天太
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Intelligent informatics
- Research Institution
  Kobe University
Research and Development of a New Constraint Programming System based on SATOngoing
- Principal Investigator
  
  田村直之
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Kobe University
レジリエントなシステムのモデル化と推論に関する研究Principal Investigator
- Principal Investigator
  
  井上克巳
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Intelligent informatics
- Research Institution
  National Institute of Informatics
Learning Cellular Automata Represented as Logic ProgramsPrincipal Investigator
- Principal Investigator
  
  INOUE KATSUMI
- Project Period (FY)
  2014 – 2015
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Intelligent informatics
- Research Institution
  National Institute of Informatics
Algorithm for Dynamic Multi-Objective Distributed Constraint Optimization
- Principal Investigator
  
  Okimoto Tenda
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  Kobe University
Realization of High-Performance and Flexible Constraint Programming Systems Using Propositional Inference Techniques
- Principal Investigator
  
  TAMURA Naoyuki
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Kobe University
Supporting Skill Development by Rule Abduction and Analogy
- Principal Investigator
  
  FURUKAWA Koichi
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  Kaetsu University
Study of SAT-based constraint optimization problem solving and its parallel distributed processing
- Principal Investigator
  
  TAMURA Naoyuki
- Project Period (FY)
  2008 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  Kobe University
Inference-based Hypothesis-finding and its Application to Systems BiologyPrincipal Investigator
- Principal Investigator
  
  INOUE Katsumi
- Project Period (FY)
  2008 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Intelligent informatics
- Research Institution
  National Institute of Informatics
Inference Mechanism of Social Intelligence in Multiagent Systems
- Principal Investigator
  
  SAKAMA Chiaki
- Project Period (FY)
  2008 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  Wakayama University
Research on Advanced Systems of Efficient Hypothesis FindingPrincipal Investigator
- Principal Investigator
  
  INOUE Katsumi
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Intelligent informatics
- Research Institution
  National Institute of Informatics
Research on Knowledge Discovery based on Consequence FindingPrincipal Investigator
- Principal Investigator
  
  INOUE Katsumi
- Project Period (FY)
  2002 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Intelligent informatics
- Research Institution
  National Institute of Informatics
  Kobe University
Construction of multi-agent systems with speculative computation
- Principal Investigator
  
  SATOH Ken
- Project Period (FY)
  2001 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Intelligent informatics
- Research Institution
  National Institute of Informatics
Research on an Integrated System for Fast SAT PlanningPrincipal Investigator
- Principal Investigator
  
  INOUE Katsumi
- Project Period (FY)
  2000 – 2001
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  Kobe University
アブダクションと帰納推論の融合による知識発見に関する研究
- Principal Investigator
  
  SAKAMA Chiaki
- Project Period (FY)
  1999
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas (A)
- Research Institution
  Wakayama University
Construction of Logical Multi-Agent System under Incomplete Information Environment
- Principal Investigator
  
  SATOH Ken
- Project Period (FY)
  1999 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research (B).
- Research Field
  
  Intelligent informatics
- Research Institution
  HOKKAIDO UNIVERSITY
A Study of Design and Implementation of Interactive Algorithm
- Principal Investigator
  
  HANEDA Hiromasa
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  System engineering
- Research Institution
  Kobe University
例外を有する一般規則を学習する帰納推論システムの研究Principal Investigator
- Principal Investigator
  
  INOUE Katsumi
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  Kobe University
Constructive Design and Evauation of Genetic Algorithm for Scheduling Problem of Robot Control Computation
- Principal Investigator
  
  HANEDA Hiromasa
- Project Period (FY)
  1996 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  System engineering
- Research Institution
  Kobe University
否定が頭部に出現する論理プログラムの理論研究Principal Investigator
- Principal Investigator
  
  井上克己
- Project Period (FY)
  1995
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  Intelligent informatics
- Research Institution
  Toyohashi University of Technology
A General Study On Intelligent Reasoning Principles and Programming Languages For Artificial Intelligence.
- Principal Investigator
  
  HARAO Masateru
- Project Period (FY)
  1995 – 1996
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Intelligent informatics
- Research Institution
  Kyushu Institute of Technology
高度問題解決のための定理証明技法の研究Principal Investigator
- Principal Investigator
  
  井上克巳
- Project Period (FY)
  1994
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  Intelligent informatics
- Research Institution
  Toyohashi University of Technology
A study on multi-modal man-machine interface through spontaneous speech
- Principal Investigator
  
  NAKAGAWA Seiichi
- Project Period (FY)
  1994 – 1996
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Intelligent informatics
- Research Institution
  Toyahashi University of Thechnology
A Study on Ambiguous Utterance Understanding for Speech Input
- Principal Investigator
  
  NAKAGAWA Seiichi
- Project Period (FY)
  1991 – 1993
- Research Category
  
  Grant-in-Aid for General Scientific Research (B)
- Research Field
  
  情報工学
- Research Institution
  Toyohashi University of Technology

[Book] Inductive Logic Programming: Revised and Selected Papers from the 25th International Conference,Lecture Notes in Artificial Intelligence2016
- Author(s)
  Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto (eds.)
- Publisher
  Springer
- Data Source
  KAKENHI-PROJECT-26540122
[Book] Computational Framework of Resilience, in: Urban Resilience: A Transformative Approach2016
- Author(s)
  Nicolas Schwind, Kazuhiro Minami, Hiroshi Maruyama, Leena Ilmola, Katsumi Inoue
- Total Pages
  18
- Publisher
  Springer
- Data Source
  KAKENHI-PROJECT-26280092
[Book] ASP for Construction and Validation of Regulatory Biological Networks, in: Luis Fariñas del Cerro, Katsumi Inoue (editors), Logical Modeling of Biological Systems, Chapter 52014
- Author(s)
  Alexandre Rocca, Nicolas Mobilia,　Eric Fanchon, Tony Ribeiro, Laurent Trilling, Katsumi Inoue
- Publisher
  Wiley
- Data Source
  KAKENHI-PROJECT-26540122
[Book] Simulation Based Reasoning about Biological Pathways Using Petri Nets and ASP, in: Luis Fariñas del Cerro, Katsumi Inoue (editors), Logical Modeling of Biological Systems, Chapter 62014
- Author(s)
  Saadat Anwar, Chitta Baral, Katsumi Inoue
- Publisher
  Wiley
- Data Source
  KAKENHI-PROJECT-26540122
[Book] Logical Modeling of Biological Systems2014
- Author(s)
  Luis Farinas del Cerro, Katsumi Inoue (editors)
- Total Pages
  422
- Publisher
  Wiley
- Data Source
  KAKENHI-PROJECT-26540122
[Book] Analyzing SBGN-AF Networks Using Normal Logic Programs, in: Luis Farinas del Cerro, Katsumi Inoue (editors), Logical Modeling of Biological Systems, Chapter 92014
- Author(s)
  Adrien Rougny, Christine Froidevaux, Yoshitaka Yamamoto, Katsumi Inoue
- Total Pages
  410
- Publisher
  Wiley
- Data Source
  KAKENHI-PROJECT-26280092
[Book] Logical Modeling of Biological Systems2014
- Author(s)
  Luis Farinas del Cerro, Katsumi Inoue (editors)
- Total Pages
  422
- Publisher
  Wiley
- Data Source
  KAKENHI-PROJECT-24300007
[Book] Model of Double-Strand Break of DNA in Logic-Based Hypothesis Finding, in: Stephen H. Muggleton and Hiroaki Watanabe (eds.), Latest Advances in Inductive Logic Programming, Chapter 92014
- Author(s)
  Barthelemy Dworkin, Andrei Doncescu, Jean-Charles Faye, Katsumi Inoue
- Total Pages
  264
- Publisher
  Wiley
- Data Source
  KAKENHI-PROJECT-26280092
[Book] Physiological Analysis of Yeast Cell by Intelligent Signal Processing, Applied Biological Engineering. Principles and Practice, Chapter 192012
- Author(s)
  Andrei Doncescu, Sebastien Regis, Katsumi Inoue, Nathalie Goma
- Data Source
  KAKENHI-PROJECT-20240016
[Book] Logic Programming, Knowledge Representation and Nonmonotonic Reasoning2011
- Author(s)
  Katsumi Inoue and Chiaki Sakama
- Publisher
  Springer
- Data Source
  KAKENHI-PROJECT-20500134
[Book] Logic Programming, Knowledge Representation and Nonmonotonic Reasoning2011
- Author(s)
  Katsumi Inoue, Chiaki Sakama
- Publisher
  Springer
- Data Source
  KAKENHI-PROJECT-20500134
[Book] Elements of Computational Systems Biology(Integrating Abduction and Induction in Biological Inference using CF-Induction.)(John Wiley and Sons, Inc.)(Huma Lodhi and Stephen Muggleton (eds.))2009
- Author(s)
  Yoshitaka Yamamoto, Katsumi Inoue,Andrei Doncescu.
- Publisher
  Wiley Book Series on Bioinformatics
- Data Source
  KAKENHI-PROJECT-20240016
[Book] Integrating Abduction and Induction in Biological Inference using CF-Induction. In : Huma Lodhi and Stephen Muggleton(eds.), Elements of Computational Systems Biology, Chapter 92009
- Author(s)
  Yoshitaka Yamamoto, Katsumi Inoue, Andrei Doncescu
- Data Source
  KAKENHI-PROJECT-20240016
[Book] Computational Logic in Multi-Agent Systems:Revised Selected and Invited Papers from the 7th International Workshop(CLIMA-VII), Lecture Notes in Artificial Intelligence, Vol.43712007
- Author(s)
  Katsumi Inoue(Eds.)
- Total Pages
  315
- Publisher
  Springer
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17300051
[Journal Article] Recoverable Team Formation: Building Teams Resilient to Change2018
- Author(s)
  Emir Demirovic, Nicolas Schwind, Tenda Okimoto, Katsumi Inoue
- Journal Title
  
  In proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018)
  
  Volume : -
- Open Access / Int'l Joint Research / Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H01790
[Journal Article] Multi-Objective Distributed Pseudo-Tree Optimization2018
- Author(s)
  Maxime Clement, Tenda Okimoto, Katsumi Inoue
- Journal Title
  
  In proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018)
  
  Volume : -
- Open Access / Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H01790
[Journal Article] teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming2018
- Author(s)
  Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
- Journal Title
  
  Annals of Operations Research
  
  Volume : -
- DOI
  10.1007/s10479-018-2757-7
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803, KAKENHI-PROJECT-17H01790, KAKENHI-PROJECT-15K00099
[Journal Article] Coverage-Based Clause Reduction Heuristics for CDCL Solvers2017
- Author(s)
  Hidetomo Nabeshima and Katsumi Inoue
- Journal Title
  
  Proceedings of the 20th International Conference Theory and Applications of Satisfiability Testing (SAT 2017)
  
  Volume : - Pages : 136-144
- DOI
  10.1007/978-3-319-66263-3
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K00300, KAKENHI-PROJECT-16H02803
[Journal Article] Modeling Delayed Dynamics in Biological Regulatory Networks from Time Series Data2017
- Author(s)
  Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier H. Roux, Katsumi Inoue
- Journal Title
  
  Algorithms
  
  Volume : 10(1)
- DOI
  10.3390/a10010008
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280092, KAKENHI-PROJECT-15K00099
[Journal Article] Learning from Interpretation Transition using Feed-Forward Neural Networks2017
- Author(s)
  Enguerrand Gentet, Sophie Tourret, Katsumi Inoue
- Journal Title
  
  Late Breaking Papers of the 26th International Conference on Inductive Logic Programming (ILP 2016), CEUR Workshop Proceedings
  
  Volume : 印刷中
- Open Access / Acknowledgement Compliant / Int'l Joint Research / Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26280092
[Journal Article] catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming2017
- Author(s)
  Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Noyuki Tamura
- Journal Title
  
  Proceedings of the 14th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2017), Lecture Notes in Computer Science
  
  Volume : 印刷中
- Int'l Joint Research / Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26280092
[Journal Article] Balanced Clustering Based Decomposition Applied to Master Thesis Defense Timetabling Problem2017
- Author(s)
  Huynh Thanh Trung, Pham Quang Dung, Emir Demirovi, Maxime Clement, Katsumi Inoue
- Journal Title
  
  Proceedings of the 8th Multidisciplinary International Conference on Scheduling: Theory and Applications (MISTA 2017)
  
  Volume : -
- Int'l Joint Research / Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16H02803
[Journal Article] Distributed Pareto Local Search for Multi-Objective DCOPs2017
- Author(s)
  Maxime Clement, Tenda Okimoto, Katsumi Inoue
- Journal Title
  
  Journal of IEICE TRANSACTIONS on Information and Systems
  
  Volume : 100-D(12) Pages : 2897-2905
- DOI
  10.1587/transinf.2016agp0006
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16H02803, KAKENHI-PROJECT-17H01790
[Journal Article] 解集合プログラミングによるカリキュラムベース・コース時間割編成2017
- Author(s)
  番原睦則, 井上克巳, ベンジャミンカウフマン, トルステンシャウブ, 宋剛秀, 田村直之, フィリップワンコ
- Journal Title
  
  第29回RAMPシンポジウム論文集
  
  Volume : - Pages : 73-88
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02803
[Journal Article] catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming2017
- Author(s)
  Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Noyuki Tamura
- Journal Title
  
  In proceedings of the 14th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR-17)
  
  Volume : -
- Open Access / Int'l Joint Research / Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26330268
[Journal Article] catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming2017
- Author(s)
  Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura
- Journal Title
  
  Proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017)
  
  Volume : 10377 Pages : 265-278
- DOI
  10.1007/978-3-319-61660-5_24
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803, KAKENHI-PROJECT-15K00099
[Journal Article] Mission Oriented Robust Multi-Team Formation and its Application to Robot Rescue Simulation2016
- Author(s)
  Tenda Okimoto, Tony Ribeiro, Damien Bouchabou, Katsumi Inoue
- Journal Title
  
  In proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-16)
- Open Access / Int'l Joint Research / Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26330268
[Journal Article] Formalization of Resilience for Constraint-Based Dynamic Systems. Journal of Reliable Intelligent Environments2016
- Author(s)
  Nicolas Schwind, Morgan Magnin, Katsumi Inoue, Tenda Okimoto, Taisuke Sato, Kazuhiro Minami, Hiroshi Maruyama
- Journal Title
  
  Journal of Reliable Intelligent Environments
  
  Volume : 2(1) Pages : 17-35
- DOI
  10.1007/s40860-015-0016-0
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330268, KAKENHI-PROJECT-26280092, KAKENHI-PROJECT-15K00195, KAKENHI-PROJECT-26540089
[Journal Article] Σx-Optimal Solutions in Highly Symmetric Multi-Objective Timetabling Problems2016
- Author(s)
  Maxime Clement, Tenda Okimoto, Katsumi Inoue, Mutsunori Banbara
- Journal Title
  
  In proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT-16)
  
  Volume : - Pages : 63-79
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330268
[Journal Article] teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming2016
- Author(s)
  Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Torsten Schaub, Takehide Soh, Naoyuki Tamura, and Philipp Wanko
- Journal Title
  
  Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016)
  
  Volume : -
- Open Access / Int'l Joint Research / Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16H02803
[Journal Article] GlueMiniSat 2.2.10-812016
- Author(s)
  Hidetomo Nabeshima, Koji Iwanuma, and Katsumi Inoue
- Journal Title
  
  Proceedings of SAT Competition 2016: Solver and Benchmark Descriptions (Bordeaux, France, July 5-8, 2016), Department of Computer Science Series of Publications
  
  Volume : B-2016-1 Pages : 43-43
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16H02803
[Journal Article] Qualitative dynamics semantics for SBGN process description2016
- Author(s)
  Adrien Rougny, Yoshitaka Yamamoto, Hidetomo Nabeshima, Gauvain Bourgne, Anne Poupon, Katsumi Inoue, Christine Froidevaux
- Journal Title
  
  Late Breaking Papers of ILP2015, CEUR-WS
  
  Volume : 1636 Pages : 95-100
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02803
[Journal Article] Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?2016
- Author(s)
  Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sebastien Konieczny, Pierre Marquis
- Journal Title
  
  Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-16)
  
  Volume : － Pages : 1237-1243
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280092
[Journal Article] Learning Relational Dynamics of Stochastic Domains for Planning2016
- Author(s)
  David Martinez, Guillem Alenya, Carme Torras, Tony Ribeiro, Katsumi Inoue
- Journal Title
  
  Proc. 26th Int'l Conf. on Automated Planning and Scheduling (ICAPS 2016)
  
  Volume : － Pages : 235-243
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280092
[Journal Article] Representative Solutions for Multi-Objective Constraint Optimization Problems2016
- Author(s)
  Nicolas Schwind, Tenda Okimoto, Maxime Clement, Katsumi Inoue
- Journal Title
  
  Proc. 15th Int'l Conf. on Principles of Knowledge Representation and Reasoning (KR 2016)
  
  Volume : － Pages : 601-604
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-26280092
[Journal Article] Inference of Delayed Biological Regulatory Networks from Time Series Data2016
- Author(s)
  Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue
- Journal Title
  
  Proceedings of the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016)
  
  Volume : 9859 Pages : 30-48
- DOI
  10.1007/978-3-319-45177-0_3
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280092, KAKENHI-PROJECT-15K00099
[Journal Article] Σx-Optimal Solutions in Highly Symmetric Multi-Objective Timetabling Problems2016
- Author(s)
  Maxime Clement, Tenda Okimoto, Katsumi Inoue, Mutsunori Banbara
- Journal Title
  
  Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016)
  
  Volume : － Pages : 63-79
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280092
[Journal Article] Mission Oriented Robust Multi-Team Formation and its Application to Robot Rescue Simulation2016
- Author(s)
  Tenda Okimoto, Tony Ribeiro, Damien Bouchabou, Katsumi Inoue
- Journal Title
  
  Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-16)
  
  Volume : － Pages : 454-460
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280092
[Journal Article] Characterization of Logic Program Revision as an Extension of Propositional Revision2016
- Author(s)
  Nicolas Schwind, Katsumi Inoue
- Journal Title
  
  Theory and Practice of Logic Programming
  
  Volume : 16(1) Pages : 111-138
- DOI
  10.1017/S1471068415000101
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26280092
[Journal Article] Multi-Objective Nurse Rerostering Problem2016
- Author(s)
  Shih-Min Wu, Tenda Okimoto, Katsutoshi Hirayama, and Katsumi Inoue
- Journal Title
  
  International Joint Agents Workshop and Symposium (IJAWS 2015; Kaga, Ishikawa, Japan, October 1, 2015)
  
  Volume : -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26280092
[Journal Article] Analyzing Resilience Properties in Oscillatory Biological Systems Using Parametric Model Checking2016
- Author(s)
  Alexander Andreychenko, Morgan Magnin, Katsumi Inoue
- Journal Title
  
  BioSystems
  
  Volume : 149 Pages : 50-58
- DOI
  10.1016/j.biosystems.2016.09.002
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280092, KAKENHI-PROJECT-15K00099
[Journal Article] Multi-objective Nurse Rerostering Problem2016
- Author(s)
  Shih-Min Wu, Tenda Okimoto, Katsutoshi Hirayama, Katsumi Inoue
- Journal Title
  
  Multi-agent and Complex Systems
  
  Volume : 607 Pages : 139-152
- DOI
  10.1007/978-981-10-2564-8_10
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280092, KAKENHI-PROJECT-26330268
[Journal Article] Probabilistic Resilience in Hidden Markov Models2016
- Author(s)
  Jacopo Panerati, Giovanni Beltrame, Nicolas Schwind, Atefan Zeltner, Katsumi Inoue
- Journal Title
  
  Proceedings of the 4th International Conference on Manufacturing, Optimization, Industrial and Material Engineering 2016 (MOIME 2016), Materials Science and Engineering
  
  Volume : 131(1)
- DOI
  10.1088/1757-899X/131/1/012007
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280092
[Journal Article] インクリメンタルSAT解法ライブラリとその応用2016
- Author(s)
  迫龍哉, 宋剛秀, 番原睦則, 田村直之, 鍋島英知, 井上克巳
- Journal Title
  
  コンピュータソフトウェア
  
  Volume : 33(4) Pages : 16-29
- DOI
  10.11309/jssst.33.4_16
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-26330248, KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803
[Journal Article] Inductive Logic Programming: Challenges2016
- Author(s)
  Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto
- Journal Title
  
  In: Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI-16; Phoenix, Arizona, USA, February 14, 2016)
  
  Volume : - Pages : 4330-4332
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-26540122
[Journal Article] Learning Deduction Rules by Induction2016
- Author(s)
  Chiaki Sakama, Tony Ribeiro, Katsumi Inoue
- Journal Title
  
  Inductive Logic Programming: Revised and Selected Papers from the 25th International Conference ,Lecture Notes in Artificial Intelligence
  
  Volume : 9575
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26540122
[Journal Article] Learning Relational Dynamics of Stochastic Domains for Planning2016
- Author(s)
  David Martinez, Tony Ribeiro, Katsumi Inoue, Guillem Alenya, Carme Torras
- Journal Title
  
  The 26th International Conference on Automated Planning and Scheduling, (ICAPS 2016; London, UK, June 12-17, 2016)
  
  Volume : -
- Open Access / Int'l Joint Research / Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26540122
[Journal Article] Abduction, Conversational Implicature and Misleading in Human Dialogues2016
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Journal Title
  
  Logic Journal of the IGPL
  
  Volume : 未定
- DOI
  10.1093/jigpal/jzu027
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-24500174, KAKENHI-PROJECT-26540122
[Journal Article] Representative Solutions for Multi-Objective Constraint Optimization Problems2016
- Author(s)
  Nicolas Schwind, Tenda Okimoto, Maxime Clement, Katsumi Inoue
- Journal Title
  
  In proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016)
  
  Pages : 601-604
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330268
[Journal Article] SATとAI2016
- Author(s)
  井上克巳
- Journal Title
  
  情報処理
  
  Volume : 57(8)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16H02803
[Journal Article] Σ_x-Optimal Solutions in Highly Symmetric Multi-Objective Timetabling Problems.2016
- Author(s)
  Maxime Clement, Tenda Okimoto, Katsumi Inoue, and Mutsunori Banbara
- Journal Title
  
  Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016)
  
  Volume : -
- Open Access / Int'l Joint Research / Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16H02803
[Journal Article] Probabilistic Resilience in Hidden Markov Models2016
- Author(s)
  Jacopo Panerati, Giovanni Beltrame, Nicolas Schwind, Atefan Zeltner, and Katsumi Inoue
- Journal Title
  
  In: Proceedings of the 4th International Conference on Manufacturing, Optimization, Industrial and Material Engineering 2016, IOP Conference Series: Materials Science and Engineering
  
  Volume : -
- Open Access / Int'l Joint Research / Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26280092
[Journal Article] An Exact Algorithm for Unicost Set Covering2016
- Author(s)
  Emir Demirovi, Nysret Musliu, Katsumi Inoue, and Tho Le Calvar
- Journal Title
  
  The 22nd International Conference on the Principles and Practice of Constraint Programming (CP 2016; Toulouse, France), Doctoral Programme
  
  Volume : -
- Open Access / Int'l Joint Research / Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16H02803
[Journal Article] SATソルバーの最近の進展2016
- Author(s)
  鍋島英知, 岩沼宏治, 井上克巳
- Journal Title
  
  情報処理
  
  Volume : 57(8)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16H02803
[Journal Article] How to Form a Task-Oriented Robust Team2015
- Author(s)
  Tenda Okimoto, Nicolas Schwind, Maxime Clement, Tony Ribeiro, Katsumi Inoue, Pierre Marquis
- Journal Title
  
  In proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015)
  
  Pages : 395-403
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330268
[Journal Article] Favorable Solution in Multi-Objective Nurse Rerostering Problem2015
- Author(s)
  Tenda Okimoto, Shih-Min Wu, Katsutoshi Hirayama, Katsumi Inoue
- Journal Title
  
  In proceedings of International Symposium on Scheduling 2015 (ISS-15)
  
  Pages : 109-114
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330268
[Journal Article] Learning Probabilistic Action Models from Interpretation Transitions2015
- Author(s)
  David Martinez, Tony Ribeiro, Katsumi Inoue, Guillem Alenya, Carme Torras
- Journal Title
  
  Proceedings of the Technical Communications of the 31st International Conference on Logic Programming, CEUR Workshop Proceedings
  
  Volume : 1433
- Open Access / Int'l Joint Research / Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26540122
[Journal Article] Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri Nets2015
- Author(s)
  Alexander Andreychenko, Morgan Magnin, and Katsumi Inoue
- Journal Title
  
  Computational Methods in Systems Biology: Proceedings of the 13th International Conference, Lecture Notes in Bioinformatics
  
  Volume : 9308 Pages : 239-250
- DOI
  10.1007/978-3-319-23401-4_20
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280092
[Journal Article] Learning Multi-Valued Biological Models with Delayed Influence from Time-Series Observations2015
- Author(s)
  Tony Ribeiro, Katsumi Inoue
- Journal Title
  
  In: Proceedings of the 14th International Conference on Machine Learning and Applications (IEEE ICMLA 2015; Miami, Florida, USA, December 9-11, 2015)
  
  Volume : 9046 Pages : 108-125
- DOI
  10.1109/ICMLA.2015.19
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540122
[Journal Article] Can Machine Learn Logics?2015
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Journal Title
  
  Artificial General Intelligence: Proceedings of the 8th International Conference , Lecture Notes in Artificial Intelligence
  
  Volume : 9205 Pages : 341-351
- DOI
  10.1007/978-3-319-21365-1_35
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26540122
[Journal Article] How to Form a Task-Oriented Robust Team2015
- Author(s)
  Tenda Okimoto, Nicolas Schwind, Maxime Clement, Tony Ribeiro, Katsumi Inoue, and Pierre Marquis
- Journal Title
  
  Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015; Istanbul, Turkey, May 6, 2015)
  
  Volume : - Pages : 395-403
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280092
[Journal Article] Skill-Based Dynamic Team Formation Problem2015
- Author(s)
  Tenda Okimoto, Maxime Clement, Katsutoshi Hirayama, and Katsumi Inoue
- Journal Title
  
  In: Proceedings of the 16th International Symposium on Advanced Intelligent Systems (ISIS 2015; Mokpu, Korea, November 4-7, 2015)
  
  Volume : - Pages : 781-793
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26280092
[Journal Article] Skill-Based Dynamic Team Formation Problem2015
- Author(s)
  Tenda Okimoto, Maxime Clement, Katsutoshi Hirayama, Katsumi Inoue
- Journal Title
  
  In proceedings of the 16th International Symposium on Advanced Intelligent Systems (ISIS 2015)
  
  Pages : 781-793
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330268
[Journal Article] 動的な多目的制約最適化問題におけるレジリエントな解2015
- Author(s)
  沖本天太, Maxime Clement, Nicolas Schwind, 井上克巳
- Journal Title
  
  電子情報通信学会論文誌
  
  Volume : Vol.J98-D(6) Pages : 884-893
- DOI
  10.14923/transinfj.2014SWP0001
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-26330268, KAKENHI-PROJECT-26280092
[Journal Article] タスク指向型のロバストなチーム編成問題2015
- Author(s)
  沖本天太, Nicolas Schwind, Maxime Clement, 井上克巳
- Journal Title
  
  電子情報通信学会論文誌
  
  Volume : Vol.J98-D(6) Pages : 894-904
- DOI
  10.14923/transinfj.2014SWP0002
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-26330268, KAKENHI-PROJECT-26280092
[Journal Article] Logic Programming for Cellular Automata2015
- Author(s)
  Marcus Volker, Katsumi Inoue
- Journal Title
  
  Proceedings of the Technical Communications of the 31st International Conference on Logic Programming, CEUR Workshop Proceedings
  
  Volume : 1433
- Open Access / Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26540122
[Journal Article] Finding Resilient Solution for Dynamic Multi-Objective Constraint Optimization Problems2015
- Author(s)
  Maxime Clement, Tenda Okimoto, Nicolas Schwind, Katsumi Inoue
- Journal Title
  
  In proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART-2015)
  
  Volume : 無し Pages : 509-516
- DOI
  10.5220/0005276305090516
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-26330268
[Journal Article] Can Machines Learn Logics?2015
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Journal Title
  
  The UNILOG 2015 Workshop on Emergent Computational Logics (Istanbul, Turkey, June 28th, 2015)
  
  Volume : -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26540122
[Journal Article] Favorable Solution in Multi-Objective Nurse Rerostering Problem2015
- Author(s)
  Tenda Okimoto, Shih-Min Wu, Katsutoshi Hirayama, and Katsumi Inoue
- Journal Title
  
  In: Proceedings of the International Symposium on Scheduling 2015 (ISS 2015; Kobe, Japan, July 5, 2015)
  
  Volume : - Pages : 109-114
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26280092
[Journal Article] Identification of Biological Regulatory Networks from Process Hitting Models2015
- Author(s)
  Maxime Folschette, Loic Pauleve, Katsumi Inoue, Morgan Magnin, Olivier Roux
- Journal Title
  
  Theoretical Computer Science
  
  Volume : Vol.568 Pages : 49-71
- DOI
  10.1016/j.tcs.2014.12.002
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-26540122
[Journal Article] Finding Resilient Solution for Dynamic Multi-Objective Constraint Optimization Problems2015
- Author(s)
  Maxime Clement, Tenda Okimoto, Nicolas Schwind, Katsumi Inoue
- Journal Title
  
  The 7th International Conference on Agents and Artificial Intelligence (ICAART-2015; Lisbon, Portugal, January 10th, 2015)
  
  Volume : - Pages : 509-516
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26280092
[Journal Article] Belief Revision Games2015
- Author(s)
  Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sebastien Konieczny, Pierre Marquis
- Journal Title
  
  Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI-15; Austin, Texas, USA, January 27, 2015)
  
  Volume : - Pages : 1590-1596
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26280092
[Journal Article] Abduction and Conversational Implicature (Extended Abstract)2015
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Journal Title
  
  The 12th International Symposium on Logical Formalizations of Commonsense Reasoning (COMMONSENSE 2015; Stanford University, Stanford, CA, USA, March 23-25, 2015)
  
  Volume : - Pages : 130-133
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26540122
[Journal Article] 人工知能による科学的発見2015
- Author(s)
  井上克巳
- Journal Title
  
  電子情報通信学会誌
  
  Volume : Vol.98 　No.1 Pages : 35-39
- Data Source
  KAKENHI-PROJECT-26540122
[Journal Article] Learning Delayed Influences of Biological Systems2015
- Author(s)
  Tony Ribeiro, Morgan Magnin, Katsumi Inoue, Chiaki Sakama
- Journal Title
  
  Frontiers in Bioengineering and Biotechnology
  
  Volume : 2
- DOI
  10.3389/fbioe.2014.00081
- Peer Reviewed / Open Access / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26540122
[Journal Article] パッキング配列問題の制約モデリングとSAT符号化2014
- Author(s)
  則武治樹, 番原睦則, 宋剛秀, 田村直之, 井上克巳
- Journal Title
  
  コンピュータソフトウェア
  
  Volume : 31 Issue : 1 Pages : 116-130
- Publisher
  日本ソフトウェア科学会
- DOI
  10.11309/jssst.31.1_116
- ISSN
  02896540
- Language
  Japanese
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-25730042
[Journal Article] Learning from Interpretation Transition2014
- Author(s)
  Katsumi Inoue, Tony Ribeiro, and Chiaki Sakama
- Journal Title
  
  Machine Learning
  
  Volume : 94(1) Pages : 51-79
- DOI
  10.1007/s10994-013-5353-8
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-24500174
[Journal Article] A Two-Phase Complete Algorithm for Multi-objective Distributed Constraint Optimization2014
- Author(s)
  Alexandre Medi, Tenda Okimoto, Katsumi Inoue
- Journal Title
  
  Journal of Advanced Computational Intelligence and Intelligent Informatics
  
  Volume : Vol.18, No.4 Pages : 573-580
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] A Two-phase Complete Algorithm for Multi-objective Distributed Constraint Optimization2014
- Author(s)
  Alexandre Medi, Tenda Okimoto, Katsumi Inoue
- Journal Title
  
  Journal of Advanced Computational Intelligence and Intelligent Informatics
  
  Volume : 18 Pages : 573-580
- Open Access / Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26330268
[Journal Article] Lp-norm Based Algorithm for Multi-Objective Distributed Constraint Optimization2014
- Author(s)
  Tenda Okimoto, Nicolas Schwind, Maxime Clement, Katsumi Inoue
- Journal Title
  
  The 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014)
  
  Volume : 無し Pages : 1427-1428
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] A BDD-Based Algorithm for Learning from Interpretation Transition2014
- Author(s)
  Tony Ribeiro, Katsumi Inoue, Chiaki Sakama
- Journal Title
  
  Inductive Logic Programming: Revised Selected Papers from the 23rd International Conference (ILP 2013), Lecture Notes in Artificial Intelligence
  
  Volume : Vol.8812 Pages : 47-63
- DOI
  10.1007/978-3-662-44923-3_4
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-26540122
[Journal Article] Local Search Based Approximate Algorithm for Multi-Objective DCOP2014
- Author(s)
  Maxime Wack, Tenda Okimoto, Maxime Clement, Katsumi Inoue
- Journal Title
  
  The 17th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2014; Gold Coast, QLD, Australia, December 1-5), Lecture Notes in Artificial Intelligence
  
  Volume : Vol.8861 Pages : 390-406
- DOI
  10.1007/978-3-319-13191-7_32
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-26280092, KAKENHI-PROJECT-26330268
[Journal Article] GlueMiniSat2.2.82014
- Author(s)
  Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue
- Journal Title
  
  Proceedings of SAT Competition 2014: Solver and Benchmark Descriptions
  
  Volume : Vol.2, B-2014- Pages : 35-36
- Open Access / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] Discriminative MO-COP Operators2014
- Author(s)
  Nicolas Schwind, Tenda Okimoto, Tony Ribeiro, Sebastien Konieczny, Katsumi Inoue
- Journal Title
  
  International Joint Workshop On Optimisation In Multi-Agent Systems And Distributed Constraint Reasoning (OPTMAS-DCR)
  
  Volume : なし
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] Modeling and Algorithm for Dynamic Multi-Objective Weighted Constraint Satisfaction Problem2014
- Author(s)
  Tenda Okimoto, Tony Ribeiro, Maxime Clement, and Katsumi Inoue
- Journal Title
  
  The 6th International Conference on Agents and Artificial Intelligence (ICAART 2014)
  
  Volume : なし
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] Lp-Norm Based Algorithm for Multi-Objective Distributed Constraint Optimization2014
- Author(s)
  Tenda Okimoto, Nicolas Schwind, Maxime Clement, and Katsumi Inoue
- Journal Title
  
  The 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014)
  
  Volume : なし
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] Model and Algorithm for Dynamic Multi-Objective Distributed Optimization2014
- Author(s)
  Maxime Clement, Tenda Okimoto, Tony Ribeiro, Katsumi Inoue
- Journal Title
  
  International Joint Workshop on Optimisation in Multi-Agent Systems and Distributed Constraint Reasoning (OptMAS-DCR 2014)
  
  Volume : 無し
- Open Access / Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] Utilitarian and Egalitarian Solutions for Multi-Objective Constraint Optimization2014
- Author(s)
  Nicolas Schwind, Tenda Okimoto, Sebastien Konieczny, Maxime Wack, Katsumi Inoue
- Journal Title
  
  The 26th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2014; Limassol, Cyprus, November 10-12, 2014)
  
  Volume : 無し Pages : 170-177
- DOI
  10.1109/ICTAI.2014.34
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-26280092, KAKENHI-PROJECT-26330268
[Journal Article] Lp-norm Based Algorithm for Multi-Objective　 Distributed Constraint Optimization2014
- Author(s)
  Tenda Okimoto, Nicolas Schwind, Maxime Clement, Katsumi Inoue
- Journal Title
  
  In proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems
  
  Volume : 1 Pages : 1427-1428
- Open Access / Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26330268
[Journal Article] Model and Algorithm for Dynamic Multi-Objective Distributed Optimization2014
- Author(s)
  Maxime Clement, Tenda Okimoto, Tony Ribeiro, Katsumi Inoue
- Journal Title
  
  International Joint Workshop on Optimisation in Multi-Agent Systems and Distributed Constraint Reasoning (OptMAS-DCR 2014; Paris, France)
  
  Volume : -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26280092
[Journal Article] Lp-norm Based Algorithm for Multi-Objective Distributed Constraint Optimization2014
- Author(s)
  Tenda Okimoto, Nicolas Schwind, Maxime Clement, Katsumi Inoue
- Journal Title
  
  The 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2014, Paris, France, May 2014)
  
  Volume : - Pages : 1427-1428
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26280092
[Journal Article] Discriminative MO-COP Operators2014
- Author(s)
  Nicolas Schwind, Tenda Okimoto, Tony Ribeiro, Sebastien Konieczny, Katsumi Inoue
- Journal Title
  
  International Joint Workshop on Optimisation in Multi-Agent Systems and Distributed Constraint Reasoning (OptMAS-DCR 2014; Paris, France)
  
  Volume : -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26280092
[Journal Article] Completing SBGN-AF Networks by Logic-Based Hypothesis Finding2014
- Author(s)
  Yoshitaka Yamamoto, Adrien Rougny, Hidetomo Nabeshima, Katsumi Inoue, Hisao Moriya, Christine Froidevaux, Koji Iwanuma
- Journal Title
  
  In: François Fages and Carla Piazza (eds.), Formal Methods in Macro-Biology: Proceedings of the First International Conference (FMMB 2014), Lecture Notes in Bioinformatics
  
  Volume : 8738 Pages : 165-179
- DOI
  10.1007/978-3-319-10398-3_14
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26280092
[Journal Article] How Social Identity May Matter Most in Brand Crisis Management2014
- Author(s)
  Rungsiman Nararatwong, Kotaro Okazaki, Hitoshi Okada, Katsumi Inoue
- Journal Title
  
  Proceedings of 2014 IEEE Fourth International Conference on Big Data and Cloud Computing (The 7th IEEE International Conference on Social Computing and Networking (SocialCom 2014)
  
  Volume : - Pages : 572-578
- DOI
  10.1109/BDCloud.2014.93
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26280092
[Journal Article] A Two-Phase Complete Algorithm for Multi-Objective Distributed Constraint Optimization2014
- Author(s)
  Alexandre Medi, Tenda Okimoto, Katsumi Inoue
- Journal Title
  
  Journal of Advanced Computational Intelligence and Intelligent Informatics
  
  Volume : Vol.18 No.4 Pages : 573-580
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26280092
[Journal Article] Model and Algorithm for Dynamic Multi-Objective Distributed Optimization2014
- Author(s)
  Maxime Clement, Tenda Okimoto, Tony Ribeiro, Katsumi Inoue
- Journal Title
  
  International Joint Workshop On Optimisation In Multi-Agent Systems And Distributed Constraint Reasoning (OPTMAS-DCR)
  
  Volume : なし
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] Discriminative MO-COP Operators2014
- Author(s)
  Nicolas Schwind, Tenda Okimoto, Tony Ribeiro, Sebastien Konieczny, Katsumi Inoue
- Journal Title
  
  International Joint Workshop on Optimisation in Multi-Agent Systems and Distributed Constraint Reasoning (OptMAS-DCR 2014)
  
  Volume : 無し
- Open Access / Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming2013
- Author(s)
  Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura and Matthias Weise
- Journal Title
  
  Proceedings of the Sixth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013)
  
  Volume : なし Pages : 33-48
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] 分散制約最適化問題：擬似木に基づくハイブリッド型の解法の提案2013
- Author(s)
  沖本天太，山本将，櫻井祐子，横尾真，井上克巳
- Journal Title
  
  電子情報通信学会論文誌 D
  
  Volume : J96-D(12) Pages : 2920-2928
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning2013
- Author(s)
  Saadat Anwar, Chitta Baral, and Katsumi Inoue
- Journal Title
  
  Theory and Practice of Logic Programming
  
  Volume : 13(4-5)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] Combining Answer Set Programs for Adaptive and Reactive Reasoning2013
- Author(s)
  Tony Ribeiro, Katsumi Inoue and Gauvain Bourgne
- Journal Title
  
  Theory and Practice of Logic Programming
  
  Volume : 13(4-5)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] Answer Set Programming as a Modeling Language for Course Timetabling2013
- Author(s)
  Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue and Torsten Schaub
- Journal Title
  
  Theory and Practice of Logic Programming
  
  Volume : 13(4-5) Pages : 783-798
- DOI
  10.1017/S1471068413000495
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-25730042
[Journal Article] Inference and Learning of Boolean Networks using Answer Set Programming2013
- Author(s)
  Alexandre Rocca, Tony Ribeiro, and Katsumi Inoue
- Journal Title
  
  The 1st International Workshop on Learning and Nonmonotonic Reasoning (LNMR 2013)
  
  Volume : なし Pages : 17-30
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] Systems Resilience: A Challenge Problem for Dynamic Constraint-Based Agent Systems2013
- Author(s)
  Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Hei Chan, Tony Ribeiro, Kazuhiro Minami, and Hiroshi Maruyama
- Journal Title
  
  The 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013)
  
  Volume : なし Pages : 785-788
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] Translating the SBGN-AF Language into Logics to Analyze Signalling Networks2013
- Author(s)
  Adrien Rougny, Christine Froidevaux, Yoshitaka Yamamoto, and Katsumi Inoue
- Journal Title
  
  The 1st International Workshop on Learning and Nonmonotonic Reasoning (LNMR 2013)
  
  Volume : なし Pages : 43-54
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] Pseudo-Tree Based Hybrid Algorithm for Distributed Constraint Optimization2013
- Author(s)
  Tenda Okimoto, Makoto Yokoo, Yuko Sakurai, and Katsumi Inoue
- Journal Title
  
  The IJCAI 2013 Workshop on Distributed Constraint Reasoning (DCR 2013)
  
  Volume : なし Pages : 1-15
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] Learning Revised Models for Planning in Adaptive Systems2013
- Author(s)
  Daniel Sykes, Domenico Corapi, Jeff Magee, Jeff Kramer, Alessandra Russo, and Katsumi Inoue
- Journal Title
  
  The 35th International Conference on Software Engineering (ICSE 2013)
  
  Volume : なし Pages : 63-71
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] Non-Monotone Dualization via Monotone Duanzation2013
- Author(s)
  Yoshitaka Yamamoto, Koji Iwanuma, Katsumi Inoue
- Journal Title
  
  The 22nd International Conference of Inductive Logic Programming (ILP 2013)
  
  Volume : 掲載確定(掲載確定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] A Two-Phase Complete Algorithm for Multiobjective Distributed Constraint Optimization2013
- Author(s)
  Alexandre Medi, Tenda Okimoto, and Katsumi Inoue
- Journal Title
  
  Joint Agent Workshop and Symposium 2013 (JAWS 2013)
  
  Volume : なし
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] Modeling and Algorithm for Dynamic Multi-Objective Distributed Optimization2013
- Author(s)
  Maxime Clement, Tenda Okimoto, Tony Ribeiro, and Katsumi Inoue
- Journal Title
  
  Principles and Practice of Multi-Agent Systems: Proceedings of the 16th International Conference (PRIMA 2013)
  
  Volume : なし Pages : 413-420
- DOI
  10.1007/978-3-642-44927-7_29
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] AOF-Based Algorithm for Dynamic Multi-Objective Distributed Constraint Optimization2013
- Author(s)
  Tenda Okimoto, Maxime Clement, and Katsumi Inoue
- Journal Title
  
  Multi-Disciplinary Trends in Artificial Intelligence: Proceedings of the 7th International Workshop (MIWAI 2013)
  
  Volume : なし Pages : 175-186
- DOI
  10.1007/978-3-642-44949-9_17
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] Abduction, Unpredictability and Garden of Eden2013
- Author(s)
  Chiaki Sakama and Katsumi Inoue
- Journal Title
  
  Logic Journal of the IGPL
  
  Volume : 21(6) Pages : 980-998
- DOI
  10.1093/jigpal/jzt015
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-24500174
[Journal Article] On-The-Fly Lazy Clause Simplification based on Binary Resolvents2013
- Author(s)
  Hidetomo Nabeshima, Koji Iwanuma and Katsumi Inoue
- Journal Title
  
  Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2013)
  
  Volume : なし Pages : 987-995
- DOI
  10.1109/ICTAI.2013.149
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] Encoding Higher Level Extensions of Petri Nets in Answer Set Programming2013
- Author(s)
  Saadat Anwar, Chitta Baral, and Katsumi Inoue
- Journal Title
  
  Logic Programming and Nonmonotonic Reasoning: Proceedings of the 12th International Conference (LPNMR 2013)
  
  Volume : なし Pages : 116-121
- DOI
  10.1007/978-3-642-40564-8_12
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] Representation Theorems for Revision of Logic Programs2013
- Author(s)
  Nicolas Schwind and Katsumi Inoue
- Journal Title
  
  Logic Programming and Nonmonotonic Reasoning: Proceedings of the 12th International Conference (LPNMR 2013)
  
  Volume : なし Pages : 485-498
- DOI
  10.1007/978-3-642-40564-8_48
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] 多目的分散制約最適化問題における厳密／非厳密解法の提案2013
- Author(s)
  沖本天太，櫻井祐子，横尾真，井上克巳
- Journal Title
  
  電子情報通信学会論文誌 D
  
  Volume : J96-D(12) Pages : 2929-2938
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] ILP Turns 20 : Biography and Future Challenges2012
- Author(s)
  Stephen Muggleton, Luc De Raedt, David Poole, Ivan Bratko, Peter Flach, Katsumi Inoue, Ashwin Srinivasan
- Journal Title
  
  Machine Learning
  
  Volume : 86(1) Pages : 3-23
- DOI
  10.1007/s10994-011-5259-2
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] Inverse Subsumption for Complete Explanatory Induction2012
- Author(s)
  Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma
- Journal Title
  
  Journal of Machine Learning
  
  Volume : 86(1) Pages : 115-139
- DOI
  10.1007/s10994-011-5250-y
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016, KAKENHI-PROJECT-22500127, KAKENHI-PROJECT-22700141
[Journal Article] 私のブックマーク:SATソルバー2012
- Author(s)
  番原睦則, 田村直之, 井上克巳
- Journal Title
  
  人工知能学会誌
  
  Volume : (掲載決定)
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] Glue Mini Sat2. 2. 5 :単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー2012
- Author(s)
  鍋島英知, 岩沼宏治, 井上克巳
- Journal Title
  
  コンピュータソフトウェア
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] GlueMiniSat 2.2.5:単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー2012
- Author(s)
  鍋島英知, 岩沼宏治, 井上克巳
- Journal Title
  
  コンピュータソフトウェア
  
  Volume : (掲載確定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] GlueMiniSat2.2.5:単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー2012
- Author(s)
  鍋島英知,岩沼宏治,井上克巳
- Journal Title
  
  コンピュータソフトウェア
  
  Volume : 29(4) Pages : 146-160
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] Evaluation of the Prediction of Gene Knockout Effects by Minimal Pathway Enumeration2012
- Author(s)
  Takehide Soh, Katsumi Inoue, Tomoya Baba, Toyoyuki Takada, Toshihiko Shiroishi
- Journal Title
  
  International Journal on Advances in Life Sciences
  
  Volume : 4(3-4) Pages : 154-165
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] Model of Double Strand Break of DNA in Logic-Based Hypothesis Finding2012
- Author(s)
  Barthelemy Dworkin, Andrei Doncescu, Jean-Charles Faye, Katsumi Inoue
- Journal Title
  
  Latest Advances in Inductive Logic Programming : Late-Breaking Proceedings of ILP 2011
  
  Volume : (掲載確定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] Generating Event-Sequence Test Cases by Answer Set Programming with Incidence Matrix2012
- Author(s)
  Mutsunori Banbara, Naoyuki Tamura、Katsumi Inoue
- Journal Title
  
  The 28th International Conference on Logic Programmimg(ICLP 2012)
  
  Pages : 86-97
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] Modular Reasoning in Multi-Agent Systems Using Mata-Knowledge and Answer Set Programming2012
- Author(s)
  Tony Kibeiro, Katsumi Inoue, Uauvain Bourgne.
- Journal Title
  
  International Joint Agent Workshop and Symposium(iJAWS 2012)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] Oscillating Behavior of Logic Programs2012
- Author(s)
  Katsumi Inoue, Chiaki Sakama
- Journal Title
  
  Correct Reasoning-Essays on Logic-Based AI in Honour of Vladimir Lifschitz, LNCS, Springer
  
  Volume : 7265 Pages : 345-362
- DOI
  10.1007/978-3-642-30743-0
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] DNF Hypotheses In Bottom-Directed ILP2012
- Author(s)
  Katsumi Inoue
- Journal Title
  
  Inducive Logic Programming: Revised Selected Papers from the 21st International Conference (ILP 2011), LNCS, Springer
  
  Volume : 7207 Pages : 173-188
- DOI
  10.1007/978-3-642-31951-8
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] GlueMiniSat2.2.5:単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー2012
- Author(s)
  鍋島英知, 岩沼宏治, 井上克巳
- Journal Title
  
  コンピュータソフトウェア
  
  Volume : (掲載決定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] Concretizing the Process Hitting into Biological Regulatory Networks2012
- Author(s)
  Maxime Folscnette, Loic Pauleve, Katsumi Inoue, Morgan Magnin, Olivier Boux
- Journal Title
  
  The 10th International Conference on Computational Methods in Systems Biology (CMSB 2012), LNCS, Springer
  
  Volume : 7605 Pages : 166-186
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] Event-Sequence Testing-Using Answer-Set Programming2012
- Author(s)
  Martin Brain、 Esra Erdem, Katsumi Inoue, Johannes Oetsch, Jorg Puhrer, Hans Tompits, Cemal Yilmaz
- Journal Title
  
  International Journal On Advances in Software
  
  Volume : 5(3-4) Pages : 236-250
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] Abducing Biological Regulatory Networks from Process Hitting Models2012
- Author(s)
  Maxime Folscnette, Loic Pauleve, Katsumi Inoue, Magnin, Olivier Roux
- Journal Title
  
  ECML-PKDD 2012 Workshop on Learning and Discovery in Symbolic Systems Biology
  
  Pages : 24-35
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] モデル生成を用いた代謝ネットワークにおける極小活性パスウェイの列挙2012
- Author(s)
  宋剛秀, 井上克巳
- Journal Title
  
  人工知能学会誌
  
  Volume : 27(3) Pages : 204-212
- DOI
  10.1527/tjsai.27.204
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-10J02321, KAKENHI-PROJECT-20240016
[Journal Article] Comparison of Upward and Downward Generalizations in CF-induction2012
- Author(s)
  Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma
- Journal Title
  
  Inductive Logic Programming : Revised Selected Papers from the 21st International Conference (ILP 2011), Lecture Notes in Artificial Intelligence
  
  Volume : 7207 Pages : 373-388
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] Physiological Analysis of Yeast Cell by Intelligent Signal Processing2012
- Author(s)
  Andrei Doncescu, Sebastien Regis, Katsumi Inoue, Nathalie Goma
- Journal Title
  
  Applied Biological Engineering-Principles and Practice
  
  Volume : 19 Pages : 435-460
- DOI
  10.5772/29776
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] DNF Hyrpotheses in Explanatory Induction2012
- Author(s)
  Katsumi Inoue
- Journal Title
  
  Inductive Logic Programming : Revised Selected Papers from the 21st International Conference (ILP 2011), Lecture Notes in Artificial Intelligence
  
  Volume : 7207 Pages : 173-188
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] 一階論理上の等号推論:理論と実際2011
- Author(s)
  岩沼宏治,鍋島英知,井上克巳
- Journal Title
  
  コンピュータソフトウェア
  
  Volume : 28(4) Pages : 282-305
- URL
  http://JST.JSTAGE/jssst/28.4_282
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming2011
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Journal Title
  
  Machine Learning
  
  Volume : 83(1) Pages : 1-29
- DOI
  10.1007/s10994-010-5189-4
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016, KAKENHI-PROJECT-20500134
[Journal Article] Constraint-based Probabilistic Modeling for Statistical Abduction2011
- Author(s)
  Taisuke Sato, Masakazu Ishihata, Katsumi Inoue
- Journal Title
  
  Machine Learning
  
  Volume : 83(2) Pages : 241-264
- DOI
  10.1007/s10994-010-5206-7
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming.2011
- Author(s)
  Chiaki Sakama, Katsumi Inoue.
- Journal Title
  
  Machine Learning 83(1)
  
  Pages : 1-29
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] Inverse Subsumption for Complete Explanatory Induction.2011
- Author(s)
  Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma.
- Journal Title
  
  Machine Learning; to appear
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming2011
- Author(s)
  Chiaki Sakama, Katsumi Inoue.
- Journal Title
  
  Machine Learning(Springer) 83
  
  Pages : 1-29
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500134
[Journal Article] Analyzing Pathways Using ASP-Based Approaches2011
- Author(s)
  Oliver Ray, Takehide Soh, Katsumi Inoue
- Journal Title
  
  Proc of 2010 Int'l Conf.on Algebraic and Numeric Biology (ANB 2010)
  
  Volume : 6479 Pages : 167-183
- DOI
  10.1007/978-3-642-28067-2_10
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-10J02321, KAKENHI-PROJECT-20240003, KAKENHI-PROJECT-20240016
[Journal Article] Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction2011
- Author(s)
  Katsumi Inoue, Chiaki Sakama, Lena Wiese
- Journal Title
  
  Proc.of 19th Int'l Conf.on Applications of Declarative Programming and Knowledge Management (INAP 2011)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] Probabilistic Rule Learning in Nonmonotonic Domains2011
- Author(s)
  Domenico Corapi, Daniel Sykes, Katsumi Inoue, Alessandra Russo
- Journal Title
  
  Proc.of 12th Int'l Workshop on the Computational Logic in Multi-Agent Systems (CLIMA-XII)
  
  Pages : 243-258
- DOI
  10.1007/978-3-642-22359-4_17
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] Query-driven Coordination of Multiple Answer Sets2011
- Author(s)
  Gauvain Bourgne, Katsumi Inoue
- Journal Title
  
  Declarative Agent Languages and Technologies VIII : Revised, Selected, and Invited Papers from the 8th International Workshop (DALT 2010), Lecture Notes in Artificial Intelligence
  
  Volume : 6619 Pages : 40-59
- DOI
  10.1007/978-3-642-20715-0_3
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003, KAKENHI-PROJECT-20240016
[Journal Article] Logic Programming for Boolean Networks2011
- Author(s)
  Katsumi Inoue
- Journal Title
  
  Proc.of 22nd Int'l Joint Conf.on Artificial Intelligence (IJCAI 2011)
  
  Pages : 924-930
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] Answer-Set Programming as a New Approach to Event-Sequence Testing2011
- Author(s)
  Esra Erdem, Katsumi Inoue, Johannes Oetsch, Jorg Puhrer, Hans Tompits, Cemal Yilmaz
- Journal Title
  
  Proc.of 3rd Int'l Conf.on Advances in System Testing and Validation Lifecycle (VALID 2011)
  
  Pages : 25-34
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] Exploring Relations between Answer Set Programs2011
- Author(s)
  Katsumi Inoue, Chiaki Sakama
- Journal Title
  
  Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning : Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday, Lecture Notes in Artificial Intelligence
  
  Volume : 6565 Pages : 91-110
- DOI
  10.1007/978-3-642-20832-4_7
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] Hypothesizing about Causal Networks with Positive and Negative Effects by Meta-level Abduction2011
- Author(s)
  Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima
- Journal Title
  
  Inductive Logic Programming: Revised Papers from the 20th International Conference (ILP'10), Lecture Notes in Artificial Intelligence
  
  Volume : 6489 Pages : 114-129
- DOI
  10.1007/978-3-642-21295-6_15
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016, KAKENHI-PROJECT-23700164
[Journal Article] Towards Efficient Multi-Agent Abduction Protocols2011
- Author(s)
  Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet
- Journal Title
  
  Languages, Methodologies, and Development Tools for Multi-Agent Systems, Revised Selected Papers from the 3rd International Workshop (LADS 2010), Lecture Notes in Artificial Intelligence
  
  Volume : 6822 Pages : 19-38
- DOI
  10.1007/978-3-642-22723-3_2
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] Discretized Kinetic Models for Abductive Reasoning in Systems Biology2011
- Author(s)
  Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, Taisuke Sato
- Journal Title
  
  Biomedical Engineering Systems and Technologies : Revised Selected Papers from the 4th International Joint Conference (BIOSTEC 2011), Communications in Computer and Information Science
  
  Volume : (掲載確定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] Constraint-based Probabilistic Modeling for Statistical Abduction.2011
- Author(s)
  Taisuke Sato, Masakazu Ishihata, Katsumi Inoue.
- Journal Title
  
  Machine Learning 83(2)
  
  Pages : 241-264
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] Distributed Consequence Finding : Partition-Based and Cooperative Approaches2011
- Author(s)
  Katsumi Inoue, Gauvain Bourgne, Takayuki Okamoto
- Journal Title
  
  Agents and Artificial Intelligence : Revised Selected Papers from the 3rd International Conference (ICAART 2011), Communications in Computer and Information Science
  
  Volume : (掲載確定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] 一階論理上の等号推論:理論と実際2011
- Author(s)
  岩沼宏治, 鍋島英知, 井上克巳
- Journal Title
  
  コンピュータソフトウェア
  
  Volume : 28(4) Pages : 282-305
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] アブダクションとインダクション2010
- Author(s)
  井上克巳
- Journal Title
  
  人工知能学会誌
  
  Volume : 25(3) Pages : 389-399
- URL
  http://ci.nii.ac.jp/naid/110007610263/ja/
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] Oliver Ray SOLAR : An Automated Deduction System for Consequence Finding2010
- Author(s)
  Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue
- Journal Title
  
  AI Communications
  
  Volume : 23(2-3) Pages : 183-203
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] From Inverse Entailment to Inverse Subsumption2010
- Author(s)
  Y.Yamamoto, K.Inoue, K.Iwanuma
- Journal Title
  
  20th Int'l Conf. on Inductive Logic Programming (ILP 2010)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation2010
- Author(s)
  T.Soh, K.Inoue
- Journal Title
  
  6th Conf. on Prestigious Applications of Intelligent Systems (PAIS 2010)
  
  Pages : 277-282
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] Hypothesizing about Networks by Meta-level Abduction2010
- Author(s)
  K.Inoue, A.Doncescu, H.Nabeshima
- Journal Title
  
  20th Int'l Conf. on Inductive Logic Programming (ILP 2010)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] SOLAR : An Automated Deduction System for Consequence Finding.2010
- Author(s)
  Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, Oliver Ray.
- Journal Title
  
  AI Communications 23(2-3)
  
  Pages : 183-203
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] Finding Minimal Reaction Sets in Large Metabolic Pathways2010
- Author(s)
  T.Soh, K.Inoue
- Journal Title
  
  Workshop on Constraint Based Methods for Bioinformatics (WCB 2010)
  
  Pages : 54-68
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] A SAT-based Method for Solving the Two-dimensional Strip Packing Problem2010
- Author(s)
  T. Soh, K. Inoue, N. Tamura, M. Banbara, H. Nabeshima
- Journal Title
  
  Fundamenta Informaticae
  
  Volume : Vol.102 Pages : 467-487
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] From Inverse Entailment to Inverse Subsumption2010
- Author(s)
  Y. Yamamoto, K. Inoue, K. Iwanuma
- Journal Title
  
  Proc of 20th Int' l Conf. on Inductive Logic Programming(ILP 2010)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers2010
- Author(s)
  M.Banbara, H.Matsunaka, N.Tamura. K.Inoue
- Journal Title
  
  17th Int'l Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-17)
  
  Pages : 112-126
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] Discovering Rules by Meta-level Abduction2010
- Author(s)
  Katsumi Inoue
- Journal Title
  
  Inductive Logic Programming : Revised Papers from the 19th International Conference, Lecture Notes in Artificial Intelligence(Luc De Raedt (ed.))
  
  Volume : 5989 Pages : 49-64
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] A SAT-based Method for Solving the Two-dimensional Strip Packing Problem2010
- Author(s)
  T.Soh, K.Inoue, N.Tamura, M.Banbara, H.Nabeshima
- Journal Title
  
  Fundamenta Informaticae
  
  Volume : 102・3-4 Pages : 467-487
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] SOLAR : An Automated Deduction System for Consequence Finding2010
- Author(s)
  H.Nabeshima, K.Iwanuma, K.Inoue.O.Ray
- Journal Title
  
  AI Communications 23
  
  Pages : 183-203
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] A SAT-based Method for Solving the Two-dimensional Strip Packing Problem2010
- Author(s)
  T.Soh, K.Inoue, N.Tamura, M.Banbara, H.Nabeshima
- Journal Title
  
  Fundamenta Informaticae Vol.102
  
  Pages : 467-487
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] SATソルバーの基礎2010
- Author(s)
  井上克巳, 田村直之
- Journal Title
  
  人工知能学会誌 25・1
  
  Pages : 57-67
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] 特集「最近のSAT技術の発展」にあたって2010
- Author(s)
  井上克巳, 田村直之
- Journal Title
  
  人工知能学会誌 25・1
  
  Pages : 56-56
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] Brave Induction : a logical framework for learning from incomplete information2009
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Journal Title
  
  Machine Learning
  
  Volume : 76(1) Pages : 3-35
- DOI
  10.1007/s10994-009-5113-y
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016, KAKENHI-PROJECT-20500134
[Journal Article] Equivalence Issues in Abduction and Induction2009
- Author(s)
  Chiaki Sakama, Katsumi Inoue.
- Journal Title
  
  Journal of Applied Logic(Elsevier) 7(3)
  
  Pages : 318-328
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500134
[Journal Article] Brave Induction : a logical framework for learning from incomplete information2009
- Author(s)
  Chiaki Sakama, Katsumi Inoue.
- Journal Title
  
  Machine Learning(Springer) 76
  
  Pages : 3-35
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500134
[Journal Article] Reconsideration of Circumscriptive Induction with Pointwise Circumscription2009
- Author(s)
  Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima
- Journal Title
  
  Journal of Applied Logic
  
  Volume : 7(3) Pages : 307-317
- DOI
  10.1016/j.jal.2008.10.005
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] Equivalence Issues in Abduction and Induction2009
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Journal Title
  
  Journal of Applied Logic 7
  
  Pages : 318-328
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500134
[Journal Article] Brave Induction : A Logical Framework for Learning from Incomplete Information.2009
- Author(s)
  Chiaki Sakama, Katsumi Inoue.
- Journal Title
  
  Machine Learning 76(1)
  
  Pages : 3-35
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] Equivalence Issues in Abduction and Induction2009
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Journal Title
  
  Journal of Applied Logic
  
  Volume : 7(3) Pages : 318-328
- DOI
  10.1016/j.jal.2008.10.006
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016, KAKENHI-PROJECT-20500134
[Journal Article] Brave Induction : a logical framework for learning from incomplete infor mation2009
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Journal Title
  
  Machine Learning 76
  
  Pages : 3-35
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500134
[Journal Article] 論理プログラミングから解集合プログラミングへ2008
- Author(s)
  井上克巳
- Journal Title
  
  コンピュータソフトウェア Vol. 25, No. 3
  
  Pages : 20-32
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] Coordination in Answer Set Programming2008
- Author(s)
  Chiaki Sakama, Katsumi Inoue.
- Journal Title
  
  ACM Transactions on Computational Logic 9(2)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500134
[Journal Article] Coordination in Answer Set Programming ACM2008
- Author(s)
  Chiaki Sakama and Katsumi Inoue
- Journal Title
  
  Transactions on Computational Logic
  
  Volume : 9(2)
- DOI
  10.1145/1342991.1342993
- Data Source
  KAKENHI-PROJECT-20500134
[Journal Article] 論理プログラミングから解集合プログラミングへ2008
- Author(s)
  井上克巳
- Journal Title
  
  コンピュータソフトウェア 25 (3)
  
  Pages : 20-32
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] Abductive Equivalence in First-order Logic2006
- Author(s)
  Katsumi Inoue
- Journal Title
  
  Logic Journal of the IGPL 14(2)
  
  Pages : 333-346
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300051
[Journal Article] Consequence Finding and Computing Answers with Defaults2006
- Author(s)
  Katsumi Inoue
- Journal Title
  
  Journal of Intelligent Information Systems 26(1)
  
  Pages : 41-58
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300051
[Journal Article] On Abductive Equivalence2006
- Author(s)
  Katsumi Inoue
- Journal Title
  
  Model-Based Reasoning in Science and Engineering:Cognitive Science, Epistemology, Logic, Studies in Logic 2
  
  Pages : 333-352
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300051
[Journal Article] A Competitive and Cooperative Approach to Propositional Satisfiability2006
- Author(s)
  Katsumi Inoue
- Journal Title
  
  Discrete Applied Mathematics 154(16)
  
  Pages : 2291-2306
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300051
[Journal Article] 極小限定を用いた帰納推論2006
- Author(s)
  齋藤悠, 井上克巳
- Journal Title
  
  人工知能学会論文誌 21・2
  
  Pages : 143-152
- Data Source
  KAKENHI-PROJECT-17300051
[Journal Article] Consequence Finding and Computing Answers with Defaults2006
- Author(s)
  Katsumi Inoue, Koji Iwanuma, Hidetomo Nabeshima
- Journal Title
  
  Journal of Intelligent Information Systems 26
  
  Pages : 41-58
- Data Source
  KAKENHI-PROJECT-17300051
[Journal Article] On Abductive Equivalence2006
- Author(s)
  Katsumi Inoue
- Journal Title
  
  Model-Based Reasoning in Science and Engineering : Cognitive Science, Epistemology, Logic [Studies in Logic] 2
  
  Pages : 333-352
- Data Source
  KAKENHI-PROJECT-17300051
[Journal Article] Generality Relations in Answer Set Programming2006
- Author(s)
  Katsumi Inoue
- Journal Title
  
  Logics Programming : Proceedings of the 22nd International Conference (ICLP 2006) [Lecture Notes in Computer Science] 4079
  
  Pages : 211-225
- Data Source
  KAKENHI-PROJECT-17300051
[Journal Article] On Abductive Equivalence2006
- Author(s)
  Katsumi Inoue
- Journal Title
  
  Model-Based Reasoning in Science and Engineering : Cognitive Science, Epistemology, Logic, Studies in Logic Vol.2
  
  Pages : 333-352
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300051
[Journal Article] Consequence Finding and Computing Answers with Defaults2006
- Author(s)
  Katsumi Inoue
- Journal Title
  
  Journal of Intelhent Information Systems 26(1)
  
  Pages : 41-58
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300051
[Journal Article] A Web-based Architecture for Inductive Logic Programming in Biology2005
- Author(s)
  Andrei Doncescu, Katsumi Inoue, Muhammad Farmer, Gilles Richard
- Journal Title
  
  Proceedings of the 7th International Conference on Enterprise Information System (ICEIS2005) 2
  
  Pages : 357-361
- Data Source
  KAKENHI-PROJECT-17300051
[Journal Article] Inducing Causal Laws by Regular Inference2005
- Author(s)
  Katsumi Inoue, Hideyuki Bando, Hidetomo Nabeshima
- Journal Title
  
  Inductive Logic Programming (ILP 2005), Lecture Notes in Artificial Intelligence 3625
  
  Pages : 154-171
- Data Source
  KAKENHI-PROJECT-17300051
[Journal Article] Equivalence in Abductive Logic2005
- Author(s)
  Katsumi Inoue, Chiaki Sakama
- Journal Title
  
  Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05) 1
  
  Pages : 472-477
- Data Source
  KAKENHI-PROJECT-17300051
[Journal Article] Upside-down Transformation in SOL/Connection Tableaux and its Application2005
- Author(s)
  Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima
- Journal Title
  
  Theoretical Aspects of Computing (ICTAC 2005), Lecture Notes in Computer Science 3722
  
  Pages : 166-179
- Data Source
  KAKENHI-PROJECT-17300051
[Journal Article] Speculative Computation through Consequence-finding in Multi-agent Environments2004
- Author(s)
  Katsumi Inoue
- Journal Title
  
  Annals of Mathematics and Artificial Intelligence Vol.42, Nos.1-3
  
  Pages : 255-291
- Data Source
  KAKENHI-PROJECT-14380164
[Journal Article] Induction as Consequence Finding2004
- Author(s)
  Katsumi Inoue
- Journal Title
  
  Machine Learning Vol.55, No.2
  
  Pages : 109-135
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14380164
[Journal Article] Consequence-finding in Default Theories2004
- Author(s)
  Katsumi Inoue
- Journal Title
  
  Flexible Query Answering Systems (FQAS 2004), Lecture Notes in Artificial Intelligence Vol.3055
  
  Pages : 459-472
- Data Source
  KAKENHI-PROJECT-14380164
[Journal Article] Circumscription Policies for Induction2004
- Author(s)
  Katsumi Inoue
- Journal Title
  
  Lecture Notes in Artificial Intelligence Vol.3194
  
  Pages : 164-179
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14380164
[Journal Article] Equivalence of Logic Programs under Updates2004
- Author(s)
  Katsumi Inoue
- Journal Title
  
  Lecture Notes in Artificial Intelligence Vol.3229
  
  Pages : 174-186
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14380164
[Journal Article] Consequence-finding in Default Theories2004
- Author(s)
  Katsumi Inoue
- Journal Title
  
  Lecture Notes in Artificial Intelligence Vol.3055
  
  Pages : 459-472
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14380164
[Journal Article] Speculative Computation through Consequence-finding in Multi-agent Environments2004
- Author(s)
  Katsumi Inoue
- Journal Title
  
  Annals of Mathematics and Artificial Intelligence Vol.42 Nos.1-3
  
  Pages : 255-291
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14380164
[Journal Article] Equivalence of Logic Programs under Updates2004
- Author(s)
  Katsumi Inoue
- Journal Title
  
  Logics in Artificial Intelligence (JELIA 2004), Lecture Notes in Artificial Intelligence Vol.3229
  
  Pages : 174-186
- Data Source
  KAKENHI-PROJECT-14380164
[Journal Article] Disjunctive Explanations2004
- Author(s)
  Katsumi Inoue
- Journal Title
  
  lecture Notes in Artificial intelligence Vol.2401
  
  Pages : 317-332
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14380164
[Journal Article] Induction as Consequence Finding2004
- Author(s)
  Katsumi Inoue
- Journal Title
  
  Machine Learning Vol.55 No.2
  
  Pages : 109-135
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14380164
[Journal Article] Circumscription Policies for Induction2004
- Author(s)
  Katsumi Inoue
- Journal Title
  
  Inductive Logic Programming (ILP 2004), Lecture Notes in Artificial Intelligence Vol.3194
  
  Pages : 164-179
- Data Source
  KAKENHI-PROJECT-14380164
[Journal Article] Speculative Computation through Consequence-finding in Multi-agent Environments2004
- Author(s)
  Katsumi Inoue
- Journal Title
  
  Annals of mathematics and Artificial Intelligence Vol.42, Nos.1-3
  
  Pages : 255-291
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14380164
[Journal Article] Consequence-finding in Default Theories2004
- Author(s)
  katsumi Inoue
- Journal Title
  
  Lecture Notes in Artificial Intelligence Vol.3055
  
  Pages : 459-472
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14380164
[Journal Article] Disjunctive Explanation2002
- Author(s)
  Katsumi Inoue
- Journal Title
  
  Lecture Notes in Artificial Intelligence Vol.2401
  
  Pages : 317-332
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14380164
[Journal Article] Automated Abduction2002
- Author(s)
  Katsumi Inoue
- Journal Title
  
  Lecture Notes in Artificial Intelligence Vol.2408
  
  Pages : 311-341
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14380164
[Journal Article] A SAT-based Method for Solving the Two-dimensional Strip Packing Problem
- Author(s)
  T.Soh, K.Inoue, N.Tamura, M.Banbara, H.Nabeshima
- Journal Title
  
  Jouranal of Algorithms in Cognition, Informatics and Logic (掲載確定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] Comparing Multi-Objective Selection Methods using a Simulation of Dynamic Sensor Network2017
- Author(s)
  Maxime Clement, Tenda Okimoto, Katsumi Inoue
- Organizer
  第31回人工知能学会全国大会
- Data Source
  KAKENHI-PROJECT-16H02803
[Presentation] GPGPUによるMaxSATオラクルを用いたSATソルバの試作2017
- Author(s)
  山口順也, Sophie Tourret, 井上克巳
- Organizer
  第31回人工知能学会全国大会
- Data Source
  KAKENHI-PROJECT-16H02803
[Presentation] LFIT: 解釈遷移からの学習2016
- Author(s)
  井上克巳
- Organizer
  人工知能学会第100回人工知能基本問題研究会 (SIG-FPAI)
- Place of Presentation
  熊本市民会館
- Year and Date
  2016-03-27
- Invited
- Data Source
  KAKENHI-PROJECT-26540122
[Presentation] Sigma-Optimal Solutions in Multi-Objective Timetabling2015
- Author(s)
  Maxime Clement, Tenda Okimoto, Katsumi Inoue, and Mutsunori Banbara
- Organizer
  Joint Agents Workshop and Symposium 2015 (JAWS 2015)
- Place of Presentation
  加賀
- Year and Date
  2015-10-01
- Data Source
  KAKENHI-PROJECT-26280092
[Presentation] 多目的ナース・リスケジューリング問題における安定性と平等性2015
- Author(s)
  呉詩敏，沖本天太，平山勝敏，井上克巳
- Organizer
  人工知能学会第29回全国大会
- Place of Presentation
  函館
- Year and Date
  2015-06-02
- Data Source
  KAKENHI-PROJECT-26280092
[Presentation] Panel: ILP 25 Years2015
- Author(s)
  Stephen Muggleton, Fabrizio Riguzzi, Filip Zelezny, Gerson Zaverucha, Jesse Davis, Katsumi Inoue, and Taisuke Sato
- Organizer
  he 25th International Conference on Inductive Logic Programming
- Place of Presentation
  京都大学
- Year and Date
  2015-08-22
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540122
[Presentation] Can Machine Learn Logics?2015
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Organizer
  The UNILOG 2015 Workshop on Emergent Computational Logics
- Place of Presentation
  Istanbul, Turkey
- Year and Date
  2015-06-28
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540122
[Presentation] Learning Multi-Valued Biological Models with Delayed Influence from Time-Series Observations2015
- Author(s)
  Tony Ribeiro, Morgan Magnin, Katsumi Inoue, Chiaki Sakama
- Organizer
  The 25th International Conference on Inductive Logic Programming
- Place of Presentation
  京都大学
- Year and Date
  2015-08-20
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540122
[Presentation] Completing Signaling Networks by Abductive Reasoning with Perturbation Experiments2015
- Author(s)
  Adrien Rougny, Yoshitaka Yamamoto, Hidetomo Nabeshima, Gauvain Bourgne, Anne Poupon, Katsumi Inoue, Christine Froidevaux
- Organizer
  he 25th International Conference on Inductive Logic Programming
- Place of Presentation
  京都大学
- Year and Date
  2015-08-20
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540122
[Presentation] Representative Solutions for Multi-Objective Constraint Optimization Problems2015
- Author(s)
  Nicolas Schwind, Maxime Clement, Tenda Okimoto, Sébastien Konieczny, and Katsumi Inoue
- Organizer
  人工知能学会第29回全国大会
- Place of Presentation
  函館
- Year and Date
  2015-06-02
- Data Source
  KAKENHI-PROJECT-26280092
[Presentation] スケールフリー・トポロジーにおける不染化を応用した減災評価方法2015
- Author(s)
  岡崎孝太郎，井上克巳
- Organizer
  人工知能学会第29回全国大会
- Place of Presentation
  函館
- Year and Date
  2015-05-31
- Data Source
  KAKENHI-PROJECT-26280092
[Presentation] 災害派遣医療チームのためのダイナミック・スケジューリング2015
- Author(s)
  沖本天太，平山勝敏，井上克巳，波多野大督，花田研太，クレモンマキシム，リベイロトニー，呉詩敏
- Organizer
  合同エージェントワークショップ＆シンポジウム2015(JAWS2015)
- Place of Presentation
  加賀
- Year and Date
  2015-10-01
- Data Source
  KAKENHI-PROJECT-26280092
[Presentation] Distributed Iterated Pareto Local Search for MO-DCOPs2014
- Author(s)
  Maxime Wack, Tenda Okimoto, Maxime Clement, Katsumi Inoue
- Organizer
  Joint Agent Workshop and Symposium
- Place of Presentation
  ANAホリディ・イン・リゾート宮崎、宮崎
- Year and Date
  2014-10-28
- Data Source
  KAKENHI-PROJECT-26280092
[Presentation] Limiting Perturbations in Dynamic MO-DCOP2014
- Author(s)
  Maxime Clement, Tenda Okimoto, Katsumi Inoue
- Organizer
  Joint Agent Workshop and Symposium
- Place of Presentation
  ANAホリディ・イン・リゾート宮崎、宮崎
- Year and Date
  2014-10-28
- Data Source
  KAKENHI-PROJECT-26280092
[Presentation] Distributed Iterated Pareto Local Search for MO-DCOPs2014
- Author(s)
  Katsumi Inoue
- Organizer
  Joint Agent Workshop and Symposium
- Place of Presentation
  ANA ホリデイ・インリゾート宮崎
- Year and Date
  2014-10-28
- Data Source
  KAKENHI-PROJECT-26330268
[Presentation] Limiting Perturbations in Dynamic MO-DCOP2014
- Author(s)
  Maxime Clement, Tenda Okimoto, Katsumi Inoue
- Organizer
  Joint Agent Workshop and Symposium 2014
- Place of Presentation
  ANA ホリデイ・インリゾート宮崎 (宮崎県)
- Year and Date
  2014-10-28
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] Robust Multi-Team Formation and its Application to Robot Rescue Simulation2014
- Author(s)
  Damien Bouchabou, Tony Ribeiro, Tenda Okimoto, Katsumi Inoue
- Organizer
  Joint Agent Workshop and Symposium 2014
- Place of Presentation
  ANA ホリデイ・インリゾート宮崎 (宮崎県)
- Year and Date
  2014-10-28
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] 制約解集合プログラミングシステムの設計方式に関する考察2014
- Author(s)
  宋剛秀, 則武治樹, 番原睦則, 田村直之, 井上克巳
- Organizer
  日本ソフトウェア科学会第31回大会
- Place of Presentation
  名古屋大学 (愛知県)
- Year and Date
  2014-09-08
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] Learning Delayed Influence of Dynamical Systems from Interpretation Transition2014
- Author(s)
  Tony Ribeiro, Morgan Magnin, Katsumi Inoue
- Organizer
  The 24th International Conference on Inductive Logic Programming (ILP 2014)
- Place of Presentation
  Nancy, France
- Year and Date
  2014-09-14
- Data Source
  KAKENHI-PROJECT-26540122
[Presentation] Distributed Iterated Pareto Local Search for MO-DCOPs2014
- Author(s)
  Maxime Wack, Tenda Okimoto, Maxime Clement, Katsumi Inoue
- Organizer
  Joint Agent Workshop and Symposium 2014
- Place of Presentation
  ANA ホリデイ・インリゾート宮崎 (宮崎県)
- Year and Date
  2014-10-28
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] ロバストな提携構造形成問題に関する一検討2014
- Author(s)
  沖本天太，シュインドニコラ，井上克巳
- Organizer
  第28回人工知能学会全国大会
- Place of Presentation
  ひめぎんホール、愛媛
- Year and Date
  2014-05-14
- Data Source
  KAKENHI-PROJECT-26280092
[Presentation] Robust Multi-Team Formation and its Application to Robot Rescue Simulation2014
- Author(s)
  Damien Bouchabou, Tony Ribeiro, Tenda Okimoto, Katsumi Inoue
- Organizer
  Joint Agent Workshop and Symposium
- Place of Presentation
  ANAホリディ・イン・リゾート宮崎、宮崎
- Year and Date
  2014-10-28
- Data Source
  KAKENHI-PROJECT-26280092
[Presentation] スケールフリー・トポロジーにおける不染化を応用した減災評価方法2014
- Author(s)
  岡崎孝太郎，井上克巳
- Organizer
  情報処理学会第177回知能システム研究会
- Place of Presentation
  （株）ドワンゴ、東京
- Year and Date
  2014-12-15
- Data Source
  KAKENHI-PROJECT-26280092
[Presentation] ロバストなチーム編成問題2014
- Author(s)
  沖本天太, Nicolas Schwind, Maxime Clement, 井上克巳
- Organizer
  Joint Agent Workshop and Symposium 2014
- Place of Presentation
  ANA ホリデイ・インリゾート宮崎 (宮崎県)
- Year and Date
  2014-10-29
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] Learning Prime Implicant Conditions from Interpretation Transition2014
- Author(s)
  Tony Ribeiro, Katsumi Inoue
- Organizer
  The 24th International Conference on Inductive Logic Programming (ILP 2014)
- Place of Presentation
  Nancy,France
- Year and Date
  2014-09-14
- Data Source
  KAKENHI-PROJECT-26540122
[Presentation] ロバストなチーム編成問題2014
- Author(s)
  沖本天太，シュウィンドニコラ，クレモンマキシム，井上克巳
- Organizer
  Joint Agent Workshop and Symposium
- Place of Presentation
  ANAホリディ・イン・リゾート宮崎、宮崎
- Year and Date
  2014-10-29
- Data Source
  KAKENHI-PROJECT-26280092
[Presentation] SAT符号化を用いたパッキング配列の構成2013
- Author(s)
  則武治樹,番原睦則、宋剛秀,田村直之,井上克巳
- Organizer
  第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013)
- Place of Presentation
  会津若松市(福島県)
- Year and Date
  2013-03-05
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] 制約充足問題のSAT符号化を用いたパッキング配列の構成2012
- Author(s)
  則武治樹,番原睦則,田村直之,井上克己
- Organizer
  第26回人工知能学会全国大会
- Place of Presentation
  山口県教育会館(山口県)
- Year and Date
  2012-06-12
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] Generating Event-Sequence Test Cass by Constraint Programming and Answer Set Programming2012
- Author(s)
  Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue, Hidetomo Nabeshima
- Organizer
  The 2012 CRIL-Nil Collaborative Meeting on Reasoning about Dynamic Constraint Networks
- Place of Presentation
  Universite d'Artois(France)
- Year and Date
  2012-11-23
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] Predicting Gene Knockout Effects by Minimal Pathway Enumeration2012
- Author(s)
  Takehide Soh, Katsumi Inoue, Tomoya Baba, Yoyoyuki Takada, Toshihiko Shiroishi
- Organizer
  The 4th International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (BIOTECHNO 2012)
- Place of Presentation
  St.Maarten, Netherlands Antilles
- Year and Date
  2012-03-28
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] BnB-ADOPTp:分散制約最適化問題におけるハイブリッド型の解法の提案2012
- Author(s)
  沖本天太,山本将,櫻井佑子,横尾真,井上克巳
- Organizer
  合同エージェントワークショップ&シンポジウム(JAWS2012)
- Place of Presentation
  掛川市(静岡県)
- Year and Date
  2012-10-26
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] 多目的分散制約最適化問題における厳密/非厳密解法の提案2012
- Author(s)
  沖本天太, Yongjoon Joe, 上田俊,岩崎敦、櫻井祐子、横尾真、井上克己
- Organizer
  合同エージェントワークショップ&シンポジウム(JAWS2012)
- Place of Presentation
  掛川市(静岡県)
- Year and Date
  2012-10-26
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] 極小活性パスウェイの列挙を用いた大腸菌における遺伝子欠損の影響予測情報処理学会研究報告2012
- Author(s)
  宋剛秀, 井上克巳, 馬場知哉, 高田豊行, 城石俊彦
- Organizer
  情報処理学会
- Place of Presentation
  国立情報学研究所、東京
- Year and Date
  2012-01-12
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] DNF Hypotheses in Bottom-Directed ILP2011
- Author(s)
  Katsumi Inoue
- Organizer
  The 21st International Conference on Inductive Logic Programming(ILP 2011)
- Place of Presentation
  Windsor, Great Park, UK
- Year and Date
  2011-08-01
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Confidentiality-preserving data publishing for credulous users by extended abduction2011
- Author(s)
  L.Wiese, K.Inoue, C.Sakama
- Organizer
  19th International Conference on Applications of Declarative Programming and Knowledge Management
- Place of Presentation
  Vienna (Austria)
- Year and Date
  2011-09-29
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Relating Boolean Networks to (Inductive) Logic Programming2011
- Author(s)
  Katsumi Inoue
- Organizer
  Logic Learning Theory Workshop
- Place of Presentation
  Imperial College London, UK(招待講演)
- Year and Date
  2011-07-29
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology.2011
- Author(s)
  Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, Taisuke Sato.
- Organizer
  The 2011 International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2011)
- Place of Presentation
  Rome, Italy
- Year and Date
  2011-01-07
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Partition-Based Consequence Finding2011
- Author(s)
  Gauvain Bourgne, Katsumi Inoue
- Organizer
  The 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2011)
- Place of Presentation
  Palm Beach County, USA
- Year and Date
  2011-11-09
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction2011
- Author(s)
  Katsumi Inoue, Chiaki Sakama, Lena Wiese
- Organizer
  The 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011)
- Place of Presentation
  Vienna, Austria
- Year and Date
  2011-09-29
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Model of Double Strand Break of DNA in Logic-Based Hypothesis Finding2011
- Author(s)
  Barthelemy Dworkin, Andrei Doncescu, Jean-Charles Faye, Katsumi Inoue
- Organizer
  The 21st International Conference on Inductive Logic Programming (ILP 2011)
- Place of Presentation
  Windsor Great Park, UK
- Year and Date
  2011-08-01
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Comparison of Upward and Downward Generalization in CF-Induction2011
- Author(s)
  Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma
- Organizer
  The 21st International Conference on Inductive Logic Programming (ILP 2011)
- Place of Presentation
  Windsor Great Park, UK
- Year and Date
  2011-08-01
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Logic Programming for Boolean Networks2011
- Author(s)
  Katsumi Inoue
- Organizer
  The 22nd International Joint Conference on Artificial Intelligence (IJCAI-11)
- Place of Presentation
  Barcelona, Spain
- Year and Date
  2011-07-22
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] GlueMiniSat2.2.5:単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー2011
- Author(s)
  鍋島英知, 岩沼宏治, 井上克巳
- Organizer
  日本ソフトウェア科学会第28回大会(2011年度)
- Place of Presentation
  沖縄産業支援センター、那覇市
- Year and Date
  2011-09-29
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Partition-Based Consequence Finding2011
- Author(s)
  Gauvain Bourgne, Katsumi Inoue
- Organizer
  The 23rd IEEE International Conference on Tools with Artificial Intelligence(ICTAI 2011)
- Place of Presentation
  Palm Beach County, Florida, USA
- Year and Date
  2011-11-09
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Probabilistic Rule Learning in Nonmonotonic Domains2011
- Author(s)
  Domenico Corapi, Daniel Sykes, Katsumi Inoue, Alessandra Russo
- Organizer
  Computational Logic in Multi-Agent Systems : Proceedings of the 12th International Workshop (CLIMA-XII)
- Place of Presentation
  Barcelona, Spain
- Year and Date
  2011-07-17
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction2011
- Author(s)
  Lena Wiese, Katsumi Inoue, and Chiaki Sakama
- Organizer
  Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management(INAP 2011)
- Place of Presentation
  Vienna, Austria
- Year and Date
  2011-09-29
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Comparison of Upward and Downward Generalization in CF-Induction2011
- Author(s)
  Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma
- Organizer
  The 21st International Conference on Inductive Logic Programming(ILP 2011)
- Place of Presentation
  Windsor, Great Park, UK
- Year and Date
  2011-08-01
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] GlueMiniSat2.2.5:単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー2011
- Author(s)
  鍋島英知, 岩沼宏治, 井上克巳
- Organizer
  日本ソフトウェア科学会第28回大会
- Place of Presentation
  沖縄産業支援センター(沖縄県)
- Year and Date
  2011-09-29
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] 極小活性パスウェイの列挙を用いた遺伝子ノックアウトの影響予測2011
- Author(s)
  宋剛秀, 井上克巳, 馬場知哉, 高田豊行, 城石俊彦
- Organizer
  第47回人工知能学会分子生物情報研究会
- Place of Presentation
  慶応義塾大学日吉キャンパス、横浜市
- Year and Date
  2011-12-15
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Answer-Set Programming as a New Approach to Event-Sequence Testing2011
- Author(s)
  Esra Erdem, Katsumi Inoue, Johannes Oetsch, Jorg Puhrer, Hans Tompits, Cemal Yilmaz
- Organizer
  The 3rd International Conference on Advances in System Testing and Validation Lifecycle (VALID 2011)
- Place of Presentation
  Barcelona, Spain
- Year and Date
  2011-10-25
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Generalizing Conjunctive Queries for Informative Answers2011
- Author(s)
  Katsumi Inoue, Lena Wiese
- Organizer
  Fiexible Query Answering Systems : Proceedings of the 9th International Conference (FQAS 2011)
- Place of Presentation
  Ghent, Belgium
- Year and Date
  2011-10-26
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Probabilistic Rule Learning in Nonmonotonic Domains2011
- Author(s)
  Katsumi Inoue, Domenico Corapi, Daniel Sykes, Alessandra Russo
- Organizer
  The 3rd PLL Summit
- Place of Presentation
  Imperial College London, UK(招待講演)
- Year and Date
  2011-07-27
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Complete Distributed Consequence Finding with Message Passing2011
- Author(s)
  Katsumi Inoue
- Organizer
  The 3rd International Conference on Agents and Artificial Intelligence (ICAART 2011)
- Place of Presentation
  Rome, Italy
- Year and Date
  2011-02-28
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology2011
- Author(s)
  Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, Taisuke Sato
- Organizer
  The 2011 International Conference on Bioinformatics Models, Methods and Algorithms(BIOINFORMATICS 2011)
- Place of Presentation
  Rome, Italy
- Year and Date
  2011-01-27
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] DNF Hypotheses in Bottom-Directed ILP2011
- Author(s)
  Katsumi Inoue
- Organizer
  The 21st International Conference on Inductive Logic Programming (ILP 2011)
- Place of Presentation
  Windsor Great Park, UK
- Year and Date
  2011-08-01
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Logic Programming for Boolean Networks2011
- Author(s)
  Katsumi Inoue
- Organizer
  The 22nd International Joint Conference on Artificial Intelligence(IJCAI-11)
- Place of Presentation
  Barcelona, Spain
- Year and Date
  2011-07-22
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Abduction in Meta-Reasoning2011
- Author(s)
  Katsumi Inoue
- Organizer
  International Symposium on Symbolic Systems Biology (ISSSB 2011)
- Place of Presentation
  湘南国際村、葉山市
- Year and Date
  2011-11-15
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] SAT技術を用いた組合せテストケース生成2010
- Author(s)
  番原睦則, 松中春樹, 田村直之, 井上克巳
- Organizer
  日本ソフトウェア科学会第27回大会
- Place of Presentation
  津田塾大学(東京都)
- Year and Date
  2010-09-13
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] Hypothesizing about Networks by Meta-level Abduction2010
- Author(s)
  Katsumi Inoue
- Organizer
  The 20th International Conference on Inductive Logic Programming (ILP 2010)
- Place of Presentation
  Firenze,Italy
- Year and Date
  2010-06-29
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Past and Future 20 Years of ILP2010
- Author(s)
  Katsumi Inoue
- Organizer
  The 20th International Conference on Inductive Logic Programming (ILP 2010)
- Place of Presentation
  Firenze, Italy(Panel;招待)
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Hypothesizing about Networks by Meta-level Abduction.2010
- Author(s)
  Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima.
- Organizer
  The 20th International Conference on Inductive Logic Programming (ILP 2010)
- Place of Presentation
  Firenze, Italy
- Year and Date
  2010-06-29
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Katsumi Inoue and Chiaki Sakama2010
- Author(s)
  Katsumi Inoue and Chiaki Sakama
- Organizer
  Proceedings of the Symposium on Constructive Mathematics in Computer Science
- Place of Presentation
  Lexington, KY, USA
- Year and Date
  2010-10-24
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Exploring Relations between Answer Set Programs2010
- Author(s)
  Katsumi Inoue
- Organizer
  The Symposium on Constructive Mathematics in Computer Science
- Place of Presentation
  Lexington, USA(招待)
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation2010
- Author(s)
  Takehide Soh, Katsumi Inoue
- Organizer
  The 6th Conference on Prestigious Applications of Artificial Intelligence(PAIS 2010)
- Place of Presentation
  Lisbon, Portugal
- Year and Date
  2010-08-18
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Abduction of Distributed Theories through Local Interactions2010
- Author(s)
  Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet
- Organizer
  The 19th European Conference on Artificial Intelligence(ECAI 2010)
- Place of Presentation
  Lisbon, Portugal
- Year and Date
  2010-08-20
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] A Bayesian Hybrid Approach to Unsupervised Time Series Discretization2010
- Author(s)
  Yoshitaka Kameya, Gabriel Synnaeve, Andrei Doncescu, Katsumi Inoue, Taisuke Sato
- Organizer
  The 15th Conference on Technologies and Applications of Artificial Intelligence(TAAI 2010)
- Place of Presentation
  Hsinchu, Taiwan
- Year and Date
  2010-11-20
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Hypothesizing about Networks by Meta-level Abduction2010
- Author(s)
  Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima
- Organizer
  The 20th International Conference on Inductive Logic Programming(ILP 2010)
- Place of Presentation
  Firenze, Italy
- Year and Date
  2010-06-29
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] モデル生成を用いた代謝ネットワークにおける極小部分パスウェイの同定2010
- Author(s)
  宋剛秀, 井上克巳
- Organizer
  人工知能学会全国大会
- Place of Presentation
  長崎ブリックホール(長崎県)
- Year and Date
  2010-06-09
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] Toward an Efficient Equality Computation in Connection Tableaux : A Modification Method without Symmetry Transformation.2009
- Author(s)
  Koji Iwanuma, Hidetomo Nabeshima Katsumi Inoue.
- Organizer
  The 7th International Workshop on First-Order Theorem Proving (FTP 2009)
- Place of Presentation
  Oslo, Norway
- Year and Date
  2009-07-06
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Evaluating Abductive Hypotheses Using an EM Algorithm on BDDs2009
- Author(s)
  Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima
- Organizer
  The 21st International Joint Conference on Artificial Intelligence(IJCAI-09)
- Place of Presentation
  Pasadena, USA
- Year and Date
  2009-07-14
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Evaluating Abductive Hypotheses using an EM Algorithm on BDDs2009
- Author(s)
  Katsumi Inoue
- Organizer
  The 21st International Joint Conference on Artificial Intelligence(IJCAI-09)
- Place of Presentation
  Pasadena Convention Center, Pasadena, USA
- Year and Date
  2009-07-14
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] SAT問題への変換を用いたフィードバックを含むパスウェイの解析2009
- Author(s)
  宋剛秀, 井上克巳
- Organizer
  第23回人工知能学会全国大会
- Place of Presentation
  サンポートホール高松(香川県)
- Year and Date
  2009-06-18
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] Toward an Efficient Equality Computation in Connection Tableaux : A Modification Method without Symmetry Transformation2009
- Author(s)
  Koji Iwanuma, Hidetomo Nabeshima, Katsumi Inoue
- Organizer
  The 7th International Workshop on First-Order Theorem Proving(FTP 2009)
- Place of Presentation
  Oslo, Norway
- Year and Date
  2009-07-06
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Abducing Rules with Predicate Invention2009
- Author(s)
  Katsumi Inoue
- Organizer
  The 19th International Conference on Inductive Logic Programming(ILP 2009)
- Place of Presentation
  Katholieke Universiteit Leuven, Leuven, Belgium
- Year and Date
  2009-07-02
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Evaluating Abductive Hypotheses using an EM Algorithm on BDDs.2009
- Author(s)
  Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima.
- Organizer
  The 21st International, Joint Conference on Artificial Intelligence (TJCAT-09)
- Place of Presentation
  Pasadena, USA
- Year and Date
  2009-07-14
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Comparing Abductive Theories.2008
- Author(s)
  Katsumi Inoue, Chiaki Sakama.
- Organizer
  The 18th European Conference on Artificial Intelligence (ECAI 2008)
- Place of Presentation
  Patras, Greece
- Year and Date
  2008-07-24
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Brave Induction2008
- Author(s)
  Chiaki Sakama Katsumi Inoue
- Organizer
  Proceedings of the 18th International Conference on Inductive Logic Programming
- Place of Presentation
  Czech Republic
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Comparing Abductive Theories2008
- Author(s)
  Katsumi Inoue and Chiaki Sakama
- Organizer
  Proceedings of the 18th European Conference on Artificial Intelligence(ECAI' 08)
- Place of Presentation
  Patras, Greece
- Year and Date
  2008-07-21
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Brave Induction2008
- Author(s)
  Chiaki Sakama and Katsumi Inoue
- Organizer
  Proceedings of the 18th International Conference on Inductive Logic Programming(ILP' 08)
- Place of Presentation
  Czech Republic
- Year and Date
  2008-09-11
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Comparing Abductive Theories2008
- Author(s)
  Inoue, Katsumi
- Organizer
  Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008)
- Place of Presentation
  Patras, Greece
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Comparing Abductive Theories2008
- Author(s)
  Katsumi Inoue, Chiaki Sakama
- Organizer
  The 18th European Conference on Artificial Intelligence(ECAI 2008)
- Place of Presentation
  Patras, Greece
- Year and Date
  2008-07-24
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Generality and Equivalence Relations in Default Logic2007
- Author(s)
  Katsumi Inoue
- Organizer
  The 22nd Conference on Artificial Intelligence (AAAI-07)
- Place of Presentation
  Vancouver(Canada)
- Year and Date
  2007-07-26
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17300051
[Presentation] Generality and Equivalence Relations in Default Logic2007
- Author(s)
  Katsumi Inoue
- Organizer
  The 22nd Conference on Artificial Intelligence(AAAI-07)
- Place of Presentation
  Vancouver, Canada
- Year and Date
  2007-07-26
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300051
[Presentation] Generality and Equivalence Relations in Default Logic.2007
- Author(s)
  Katsumi Inoue
- Organizer
  The 22nd Conference on Artificial Intelligence(AAAI-07)
- Place of Presentation
  バンクーバー(カナダ)
- Year and Date
  2007-07-26
- Data Source
  KAKENHI-PROJECT-17300051
[Presentation] Generality Relations in Answer Set Programming2006
- Author(s)
  Katsumi Inoue
- Organizer
  The 22nd International Conference (ICLP 2006) [Lecture Notes in Computer Science, Vol.4079]
- Place of Presentation
  Seattle(U.S.A.)
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17300051
[Presentation] Generality Relations in Answer Set Programming2006
- Author(s)
  Katsumi Inoue
- Organizer
  The 22nd International Conference on Logic Programming(ICLP 2006)
- Place of Presentation
  Seattle, U.S.A.[Lecture Notes in Computer Science, Vol.4079]
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300051
[Presentation] Equivalence in Abductive Logic2005
- Author(s)
  Katsumi Inoue
- Organizer
  The 19th International Joint Conference on Artificial Intelligence(IJCAI-05)
- Place of Presentation
  Edinburgh(U.K.)
- Year and Date
  2005-08-03
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17300051
[Presentation] Equivalence in Abductive Logic2005
- Author(s)
  Katsumi Inoue
- Organizer
  Phe 19th International Joint Conference on krtificial Intelligence(IJCAI-05)
- Place of Presentation
  Edinburgh, U.K.
- Year and Date
  2005-08-03
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300051
[Presentation] Inducing Causal Laws by Regular Inference2005
- Author(s)
  Katsumi Inoue(Hidetomo Nabeshima)
- Organizer
  The 15th International Conference on Inductive Logic Programming(ILP 2005)
- Place of Presentation
  Bonn, Germany[Lecture Notes Artificial Intelligence, Vol.3625]
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300051
[Presentation] Inducing Causal Laws by Regular Inference2005
- Author(s)
  Katsumi Inoue(Hidetomo Nabeshima)
- Organizer
  The 15th International Conference on Inductive Logic Programming (ILP 2005) [Lecture Notes in Artificial Intelligence, Vol.3625]
- Place of Presentation
  Bonn(Germany)
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17300051
[Presentation] CSPSAT Projects and their SAT Related Tools
- Author(s)
  Naoyuki Tamura, Takehide Soh, Mutsunori Banbara, and Katsumi Inoue
- Organizer
  The 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)
- Place of Presentation
  University of Helsinki, Finland
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] GlueMiniSat 2.2.7: On-The-Fly Lazy Clause Simplification
- Author(s)
  Hidetomo Nabeshima, Koji Iwanuma, and Katsumi Inoue
- Organizer
  The 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)
- Place of Presentation
  University of Helsinki, Finland
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] 動的な多目的分散制約最適化問題に関する一検討
- Author(s)
  沖本天太，井上克巳
- Organizer
  人工知能学会第27回全国大会 (JSAI 2013)
- Place of Presentation
  富山国際会議場
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] パッキング配列問題の制約モデリングとSAT符号化
- Author(s)
  則武治樹, 番原睦則, 宋剛秀, 田村直之, 井上克巳
- Organizer
  日本ソフトウェア科学会第30回大会
- Place of Presentation
  東京大学
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] Answer Set Programming as a Modeling Language for Course Timetabling
- Author(s)
  Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub
- Organizer
  第16回プログラミングおよびプログラミング言語ワークショップ (PPL 2014)
- Place of Presentation
  阿蘇の司ビラパークホテル
- Data Source
  KAKENHI-PROJECT-24300007

1. SAKAMA Chiaki (20273873)

# of Collaborated Projects : 8results

# of Collaborated Products : 36results
2. NABESHIMA Hidetomo (10334848)

# of Collaborated Projects : 8results

# of Collaborated Products : 41results
3. IWANUMA Koji (30176557)

# of Collaborated Projects : 7results

# of Collaborated Products : 22results
4. OKIMOTO Tenda (10632432)

# of Collaborated Projects : 5results

# of Collaborated Products : 64results
5. HANEDA Hiromasa (10031113)

# of Collaborated Projects : 5results

# of Collaborated Products : 0results
6. TAGAWA Kiyoharu (50252789)

# of Collaborated Projects : 4results

# of Collaborated Products : 0results
7. TAMURA Naoyuki (60207248)

# of Collaborated Projects : 3results

# of Collaborated Products : 25results
8. BANBARA Mutsunori (80290774)

# of Collaborated Projects : 3results

# of Collaborated Products : 24results
9. SATOH Ken (00271635)

# of Collaborated Projects : 3results

# of Collaborated Products : 0results
10. HIRAYAMA Katsutoshi (00273813)

# of Collaborated Projects : 2results

# of Collaborated Products : 0results
11. YAMAMOTO Yoshitaka (30550793)

# of Collaborated Projects : 2results

# of Collaborated Products : 9results
12. SOH Takehide (00625121)

# of Collaborated Projects : 2results

# of Collaborated Products : 16results
13. NAKAGAWA Seiichi (20115893)

# of Collaborated Projects : 2results

# of Collaborated Products : 0results
14. YAMAMOTO Mikio (40210562)

# of Collaborated Projects : 2results

# of Collaborated Products : 0results
15. Nicolas Schwind (60646397)

# of Collaborated Projects : 2results

# of Collaborated Products : 18results
16. YOKOO Makoto (20380678)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
17. HASEGAWA Ryuzo (20274483)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
18. FUJITA Hiroshi (70284552)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
19. KISHIMURA Miyuki (30274492)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
20. UEDA Kazunori (10257206)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
21. SATO Taisuke (90272690)

# of Collaborated Projects : 1results

# of Collaborated Products : 8results
22. KAMEYA Yoshitaka (60361789)

# of Collaborated Projects : 1results

# of Collaborated Products : 6results
23. FUJIYAMA Asao (60142311)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
24. TANJO Tomoya (40635067)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
25. FURUKAWA Koichi (10245615)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
26. KINJO Keita (20611750)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
27. HARAGUCHI Makoto (40128450)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
28. FUJINAMI Tsutomu (70303344)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
29. SUWA Masaki (50329661)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
30. OZAKI Tomonobu (40365458)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
31. MINEMATSU Nobuaki (90273333)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
32. HARAO Masateru (00006272)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
33. ASO Hirotomo (10005522)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
34. YONEZAKI Naoki (00126286)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
35. HAGIYA Masami (30156252)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
36. OHTA Yuzo (80111772)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
37. KITAMURA Yasuhiko (00204917)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
38. 奥山徹 (30177191)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
39. 林克彦 (50725794)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
40. MASUDA Toshiki

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
41. KOBAYASHI Ikuo

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
42. NISHIYAMA Takeshige

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
43. 尾崎暢

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
44. 南和宏

# of Collaborated Projects : 0results

# of Collaborated Products : 1results

INOUE Katsumi 井上 克巳

Research Projects

Research Products

Co-Researchers

Development of advanced inference technologies for huge knowledge graphs in tensor spacesOngoing

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Learning Relational Dynamics from State TransitionPrincipal InvestigatorOngoing

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

動的環境におけるロバストなチーム編成に関する研究Ongoing

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research and Development of a New Constraint Programming System based on SATOngoing

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

レジリエントなシステムのモデル化と推論に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Learning Cellular Automata Represented as Logic ProgramsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Inference-based Hypothesis-finding and its Application to Systems BiologyPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on Advanced Systems of Efficient Hypothesis FindingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on Knowledge Discovery based on Consequence FindingPrincipal Investigator

Principal Investigator

Project Period (FY)

INOUE Katsumi 井上克巳