• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

INOUE Katsumi  井上 克巳

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

    (27 results)
  • Research Products

    (353 results)
  • Co-Researchers

    (46 People)
  •  Development of advanced inference technologies for huge knowledge graphs in tensor spacesOngoing

    • Principal Investigator
      坂間 千秋
    • Project Period (FY)
      2018 – 2021
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 61030:Intelligent informatics-related
    • Research Institution
      Wakayama University
  •  動的環境におけるロバストなチーム編成に関する研究Ongoing

    • Principal Investigator
      沖本 天太
    • Project Period (FY)
      2017 – 2020
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Intelligent informatics
    • Research Institution
      Kobe University
  •  Learning Relational Dynamics from State TransitionPrincipal InvestigatorOngoing

    • Principal Investigator
      井上 克巳
    • Project Period (FY)
      2017 – 2020
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      Intelligent informatics
    • Research Institution
      National Institute of Informatics
  •  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

All 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2002 Other

All Journal Article Presentation Book

  • [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] 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] 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] 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] 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] teaspoon: Solving the Curriculum-based Course Timetabling Problems with Answer Set Programming2019

    • 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: - 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-17H01790, KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-17H00763, KAKENHI-PROJECT-16H02803
  • [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] 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] 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

      170000149759

    • 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] 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

    • Peer Reviewed / 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), Springer

      Volume: 11224 Pages: 140-157

    • DOI

      10.1007/978-3-030-03098-8_9

    • 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

      Lecture Notes in Artificial Intelligence

      Volume: 11248 Pages: 32-48

    • DOI

      10.1007/978-3-030-03014-8_3

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H00763, KAKENHI-PROJECT-18H03288
  • [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) Pages: 571-588

    • DOI

      10.1017/s1471068418000261

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H00763
  • [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] 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] 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

    • 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) Pages: 37-59

    • DOI

      10.1504/ijdet.2018.092632

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H00763
  • [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

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H00763
  • [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] 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] 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] レジリエントなナース・スケジューリング問題2018

    • Author(s)
      沖本 天太, 平山 勝敏, 番原 睦則, 井上 克巳
    • Journal Title

      第17回科学技術フォー ラム (FIT-2018)

      Volume: - Pages: 37-40

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-17H01790
  • [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] 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] 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] 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] 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 Pages: 1-21

    • DOI

      10.1371/journal.pone.0202337

    • 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] 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] Abducing Relations in Continuous Spaces2018

    • Author(s)
      Taisuke Sato, Katsumi Inoue, Chiaki Sakama
    • Journal Title

      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 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

    • Language
      English
    • Peer Reviewed / Open Access / Int'l Joint Research
    • 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] 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] 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] 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

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      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, Naoyuki Tamura
    • Journal Title

      In: Proceedings of the 14th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2017), Lecture Notes in Computer Science

      Volume: 10377 Pages: 265-278

    • DOI

      10.1007/978-3-319-61660-5_24

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803, KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-17H00763
  • [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] 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] 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

    • 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] Special Issue on Inductive Logic Programming2017

    • Author(s)
      Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto
    • Journal Title

      Machine Learning

      Volume: 106(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] 解集合プログラミングによるカリキュラムベース・コース時間割編成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

      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] Modeling Delayed Dynamics in Biological Regulatory Networks from Time Series Data2017

    • Author(s)
      Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier H. Roux, Katsumi Inoue
    • Journal Title

      Algorithms

      Volume: 10(1)

    • DOI

      10.3390/a10010008

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26280092, KAKENHI-PROJECT-15K00099
  • [Journal Article] Distributed Pareto Local Search for Multi-Objective DCOPs2017

    • Author(s)
      Maxime Clement, Tenda Okimoto, Katsumi Inoue
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: 100-D(12) Issue: 12 Pages: 2897-2905

    • DOI

      10.1587/transinf.2016agp0006

      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] An Incremental SAT Solving Library and its Applications2017

    • Author(s)
      迫龍哉, 宋剛秀, 番原睦則, 田村直之, 鍋島英知, 井上克巳
    • Journal Title

      Computer Software

      Volume: 33(4) Issue: 4 Pages: 16-29

    • DOI

      10.11309/jssst.33.4_16

    • NAID

      130005290581

    • ISSN
      0289-6540
    • Year and Date
      2017-01-14
    • Language
      Japanese
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-26330248, KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803
  • [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] Coverage-Based Clause Reduction Heuristics for CDCL Solvers2017

    • Author(s)
      Hidetomo Nabeshima and Katsumi Inoue
    • Journal Title

      Proceedings of the 20th International Conference Theory and Applications of Satisfiability Testing (SAT 2017)

      Volume: - Pages: 136-144

    • DOI

      10.1007/978-3-319-66263-3

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17K00300, KAKENHI-PROJECT-16H02803
  • [Journal Article] 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] 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

      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] 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] 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] 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] 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] Multi-objective Nurse Rerostering Problem2016

    • Author(s)
      Shih-Min Wu, Tenda Okimoto, Katsutoshi Hirayama, Katsumi Inoue
    • Journal Title

      Multi-agent and Complex Systems

      Volume: 607 Pages: 139-152

    • DOI

      10.1007/978-981-10-2564-8_10

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26280092, KAKENHI-PROJECT-26330268
  • [Journal Article] Characterization of Logic Program Revision as an Extension of Propositional Revision2016

    • Author(s)
      Nicolas Schwind, Katsumi Inoue
    • Journal Title

      Theory and Practice of Logic Programming

      Volume: 16(1) Pages: 111-138

    • DOI

      10.1017/s1471068415000101

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-26280092
  • [Journal Article] SATソルバーの最近の進展2016

    • Author(s)
      鍋島 英知, 岩沼 宏治, 井上 克巳
    • Journal Title

      情報処理

      Volume: 57(8)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [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] 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] 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] SATとAI2016

    • Author(s)
      井上 克巳
    • Journal Title

      情報処理

      Volume: 57(8)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Journal Article] Σ_x-Optimal Solutions in Highly Symmetric Multi-Objective Timetabling Problems.2016

    • Author(s)
      Maxime Clement, Tenda Okimoto, Katsumi Inoue, and Mutsunori Banbara
    • Journal Title

      Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016)

      Volume: -

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [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] Abduction, Conversational Implicature and Misleading in Human Dialogues2016

    • Author(s)
      Chiaki Sakama, Katsumi Inoue
    • Journal Title

      Logic Journal of the IGPL

      Volume: 未定

    • DOI

      10.1093/jigpal/jzu027

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-24500174, KAKENHI-PROJECT-26540122
  • [Journal Article] 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] Probabilistic Resilience in Hidden Markov Models2016

    • Author(s)
      Jacopo Panerati, Giovanni Beltrame, Nicolas Schwind, Atefan Zeltner, Katsumi Inoue
    • Journal Title

      Proceedings of the 4th International Conference on Manufacturing, Optimization, Industrial and Material Engineering 2016 (MOIME 2016), Materials Science and Engineering

      Volume: 131(1)

    • DOI

      10.1088/1757-899x/131/1/012007

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26280092
  • [Journal Article] Formalization of Resilience for Constraint-Based Dynamic Systems. Journal of Reliable Intelligent Environments2016

    • Author(s)
      Nicolas Schwind, Morgan Magnin, Katsumi Inoue, Tenda Okimoto, Taisuke Sato, Kazuhiro Minami, and Hiroshi Maruyama
    • Journal Title

      Journal of Reliable Intelligent Environments

      Volume: 2(1) Pages: 17-35

    • DOI

      10.1007/s40860-015-0016-0

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00195, KAKENHI-PROJECT-26330268, KAKENHI-PROJECT-26540089, KAKENHI-PROJECT-26280092
  • [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] Inference of Delayed Biological Regulatory Networks from Time Series Data2016

    • Author(s)
      Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue
    • Journal Title

      Proceedings of the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016)

      Volume: 9859 Pages: 30-48

    • DOI

      10.1007/978-3-319-45177-0_3

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26280092, KAKENHI-PROJECT-15K00099
  • [Journal Article] 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] 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] Σ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] \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] 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] Σ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] 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] タスク指向型のロバストなチーム編成問題2015

    • Author(s)
      沖本 天太,シュウィンド ニコラ,クレモン マキシム,井上 克巳
    • Journal Title

      電子情報通信学会論文誌

      Volume: J98-D (6) Pages: 894-904

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-26280092
  • [Journal Article] Finding Resilient Solution for Dynamic Multi-Objective Constraint Optimization Problems2015

    • Author(s)
      Maxime Clement, Tenda Okimoto, Nicolas Schwind, Katsumi Inoue
    • Journal Title

      In proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART-2015)

      Volume: 無し Pages: 509-516

    • DOI

      10.5220/0005276305090516

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-26330268
  • [Journal Article] 動的な多目的制約最適化問題におけるレジリエントな解2015

    • Author(s)
      沖本 天太,クレモン マキシム,シュウィンド ニコラ,井上 克巳
    • Journal Title

      電子情報通信学会論文誌

      Volume: J98-D , 6 Pages: 884-893

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-26280092
  • [Journal Article] 動的な多目的制約最適化問題におけるレジリエントな2015

    • Author(s)
      沖本 天太, Maxime Clement, Nicolas Schwind, 井上 克巳
    • Journal Title

      電子情報通信学会論文誌

      Volume: Vol.J98-D(6) Pages: 884-893

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-26330268
  • [Journal Article] タスク指向型のロバストなチーム編成問題2015

    • Author(s)
      沖本 天太, Nicolas Schwind, Maxime Clement, 井上 克巳
    • Journal Title

      電子情報通信学会論文誌

      Volume: Vol.J98-D(6) Pages: 894-904

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-26330268
  • [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] 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] 人工知能による科学的発見2015

    • Author(s)
      井上 克巳
    • Journal Title

      電子情報通信学会誌

      Volume: Vol.98  No.1 Pages: 35-39

    • NAID

      110009900418

    • Data Source
      KAKENHI-PROJECT-26540122
  • [Journal Article] Can Machine Learn Logics?2015

    • Author(s)
      Chiaki Sakama, Katsumi Inoue
    • Journal Title

      Artificial General Intelligence: Proceedings of the 8th International Conference , Lecture Notes in Artificial Intelligence

      Volume: 9205 Pages: 341-351

    • DOI

      10.1007/978-3-319-21365-1_35

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-26540122
  • [Journal Article] How to Form a Task-Oriented Robust Team2015

    • Author(s)
      Tenda Okimoto, Nicolas Schwind, Maxime Clement, Tony Ribeiro, Katsumi Inoue, Pierre Marquis
    • Journal Title

      In proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015)

      Pages: 395-403

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26330268
  • [Journal Article] Favorable Solution in Multi-Objective Nurse Rerostering Problem2015

    • Author(s)
      Tenda Okimoto, Shih-Min Wu, Katsutoshi Hirayama, Katsumi Inoue
    • Journal Title

      In proceedings of International Symposium on Scheduling 2015 (ISS-15)

      Pages: 109-114

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26330268
  • [Journal Article] 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] Learning Multi-Valued Biological Models with Delayed Influence from Time-Series Observations2015

    • Author(s)
      Tony Ribeiro, Katsumi Inoue
    • Journal Title

      In: Proceedings of the 14th International Conference on Machine Learning and Applications (IEEE ICMLA 2015; Miami, Florida, USA, December 9-11, 2015)

      Volume: 9046 Pages: 108-125

    • DOI

      10.1109/icmla.2015.19

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26540122
  • [Journal Article] 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] 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

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-25730042
  • [Journal Article] Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri Nets2015

    • Author(s)
      Alexander Andreychenko, Morgan Magnin, and Katsumi Inoue
    • Journal Title

      Computational Methods in Systems Biology: Proceedings of the 13th International Conference, Lecture Notes in Bioinformatics

      Volume: 9308 Pages: 239-250

    • DOI

      10.1007/978-3-319-23401-4_20

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26280092
  • [Journal Article] 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 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] 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] 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] 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 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] 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] Completing SBGN-AF Networks by Logic-Based Hypothesis Finding2014

    • Author(s)
      Yoshitaka Yamamoto, Adrien Rougny, Hidetomo Nabeshima, Katsumi Inoue, Hisao Moriya, Christine Froidevaux, Koji Iwanuma
    • Journal Title

      In: François Fages and Carla Piazza (eds.), Formal Methods in Macro-Biology: Proceedings of the First International Conference (FMMB 2014), Lecture Notes in Bioinformatics

      Volume: 8738 Pages: 165-179

    • DOI

      10.1007/978-3-319-10398-3_14

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-26280092
  • [Journal Article] 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] Learning from Interpretation Transition2014

    • Author(s)
      Katsumi Inoue, Tony Ribeiro, and Chiaki Sakama
    • Journal Title

      Machine Learning

      Volume: 94(1) Pages: 51-79

    • DOI

      10.1007/s10994-013-5353-8

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-24500174
  • [Journal Article] Utilitarian and Egalitarian Solutions for Multi-Objective Constraint Optimization2014

    • Author(s)
      Nicolas Schwind, Tenda Okimoto, Sebastien Konieczny, Maxime Wack, Katsumi Inoue
    • Journal Title

      In proceedings of the IEEE 26th International Conference on Tools with Artificial Intelligence

      Volume: 無し Pages: 170-177

    • DOI

      10.1109/ictai.2014.34

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-26280092, KAKENHI-PROJECT-26330268
  • [Journal Article] Lp-norm Based Algorithm for Multi-Objective Distributed Constraint Optimization2014

    • Author(s)
      Tenda Okimoto, Nicolas Schwind, Maxime Clement, Katsumi Inoue
    • Journal Title

      The 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014)

      Volume: 無し Pages: 1427-1428

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Journal Article] A BDD-Based Algorithm for Learning from Interpretation Transition2014

    • Author(s)
      Tony Ribeiro, Katsumi Inoue, Chiaki Sakama
    • Journal Title

      Inductive Logic Programming: Revised Selected Papers from the 23rd International Conference (ILP 2013), Lecture Notes in Artificial Intelligence

      Volume: Vol.8812 Pages: 47-63

    • DOI

      10.1007/978-3-662-44923-3_4

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-26540122
  • [Journal Article] 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] 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] 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] 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] How Social Identity May Matter Most in Brand Crisis Management2014

    • Author(s)
      Rungsiman Nararatwong, Kotaro Okazaki, Hitoshi Okada, Katsumi Inoue
    • Journal Title

      Proceedings of 2014 IEEE Fourth International Conference on Big Data and Cloud Computing (The 7th IEEE International Conference on Social Computing and Networking (SocialCom 2014)

      Volume: - Pages: 572-578

    • DOI

      10.1109/bdcloud.2014.93

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-26280092
  • [Journal Article] A Two-Phase Complete Algorithm for Multi-objective Distributed Constraint Optimization2014

    • Author(s)
      Alexandre Medi, Tenda Okimoto, Katsumi Inoue
    • Journal Title

      Journal of Advanced Computational Intelligence and Intelligent Informatics

      Volume: Vol.18, No.4 Pages: 573-580

    • 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

      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] 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] 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] 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] 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] Local Search Based Approximate Algorithm for Multi-Objective DCOP2014

    • Author(s)
      Maxime Wack, Tenda Okimoto, Maxime Clement, Katsumi Inoue
    • Journal Title

      In proceedings of the 17th International Conference on Principles and Practice of Multi-Agent Systems

      Volume: Vol.8861 Pages: 390-406

    • DOI

      10.1007/978-3-319-13191-7_32

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-26280092, KAKENHI-PROJECT-26330268
  • [Journal Article] 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] 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] Constraint Modeling and SAT Encoding of the Packing Array Problem2014

    • Author(s)
      則武治樹, 番原睦則, 宋剛秀, 田村直之, 井上克巳
    • Journal Title

      Computer Software

      Volume: 31(1) Issue: 1 Pages: 116-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] 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] AOF-Based Algorithm for Dynamic Multi-Objective Distributed Constraint Optimization2013

    • Author(s)
      Tenda Okimoto, Maxime Clement, and Katsumi Inoue
    • Journal Title

      Multi-Disciplinary Trends in Artificial Intelligence: Proceedings of the 7th International Workshop (MIWAI 2013)

      Volume: なし Pages: 175-186

    • DOI

      10.1007/978-3-642-44949-9_17

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Journal Article] 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] Abduction, Unpredictability and Garden of Eden2013

    • Author(s)
      Chiaki Sakama and Katsumi Inoue
    • Journal Title

      Logic Journal of the IGPL

      Volume: 21(6) Pages: 980-998

    • DOI

      10.1093/jigpal/jzt015

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-24500174
  • [Journal Article] 多目的分散制約最適化問題における厳密/非厳密解法の提案2013

    • Author(s)
      沖本天太,櫻井祐子,横尾真,井上克巳
    • Journal Title

      電子情報通信学会論文誌 D

      Volume: J96-D(12) Pages: 2929-2938

    • 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] 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] Modeling and Algorithm for Dynamic Multi-Objective Distributed Optimization2013

    • Author(s)
      Maxime Clement, Tenda Okimoto, Tony Ribeiro, and Katsumi Inoue
    • Journal Title

      Principles and Practice of Multi-Agent Systems: Proceedings of the 16th International Conference (PRIMA 2013)

      Volume: なし Pages: 413-420

    • DOI

      10.1007/978-3-642-44927-7_29

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Journal Article] 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] Encoding Higher Level Extensions of Petri Nets in Answer Set Programming2013

    • Author(s)
      Saadat Anwar, Chitta Baral, and Katsumi Inoue
    • Journal Title

      Logic Programming and Nonmonotonic Reasoning: Proceedings of the 12th International Conference (LPNMR 2013)

      Volume: なし Pages: 116-121

    • DOI

      10.1007/978-3-642-40564-8_12

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Journal Article] Answer Set Programming as a Modeling Language for Course Timetabling2013

    • Author(s)
      Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue and Torsten Schaub
    • Journal Title

      Theory and Practice of Logic Programming

      Volume: 13(4-5) Pages: 783-798

    • DOI

      10.1017/s1471068413000495

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-25730042
  • [Journal Article] 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] Representation Theorems for Revision of Logic Programs2013

    • Author(s)
      Nicolas Schwind and Katsumi Inoue
    • Journal Title

      Logic Programming and Nonmonotonic Reasoning: Proceedings of the 12th International Conference (LPNMR 2013)

      Volume: なし Pages: 485-498

    • DOI

      10.1007/978-3-642-40564-8_48

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Journal Article] 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] 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] 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 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] 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] 分散制約最適化問題:擬似木に基づくハイブリッド型の解法の提案2013

    • Author(s)
      沖本天太,山本将,櫻井祐子,横尾真,井上克巳
    • Journal Title

      電子情報通信学会論文誌 D

      Volume: J96-D(12) Pages: 2920-2928

    • 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] 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 Programmimg(ICLP 2012)

      Volume: LIPIcs 17 Pages: 86-97

    • DOI

      10.4230/LIPIcs.ICLP.2012.86

    • Language
      English
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22700032, KAKENHI-PROJECT-24300007
  • [Journal Article] Enumerating Minimal Active Metabolic Pathways by Model Generation2012

    • Author(s)
      宋剛秀, 井上克巳
    • Journal Title

      Transactions of the Japanese Society for Artificial Intelligence

      Volume: 27(3) 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] 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] GlueMiniSat2.2.5:単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー2012

    • Author(s)
      鍋島英知, 岩沼宏治, 井上克巳
    • Journal Title

      コンピュータソフトウェア

      Volume: (掲載決定)

    • NAID

      130004549290

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Journal Article] DNF Hypotheses In Bottom-Directed ILP2012

    • Author(s)
      Katsumi Inoue
    • Journal Title

      Inducive Logic Programming: Revised Selected Papers from the 21st International Conference (ILP 2011), LNCS, Springer

      Volume: 7207 Pages: 173-188

    • DOI

      10.1007/978-3-642-31951-8

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Journal Article] 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] ILP Turns 20 : Biography and Future Challenges2012

    • Author(s)
      Stephen Muggleton, Luc De Raedt, David Poole, Ivan Bratko, Peter Flach, Katsumi Inoue, Ashwin Srinivasan
    • Journal Title

      Machine Learning

      Volume: 86(1) Pages: 3-23

    • DOI

      10.1007/s10994-011-5259-2

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Journal Article] Physiological Analysis of Yeast Cell by Intelligent Signal Processing2012

    • Author(s)
      Andrei Doncescu, Sebastien Regis, Katsumi Inoue, Nathalie Goma
    • Journal Title

      Applied Biological Engineering-Principles and Practice

      Volume: 19 Pages: 435-460

    • DOI

      10.5772/29776

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Journal Article] 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] 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] 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] Oscillating Behavior of Logic Programs2012

    • Author(s)
      Katsumi Inoue, Chiaki Sakama
    • Journal Title

      Correct Reasoning-Essays on Logic-Based AI in Honour of Vladimir Lifschitz, LNCS, Springer

      Volume: 7265 Pages: 345-362

    • DOI

      10.1007/978-3-642-30743-0

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Journal Article] 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] GlueMiniSat 2.2.5:単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー2012

    • Author(s)
      鍋島英知, 岩沼宏治, 井上克巳
    • Journal Title

      コンピュータソフトウェア

      Volume: (掲載確定)

    • NAID

      130004549290

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240016
  • [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] 私のブックマーク:SATソルバー2012

    • Author(s)
      番原睦則, 田村直之, 井上克巳
    • Journal Title

      人工知能学会誌

      Volume: (掲載決定)

    • Data Source
      KAKENHI-PROJECT-20240003
  • [Journal Article] Inverse Subsumption for Complete Explanatory Induction2012

    • Author(s)
      Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma
    • Journal Title

      Journal of Machine Learning

      Volume: 86(1) Pages: 115-139

    • DOI

      10.1007/s10994-011-5250-y

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240016, KAKENHI-PROJECT-22700141
  • [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] 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] 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] 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] 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] 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] Probabilistic Rule Learning in Nonmonotonic Domains2011

    • Author(s)
      Domenico Corapi, Daniel Sykes, Katsumi Inoue, Alessandra Russo
    • Journal Title

      Proc.of 12th Int'l Workshop on the Computational Logic in Multi-Agent Systems (CLIMA-XII)

      Pages: 243-258

    • DOI

      10.1007/978-3-642-22359-4_17

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Journal Article] Analyzing Pathways Using ASP-Based Approaches2011

    • Author(s)
      Oliver Ray, Takehide Soh, Katsumi Inoue
    • Journal Title

      Proc of 2010 Int'l Conf.on Algebraic and Numeric Biology (ANB 2010)

      Volume: 6479 Pages: 167-183

    • DOI

      10.1007/978-3-642-28067-2_10

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-10J02321, KAKENHI-PROJECT-20240003, KAKENHI-PROJECT-20240016
  • [Journal Article] Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming2011

    • Author(s)
      Chiaki Sakama, Katsumi Inoue
    • Journal Title

      Machine Learning

      Volume: 83(1) Pages: 1-29

    • DOI

      10.1007/s10994-010-5189-4

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240016, KAKENHI-PROJECT-20500134
  • [Journal Article] Constraint-based Probabilistic Modeling for Statistical Abduction2011

    • Author(s)
      Taisuke Sato, Masakazu Ishihata, Katsumi Inoue
    • Journal Title

      Machine Learning

      Volume: 83(2) Pages: 241-264

    • DOI

      10.1007/s10994-010-5206-7

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Journal Article] Exploring Relations between Answer Set Programs2011

    • Author(s)
      Katsumi Inoue, Chiaki Sakama
    • Journal Title

      Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning : Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday, Lecture Notes in Artificial Intelligence

      Volume: 6565 Pages: 91-110

    • DOI

      10.1007/978-3-642-20832-4_7

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Journal Article] 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] 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] 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] Hypothesizing about Causal Networks with Positive and Negative Effects by Meta-level Abduction2011

    • Author(s)
      Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima
    • Journal Title

      Inductive Logic Programming: Revised Papers from the 20th International Conference (ILP'10), Lecture Notes in Artificial Intelligence

      Volume: 6489 Pages: 114-129

    • DOI

      10.1007/978-3-642-21295-6_15

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240016, KAKENHI-PROJECT-23700164
  • [Journal Article] Towards Efficient Multi-Agent Abduction Protocols2011

    • Author(s)
      Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet
    • Journal Title

      Languages, Methodologies, and Development Tools for Multi-Agent Systems, Revised Selected Papers from the 3rd International Workshop (LADS 2010), Lecture Notes in Artificial Intelligence

      Volume: 6822 Pages: 19-38

    • DOI

      10.1007/978-3-642-22723-3_2

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Journal Article] Query-driven Coordination of Multiple Answer Sets2011

    • Author(s)
      Gauvain Bourgne, Katsumi Inoue
    • Journal Title

      Declarative Agent Languages and Technologies VIII : Revised, Selected, and Invited Papers from the 8th International Workshop (DALT 2010), Lecture Notes in Artificial Intelligence

      Volume: 6619 Pages: 40-59

    • DOI

      10.1007/978-3-642-20715-0_3

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240003, KAKENHI-PROJECT-20240016
  • [Journal Article] 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] 一階論理上の等号推論:理論と実際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] Hypothesizing about Networks by Meta-level Abduction2010

    • Author(s)
      K.Inoue, A.Doncescu, H.Nabeshima
    • Journal Title

      20th Int'l Conf. on Inductive Logic Programming (ILP 2010)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Journal Article] SOLAR : An Automated Deduction System for Consequence Finding2010

    • Author(s)
      H.Nabeshima, K.Iwanuma, K.Inoue.O.Ray
    • Journal Title

      AI Communications 23

      Pages: 183-203

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Journal Article] A SAT-based Method for Solving the Two-dimensional Strip Packing Problem2010

    • Author(s)
      T.Soh, K.Inoue, N.Tamura, M.Banbara, H.Nabeshima
    • Journal Title

      Fundamenta Informaticae

      Volume: 102・3-4 Pages: 467-487

    • 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] 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] Finding Minimal Reaction Sets in Large Metabolic Pathways2010

    • Author(s)
      T.Soh, K.Inoue
    • Journal Title

      Workshop on Constraint Based Methods for Bioinformatics (WCB 2010)

      Pages: 54-68

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Journal Article] A SAT-based Method for Solving the Two-dimensional Strip Packing Problem2010

    • Author(s)
      T.Soh, K.Inoue, N.Tamura, M.Banbara, H.Nabeshima
    • Journal Title

      Fundamenta Informaticae Vol.102

      Pages: 467-487

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Journal Article] From Inverse Entailment to Inverse Subsumption2010

    • Author(s)
      Y. Yamamoto, K. Inoue, K. Iwanuma
    • Journal Title

      Proc of 20th Int' l Conf. on Inductive Logic Programming(ILP 2010)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Journal Article] Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers2010

    • Author(s)
      M.Banbara, H.Matsunaka, N.Tamura. K.Inoue
    • Journal Title

      17th Int'l Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-17)

      Pages: 112-126

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Journal Article] Oliver Ray SOLAR : An Automated Deduction System for Consequence Finding2010

    • Author(s)
      Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue
    • Journal Title

      AI Communications

      Volume: 23(2-3) Pages: 183-203

    • DOI

      10.3233/aic-2010-0465

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240016
  • [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] 特集「最近のSAT技術の発展」にあたって2010

    • Author(s)
      井上克巳, 田村直之
    • Journal Title

      人工知能学会誌 25・1

      Pages: 56-56

    • 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] 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] 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] 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] 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] Equivalence Issues in Abduction and Induction2009

    • Author(s)
      Chiaki Sakama, Katsumi Inoue
    • Journal Title

      Journal of Applied Logic

      Volume: 7(3) Pages: 318-328

    • DOI

      10.1016/j.jal.2008.10.006

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240016, KAKENHI-PROJECT-20500134
  • [Journal Article] Equivalence Issues in Abduction and Induction2009

    • Author(s)
      Chiaki Sakama, Katsumi Inoue
    • Journal Title

      Journal of Applied Logic 7

      Pages: 318-328

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500134
  • [Journal Article] Brave Induction : A Logical Framework for Learning from Incomplete Information.2009

    • Author(s)
      Chiaki Sakama, Katsumi Inoue.
    • Journal Title

      Machine Learning 76(1)

      Pages: 3-35

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Journal Article] Reconsideration of Circumscriptive Induction with Pointwise Circumscription2009

    • Author(s)
      Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima
    • Journal Title

      Journal of Applied Logic

      Volume: 7(3) Pages: 307-317

    • DOI

      10.1016/j.jal.2008.10.005

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Journal Article] Brave Induction : a logical framework for learning from incomplete information2009

    • Author(s)
      Chiaki Sakama, Katsumi Inoue
    • Journal Title

      Machine Learning

      Volume: 76(1) Pages: 3-35

    • DOI

      10.1007/s10994-009-5113-y

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240016, KAKENHI-PROJECT-20500134
  • [Journal Article] 論理プログラミングから解集合プログラミングへ2008

    • Author(s)
      井上克巳
    • Journal Title

      コンピュータソフトウェア 25 (3)

      Pages: 20-32

    • NAID

      110006840397

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Journal Article] 論理プログラミングから解集合プログラミングへ2008

    • Author(s)
      井上克巳
    • Journal Title

      コンピュータソフトウェア Vol. 25, No. 3

      Pages: 20-32

    • NAID

      110006840397

    • Data Source
      KAKENHI-PROJECT-20240003
  • [Journal Article] Coordination in Answer Set Programming ACM2008

    • Author(s)
      Chiaki Sakama and Katsumi Inoue
    • Journal Title

      Transactions on Computational Logic

      Volume: 9(2)

    • DOI

      10.1145/1342991.1342993

    • Data Source
      KAKENHI-PROJECT-20500134
  • [Journal Article] 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] 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] 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] 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] 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] Generality Relations in Answer Set Programming2006

    • Author(s)
      Katsumi Inoue
    • Journal Title

      Logics Programming : Proceedings of the 22nd International Conference (ICLP 2006) [Lecture Notes in Computer Science] 4079

      Pages: 211-225

    • Data Source
      KAKENHI-PROJECT-17300051
  • [Journal Article] On Abductive Equivalence2006

    • Author(s)
      Katsumi Inoue
    • Journal Title

      Model-Based Reasoning in Science and Engineering:Cognitive Science, Epistemology, Logic, Studies in Logic 2

      Pages: 333-352

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300051
  • [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] 極小限定を用いた帰納推論2006

    • Author(s)
      齋藤 悠, 井上 克巳
    • Journal Title

      人工知能学会論文誌 21・2

      Pages: 143-152

    • NAID

      10022006094

    • 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] 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] 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] 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

      Lecture Notes in Artificial Intelligence Vol.3055

      Pages: 459-472

    • 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] 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] 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] 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] 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

      Flexible Query Answering Systems (FQAS 2004), Lecture Notes in Artificial Intelligence Vol.3055

      Pages: 459-472

    • 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] 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] 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] 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] 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] システムズレジリエンスへの数理アプローチ2018

    • Author(s)
      井上 克巳
    • Organizer
      「レジリエンス・エンジニアリング理論の医療の質・安全における実用化研究」研究会議
    • Invited
    • Data Source
      KAKENHI-PROJECT-17H00763
  • [Presentation] Comparing Multi-Objective Selection Methods using a Simulation of Dynamic Sensor Network2017

    • Author(s)
      Maxime Clement, Tenda Okimoto, Katsumi Inoue
    • Organizer
      第31回人工知能学会全国大会
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Presentation] GPGPUによるMaxSATオラクルを用いたSATソルバの試作2017

    • Author(s)
      山口 順也, Sophie Tourret, 井上 克巳
    • Organizer
      第31回人工知能学会全国大会
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Presentation] 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] 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] 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] スケールフリー・トポロジーにおける不染化を応用した減災評価方法2015

    • Author(s)
      岡崎 孝太郎,井上 克巳
    • Organizer
      人工知能学会第29回全国大会
    • Place of Presentation
      函館
    • Year and Date
      2015-05-31
    • 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] 災害派遣医療チームのためのダイナミック・スケジューリング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] \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] 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] 組合せテストケース生成問題に対する制約解集合プログラミングの適用2015

    • Author(s)
      兼行大将, 番原睦則, 宋剛秀, 田村直之, 井上克巳
    • Organizer
      2015年度人工知能学会全国大会(第29回)
    • Place of Presentation
      公立はこだて未来大学 (北海道函館市亀田中野町)
    • Year and Date
      2015-05-30
    • Data Source
      KAKENHI-PROJECT-15K00099
  • [Presentation] Sigma-Optimal Solutions in Multi-Objective Timetabling2015

    • Author(s)
      Maxime Clement, Tenda Okimoto, Katsumi Inoue, and Mutsunori Banbara
    • Organizer
      Joint Agents Workshop and Symposium 2015 (JAWS 2015)
    • Place of Presentation
      加賀
    • Year and Date
      2015-10-01
    • Data Source
      KAKENHI-PROJECT-26280092
  • [Presentation] 多目的ナース・リスケジューリング問題における安定性と平等性2015

    • Author(s)
      呉 詩敏,沖本 天太,平山 勝敏,井上 克巳
    • Organizer
      人工知能学会第29回全国大会
    • Place of Presentation
      函館
    • Year and Date
      2015-06-02
    • Data Source
      KAKENHI-PROJECT-26280092
  • [Presentation] 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] 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] 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)
      沖本天太, 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] 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] 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] 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] 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] 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] 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] スケールフリー・トポロジーにおける不染化を応用した減災評価方法2014

    • Author(s)
      岡崎 孝太郎,井上 克巳
    • Organizer
      情報処理学会第177回知能システム研究会
    • Place of Presentation
      (株)ドワンゴ、東京
    • Year and Date
      2014-12-15
    • Data Source
      KAKENHI-PROJECT-26280092
  • [Presentation] Robust Multi-Team Formation and its Application to Robot Rescue Simulation2014

    • Author(s)
      Damien Bouchabou, Tony Ribeiro, Tenda Okimoto, Katsumi Inoue
    • Organizer
      Joint Agent Workshop and Symposium 2014
    • Place of Presentation
      ANA ホリデイ・イン リゾート 宮崎 (宮崎県)
    • Year and Date
      2014-10-28
    • Data Source
      KAKENHI-PROJECT-24300007
  • [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)
      宋剛秀, 則武治樹, 番原睦則, 田村直之, 井上克巳
    • Organizer
      日本ソフトウェア科学会第31回大会
    • Place of Presentation
      名古屋大学 (愛知県)
    • Year and Date
      2014-09-08
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Presentation] SAT符号化を用いたパッキング配列の構成2013

    • Author(s)
      則武治樹,番原睦則、宋剛秀,田村直之,井上克巳
    • Organizer
      第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013)
    • Place of Presentation
      会津若松市(福島県)
    • Year and Date
      2013-03-05
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Presentation] Generating Event-Sequence Test Cass by Constraint Programming and Answer Set Programming2012

    • Author(s)
      Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue, Hidetomo Nabeshima
    • Organizer
      The 2012 CRIL-Nil Collaborative Meeting on Reasoning about Dynamic Constraint Networks
    • Place of Presentation
      Universite d'Artois(France)
    • Year and Date
      2012-11-23
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Presentation] 制約充足問題のSAT符号化を用いたパッキング配列の構成2012

    • Author(s)
      則武治樹,番原睦則,田村直之,井上克己
    • Organizer
      第26回人工知能学会全国大会
    • Place of Presentation
      山口県教育会館(山口県)
    • Year and Date
      2012-06-12
    • 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] 多目的分散制約最適化問題における厳密/非厳密解法の提案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] BnB-ADOPTp:分散制約最適化問題におけるハイブリッド型の解法の提案2012

    • Author(s)
      沖本天太,山本将,櫻井佑子,横尾真,井上克巳
    • Organizer
      合同エージェントワークショップ&シンポジウム(JAWS2012)
    • Place of Presentation
      掛川市(静岡県)
    • Year and Date
      2012-10-26
    • Data Source
      KAKENHI-PROJECT-24300007
  • [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] 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] 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] 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] 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] Comparison of Upward and Downward Generalization in CF-Induction2011

    • Author(s)
      Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma
    • Organizer
      The 21st International Conference on Inductive Logic Programming (ILP 2011)
    • Place of Presentation
      Windsor Great Park, UK
    • Year and Date
      2011-08-01
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Presentation] GlueMiniSat2.2.5:単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー2011

    • Author(s)
      鍋島英知, 岩沼宏治, 井上克巳
    • Organizer
      日本ソフトウェア科学会第28回大会
    • Place of Presentation
      沖縄産業支援センター(沖縄県)
    • Year and Date
      2011-09-29
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Presentation] 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] 極小活性パスウェイの列挙を用いた遺伝子ノックアウトの影響予測2011

    • Author(s)
      宋剛秀, 井上克巳, 馬場知哉, 高田豊行, 城石俊彦
    • Organizer
      第47回人工知能学会分子生物情報研究会
    • Place of Presentation
      慶応義塾大学日吉キャンパス、横浜市
    • Year and Date
      2011-12-15
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Presentation] Answer-Set Programming as a New Approach to Event-Sequence Testing2011

    • Author(s)
      Esra Erdem, Katsumi Inoue, Johannes Oetsch, Jorg Puhrer, Hans Tompits, Cemal Yilmaz
    • Organizer
      The 3rd International Conference on Advances in System Testing and Validation Lifecycle (VALID 2011)
    • Place of Presentation
      Barcelona, Spain
    • Year and Date
      2011-10-25
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Presentation] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] モデル生成を用いた代謝ネットワークにおける極小部分パスウェイの同定2010

    • Author(s)
      宋剛秀, 井上克巳
    • Organizer
      人工知能学会全国大会
    • Place of Presentation
      長崎ブリックホール(長崎県)
    • Year and Date
      2010-06-09
    • Data Source
      KAKENHI-PROJECT-20240003
  • [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] 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] 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] 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] 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] SAT技術を用いた組合せテストケース生成2010

    • Author(s)
      番原睦則, 松中春樹, 田村直之, 井上克巳
    • Organizer
      日本ソフトウェア科学会第27回大会
    • Place of Presentation
      津田塾大学(東京都)
    • Year and Date
      2010-09-13
    • Data Source
      KAKENHI-PROJECT-20240003
  • [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] 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] Toward an Efficient Equality Computation in Connection Tableaux : A Modification Method without Symmetry Transformation2009

    • Author(s)
      Koji Iwanuma, Hidetomo Nabeshima, Katsumi Inoue
    • Organizer
      The 7th International Workshop on First-Order Theorem Proving(FTP 2009)
    • Place of Presentation
      Oslo, Norway
    • Year and Date
      2009-07-06
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Presentation] Abducing Rules with Predicate Invention2009

    • Author(s)
      Katsumi Inoue
    • Organizer
      The 19th International Conference on Inductive Logic Programming(ILP 2009)
    • Place of Presentation
      Katholieke Universiteit Leuven, Leuven, Belgium
    • Year and Date
      2009-07-02
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Presentation] 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 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] 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] 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 and Chiaki Sakama
    • Organizer
      Proceedings of the 18th European Conference on Artificial Intelligence(ECAI' 08)
    • Place of Presentation
      Patras, Greece
    • Year and Date
      2008-07-21
    • Data Source
      KAKENHI-PROJECT-20500134
  • [Presentation] Brave Induction2008

    • Author(s)
      Chiaki Sakama Katsumi Inoue
    • Organizer
      Proceedings of the 18th International Conference on Inductive Logic Programming
    • Place of Presentation
      Czech Republic
    • Data Source
      KAKENHI-PROJECT-20500134
  • [Presentation] Generality and Equivalence Relations in Default Logic2007

    • Author(s)
      Katsumi Inoue
    • Organizer
      The 22nd Conference on Artificial Intelligence(AAAI-07)
    • Place of Presentation
      Vancouver, Canada
    • Year and Date
      2007-07-26
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300051
  • [Presentation] Generality and Equivalence Relations in Default Logic2007

    • Author(s)
      Katsumi Inoue
    • Organizer
      The 22nd Conference on Artificial Intelligence (AAAI-07)
    • Place of Presentation
      Vancouver(Canada)
    • Year and Date
      2007-07-26
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300051
  • [Presentation] Generality and Equivalence Relations in Default Logic.2007

    • Author(s)
      Katsumi Inoue
    • Organizer
      The 22nd Conference on Artificial Intelligence(AAAI-07)
    • Place of Presentation
      バンクーバー(カナダ)
    • Year and Date
      2007-07-26
    • Data Source
      KAKENHI-PROJECT-17300051
  • [Presentation] Generality Relations in Answer Set Programming2006

    • Author(s)
      Katsumi Inoue
    • Organizer
      The 22nd International Conference (ICLP 2006) [Lecture Notes in Computer Science, Vol.4079]
    • Place of Presentation
      Seattle(U.S.A.)
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300051
  • [Presentation] Generality Relations in Answer Set Programming2006

    • Author(s)
      Katsumi Inoue
    • Organizer
      The 22nd International Conference on Logic Programming(ICLP 2006)
    • Place of Presentation
      Seattle, U.S.A.[Lecture Notes in Computer Science, Vol.4079]
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300051
  • [Presentation] Equivalence in Abductive Logic2005

    • Author(s)
      Katsumi Inoue
    • Organizer
      The 19th International Joint Conference on Artificial Intelligence(IJCAI-05)
    • Place of Presentation
      Edinburgh(U.K.)
    • Year and Date
      2005-08-03
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300051
  • [Presentation] 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
      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] 動的な多目的分散制約最適化問題に関する一検討

    • Author(s)
      沖本 天太,井上 克巳
    • Organizer
      人工知能学会第27回全国大会 (JSAI 2013)
    • Place of Presentation
      富山国際会議場
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Presentation] パッキング配列問題の制約モデリングとSAT符号化

    • Author(s)
      則武治樹, 番原睦則, 宋剛秀, 田村直之, 井上克巳
    • Organizer
      日本ソフトウェア科学会第30回大会
    • Place of Presentation
      東京大学
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Presentation] Answer Set Programming as a Modeling Language for Course Timetabling

    • Author(s)
      Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub
    • Organizer
      第16回プログラミングおよびプログラミング言語ワークショップ (PPL 2014)
    • Place of Presentation
      阿蘇の司ビラパークホテル
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Presentation] CSPSAT Projects and their SAT Related Tools

    • Author(s)
      Naoyuki Tamura, Takehide Soh, Mutsunori Banbara, and Katsumi Inoue
    • Organizer
      The 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)
    • Place of Presentation
      University of Helsinki, Finland
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Presentation] GlueMiniSat 2.2.7: On-The-Fly Lazy Clause Simplification

    • Author(s)
      Hidetomo Nabeshima, Koji Iwanuma, and Katsumi Inoue
    • Organizer
      The 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)
    • Place of Presentation
      University of Helsinki, Finland
    • Data Source
      KAKENHI-PROJECT-24300007
  • 1.  SAKAMA Chiaki (20273873)
    # of Collaborated Projects: 8 results
    # of Collaborated Products: 41 results
  • 2.  NABESHIMA Hidetomo (10334848)
    # of Collaborated Projects: 8 results
    # of Collaborated Products: 40 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: 73 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: 34 results
  • 8.  BANBARA Mutsunori (80290774)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 35 results
  • 9.  SOH Takehide (00625121)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 25 results
  • 10.  SATOH Ken (00271635)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 11.  HIRAYAMA Katsutoshi (00273813)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 2 results
  • 12.  YAMAMOTO Yoshitaka (30550793)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 9 results
  • 13.  NAKAGAWA Seiichi (20115893)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 14.  YAMAMOTO Mikio (40210562)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 15.  Nicolas Schwind (60646397)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 22 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.  MASUDA Toshiki
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 41.  KOBAYASHI Ikuo
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 42.  NISHIYAMA Takeshige
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 43.  RIBEIRO Tony
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 8 results
  • 44.  MAGNIN Morgan
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 5 results
  • 45.  尾崎 暢
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 46.  南 和宏
    # of Collaborated Projects: 0 results
    # of Collaborated Products: 1 results

URL: 

Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi