INOUE Katsumi 井上克巳

Researcher Number	10252321
Other IDs
External Links
Affiliation (Current)	2025: 国立情報学研究所, 情報学プリンシプル研究系, 特任教授
Affiliation (based on the past Project Information) *help	2014 – 2025: 国立情報学研究所, 情報学プリンシプル研究系, 教授 2016 – 2017: 国立情報学研究所, 大学共同利用機関等の部局等, 教授 2014: 国立情報学研究所, 教授 2013: 国立情報学研究所, 大学共同利用機関等の部局等, 教授 2006 – 2012: 国立情報学研究所, 情報学プリンシプル研究系, 教授 … More 2011: 国立情報学研究所, 教授 2010: 国立情報研究所, 情報学プリンシプル研究系, 教授 2003 – 2005: National Institute of Informatics, Foundations of Informatics Research Division, Professor, 情報学基礎研究系, 教授 2004: 情報・システム研究機構国立情報学研究所, 情報学基礎研究系, 教授 1997 – 2003: Dept.of Electrical and Electronic Engineering, Kobe University, Associate Profes, 工学部, 助教授 1995 – 1996: 豊橋技術科学大学, 情報工学系, 助教授 1994 – 1995: 豊橋技術科学大学, 工学部, 助教授 1993: Toyohashi University of Technology, Faculty of Engineering, Lecture, 工学部, 講師 Less
Review Section/Research Field	Principal Investigator Intelligent informatics / Intelligent informatics / Intelligent informatics / Sections That Are Subject to Joint Review: Basic Section60030:Statistical science-related , Basic Section61030:Intelligent informatics-related / Basic Section 60030:Statistical science-related / Basic Section 61030:Intelligent informatics-related / Medium-sized Section 61:Human informatics and related fields Except Principal Investigator Intelligent informatics / Software / Intelligent informatics … More / System engineering / Intelligent informatics / Software / Basic Section 61030:Intelligent informatics-related / 情報工学 Less
Keywords	Principal Investigator アブダクション / 機械学習 / 推論 / 結論発見 / 論理プログラミング / 非単調推論 / abduction / induction / knowledge discovery / SOL resolution … More / consequence finding / 帰納推論 / SOL導出 / 結論発見手続き / 状態遷移 / 制約最適化 / 仮説発見 / 人工知能 / ニューロシンボリックAI / ロバストAI / 知識表現・推論 / 探索・論理・推論アルゴリズム / ダイナミクス学習 / 表現学習 / 関係学習 / 知識表現 / nonmonotonic reasoning / inductive logic programming / hypothesis finding / CF 帰納法 / アルゴリズム / CF帰納法 / SOLAR / tableaux method / automated deduction / consequence finding procedure / 結論発見問題 / タブロー法 / 演繹推論 / 知識発見 / planning graph / action language / SAT planning / reasoning about change / satisfiability (SAT) / planning / 充足可能性判定 / プランニンググラフ / SATプランニング / SATソルバ / アクション言語 / プラニンググラフ / SATプラニング / 充足可能性問題 / 状態変化 / プランニング / Abduction / Nonmonotonic Reasoning / Machine Learning / Default Rules / Extended Logic Programs / Inductive Logic Programming / 帰納的論理プログラミング / デフォルト規則 / 拡張論理プログラム / 機能的論理プログラミング / 遺伝子制御ネットワーク学習 / 論理発見 / 行動規則学習 / ブーリアンネットワーク / セルオートマトン / 推論アルゴリズム / 論理 / 探索 / 平等性 / 安定性 / ロバスト性 / 多目的最適化 / レジリエンス / 帰納論理プログラミング / 確率推論 / システム生物学 / 安定モデル意味論 / アブダクティブ論理プログラム / 選言論理プログラム / 極小限定 / 失敗による否定 / マジック・セット法 / モデル生成 / 様相タブロ-法 / 様相論理 / 高次推論 / 定理証明 … More Except Principal Investigator アブダクション / 人工知能 / 制約プログラミング / マルチエージェントシステム / 不完全通信 / マルチエージェント / Genetic Algorithm / 距離関数 / 音声対話 / 音声認識 / 音声入力 / 命題論理 / 充足可能性判定問題 / デフォルト推論 / 解集合プログラミング / SAT / 帰納推論 / 量子化 / 近似計算 / 高次推論 / 知識グラフ / 部分計算 / スパース行列 / 論理推論 / 演繹推論 / 論理プログラミング / 線形代数計算 / テンソル空間 / SAT技術 / レジリエンス / スケジューリング / 提携ゲーム / ロバスト / 協力ゲーム / 不確実性 / ロバスト性 / 提携構造形成 / チーム編成 / SATソルバー / 情報システム / 多目的分散制約最適化問題 / チーム編成問題 / パレート最適解 / 分散制約最適化問題 / ナーススケジューリング問題 / 時間割作成問題 / 多目的制約最適化問題 / パレート最適性 / 多目的分散制約最適化 / 分散制約最適化 / Abduction / Distributed problem solving / Speculative computation / Incomplete communication / Multi-agent systems / 分散強調問題解決 / 分散協調問題解決 / 先行投機的処理 / default reasoning / abductive logic programming / abduction / speculative computation / incomplete information / multi agent system / 仮設推論 / 仮設論理型プログラミング / 仮説論理型プログラミンク / 仮説推論 / 仮説論理型プログラミング / 投機的計算 / Man-machine Interface / Cooperative Design / Emergent Approach / Intelligent Robot / Interactive Algorithm / 対話的実行環境 / 環境認識 / インターフェース / 進化型計算 / アフォーダンス / ロボット / 相互作用 / Scheduling Problem / Parallel Processing / Robot Control / Crossover Operation / Metric Function / エッジ交叉 / 遺伝的アルゴリム / 並列処理 / 交叉演算 / ロボット制御 / スケジューリング問題 / 遺伝的アルゴリズム / Type Theory / Knowledge / Logical system / Learning / Theorem Prover / Intelligent Programming / Reasoning / Artificial Intelligence / 認識システム / 知能プログラミング / 並列分散処理 / 定理証明 / 計算言語論 / 学習 / 高次推論原理 / spontaneous speech / multi-model inteface / natural language understanding / speech recognition / Spoken dialog / マルチモーダル / タッチ入力 / 自然な発話 / マルチモーダルインターフェース / 自然言語理解 / Language Understaning / Speech Understanding / Ambiguous Input / Spoken Dialog / Dialog System / Speech Recognition / Speech Input / 文生成 / 倒置 / 助詞 / 言い直し / 言い淀み / 間投詞 / 文脈処理 / 自然言語解析 / 自然言語処理 / 言語理解 / 音声理解 / あいまいな入力 / 対話システム / スキル獲得支援 / スキル創造支援 / 比喩表現 / コツの説明 / 述語論理 / アナロジー / スキルサイエンス / 知識情報処理 / 共同プランニング / 様相論理 / 交渉プロトコル / エージェント間交渉 / 不誠実な推論 / 推論 / 論理 / 計算機システム / 並列処理・分散処理 / 制約最適化問題 / 知識ベース更新 / 知識発見 / 拡張アブダクション Less

信頼されるAIに向けた制約推論Principal Investigator
- Principal Investigator
  
  井上克巳
- Project Period (FY)
  2025 – 2028
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 61030:Intelligent informatics-related
  Basic Section 60030:Statistical science-related
  Sections That Are Subject to Joint Review: Basic Section60030:Statistical science-related , Basic Section61030:Intelligent informatics-related
- Research Institution
  National Institute of Informatics
Robust AI by Integration of Knowledge Representation and Machine LearningPrincipal Investigator
- Principal Investigator
  
  井上克巳
- Project Period (FY)
  2021 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Review Section
  
  Medium-sized Section 61:Human informatics and related fields
- Research Institution
  National Institute of Informatics
Development of advanced inference technologies for huge knowledge graphs in tensor spaces
- Principal Investigator
  
  Sakama Chiaki
- 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
Dynamic Robust Team Formation
- Principal Investigator
  
  Okimoto Tenda
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Intelligent informatics
- Research Institution
  Kobe University
Learning Relational Dynamics from State TransitionPrincipal Investigator
- Principal Investigator
  
  Inoue Katsumi
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Intelligent informatics
- Research Institution
  National Institute of Informatics
Research and Development of a New Constraint Programming System based on SAT
- Principal Investigator
  
  Tamura Naoyuki
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Kobe University
Research and Development on Constraint Answer Set Programming Using SAT Encoding
- Principal Investigator
  
  BANBARA Mutsunori
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Kobe University
Modeling and Inference of Resilient SystemsPrincipal Investigator
- Principal Investigator
  
  INOUE Katsumi
- 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] Abductive Logic Programming and Linear Algebraic Computation, in: Lorenzo Magnani (ed.), Handbook of Abductive Cognition2023
- Author(s)
  Tuan Nguyen Quoc,Katsumi Inoue, Chiaki Sakama
- Total Pages
  21
- Publisher
  Springer
- ISBN
  9783031101342
- Data Source
  KAKENHI-PROJECT-21H04905
[Book] Les enjeux de l’inference de modeles dynamiques a partir de series temporelles, in: Cedric Lhoussaine, Elisabeth Remy (eds.), Approches symboliques de la modelisation et de l’analyse des systemes biologiques2022
- Author(s)
  Tony Ribeiro, Maxime Folschette, Laurent Trilling, Nicolas Glade, Katsumi Inoue, Morgan Magnin, Olivier Roux
- Total Pages
  43
- Publisher
  ISTE, Wiley
- ISBN
  9781789480290
- Data Source
  KAKENHI-PROJECT-21H04905
[Book] Les enjeux de l'inference de mode`les dynamiques des syste`mes biologiques a` partir de series temporelles. In: Elisabeth Remy, Cedric Lhoussaine (eds.), Approches Symboliques de la Modelisation et de l'Analyse des Syste`mes Biologiques2020
- Author(s)
  Tony Ribeiro, Maxime Folschette, Laurent Trilling, Nicolas Glade, Katsumi Inoue, Morgan Magnin, Olivier Roux
- Total Pages
  40
- Publisher
  ISTE Sciences
- Data Source
  KAKENHI-PROJECT-17H00763
[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] 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] 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] 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] 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] Linear Algebraic Abduction with Partial Evaluation2023
- Author(s)
  Tuan Nguyen, Katsumi Inoue, Chiaki Sakama
- Journal Title
  
  Proceedings of the 25th International Symposium (PADL 2023; Boston, MA, USA, January 16-17, 2023), Lecture Notes in Computer Science
  
  Volume: 13880 Pages: 197-215
- DOI
  10.1007/978-3-031-24841-2_13
- ISBN
  9783031248405, 9783031248412
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21H04905
[Journal Article] On Converting Logic Programs into Matrices2023
- Author(s)
  Tuan Nguyen Quoc, Katsumi Inoue
- Journal Title
  
  In: Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2023; Lisbon, Portugal, 22-24, February 2023)
  
  Volume: 2 Pages: 405-415
- DOI
  10.5220/0011802400003393
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21H04905
[Journal Article] Data-Driven and Knowledge-Based Causal Network Discovery for Identifying Differential Equations2023
- Author(s)
  Mitsuhiro Odaka, Morgan Magnin, Katsumi Inoue
- Journal Title
  
  In: AAAI Spring Symposium on Computational Approaches to Scientific Discovery
  
  Volume: -
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H04905
[Journal Article] Editing Boolean Classifiers: A Belief Change Perspective2023
- Author(s)
  Nicolas Schwind, Katsumi Inoue, Pierre Marquis
- Journal Title
  
  In: Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI-23; Washington, D.C., USA, February 7-14, 2023)
  
  Volume: -
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H04905
[Journal Article] Action Languages Based Actual Causality in Decision Making Contexts2023
- Author(s)
  Camilo Sarmiento, Gauvain Bourgne, Katsumi Inoue, Jean-Gabriel Ganascia
- Journal Title
  
  Proceedings of the 24th International Conference (PRIMA 2022; Valencia, Spain, November 16-18, 2022), Lecture Notes in Artificial Intelligence, Springer
  
  Volume: 13753 Pages: 243-259
- DOI
  10.1007/978-3-031-21203-1_15
- ISBN
  9783031212024, 9783031212031
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H04905
[Journal Article] Algorithms for partially robust team formation2023
- Author(s)
  Schwind Nicolas、Demirovic Emir、Inoue Katsumi、Lagniez Jean-Marie
- Journal Title
  
  Autonomous Agents and Multi-Agent Systems
  
  Volume: 37 Issue: 2 Pages: 1-45
- DOI
  10.1007/s10458-023-09608-7
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K11947, KAKENHI-PROJECT-21H04905
[Journal Article] SAT Benchmarks for the Robust Team Formation Problem2022
- Author(s)
  Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Jean-Marie Lagniez
- Journal Title
  
  Proceedings of SAT Competition 2022: Solver and Benchmark Descriptions, Department of Computer Science Series of Publications B, University of Helsinki
  
  Volume: B-2022-1 Pages: 74-77
- Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H04905
[Journal Article] Learning any Memory-Less Discrete Semantics for Dynamical Systems Represented by Logic Programs2022
- Author(s)
  Tony Ribeiro, Maxime Folschette, Morgan Magnin, Katsumi Inoue
- Journal Title
  
  Machine Learning
  
  Volume: 111 Issue: 10 Pages: 3593-3670
- DOI
  10.1007/s10994-021-06105-4
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H04905
[Journal Article] Learning State Transition Rules from Hidden Layers of Restricted Boltzmann Machines2022
- Author(s)
  Koji Watanabe, Katsumi Inoue
- Journal Title
  
  In: Qing Liu, Wenli Yang, Shiqing Wu (eds.), Proceedings of Principle and practice of data and Knowledge Acquisition Workshop 2022 (PKAW 2022), arXiv:2212.03374
  
  Volume: -
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21H04905
[Journal Article] Learning from interpretation transition using differentiable logic programming semantics2022
- Author(s)
  Kun Gao, Hanpin Wang, Yongzhi Cao,Katsumi Inoue
- Journal Title
  
  Machine Learning
  
  Volume: 111 (1) Issue: 1 Pages: 123-145
- DOI
  10.1007/s10994-021-06058-8
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H04905
[Journal Article] Explainable Model Fusion for Customer Journey Mapping2022
- Author(s)
  Kotaro Okazaki, Katsumi Inoue
- Journal Title
  
  Frontiers in Artificial Intelligence
  
  Volume: 5
- DOI
  10.3389/frai.2022.824197
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21H04905
[Journal Article] Learning First-Order Rules with Differentiable Logic Program Semantics2022
- Author(s)
  Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang
- Journal Title
  
  In: Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI-ECAI-22; Vienna, Austria, July 23-29, 2022)
  
  Volume: - Pages: 3008-301
- DOI
  10.24963/ijcai.2022/417
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H04905
[Journal Article] Learning Logic Programs Using Neural Networks by Exploiting Symbolic Invariance2022
- Author(s)
  Yin Jun Phua, Katsumi Inoue
- Journal Title
  
  In: Nikos Katzouris, Alexander Artikis (Eds.): Inductive Logic Programming, Proceedings of the 30th International Conference (ILP 2020-2021; Virtual Event), Lecture Notes in Artificial Intelligence
  
  Volume: 13191 Pages: 203-218
- DOI
  10.1007/978-3-030-97454-1_15
- ISBN
  9783030974534, 9783030974541
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21H04905
[Journal Article] Gradient-Based Supported Model Computation in Vector Spaces2022
- Author(s)
  Akihiro Takemura, Katsumi Inoue
- Journal Title
  
  In: Daniela Incleza Proceedings of the 16th International Conference (LPNMR 2022; Genova Nervi, Italy, September 5-9, 2022), Lecture Notes in Artificial Intelligence, Springer
  
  Volume: 13416 Pages: 336-349
- DOI
  10.1007/978-3-031-15707-3_26
- ISBN
  9783031157066, 9783031157073
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21H04905
[Journal Article] Diagnosis of Event Sequences with LFIT2022
- Author(s)
  Tony Ribeiro, Maxime Folschette, Morgan Magnin, Kotaro Okazaki, Lo Kuo-Yen, Katsumi Inoue
- Journal Title
  
  Proceeding of the 31st International Conference (ILP 2022; Windsor Great Park, UK, September 28-30, 2022), Lecture Notes in Artificial Intelligence, Springer
  
  Volume: to appear
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H04905
[Journal Article] Gradient-Based Supported Model Computation in Vector Spaces2021
- Author(s)
  Akihiro Takemura, Katsumi Inoue
- Journal Title
  
  Proceedings of the International Conference on Logic Programming 2021 (ICLP 2021; Virtual Event), CEUR Workshop　Proceedings
  
  Volume: 2970
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21H04905
[Journal Article] Polynomial Algorithm for Learning from Interpretation Transition2021
- Author(s)
  Tony Ribeiro, Maxime Folschette, Morgan Magnin, Katsumi Inoue
- Journal Title
  
  The 30th International Conference on Inductive Logic Programming (ILP 2020-2021; Virtual)
  
  Volume: - Pages: 203-218
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H04905
[Journal Article] Inferring Agents’ Goals from Observing Successful Traces2021
- Author(s)
  Guillaume Lorthioir, Katsumi Inoue, Gauvain Bourgne
- Journal Title
  
  Applied Sciences
  
  Volume: 11(9) Issue: 9 Pages: 4116-4116
- DOI
  10.3390/app11094116
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] Interpretable Utility-Based Models Applied to the FightingICE Platform2021
- Author(s)
  Tianyu Chen, Florian Richoux, Javier M. Torres, Katsumi Inoue
- Journal Title
  
  2021 IEEE Conference on Games (CoG 2021; Copenhagen, Denmark, August 17-20)
  
  Volume: - Pages: 1-8
- DOI
  10.1109/cog52621.2021.9619121
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] Enhancing linear algebraic computation of logic programs using sparse representation2021
- Author(s)
  Nguyen Tuan Quoc, Katsumi Inoue, Chiaki Sakama
- Journal Title
  
  New Generation Computing
  
  Volume: - Issue: 1 Pages: 225-254
- DOI
  10.1007/s00354-021-00142-2
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03288, KAKENHI-PROJECT-21H04905
[Journal Article] An efficient reasoning method on logic programming using partial evaluation in vector spaces2021
- Author(s)
  Hien D Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue
- Journal Title
  
  Journal of Logic and Compuation
  
  Volume: 31 Issue: 5 Pages: 1298-1316
- DOI
  10.1093/logcom/exab010
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03288
[Journal Article] Generating Explainable Rule Sets from Tree-Ensemble Learning Methods by Answer Set Programming2021
- Author(s)
  Akihiro Takemura, Katsumi Inoue
- Journal Title
  
  Proceedings of the 37th International Conference on Logic Programming (Technical Communications) (ICLP 2021; Virtual Event), Electronic Proceedings in Theoretical Computer Science
  
  Volume: 345 Pages: 127-140
- DOI
  10.4204/eptcs.345.26
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21H04905
[Journal Article] On the computation of probabilistic coalition structures2021
- Author(s)
  Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis
- Journal Title
  
  Autonomous Agents and Multi-Agent Systems
  
  Volume: 35:14 Issue: 1 Pages: 1-38
- DOI
  10.1007/s10458-021-09498-7
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K11947, KAKENHI-PROJECT-17H01790, KAKENHI-PROJECT-17H00763
[Journal Article] Modeling Viral Dynamics in SARS-CoV-2 Infection Based on Differential Equations and Numerical Analysis2021
- Author(s)
  Mitsuhiro Odaka, Katsumi Inoue
- Journal Title
  
  Heliyon
  
  Volume: 7 (10) Issue: 10 Pages: e08207-e08207
- DOI
  10.1016/j.heliyon.2021.e08207
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21H04905, KAKENHI-PROJECT-22KJ1417
[Journal Article] Partial Robustness in Team Formation: Bridging the Gap between Robustness and Resilience2021
- Author(s)
  Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Jean-Marie Lagniez
- Journal Title
  
  Proceedings of the 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021; online)
  
  Volume: - Pages: 1154-1162
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] Resilient Team Formation with Stabilisability of Agent Networks for Task Allocation2021
- Author(s)
  Jose Barambones, Florian Richoux, Ricardo Imbert, Katsumi Inoue
- Journal Title
  
  ACM Transactions on Autonomous and Adaptive Systems
  
  Volume: 15(3) Issue: 3 Pages: 1-24
- DOI
  10.1145/3463368
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] Logic programming in tensor spaces2021
- Author(s)
  Chiaki Sakama, Katsumi Inoue, Taisuke Sato
- Journal Title
  
  Annals of Mathematics and AI
  
  Volume: 89 Issue: 12 Pages: 1133-1153
- DOI
  10.1007/s10472-021-09767-x
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H03288
[Journal Article] Design Adaptive AI for RTS Game by Learning Player's Build Order2021
- Author(s)
  Guillaume Lorthioir, Katsumi Inoue
- Journal Title
  
  Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020; online, January 7-15, 2021)
  
  Volume: - Pages: 5194-5195
- DOI
  10.24963/ijcai.2020/737
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] Linear Algebraic Computation of Propositional Horn Abduction2021
- Author(s)
  Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama
- Journal Title
  
  Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2021; Washington, DC)
  
  Volume: - Pages: 240-247
- DOI
  10.1109/ictai52525.2021.00040
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21H04905
[Journal Article] Static Analysis and Stochastic Search for Reachability Problem2020
- Author(s)
  Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue
- Journal Title
  
  Proceedings of the 9th International Workshop on Static Analysis and Systems Biology, Electronic Notes in Theoretical Computer Science
  
  Volume: 350 Pages: 139-158
- DOI
  10.1016/j.entcs.2020.06.008
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] Computational Intractability Law Molds the Topology of Biological Networks2020
- Author(s)
  AAli A. Atiia, Corbin Hopper, Katsumi Inoue, Silvia Vidal, Jerome Waldispuehl
- Journal Title
  
  Applied Network Science
  
  Volume: 5（1） Issue: 1
- DOI
  10.1007/s41109-020-00268-0
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] Learning Logic Programs from Noisy State Transition Data2020
- Author(s)
  Yin Jun Phua, Katsumi Inoue
- Journal Title
  
  In: Dimitar Kazakov (ed.), Inductive Logic Programming: Proceedings of the 29th International Conference (ILP 2019), Lecture Notes in Artificial Intelligence
  
  Volume: 11770 Pages: 72-80
- DOI
  10.1007/978-3-030-49210-6_7
- NAID
  130007658348
- ISBN
  9783030492090, 9783030492106
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] Learning Logic Programs from Noisy State Transition Data2020
- Author(s)
  Yin Jun Phua, Katsumi Inoue
- Journal Title
  
  Proceedings of the 29th International Conference on Inductive Logic Programming (ILP 2019), Lecture Notes in Artificial Intelligence
  
  Volume: -
- NAID
  130007658348
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] Computational Modeling and Simulation of Viral Load Kinetics in SARS-CoV-2 Replication2020
- Author(s)
  Mitsuhiro Odaka, Katsumi Inoue
- Journal Title
  
  Proceedings of the 11th International Conference on Computational Systems-Biology and Bioinformatics (CSBio 2020; online)
  
  Volume: - Pages: 75-82
- DOI
  10.1145/3429210.3429214
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] From 3-Valued Semantics to Supported Model Computation for Logic Programs in Vector Spaces2020
- Author(s)
  Taisuke Sato, Chiaki Sakama, Katsumi Inoue
- Journal Title
  
  Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2020)
  
  Volume: 2 Pages: 758-765
- DOI
  10.5220/0009093407580765
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17H00763, KAKENHI-PROJECT-18H03288
[Journal Article] Learning Representation of Relational Dynamics with Delays and Refining with Prior Knowledge2019
- Author(s)
  Yin Jun Phua, Tony Ribeiro, Katsumi Inoue
- Journal Title
  
  Journal of Applied Logics
  
  Volume: 6(4) Pages: 695-708
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] From Fifth Generation Computing to Skill Science: A Biographical Essay of Koichi Furukawa2019
- Author(s)
  Tomonobu Ozaki, Randy Goebel, Katsumi Inoue
- Journal Title
  
  New Generation Computing
  
  Volume: 37(2) Issue: 2 Pages: 141-158
- DOI
  10.1007/s00354-019-00058-y
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] Ordering Argumentation Frameworks2019
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Journal Title
  
  Proceedings of the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2019), Lecture Notes in Artificial Intelligence
  
  Volume: 11726 Pages: 87-98
- DOI
  10.1007/978-3-030-29765-7_8
- ISBN
  9783030297640, 9783030297657
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] Learning Inference Rules from Data2019
- Author(s)
  Chiaki Sakama, Katsumi Inoue, Tony Ribeiro
- Journal Title
  
  Kuenstliche Intelligenz
  
  Volume: 33(3) Issue: 3 Pages: 267-278
- DOI
  10.1007/s13218-019-00597-y
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] Identifying Belief Sequences in a Network of Communicating Agents2019
- Author(s)
  Gauvain Bourgne, Yutaro Totsuka, Nicolas Schwind, Katsumi Inoue
- Journal Title
  
  Proceedings of the 22nd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA'19), Lecture Notes in Artificial Intelligence
  
  Volume: 11873 Pages: 370-386
- DOI
  10.1007/978-3-030-33792-6_23
- ISBN
  9783030337919, 9783030337926
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763, KAKENHI-PROJECT-17K12746
[Journal Article] 推論とAIプログラミング2019
- Author(s)
  井上克巳, 坂間千秋, 佐藤泰介
- Journal Title
  
  人工知能学会誌
  
  Volume: 34(5) Pages: 703-713
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario2019
- Author(s)
  Nicolas Schwind, Katsumi Inoue, Sebastien Konieczny, Jean-Marie Lagniez, Pierre Marquis
- Journal Title
  
  The 28th International Joint Conference on Artificial Intelligence (IJCAI'19)
  
  Volume: - Pages: 1865-1871
- DOI
  10.24963/ijcai.2019/258
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763, KAKENHI-PROJECT-17K12746
[Journal Article] Disjunctive Abduction2019
- Author(s)
  Katsumi Inoue, Chiaki Sakama
- Journal Title
  
  New Generation Computing
  
  Volume: 37(2) Issue: 2 Pages: 219-243
- DOI
  10.1007/s00354-019-00059-x
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H00763, KAKENHI-PROJECT-18H03288
[Journal Article] Meta-Interpretive Learning Using HEX-Programs2019
- Author(s)
  Tobias Kaminski, Thomas Eiter, Katsumi Inoue
- Journal Title
  
  Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI-19)
  
  Volume: - Pages: 6186-6190
- DOI
  10.24963/ijcai.2019/860
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] Computational Intractability Law Molds the Topology of Biological Networks2019
- Author(s)
  Ali A Atiia, Corbin Hopper, Katsumi Inoue, Silvia Vidal, Jerome Waldispuh
- Journal Title
  
  bioRxiv
  
  Volume: 510495
- DOI
  10.1101/510495
- Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] Using Reachability Properties of Logic Program for Revising Biological Models2018
- Author(s)
  Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier Roux, Katsumi Inoue
- Journal Title
  
  The 28th International Conference on Inductive Logic Programming (ILP 2018)
  
  Volume: 0
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] Robust Coalition Structure Generation2018
- Author(s)
  Tenda Okimoto, Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Pierre Marquis
- Journal Title
  
  In: Proceedings of the 21st International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2018), Lecture Notes in Computer Sciencei
  
  Volume: 11224 Pages: 140-157
- DOI
  10.1007/978-3-030-03098-8_9
- ISBN
  9783030030971, 9783030030988
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763, KAKENHI-PROJECT-17H01790
[Journal Article] Computing Logic Programming Semantics in Linear Algebra2018
- Author(s)
  Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue
- Journal Title
  
  In: Proceedings of the 12th International Conference on Multi-disciplinary Trends in Artificial Intelligence (MIWAI 2018), Lecture Notes in Computer Science
  
  Volume: 11248 Pages: 32-48
- DOI
  10.1007/978-3-030-03014-8_3
- ISBN
  9783030030131, 9783030030148
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763, KAKENHI-PROJECT-18H03288
[Journal Article] Assessing the Resilience of Stochastic Dynamic Systems Under Partial Observability2018
- Author(s)
  Jacopo Panerati, Nicolas Schwind, Stefan Zeltner, Katsumi Inoue, Giovanni Beltrame
- Journal Title
  
  PLoS ONE
  
  Volume: 13(8): e0202337 Issue: 8 Pages: 1-21
- DOI
  10.1371/journal.pone.0202337
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] Efficiently Encoding Meta-Interpretive Learning by Answer Set Programming2018
- Author(s)
  Tobias Kaminski, Thomas Eiter, Katsumi Inoue
- Journal Title
  
  The 28th International Conference on Inductive Logic Programming (ILP 2018)
  
  Volume: 0
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] Multi-Objective Distributed Pseudo-Tree Optimization2018
- Author(s)
  Maxime Clement, Tenda Okimoto, Katsumi Inoue
- Journal Title
  
  Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018)
  
  Volume: なし Pages: 1903-1905
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02803
[Journal Article] Learning Programs with Continuous Domains from State Transitions2018
- Author(s)
  Tony Ribeiro, Sophie Tourret, Maxime Folschette, Morgan Magnin, Domenico Borzacchiello, Francisco Chinesta, Olivier Roux, Katsumi Inoue
- Journal Title
  
  In: Inductive Logic Programming: Revised Selected Papers from the 27th International Conference (ILP 2017), Lecture Notes in Computer Science
  
  Volume: 10759 Pages: 124-139
- DOI
  10.1007/978-3-319-78090-0_9
- ISBN
  9783319780894, 9783319780900
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] Partial Evaluation of Logic Programs in Vector Spaces2018
- Author(s)
  Chiaki Sakama, Hien D. Nguyen, Taisuke Sato, Katsumi Inoue
- Journal Title
  
  Proceedings of the 11th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2018), CoRR abs
  
  Volume: 1811.11435 Pages: 1-14
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03288
[Journal Article] Probabilistic Coalition Structure Generation2018
- Author(s)
  Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis
- Journal Title
  
  In: Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018).
  
  Volume: 0 Pages: 663-664
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] Partial Evaluation of Logic Programs in Vector Spaces2018
- Author(s)
  Chiaki Sakama, Hien D. Nguyen, Taisuke Sato, Katsumi Inoue
- Journal Title
  
  In: Proceedings of the 11th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2018), CoRR abs
  
  Volume: 1811.11435 Pages: 1-14
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] SAT技術を用いたペトリネットのデッドロック検出手法の提案2018
- Author(s)
  寸田智也, 宋剛秀, 番原睦則, 田村直之, 井上克巳
- Journal Title
  
  情報処理学会論文誌
  
  Volume: 59(9) Pages: 1749-1760
- NAID
  120006799300
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16H02803
[Journal Article] Static Analysis and Stochastic Search for Reachability Problem2018
- Author(s)
  Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier Roux, Katsumi Inoue
- Journal Title
  
  Static Analysis in Systems Biology (SASB 2018), affiliated with Static Analysis Symposium
  
  Volume: 0
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] Solving Problems on a Knowledge Model of Operators and Application2018
- Author(s)
  Hien Nguyen, Nhon Do, Vuong Pham, Katsumi Inoue
- Journal Title
  
  International Journal of Digital Enterprise Technology
  
  Volume: 1(1-2) Issue: 1/2 Pages: 37-59
- DOI
  10.1504/ijdet.2018.092632
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[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: 0 Pages: 1903-1905
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] レジリエントなナース・スケジューリング問題2018
- Author(s)
  沖本天太, 平山勝敏, 番原睦則, 井上克巳
- Journal Title
  
  第17回科学技術フォーラム (FIT-2018)
  
  Volume: - Pages: 37-40
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17H01790
[Journal Article] Learning Logic Program Representation for Delayed Systems with Limited Training Data2018
- Author(s)
  Yin Jun Phua, Sophie Tourret, Katsumi Inoue
- Journal Title
  
  In: Late Breaking Papers of the 27th International Conference on Inductive Logic Programming (ILP 2017), CEUR Workshop Proceedings
  
  Volume: 2085 Pages: 27-33
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] Abducing Relations in Continuous Spaces2018
- Author(s)
  Taisuke Sato, Katsumi Inoue, Chiaki Sakama
- Journal Title
  
  In: Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018)
  
  Volume: 0 Pages: 1956-1962
- DOI
  10.24963/ijcai.2018/270
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17H00763, KAKENHI-PROJECT-18H03288
[Journal Article] Learning Dynamics with Synchronous, Asynchronous and General Semantics2018
- Author(s)
  Tony Ribeiro, Maxime Folschette, Morgan Magnin, Olivier F. Roux, Katsumi Inoue
- Journal Title
  
  In: Proceedings of the 28th International Conference on Inductive Logic Programming (ILP 2018), Lecture Notes in Computer Science
  
  Volume: 11105 Pages: 118-140
- DOI
  10.1007/978-3-319-99960-9_8
- ISBN
  9783319999593, 9783319999609
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] Learning Commonsense Knowledge Through Interactive Dialogue2018
- Author(s)
  Benjamin Wu, Alessandra Russo, Mark Law, Katsumi Inoue
- Journal Title
  
  Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018), OASICS
  
  Volume: 64(12) Pages: 1-12
- DOI
  10.4230/OASICS.ICLP.2018.12
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning2018
- Author(s)
  Tobias Kaminski, Thomas Eiter, Katsumi Inoue
- Journal Title
  
  Theory and Practice of Logic Programming
  
  Volume: 18(3-4) Issue: 3-4 Pages: 571-588
- DOI
  10.1017/s1471068418000261
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[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: - Issue: 1 Pages: 3-37
- 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, KAKENHI-PROJECT-18K11242, KAKENHI-PROJECT-17H00763
[Journal Article] Identifying Goals of Agents by Learning from Observations2018
- Author(s)
  Guillaume Lorthioir, Gauvain Bourgne, Katsumi Inoue
- Journal Title
  
  In: Proceedings of the 12th International Conference on Multi-disciplinary Trends in Artificial Intelligence (MIWAI 2018), Lecture Notes in Computer Science
  
  Volume: 11248 Pages: 125-138
- DOI
  10.1007/978-3-030-03014-8_11
- ISBN
  9783030030131, 9783030030148
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] Probabilistic Coalition Structure Generation2018
- Author(s)
  Nicolas Schwind, Tenda Okimoto, Katsutoshi Hirayama, Katsumi Inoue, Jean-Marie Lagniez, Pierre Marquis
- Journal Title
  
  In proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018)
  
  Volume: - Pages: 663-664
- Peer Reviewed / Open Access / Int'l Joint Research
- 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: -
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17H01790
[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: 0 Pages: 1362-1370
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[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: -
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H01790
[Journal Article] Learning Representation of Relational Dynamics with Delays and Refining with Prior Knowledge2018
- Author(s)
  Yin Jun Phua, Tony Ribeiro, Katsumi Inoue
- Journal Title
  
  The 13th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2018)
  
  Volume: 0
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] Linear Algebraic Characterization of Logic Programs2017
- Author(s)
  Chiaki Sakama, Katsumi Inoue, Taisuke Sato
- Journal Title
  
  In: Proceedings of the 10th International Conference on Knowledge Science, Engineering and Management: (KSEM 2017), Lecture Notes in Artificial Intelligence
  
  Volume: 10412 Pages: 520-533
- DOI
  10.1007/978-3-319-63558-3_44
- ISBN
  9783319635576, 9783319635583
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] Modeling Trans-Device Content Experience and Knowledge Development for Detection of TV Audiences2017
- Author(s)
  Kotaro Okazaki, Katsumi Inoue
- Journal Title
  
  In: Proceedings of the 19th IEEE International Conference on Business Informatics (CBI 2017)
  
  Volume: 1 Pages: 53-61
- DOI
  10.1109/cbi.2017.87
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] Learning from Interpretation Transition using Feed-Forward Neural Networks2017
- Author(s)
  Enguerrand Gentet, Sophie Tourret, Katsumi Inoue
- Journal Title
  
  In: Late Breaking Papers of the 26th International Conference on Inductive Logic Programming (ILP 2016), CEUR Workshop Proceedings
  
  Volume: 1865 Pages: 27-33
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] Balanced Clustering Based Decomposition Applied to Master Thesis Defense Timetabling Problem2017
- Author(s)
  Huynh Thanh Trung, Pham Quang Dung, Emir Demirovic, Maxime Clement, Katsumi Inoue
- Journal Title
  
  In: Proceedings of the 8th Multidisciplinary International Conference on Scheduling: Theory and Applications (MISTA 2017)
  
  Volume: 0 Pages: 214-228
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[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_9
- ISBN
  9783319662626, 9783319662633
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K00300, KAKENHI-PROJECT-16H02803
[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: -
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330268
[Journal Article] Relational Reinforcement Learning for Planning with Exogenous Effects2017
- Author(s)
  David Martinez, Guillem Alenya, Carme Torras, Tony Ribeiro, Katsumi Inoue
- Journal Title
  
  Journal of Machine Learning Research
  
  Volume: 18(78) Pages: 1-78
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[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: -
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02803
[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: 印刷中
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280092
[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) Issue: 1 Pages: 8-8
- DOI
  10.3390/a10010008
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280092, KAKENHI-PROJECT-15K00099
[Journal Article] Distributed Pareto Local Search for Multi-Objective DCOPs2017
- Author(s)
  Maxime Clement, Tenda Okimoto, Katsumi Inoue
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E100.D Issue: 12 Pages: 2897-2905
- DOI
  10.1587/transinf.2016AGP0006
- NAID
  130006236637
- ISSN
  0916-8532, 1745-1361
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16H02803, KAKENHI-PROJECT-17H01790, KAKENHI-PROJECT-17H00763
[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: 印刷中
- Peer Reviewed / Int'l Joint Research
- 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, 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
- ISBN
  9783319616599, 9783319616605
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803, KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-17H00763
[Journal Article] Special Issue on Inductive Logic Programming2017
- Author(s)
  Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto
- Journal Title
  
  Machine Learning
  
  Volume: 106(12) Issue: 12 Pages: 1863-1865
- DOI
  10.1007/s10994-017-5679-8
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] 解集合プログラミングによるカリキュラムベース・コース時間割編成2017
- Author(s)
  番原睦則, 井上克巳, ベンジャミンカウフマン, トルステンシャウブ, 宋剛秀, 田村直之, フィリップワンコ
- Journal Title
  
  第29回RAMPシンポジウム論文集
  
  Volume: - Pages: 73-88
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00099
[Journal Article] Learning Human-Understandable Description of Dynamical Systems from Feed-Forward Neural Networks2017
- Author(s)
  Sophie Tourret, Enguerrand Gentet, Katsumi Inoue
- Journal Title
  
  In: Advances in Neural Networks: Proceedings of the 14th International Symposium (ISNN 2017), Lecture Notes in Computer Science
  
  Volume: 10261 Pages: 483-492
- DOI
  10.1007/978-3-319-59072-1_57
- ISBN
  9783319590714, 9783319590721
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[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: -
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540122
[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) Pages: 012007-012007
- DOI
  10.1088/1757-899x/131/1/012007
- 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
- NAID
  130007426063
- Peer Reviewed / Open Access
- 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: -
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02803
[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] 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] Abduction, Conversational Implicature and Misleading in Human Dialogues2016
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Journal Title
  
  Logic Journal of the IGPL
  
  Volume: 未定 Issue: 6 Pages: 1075-1093
- DOI
  10.1093/jigpal/jzu027
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-24500174, KAKENHI-PROJECT-26540122
[Journal Article] SATソルバーの最近の進展2016
- Author(s)
  鍋島英知, 岩沼宏治, 井上克巳
- Journal Title
  
  情報処理
  
  Volume: 57(8)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16H02803
[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) Issue: 1 Pages: 111-138
- DOI
  10.1017/s1471068415000101
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26280092
[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] 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
- NAID
  130007426063
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330268
[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] 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] 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)
- 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: -
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02803
[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] 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
  
  Proc. 14th Int'l Conf. on Computational Methods in Systems Biology (CMSB 2016), Lecture Notes in Bioinformatics
  
  Volume: 9859 Pages: 30-48
- DOI
  10.1007/978-3-319-45177-0_3
- ISBN
  9783319451763, 9783319451770
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280092, KAKENHI-PROJECT-15K00099
[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] \sum_x-Optimal Solutions in Highly Symmetric Multi-Objective Timetabling Problems2016
- 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: － Pages: 63-79
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00099
[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: -
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02803
[Journal Article] SATとAI2016
- Author(s)
  井上克巳
- Journal Title
  
  情報処理
  
  Volume: 57(8)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16H02803
[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: － Pages: 13-32
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00099
[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] 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] 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: -
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280092
[Journal Article] An Incremental SAT Solving Library and its Applications2016
- Author(s)
  迫龍哉, 宋剛秀, 番原睦則, 田村直之, 鍋島英知, 井上克巳
- Journal Title
  
  Computer Software
  
  Volume: 33 Issue: 4 Pages: 4_16-4_29
- DOI
  10.11309/jssst.33.4_16
- NAID
  130005290581
- ISSN
  0289-6540
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-26330248, KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803
[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, Studies in Computational Intelligence
  
  Volume: 607 Pages: 139-152
- DOI
  10.1007/978-981-10-2564-8_10
- ISBN
  9789811025631, 9789811025648
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280092, KAKENHI-PROJECT-26330268
[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] 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] 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
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-26540122
[Journal Article] Learning Prime Implicant Conditions from Interpretation Transition2015
- Author(s)
  Tony Ribeiro, Katsumi Inoue
- Journal Title
  
  Revised Selected Papers from the 24th International Conference, Lecture Notes in Artificial Intelligence
  
  Volume: 9046 Pages: 108-125
- DOI
  10.1109/icmla.2015.19
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540122
[Journal Article] 人工知能による科学的発見2015
- Author(s)
  井上克巳
- Journal Title
  
  電子情報通信学会誌
  
  Volume: Vol.98 　No.1 Pages: 35-39
- NAID
  110009900418
- Data Source
  KAKENHI-PROJECT-26540122
[Journal Article] Task-Oriented Robust Team Formation Problem2015
- Author(s)
  沖本天太, Nicolas Schwind, Maxime Clement, 井上克巳
- Journal Title
  
  電子情報通信学会論文誌D 情報・システム
  
  Volume: J98-D Issue: 6 Pages: 894-904
- DOI
  10.14923/transinfj.2014SWP0002
- ISSN
  1880-4535, 1881-0225
- Year and Date
  2015-06-01
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-26330268, 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] 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
- ISBN
  9783319234007, 9783319234014
- Peer Reviewed / Int'l Joint Research
- 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] 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] 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] Resilient Solutions for Dynamic Multi-Objective Constraint Optimization2015
- Author(s)
  沖本天太, Maxime Clement, Nicolas Schwind, 井上克巳
- Journal Title
  
  電子情報通信学会論文誌D 情報・システム
  
  Volume: J98-D Issue: 6 Pages: 884-893
- DOI
  10.14923/transinfj.2014SWP0001
- ISSN
  1880-4535, 1881-0225
- Year and Date
  2015-06-01
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-26330268, KAKENHI-PROJECT-26280092
[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] aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming2015
- Author(s)
  Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, and Matthias Weise
- Journal Title
  
  Proceedings of the 13th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2015)
  
  Volume: LNAI9345 Pages: 112-126
- DOI
  10.1007/978-3-319-23264-5_10
- ISBN
  9783319232638, 9783319232645
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-25730042
[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] Formalization of Resilience for Constraint-Based Dynamic Systems2015
- Author(s)
  Nicolas Schwind, Morgan Magnin, Katsumi Inoue, Tenda Okimoto, Taisuke Sato, Kazuhiro Minami, and Hiroshi Maruyama
- Journal Title
  
  Journal of Reliable Intelligent Environments
  
  Volume: 2(1) Issue: 1 Pages: 17-35
- DOI
  10.1007/s40860-015-0016-0
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00195, KAKENHI-PROJECT-26330268, KAKENHI-PROJECT-26540089, KAKENHI-PROJECT-26280092
[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
- ISBN
  9783319213644, 9783319213651
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26540122
[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] 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] 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] 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
- Peer Reviewed / Open Access / Int'l Joint Research
- 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 / Acknowledgement Compliant / Open Access
- 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
  
  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] 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] 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] 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] 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
- Acknowledgement Compliant / Open Access
- 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: 無し
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] Constraint Modeling and SAT Encoding of the Packing Array Problem2014
- Author(s)
  則武治樹, 番原睦則, 宋剛秀, 田村直之, 井上克巳
- Journal Title
  
  Computer Software
  
  Volume: 31 Issue: 1 Pages: 1_116-1_130
- DOI
  10.11309/jssst.31.1_116
- NAID
  130004549327
- ISSN
  0289-6540
- Language
  Japanese
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-25730042
[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
- ISBN
  9783319103976, 9783319103983
- 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 (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)
  
  Volume: Vol.8812 Pages: 47-63
- DOI
  10.1007/978-3-662-44923-3_4
- ISBN
  9783662449226, 9783662449233
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-26540122
[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] 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] Utilitarian and Egalitarian Solutions for Multi-Objective Constraint Optimization2014
- Author(s)
  Nicolas Schwind, Tenda Okimoto, Sebastien Konieczny, Maxime Wack, Katsumi Inoue
- Journal Title
  
  Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 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] 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: 無し
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-24300007
[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] Local Search Based Approximate Algorithm for Multi-Objective DCOP2014
- Author(s)
  Maxime Wack, Tenda Okimoto, Maxime Clement, Katsumi Inoue
- Journal Title
  
  Proceedings of the 17th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2014)
  
  Volume: Vol.8861 Pages: 390-406
- DOI
  10.1007/978-3-319-13191-7_32
- ISBN
  9783319131900, 9783319131917
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-26280092, KAKENHI-PROJECT-26330268
[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] 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] Learning from Interpretation Transition2014
- Author(s)
  Katsumi Inoue, Tony Ribeiro, and Chiaki Sakama
- Journal Title
  
  Machine Learning
  
  Volume: 94(1) Issue: 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: 18 Pages: 573-580
- NAID
  130007673206
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-26330268
[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
- NAID
  130007673206
- 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, 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] 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
- NAID
  130007673206
- 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] 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
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-26330268
[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] 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] 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] 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) Issue: 4-5 Pages: 783-798
- DOI
  10.1017/s1471068413000495
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-25730042
[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: なし
- NAID
  130007673206
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[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] 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
- ISBN
  9783642405631, 9783642405648
- 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] 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
- ISBN
  9783642449260, 9783642449277
- 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] 分散制約最適化問題：擬似木に基づくハイブリッド型の解法の提案2013
- Author(s)
  沖本天太，山本将，櫻井祐子，横尾真，井上克巳
- Journal Title
  
  電子情報通信学会論文誌 D
  
  Volume: J96-D(12) Pages: 2920-2928
- 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] 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] 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
- ISBN
  9783642405631, 9783642405648
- 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] 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] 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] 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
- ISBN
  9783642449482, 9783642449499
- 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) Issue: 6 Pages: 980-998
- DOI
  10.1093/jigpal/jzt015
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-24500174
[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) Issue: 1 Pages: 3-23
- DOI
  10.1007/s10994-011-5259-2
- Peer Reviewed
- Data Source
  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] 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] GlueMiniSat 2.2.5:単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー2012
- Author(s)
  鍋島英知, 岩沼宏治, 井上克巳
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: (掲載確定)
- NAID
  130004549290
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[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_23
- ISBN
  9783642307423, 9783642307430
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] GlueMiniSat2.2.5:単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー2012
- Author(s)
  鍋島英知,岩沼宏治,井上克巳
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 29(4) Pages: 146-160
- NAID
  130004549290
- 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] 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
- ISBN
  9789535104124
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] Enumerating Minimal Active Metabolic Pathways by Model Generation2012
- Author(s)
  宋剛秀, 井上克巳
- Journal Title
  
  Transactions of the Japanese Society for Artificial Intelligence
  
  Volume: 27 Issue: 3 Pages: 204-212
- DOI
  10.1527/tjsai.27.204
- NAID
  130001878758
- ISSN
  1346-0714, 1346-8030
- Language
  Japanese
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-10J02321, KAKENHI-PROJECT-20240016
[Journal Article] Inverse Subsumption for Complete Explanatory Induction2012
- Author(s)
  Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma
- Journal Title
  
  Machine Learning
  
  Volume: 86(1) Issue: 1 Pages: 115-139
- DOI
  10.1007/s10994-011-5250-y
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016, KAKENHI-PROJECT-22700141
[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] 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] 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] Glue Mini Sat2. 2. 5 :単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー2012
- Author(s)
  鍋島英知, 岩沼宏治, 井上克巳
- Journal Title
  
  コンピュータソフトウェア
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[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] 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
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] 私のブックマーク:SATソルバー2012
- Author(s)
  番原睦則, 田村直之, 井上克巳
- Journal Title
  
  人工知能学会誌
  
  Volume: (掲載決定)
- Data Source
  KAKENHI-PROJECT-20240003
[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] GlueMiniSat2.2.5:単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー2012
- Author(s)
  鍋島英知, 岩沼宏治, 井上克巳
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: (掲載決定)
- NAID
  130004549290
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix2012
- Author(s)
  Mutsunori Banbara
- Journal Title
  
  The 28th International Conference on Logic Programming (ICLP 2012)
  
  Volume: LIPIcs 17 Pages: 86-97
- DOI
  10.4230/LIPIcs.ICLP.2012.86
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700032, KAKENHI-PROJECT-24300007
[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] 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] Query-driven Coordination of Multiple Answer Sets2011
- Author(s)
  Gauvain Bourgne, Katsumi Inoue
- Journal Title
  
  Proc.of 86h Int'l Workshop on Declarative Agent Languages and Technologies VIII (DALT 2010)
  
  Volume: 6619 Pages: 40-59
- DOI
  10.1007/978-3-642-20715-0_3
- ISBN
  9783642207143, 9783642207150
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003, 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] 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
- ISBN
  9783642212949, 9783642212956
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016, KAKENHI-PROJECT-23700164
[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] Analyzing Pathways Using ASP-Based Approaches2011
- Author(s)
  Oliver Ray, Takehide Soh, Katsumi Inoue
- Journal Title
  
  Algebraic and Numeric Biology : Proceedings of the 2010 International Conference (ANB'10), Lecture Notes in Computer Science
  
  Volume: 6479 Pages: 167-183
- DOI
  10.1007/978-3-642-28067-2_10
- ISBN
  9783642280665, 9783642280672
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-10J02321, KAKENHI-PROJECT-20240003, 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] 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
- ISBN
  9783642227226, 9783642227233
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[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
- ISBN
  9783642208317, 9783642208324
- 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] 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
- ISBN
  9783642223587, 9783642223594
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming2011
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Journal Title
  
  Machine Learning
  
  Volume: 83(1) Issue: 1 Pages: 1-29
- DOI
  10.1007/s10994-010-5189-4
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016, KAKENHI-PROJECT-20500134
[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] Constraint-based Probabilistic Modeling for Statistical Abduction2011
- Author(s)
  Taisuke Sato, Masakazu Ishihata, Katsumi Inoue
- Journal Title
  
  Machine Learning
  
  Volume: 83(2) Issue: 2 Pages: 241-264
- DOI
  10.1007/s10994-010-5206-7
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] 一階論理上の等号推論:理論と実際2011
- Author(s)
  岩沼宏治,鍋島英知,井上克巳
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 28(4) Pages: 282-305
- NAID
  130004549242
- URL
  http://JST.JSTAGE/jssst/28.4_282
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[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] 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 Vol.102
  
  Pages: 467-487
- 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: 102・3-4 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
  
  20th Int'l Conf. on Inductive Logic Programming (ILP 2010)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[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] 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] 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] 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] 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] 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] 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] SATソルバーの基礎2010
- Author(s)
  井上克巳, 田村直之
- Journal Title
  
  人工知能学会誌 25・1
  
  Pages: 57-67
- Data Source
  KAKENHI-PROJECT-20240003
[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) Issue: 2-3 Pages: 183-203
- DOI
  10.3233/aic-2010-0465
- 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
  
  Proc of 20th Int' l Conf. on Inductive Logic Programming(ILP 2010)
- Peer Reviewed
- 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) Issue: 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 7
  
  Pages: 318-328
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500134
[Journal Article] Equivalence Issues in Abduction and Induction2009
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Journal Title
  
  Journal of Applied Logic
  
  Volume: 7(3) Issue: 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 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] 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] 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] 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] Reconsideration of Circumscriptive Induction with Pointwise Circumscription2009
- Author(s)
  Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima
- Journal Title
  
  Journal of Applied Logic
  
  Volume: 7(3) Issue: 3 Pages: 307-317
- DOI
  10.1016/j.jal.2008.10.005
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[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] 論理プログラミングから解集合プログラミングへ2008
- Author(s)
  井上克巳
- Journal Title
  
  コンピュータソフトウェア 25 (3)
  
  Pages: 20-32
- NAID
  110006840397
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] Coordination in Answer Set Programming ACM2008
- Author(s)
  Chiaki Sakama and Katsumi Inoue
- Journal Title
  
  Transactions on Computational Logic
  
  Volume: 9(2) Issue: 2 Pages: 1-30
- DOI
  10.1145/1342991.1342993
- Data Source
  KAKENHI-PROJECT-20500134
[Journal Article] 論理プログラミングから解集合プログラミングへ2008
- Author(s)
  井上克巳
- Journal Title
  
  コンピュータソフトウェア Vol. 25, No. 3
  
  Pages: 20-32
- NAID
  110006840397
- Data Source
  KAKENHI-PROJECT-20240003
[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, Koji Iwanuma, Hidetomo Nabeshima
- Journal Title
  
  Journal of Intelligent Information Systems 26
  
  Pages: 41-58
- 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] 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] 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] 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] 極小限定を用いた帰納推論2006
- Author(s)
  齋藤悠, 井上克巳
- Journal Title
  
  人工知能学会論文誌 21・2
  
  Pages: 143-152
- NAID
  10022006094
- 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] GNN-MatSat: グラフニューラルネットワークによる初期化に基づく微分可能なSATソルバー2022
- Author(s)
  渡邉晃司, 佐藤泰介, 小島諒介, 小高充弘, 井上克巳
- Organizer
  2022年度人工知能学会全国大会（第36回）
- Data Source
  KAKENHI-PROJECT-21H04905
[Presentation] A Data-Driven and Knowledge-Based Approach to Inferring Temporal Gene Networks for COVID-192022
- Author(s)
  Mitsuhiro Odaka, Magnin Morgan, Katsumi Inoue
- Organizer
  International Conference on Critical Assessment of Massive Data Analysis 2022 (CAMDA 2022; Madison, WI, USA, July 11-12, 2022)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H04905
[Presentation] Action Languages Based Actual Causality in Decision Making Contexts2022
- Author(s)
  Camilo Sarmiento,Gauvain Bourgne,Katsumi Inoue,Jean-Gabriel Ganascia
- Organizer
  International Workshop on AI Compliance Mechanism (WAICOM 2022)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H04905
[Presentation] Linear Algebraic Abduction with Partial Evaluation2022
- Author(s)
  Nguyen Tuan Quoc, Katsumi Inoue, Chiaki Sakama
- Organizer
  25th International Symposium on Practical Aspects of Declarative Languages (PADL 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03288
[Presentation] Learning State Transition Rules from Hidden Layers of Restricted Boltzmann Machines2022
- Author(s)
  Koji Watanabe, Katsumi Inoue
- Organizer
  The 6th International Workshop on Symbolic-Neural Learning (SNL 2022; Nagoya, Japan) Poster presentation
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H04905
[Presentation] Linear Algebraic Computation of Propositional Horn Abduction2021
- Author(s)
  Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama
- Organizer
  IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03288
[Presentation] U12バスケットボールにおけるブレーク数最小化問題2020
- Author(s)
  井上隆太
- Organizer
  第34回人工知能学会全国大会 (JSAI 2020)
- Data Source
  KAKENHI-PROJECT-17H00763
[Presentation] 記号推論と科学2020
- Author(s)
  井上克巳
- Organizer
  JST-CRDS 俯瞰セミナーシリーズ「機械学習と科学」
- Invited
- Data Source
  KAKENHI-PROJECT-17H00763
[Presentation] From 3-valued semantics to supported model computation for logic programs in vector spaces2020
- Author(s)
  Taisuke Sato, Chiaki Sakama, Katsumi Inoue
- Organizer
  12th International Conference on Agents and Artificial Intelligence (ICAART 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03288
[Presentation] U12バスケットボールにおけるブレーク数最小化問題2020
- Author(s)
  井上隆太
- Organizer
  人工知能学会全国大会
- Data Source
  KAKENHI-PROJECT-17H01790
[Presentation] Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation2020
- Author(s)
  Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama
- Organizer
  36th International Conference on Logic Programming (ICLP)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03288
[Presentation] システムズレジリエンスへの数理アプローチ2018
- Author(s)
  井上克巳
- Organizer
  「レジリエンス・エンジニアリング理論の医療の質・安全における実用化研究」研究会議
- Invited
- Data Source
  KAKENHI-PROJECT-17H00763
[Presentation] 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
- Organizer
  The 28th International Conference on Automated Planning and Scheduling (ICAPS 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02803
[Presentation] GPGPUによるMaxSATオラクルを用いたSATソルバの試作2017
- Author(s)
  山口順也, Sophie Tourret, 井上克巳
- Organizer
  第31回人工知能学会全国大会
- Data Source
  KAKENHI-PROJECT-16H02803
[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] Learning Programs from Observations2017
- Author(s)
  Katsumi Inoue
- Organizer
  Dagstuhl Seminar 17382: Approaches and Applications of Inductive Programming
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[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] 解集合プログラミングを用いた制約組合せテストケース生成2016
- Author(s)
  兼行大将, 番原睦則, 宋剛秀, 田村直之, 井上克巳, 沖本天太
- Organizer
  第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)
- Place of Presentation
  ダイヤモンド瀬戸内マリンホテル(岡山県玉野市渋川)
- Year and Date
  2016-03-07
- Data Source
  KAKENHI-PROJECT-15K00099
[Presentation] クラウド上のソフトウェア要素最適配置問題の解法2016
- Author(s)
  田村直之, 井上克巳, 鍋島英知, 番原睦則, 宋剛秀
- Organizer
  人工知能基本問題研究会(第100回)
- Place of Presentation
  熊本市民会館 (熊本県熊本市中央区桜町)
- Year and Date
  2016-03-27
- Data Source
  KAKENHI-PROJECT-15K00099
[Presentation] 多目的ナース・リスケジューリング問題における安定性と平等性2015
- Author(s)
  呉詩敏，沖本天太，平山勝敏，井上克巳
- Organizer
  人工知能学会第29回全国大会
- Place of Presentation
  函館
- Year and Date
  2015-06-02
- Data Source
  KAKENHI-PROJECT-26280092
[Presentation] iSugar : インクリメンタルSAT解法が利用可能なSAT型制約ソルバー2015
- Author(s)
  迫龍哉, 宋剛秀, 番原睦則, 田村直之, 鍋島英知, 井上克巳
- Organizer
  日本ソフトウェア科学会第32回大会
- Place of Presentation
  早稲田大学西早稲田キャンパス(東京都新宿区大久保)
- Year and Date
  2015-09-09
- Data Source
  KAKENHI-PROJECT-15K00099
[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] 災害派遣医療チームのためのダイナミック・スケジューリング2015
- Author(s)
  沖本天太，平山勝敏，井上克巳，波多野大督，花田研太，クレモンマキシム，リベイロトニー，呉詩敏
- Organizer
  合同エージェントワークショップ＆シンポジウム2015(JAWS2015)
- Place of Presentation
  加賀
- Year and Date
  2015-10-01
- 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] 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] 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
  2015年度人工知能学会全国大会(第29回)
- Place of Presentation
  公立はこだて未来大学 (北海道函館市亀田中野町)
- Year and Date
  2015-05-30
- Data Source
  KAKENHI-PROJECT-15K00099
[Presentation] スケールフリー・トポロジーにおける不染化を応用した減災評価方法2015
- Author(s)
  岡崎孝太郎，井上克巳
- Organizer
  人工知能学会第29回全国大会
- Place of Presentation
  函館
- Year and Date
  2015-05-31
- Data Source
  KAKENHI-PROJECT-26280092
[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] 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] \Sigma-Optimal Solutions in Multi-Objective Timetabling2015
- Author(s)
  Maxime Clement, Tenda Okimoto, Katsumi Inoue, and Mutsunori Banbara
- Organizer
  合同エージェントワークショップ&シンポジウム2015論文集 (JAWS 2015)
- Place of Presentation
  山中温泉河鹿荘ロイヤルホテル (石川県加賀市山中温泉河鹿町)
- Year and Date
  2015-09-30
- Data Source
  KAKENHI-PROJECT-15K00099
[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] 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] 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] 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] ロバストな提携構造形成問題に関する一検討2014
- Author(s)
  沖本天太，シュインドニコラ，井上克巳
- Organizer
  第28回人工知能学会全国大会
- Place of Presentation
  ひめぎんホール、愛媛
- Year and Date
  2014-05-14
- 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] 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] ロバストなチーム編成問題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] ロバストなチーム編成問題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] 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
  日本ソフトウェア科学会第31回大会
- Place of Presentation
  名古屋大学 (愛知県)
- Year and Date
  2014-09-08
- Data Source
  KAKENHI-PROJECT-24300007
[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] 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] 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] SAT符号化を用いたパッキング配列の構成2013
- Author(s)
  則武治樹,番原睦則、宋剛秀,田村直之,井上克巳
- Organizer
  第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013)
- Place of Presentation
  会津若松市(福島県)
- Year and Date
  2013-03-05
- 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] 制約充足問題のSAT符号化を用いたパッキング配列の構成2012
- Author(s)
  則武治樹,番原睦則,田村直之,井上克己
- Organizer
  第26回人工知能学会全国大会
- Place of Presentation
  山口県教育会館(山口県)
- Year and Date
  2012-06-12
- 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] 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] 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] BnB-ADOPTp:分散制約最適化問題におけるハイブリッド型の解法の提案2012
- Author(s)
  沖本天太,山本将,櫻井佑子,横尾真,井上克巳
- Organizer
  合同エージェントワークショップ&シンポジウム(JAWS2012)
- Place of Presentation
  掛川市(静岡県)
- Year and Date
  2012-10-26
- Data Source
  KAKENHI-PROJECT-24300007
[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] 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] 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] 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] 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] GlueMiniSat2.2.5:単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー2011
- Author(s)
  鍋島英知, 岩沼宏治, 井上克巳
- Organizer
  日本ソフトウェア科学会第28回大会
- Place of Presentation
  沖縄産業支援センター(沖縄県)
- Year and Date
  2011-09-29
- Data Source
  KAKENHI-PROJECT-20240003
[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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 極小活性パスウェイの列挙を用いた遺伝子ノックアウトの影響予測2011
- Author(s)
  宋剛秀, 井上克巳, 馬場知哉, 高田豊行, 城石俊彦
- Organizer
  第47回人工知能学会分子生物情報研究会
- Place of Presentation
  慶応義塾大学日吉キャンパス、横浜市
- Year and Date
  2011-12-15
- Data Source
  KAKENHI-PROJECT-20240016
[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] 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] 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] モデル生成を用いた代謝ネットワークにおける極小部分パスウェイの同定2010
- Author(s)
  宋剛秀, 井上克巳
- Organizer
  人工知能学会全国大会
- Place of Presentation
  長崎ブリックホール(長崎県)
- Year and Date
  2010-06-09
- Data Source
  KAKENHI-PROJECT-20240003
[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] 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] 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] 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, 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] 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] 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] 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] 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] 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] 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 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] 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] 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] SAT問題への変換を用いたフィードバックを含むパスウェイの解析2009
- Author(s)
  宋剛秀, 井上克巳
- Organizer
  第23回人工知能学会全国大会
- Place of Presentation
  サンポートホール高松(香川県)
- Year and Date
  2009-06-18
- Data Source
  KAKENHI-PROJECT-20240003
[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] 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] 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)
  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] 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] 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 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 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] 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] 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] 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] 動的な多目的分散制約最適化問題に関する一検討
- Author(s)
  沖本天太，井上克巳
- Organizer
  人工知能学会第27回全国大会 (JSAI 2013)
- Place of Presentation
  富山国際会議場
- 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] 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
[Presentation] パッキング配列問題の制約モデリングとSAT符号化
- Author(s)
  則武治樹, 番原睦則, 宋剛秀, 田村直之, 井上克巳
- Organizer
  日本ソフトウェア科学会第30回大会
- Place of Presentation
  東京大学
- Data Source
  KAKENHI-PROJECT-24300007

1. SAKAMA Chiaki (20273873)

# of Collaborated Projects: 9 results

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

# of Collaborated Projects: 8 results

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

# of Collaborated Projects: 7 results

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

# of Collaborated Projects: 5 results

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

# of Collaborated Projects: 5 results

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

# of Collaborated Projects: 4 results

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

# of Collaborated Projects: 4 results

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

# of Collaborated Projects: 4 results

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

# of Collaborated Projects: 3 results

# of Collaborated Products: 21 results
10. SATOH Ken (00271635)

# of Collaborated Projects: 3 results

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

# of Collaborated Projects: 3 results

# of Collaborated Products: 27 results
12. HIRAYAMA Katsutoshi (00273813)

# of Collaborated Projects: 2 results

# of Collaborated Products: 2 results
13. YAMAMOTO Yoshitaka (30550793)

# of Collaborated Projects: 2 results

# of Collaborated Products: 9 results
14. NAKAGAWA Seiichi (20115893)

# of Collaborated Projects: 2 results

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

# of Collaborated Projects: 2 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
40. Phua Yin・Jun (20963747)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
41. 小島諒介 (70807651)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
42. MASUDA Toshiki

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
43. KOBAYASHI Ikuo

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
44. NISHIYAMA Takeshige

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
45. RIBEIRO Tony

# of Collaborated Projects: 1 results

# of Collaborated Products: 8 results
46. MAGNIN Morgan

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
47. 尾崎暢

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

INOUE Katsumi 井上 克巳

Research Projects

Research Products

Co-Researchers

信頼されるAIに向けた制約推論Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Robust AI by Integration of Knowledge Representation and Machine LearningPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Learning Relational Dynamics from State TransitionPrincipal 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

Modeling and Inference of Resilient SystemsPrincipal 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

INOUE Katsumi 井上克巳