• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

井上 克巳  INOUE Katsumi

ORCIDORCID連携する *注記
… 別表記

井上 克己  INOUE Katsumi

隠す
研究者番号 10252321
その他のID
外部サイト
所属 (現在) 2025年度: 国立情報学研究所, 情報学プリンシプル研究系, 特任教授
所属 (過去の研究課題情報に基づく) *注記 2014年度 – 2025年度: 国立情報学研究所, 情報学プリンシプル研究系, 教授
2016年度 – 2017年度: 国立情報学研究所, 大学共同利用機関等の部局等, 教授
2014年度: 国立情報学研究所, 教授
2013年度: 国立情報学研究所, 大学共同利用機関等の部局等, 教授
2006年度 – 2012年度: 国立情報学研究所, 情報学プリンシプル研究系, 教授 … もっと見る
2011年度: 国立情報学研究所, 教授
2010年度: 国立情報研究所, 情報学プリンシプル研究系, 教授
2003年度 – 2005年度: 国立情報学研究所, 情報学基礎研究系, 教授
2004年度: 情報・システム研究機構 国立情報学研究所, 情報学基礎研究系, 教授
1997年度 – 2003年度: 神戸大学, 工学部, 助教授
1995年度 – 1996年度: 豊橋技術科学大学, 情報工学系, 助教授
1994年度 – 1995年度: 豊橋技術科学大学, 工学部, 助教授
1993年度: 豊橋技術科学大学, 工学部, 講師 隠す
審査区分/研究分野
研究代表者
知能情報学 / 知能情報学 / 知能情報学 / 合同審査対象区分:小区分60030:統計科学関連、小区分61030:知能情報学関連 / 小区分60030:統計科学関連 / 小区分61030:知能情報学関連 / 中区分61:人間情報学およびその関連分野
研究代表者以外
知能情報学 / ソフトウェア / 知能情報学 … もっと見る / システム工学 / 知能情報学 / ソフトウエア / 小区分61030:知能情報学関連 / 情報工学 隠す
キーワード
研究代表者
アブダクション / 機械学習 / 推論 / 結論発見 / 論理プログラミング / 非単調推論 / abduction / induction / knowledge discovery / SOL resolution … もっと見る / consequence finding / 帰納推論 / SOL導出 / 結論発見手続き / 状態遷移 / 制約最適化 / 仮説発見 / 人工知能 / ニューロシンボリックAI / ロバストAI / 知識表現・推論 / 探索・論理・推論アルゴリズム / ダイナミクス学習 / 表現学習 / 関係学習 / 知識表現 / nonmonotonic reasoning / inductive logic programming / hypothesis finding / CF 帰納法 / アルゴリズム / CF帰納法 / SOLAR / tableaux method / automated deduction / consequence finding procedure / 結論発見問題 / タブロー法 / 演繹推論 / 知識発見 / planning graph / action language / SAT planning / reasoning about change / satisfiability (SAT) / planning / 充足可能性判定 / プランニンググラフ / SATプランニング / SATソルバ / アクション言語 / プラニンググラフ / SATプラニング / 充足可能性問題 / 状態変化 / プランニング / Abduction / Nonmonotonic Reasoning / Machine Learning / Default Rules / Extended Logic Programs / Inductive Logic Programming / 帰納的論理プログラミング / デフォルト規則 / 拡張論理プログラム / 機能的論理プログラミング / 遺伝子制御ネットワーク学習 / 論理発見 / 行動規則学習 / ブーリアンネットワーク / セルオートマトン / 推論アルゴリズム / 論理 / 探索 / 平等性 / 安定性 / ロバスト性 / 多目的最適化 / レジリエンス / 帰納論理プログラミング / 確率推論 / システム生物学 / 安定モデル意味論 / アブダクティブ論理プログラム / 選言論理プログラム / 極小限定 / 失敗による否定 / マジック・セット法 / モデル生成 / 様相タブロ-法 / 様相論理 / 高次推論 / 定理証明 … もっと見る
研究代表者以外
アブダクション / 人工知能 / 制約プログラミング / マルチエージェントシステム / 不完全通信 / マルチエージェント / Genetic Algorithm / 距離関数 / 音声対話 / 音声認識 / 音声入力 / 命題論理 / 充足可能性判定問題 / デフォルト推論 / 解集合プログラミング / SAT / 帰納推論 / 量子化 / 近似計算 / 高次推論 / 知識グラフ / 部分計算 / スパース行列 / 論理推論 / 演繹推論 / 論理プログラミング / 線形代数計算 / テンソル空間 / SAT技術 / レジリエンス / スケジューリング / 提携ゲーム / ロバスト / 協力ゲーム / 不確実性 / ロバスト性 / 提携構造形成 / チーム編成 / SATソルバー / 情報システム / 多目的分散制約最適化問題 / チーム編成問題 / パレート最適解 / 分散制約最適化問題 / ナーススケジューリング問題 / 時間割作成問題 / 多目的制約最適化問題 / パレート最適性 / 多目的分散制約最適化 / 分散制約最適化 / Abduction / Distributed problem solving / Speculative computation / Incomplete communication / Multi-agent systems / 分散強調問題解決 / 分散協調問題解決 / 先行投機的処理 / default reasoning / abductive logic programming / abduction / speculative computation / incomplete information / multi agent system / 仮設推論 / 仮設論理型プログラミング / 仮説論理型プログラミンク / 仮説推論 / 仮説論理型プログラミング / 投機的計算 / Man-machine Interface / Cooperative Design / Emergent Approach / Intelligent Robot / Interactive Algorithm / 対話的実行環境 / 環境認識 / インターフェース / 進化型計算 / アフォーダンス / ロボット / 相互作用 / Scheduling Problem / Parallel Processing / Robot Control / Crossover Operation / Metric Function / エッジ交叉 / 遺伝的アルゴリム / 並列処理 / 交叉演算 / ロボット制御 / スケジューリング問題 / 遺伝的アルゴリズム / Type Theory / Knowledge / Logical system / Learning / Theorem Prover / Intelligent Programming / Reasoning / Artificial Intelligence / 認識システム / 知能プログラミング / 並列分散処理 / 定理証明 / 計算言語論 / 学習 / 高次推論原理 / spontaneous speech / multi-model inteface / natural language understanding / speech recognition / Spoken dialog / マルチモーダル / タッチ入力 / 自然な発話 / マルチモーダルインターフェース / 自然言語理解 / Language Understaning / Speech Understanding / Ambiguous Input / Spoken Dialog / Dialog System / Speech Recognition / Speech Input / 文生成 / 倒置 / 助詞 / 言い直し / 言い淀み / 間投詞 / 文脈処理 / 自然言語解析 / 自然言語処理 / 言語理解 / 音声理解 / あいまいな入力 / 対話システム / スキル獲得支援 / スキル創造支援 / 比喩表現 / コツの説明 / 述語論理 / アナロジー / スキルサイエンス / 知識情報処理 / 共同プランニング / 様相論理 / 交渉プロトコル / エージェント間交渉 / 不誠実な推論 / 推論 / 論理 / 計算機システム / 並列処理・分散処理 / 制約最適化問題 / 知識ベース更新 / 知識発見 / 拡張アブダクション 隠す
  • 研究課題

    (29件)
  • 研究成果

    (409件)
  • 共同研究者

    (48人)
  •  信頼されるAIに向けた制約推論研究代表者

    • 研究代表者
      井上 克巳
    • 研究期間 (年度)
      2025 – 2028
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分61030:知能情報学関連
      小区分60030:統計科学関連
      合同審査対象区分:小区分60030:統計科学関連、小区分61030:知能情報学関連
    • 研究機関
      国立情報学研究所
  •  知識表現・推論と機械学習の統合によるロバストAIの実現研究代表者

    • 研究代表者
      井上 克巳
    • 研究期間 (年度)
      2021 – 2024
    • 研究種目
      基盤研究(A)
    • 審査区分
      中区分61:人間情報学およびその関連分野
    • 研究機関
      国立情報学研究所
  •  テンソル空間における巨大知識グラフのための高次推論技術の開発

    • 研究代表者
      坂間 千秋
    • 研究期間 (年度)
      2018 – 2021
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分61030:知能情報学関連
    • 研究機関
      和歌山大学
  •  動的環境におけるロバストなチーム編成に関する研究

    • 研究代表者
      沖本 天太
    • 研究期間 (年度)
      2017 – 2020
    • 研究種目
      基盤研究(B)
    • 研究分野
      知能情報学
    • 研究機関
      神戸大学
  •  状態遷移列からの関係ダイナミクス学習研究代表者

    • 研究代表者
      井上 克巳
    • 研究期間 (年度)
      2017 – 2020
    • 研究種目
      基盤研究(A)
    • 研究分野
      知能情報学
    • 研究機関
      国立情報学研究所
  •  SATを基盤とした新しい制約プログラミングシステムの研究開発

    • 研究代表者
      田村 直之
    • 研究期間 (年度)
      2016 – 2018
    • 研究種目
      基盤研究(B)
    • 研究分野
      ソフトウェア
    • 研究機関
      神戸大学
  •  SAT符号化を用いた制約解集合プログラミングに関する研究開発

    • 研究代表者
      番原 睦則
    • 研究期間 (年度)
      2015 – 2017
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウェア
    • 研究機関
      神戸大学
  •  レジリエントなシステムのモデル化と推論に関する研究研究代表者

    • 研究代表者
      井上 克巳
    • 研究期間 (年度)
      2014 – 2016
    • 研究種目
      基盤研究(B)
    • 研究分野
      知能情報学
    • 研究機関
      国立情報学研究所
  •  論理プログラム表現に基づくセルオートマトン遷移規則学習研究代表者

    • 研究代表者
      井上 克巳
    • 研究期間 (年度)
      2014 – 2015
    • 研究種目
      挑戦的萌芽研究
    • 研究分野
      知能情報学
    • 研究機関
      国立情報学研究所
  •  動的環境における多目的分散制約最適化問題の解法

    • 研究代表者
      沖本 天太
    • 研究期間 (年度)
      2014 – 2016
    • 研究種目
      基盤研究(C)
    • 研究分野
      知能情報学
    • 研究機関
      神戸大学
  •  命題論理の推論技術を用いた高性能かつ柔軟な制約プログラミングシステムの実現

    • 研究代表者
      田村 直之
    • 研究期間 (年度)
      2012 – 2014
    • 研究種目
      基盤研究(B)
    • 研究分野
      ソフトウエア
    • 研究機関
      神戸大学
  •  ルールアブダクションとアナロジーによるスキル創造支援

    • 研究代表者
      古川 康一
    • 研究期間 (年度)
      2012 – 2014
    • 研究種目
      基盤研究(C)
    • 研究分野
      知能情報学
    • 研究機関
      嘉悦大学
  •  制約最適化問題のSAT変換による解法とその並列分散処理に関する研究

    • 研究代表者
      田村 直之
    • 研究期間 (年度)
      2008 – 2011
    • 研究種目
      基盤研究(A)
    • 研究分野
      ソフトウエア
    • 研究機関
      神戸大学
  •  推論による仮説発見とシステム生物学への応用研究代表者

    • 研究代表者
      井上 克巳
    • 研究期間 (年度)
      2008 – 2011
    • 研究種目
      基盤研究(A)
    • 研究分野
      知能情報学
    • 研究機関
      国立情報学研究所
  •  マルチエージェントシステムにおける社会知能の推論メカニズムに関する研究

    • 研究代表者
      坂間 千秋
    • 研究期間 (年度)
      2008 – 2011
    • 研究種目
      基盤研究(C)
    • 研究分野
      知能情報学
    • 研究機関
      和歌山大学
  •  仮説発見システムの高度化と効率的実現に関する研究研究代表者

    • 研究代表者
      井上 克巳
    • 研究期間 (年度)
      2005 – 2007
    • 研究種目
      基盤研究(B)
    • 研究分野
      知能情報学
    • 研究機関
      国立情報学研究所
  •  結論発見プログラムに基づく知識発見に関する研究研究代表者

    • 研究代表者
      井上 克巳
    • 研究期間 (年度)
      2002 – 2004
    • 研究種目
      基盤研究(B)
    • 研究分野
      知能情報学
    • 研究機関
      国立情報学研究所
      神戸大学
  •  先行投機的処理機能を持つマルチエージェントシステムの構築

    • 研究代表者
      佐藤 健
    • 研究期間 (年度)
      2001 – 2003
    • 研究種目
      基盤研究(A)
    • 研究分野
      知能情報学
    • 研究機関
      国立情報学研究所
  •  SATソルバを用いた高速プランニングのための統合的システムに関する研究研究代表者

    • 研究代表者
      井上 克巳 (井上 克己)
    • 研究期間 (年度)
      2000 – 2001
    • 研究種目
      基盤研究(C)
    • 研究分野
      知能情報学
    • 研究機関
      神戸大学
  •  アブダクションと帰納推論の融合による知識発見に関する研究

    • 研究代表者
      坂間 千秋
    • 研究期間 (年度)
      1999
    • 研究種目
      特定領域研究(A)
    • 研究機関
      和歌山大学
  •  不完全通信環境下における論理型マルチエージェントシステムの構築

    • 研究代表者
      佐藤 健
    • 研究期間 (年度)
      1999 – 2000
    • 研究種目
      基盤研究(B)
    • 研究分野
      知能情報学
    • 研究機関
      北海道大学
  •  相互作用的アルゴリズムの設計と実装に関する研究

    • 研究代表者
      羽根田 博正
    • 研究期間 (年度)
      1998 – 1999
    • 研究種目
      基盤研究(C)
    • 研究分野
      システム工学
    • 研究機関
      神戸大学
  •  例外を有する一般規則を学習する帰納推論システムの研究研究代表者

    • 研究代表者
      井上 克己
    • 研究期間 (年度)
      1998 – 1999
    • 研究種目
      基盤研究(C)
    • 研究分野
      知能情報学
    • 研究機関
      神戸大学
  •  ロボット制御における負荷分散問題に対する遺伝的アルゴリズムの構築方法と性能評価

    • 研究代表者
      羽根田 博正
    • 研究期間 (年度)
      1996 – 1997
    • 研究種目
      基盤研究(C)
    • 研究分野
      システム工学
    • 研究機関
      神戸大学
  •  否定が頭部に出現する論理プログラムの理論研究研究代表者

    • 研究代表者
      井上 克己
    • 研究期間 (年度)
      1995
    • 研究種目
      奨励研究(A)
    • 研究分野
      知能情報学
    • 研究機関
      豊橋技術科学大学
  •  人工知能のための高次推論原理と知能プログラミング言語に関する総合的研究

    • 研究代表者
      原尾 正輝 (原尾 政輝)
    • 研究期間 (年度)
      1995 – 1996
    • 研究種目
      基盤研究(A)
    • 研究分野
      知能情報学
    • 研究機関
      九州工業大学
  •  高度問題解決のための定理証明技法の研究研究代表者

    • 研究代表者
      井上 克巳
    • 研究期間 (年度)
      1994
    • 研究種目
      奨励研究(A)
    • 研究分野
      知能情報学
    • 研究機関
      豊橋技術科学大学
  •  自然言語音声を利用したマルチモーダルなマン・マシンインターフェースに関する研究

    • 研究代表者
      中川 聖一
    • 研究期間 (年度)
      1994 – 1996
    • 研究種目
      基盤研究(B)
    • 研究分野
      知能情報学
    • 研究機関
      豊橋技術科学大学
  •  音声入力を想定したあいまいな発話文の理解システムに関する研究

    • 研究代表者
      中川 聖一
    • 研究期間 (年度)
      1991 – 1993
    • 研究種目
      一般研究(B)
    • 研究分野
      情報工学
    • 研究機関
      豊橋技術科学大学

すべて 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2002 その他

すべて 雑誌論文 学会発表 図書

  • [図書] Abductive Logic Programming and Linear Algebraic Computation, in: Lorenzo Magnani (ed.), Handbook of Abductive Cognition2023

    • 著者名/発表者名
      Tuan Nguyen Quoc,Katsumi Inoue, Chiaki Sakama
    • 総ページ数
      21
    • 出版者
      Springer
    • ISBN
      9783031101342
    • データソース
      KAKENHI-PROJECT-21H04905
  • [図書] Les enjeux de l’inference de modeles dynamiques a partir de series temporelles, in: Cedric Lhoussaine, Elisabeth Remy (eds.), Approches symboliques de la modelisation et de l’analyse des systemes biologiques2022

    • 著者名/発表者名
      Tony Ribeiro, Maxime Folschette, Laurent Trilling, Nicolas Glade, Katsumi Inoue, Morgan Magnin, Olivier Roux
    • 総ページ数
      43
    • 出版者
      ISTE, Wiley
    • ISBN
      9781789480290
    • データソース
      KAKENHI-PROJECT-21H04905
  • [図書] Les enjeux de l'inference de mode`les dynamiques des syste`mes biologiques a` partir de series temporelles. In: Elisabeth Remy, Cedric Lhoussaine (eds.), Approches Symboliques de la Modelisation et de l'Analyse des Syste`mes Biologiques2020

    • 著者名/発表者名
      Tony Ribeiro, Maxime Folschette, Laurent Trilling, Nicolas Glade, Katsumi Inoue, Morgan Magnin, Olivier Roux
    • 総ページ数
      40
    • 出版者
      ISTE Sciences
    • データソース
      KAKENHI-PROJECT-17H00763
  • [図書] Inductive Logic Programming: Revised and Selected Papers from the 25th International Conference,Lecture Notes in Artificial Intelligence2016

    • 著者名/発表者名
      Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto (eds.)
    • 出版者
      Springer
    • データソース
      KAKENHI-PROJECT-26540122
  • [図書] Computational Framework of Resilience, in: Urban Resilience: A Transformative Approach2016

    • 著者名/発表者名
      Nicolas Schwind, Kazuhiro Minami, Hiroshi Maruyama, Leena Ilmola, Katsumi Inoue
    • 総ページ数
      18
    • 出版者
      Springer
    • データソース
      KAKENHI-PROJECT-26280092
  • [図書] Analyzing SBGN-AF Networks Using Normal Logic Programs, in: Luis Farinas del Cerro, Katsumi Inoue (editors), Logical Modeling of Biological Systems, Chapter 92014

    • 著者名/発表者名
      Adrien Rougny, Christine Froidevaux, Yoshitaka Yamamoto, Katsumi Inoue
    • 総ページ数
      410
    • 出版者
      Wiley
    • データソース
      KAKENHI-PROJECT-26280092
  • [図書] 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

    • 著者名/発表者名
      Saadat Anwar, Chitta Baral, Katsumi Inoue
    • 出版者
      Wiley
    • データソース
      KAKENHI-PROJECT-26540122
  • [図書] Logical Modeling of Biological Systems2014

    • 著者名/発表者名
      Luis Farinas del Cerro, Katsumi Inoue (editors)
    • 総ページ数
      422
    • 出版者
      Wiley
    • データソース
      KAKENHI-PROJECT-26540122
  • [図書] 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

    • 著者名/発表者名
      Alexandre Rocca, Nicolas Mobilia, Eric Fanchon, Tony Ribeiro, Laurent Trilling, Katsumi Inoue
    • 出版者
      Wiley
    • データソース
      KAKENHI-PROJECT-26540122
  • [図書] Logical Modeling of Biological Systems2014

    • 著者名/発表者名
      Luis Farinas del Cerro, Katsumi Inoue (editors)
    • 総ページ数
      422
    • 出版者
      Wiley
    • データソース
      KAKENHI-PROJECT-24300007
  • [図書] 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

    • 著者名/発表者名
      Barthelemy Dworkin, Andrei Doncescu, Jean-Charles Faye, Katsumi Inoue
    • 総ページ数
      264
    • 出版者
      Wiley
    • データソース
      KAKENHI-PROJECT-26280092
  • [図書] Physiological Analysis of Yeast Cell by Intelligent Signal Processing, Applied Biological Engineering. Principles and Practice, Chapter 192012

    • 著者名/発表者名
      Andrei Doncescu, Sebastien Regis, Katsumi Inoue, Nathalie Goma
    • データソース
      KAKENHI-PROJECT-20240016
  • [図書] Logic Programming, Knowledge Representation and Nonmonotonic Reasoning2011

    • 著者名/発表者名
      Katsumi Inoue and Chiaki Sakama
    • 出版者
      Springer
    • データソース
      KAKENHI-PROJECT-20500134
  • [図書] Logic Programming, Knowledge Representation and Nonmonotonic Reasoning2011

    • 著者名/発表者名
      Katsumi Inoue, Chiaki Sakama
    • 出版者
      Springer
    • データソース
      KAKENHI-PROJECT-20500134
  • [図書] 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

    • 著者名/発表者名
      Yoshitaka Yamamoto, Katsumi Inoue,Andrei Doncescu.
    • 出版者
      Wiley Book Series on Bioinformatics
    • データソース
      KAKENHI-PROJECT-20240016
  • [図書] Integrating Abduction and Induction in Biological Inference using CF-Induction. In : Huma Lodhi and Stephen Muggleton(eds.), Elements of Computational Systems Biology, Chapter 92009

    • 著者名/発表者名
      Yoshitaka Yamamoto, Katsumi Inoue, Andrei Doncescu
    • データソース
      KAKENHI-PROJECT-20240016
  • [図書] 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

    • 著者名/発表者名
      Katsumi Inoue(Eds.)
    • 総ページ数
      315
    • 出版者
      Springer
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17300051
  • [雑誌論文] Linear Algebraic Abduction with Partial Evaluation2023

    • 著者名/発表者名
      Tuan Nguyen, Katsumi Inoue, Chiaki Sakama
    • 雑誌名

      Proceedings of the 25th International Symposium (PADL 2023; Boston, MA, USA, January 16-17, 2023), Lecture Notes in Computer Science

      巻: 13880 ページ: 197-215

    • DOI

      10.1007/978-3-031-24841-2_13

    • ISBN
      9783031248405, 9783031248412
    • 査読あり
    • データソース
      KAKENHI-PROJECT-21H04905
  • [雑誌論文] On Converting Logic Programs into Matrices2023

    • 著者名/発表者名
      Tuan Nguyen Quoc, Katsumi Inoue
    • 雑誌名

      In: Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2023; Lisbon, Portugal, 22-24, February 2023)

      巻: 2 ページ: 405-415

    • DOI

      10.5220/0011802400003393

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21H04905
  • [雑誌論文] Data-Driven and Knowledge-Based Causal Network Discovery for Identifying Differential Equations2023

    • 著者名/発表者名
      Mitsuhiro Odaka, Morgan Magnin, Katsumi Inoue
    • 雑誌名

      In: AAAI Spring Symposium on Computational Approaches to Scientific Discovery

      巻: -

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21H04905
  • [雑誌論文] Editing Boolean Classifiers: A Belief Change Perspective2023

    • 著者名/発表者名
      Nicolas Schwind, Katsumi Inoue, Pierre Marquis
    • 雑誌名

      In: Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI-23; Washington, D.C., USA, February 7-14, 2023)

      巻: -

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21H04905
  • [雑誌論文] Action Languages Based Actual Causality in Decision Making Contexts2023

    • 著者名/発表者名
      Camilo Sarmiento, Gauvain Bourgne, Katsumi Inoue, Jean-Gabriel Ganascia
    • 雑誌名

      Proceedings of the 24th International Conference (PRIMA 2022; Valencia, Spain, November 16-18, 2022), Lecture Notes in Artificial Intelligence, Springer

      巻: 13753 ページ: 243-259

    • DOI

      10.1007/978-3-031-21203-1_15

    • ISBN
      9783031212024, 9783031212031
    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21H04905
  • [雑誌論文] Algorithms for partially robust team formation2023

    • 著者名/発表者名
      Schwind Nicolas、Demirovic Emir、Inoue Katsumi、Lagniez Jean-Marie
    • 雑誌名

      Autonomous Agents and Multi-Agent Systems

      巻: 37 号: 2 ページ: 1-45

    • DOI

      10.1007/s10458-023-09608-7

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20K11947, KAKENHI-PROJECT-21H04905
  • [雑誌論文] SAT Benchmarks for the Robust Team Formation Problem2022

    • 著者名/発表者名
      Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Jean-Marie Lagniez
    • 雑誌名

      Proceedings of SAT Competition 2022: Solver and Benchmark Descriptions, Department of Computer Science Series of Publications B, University of Helsinki

      巻: B-2022-1 ページ: 74-77

    • オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21H04905
  • [雑誌論文] Learning any Memory-Less Discrete Semantics for Dynamical Systems Represented by Logic Programs2022

    • 著者名/発表者名
      Tony Ribeiro, Maxime Folschette, Morgan Magnin, Katsumi Inoue
    • 雑誌名

      Machine Learning

      巻: 111 号: 10 ページ: 3593-3670

    • DOI

      10.1007/s10994-021-06105-4

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21H04905
  • [雑誌論文] Learning State Transition Rules from Hidden Layers of Restricted Boltzmann Machines2022

    • 著者名/発表者名
      Koji Watanabe, Katsumi Inoue
    • 雑誌名

      In: Qing Liu, Wenli Yang, Shiqing Wu (eds.), Proceedings of Principle and practice of data and Knowledge Acquisition Workshop 2022 (PKAW 2022), arXiv:2212.03374

      巻: -

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-21H04905
  • [雑誌論文] Learning from interpretation transition using differentiable logic programming semantics2022

    • 著者名/発表者名
      Kun Gao, Hanpin Wang, Yongzhi Cao,Katsumi Inoue
    • 雑誌名

      Machine Learning

      巻: 111 (1) 号: 1 ページ: 123-145

    • DOI

      10.1007/s10994-021-06058-8

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21H04905
  • [雑誌論文] Explainable Model Fusion for Customer Journey Mapping2022

    • 著者名/発表者名
      Kotaro Okazaki, Katsumi Inoue
    • 雑誌名

      Frontiers in Artificial Intelligence

      巻: 5

    • DOI

      10.3389/frai.2022.824197

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-21H04905
  • [雑誌論文] Learning First-Order Rules with Differentiable Logic Program Semantics2022

    • 著者名/発表者名
      Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang
    • 雑誌名

      In: Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI-ECAI-22; Vienna, Austria, July 23-29, 2022)

      巻: - ページ: 3008-301

    • DOI

      10.24963/ijcai.2022/417

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21H04905
  • [雑誌論文] Learning Logic Programs Using Neural Networks by Exploiting Symbolic Invariance2022

    • 著者名/発表者名
      Yin Jun Phua, Katsumi Inoue
    • 雑誌名

      In: Nikos Katzouris, Alexander Artikis (Eds.): Inductive Logic Programming, Proceedings of the 30th International Conference (ILP 2020-2021; Virtual Event), Lecture Notes in Artificial Intelligence

      巻: 13191 ページ: 203-218

    • DOI

      10.1007/978-3-030-97454-1_15

    • ISBN
      9783030974534, 9783030974541
    • 査読あり
    • データソース
      KAKENHI-PROJECT-21H04905
  • [雑誌論文] Gradient-Based Supported Model Computation in Vector Spaces2022

    • 著者名/発表者名
      Akihiro Takemura, Katsumi Inoue
    • 雑誌名

      In: Daniela Incleza Proceedings of the 16th International Conference (LPNMR 2022; Genova Nervi, Italy, September 5-9, 2022), Lecture Notes in Artificial Intelligence, Springer

      巻: 13416 ページ: 336-349

    • DOI

      10.1007/978-3-031-15707-3_26

    • ISBN
      9783031157066, 9783031157073
    • 査読あり
    • データソース
      KAKENHI-PROJECT-21H04905
  • [雑誌論文] Diagnosis of Event Sequences with LFIT2022

    • 著者名/発表者名
      Tony Ribeiro, Maxime Folschette, Morgan Magnin, Kotaro Okazaki, Lo Kuo-Yen, Katsumi Inoue
    • 雑誌名

      Proceeding of the 31st International Conference (ILP 2022; Windsor Great Park, UK, September 28-30, 2022), Lecture Notes in Artificial Intelligence, Springer

      巻: to appear

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21H04905
  • [雑誌論文] Gradient-Based Supported Model Computation in Vector Spaces2021

    • 著者名/発表者名
      Akihiro Takemura, Katsumi Inoue
    • 雑誌名

      Proceedings of the International Conference on Logic Programming 2021 (ICLP 2021; Virtual Event), CEUR Workshop Proceedings

      巻: 2970

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-21H04905
  • [雑誌論文] Polynomial Algorithm for Learning from Interpretation Transition2021

    • 著者名/発表者名
      Tony Ribeiro, Maxime Folschette, Morgan Magnin, Katsumi Inoue
    • 雑誌名

      The 30th International Conference on Inductive Logic Programming (ILP 2020-2021; Virtual)

      巻: - ページ: 203-218

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21H04905
  • [雑誌論文] Inferring Agents’ Goals from Observing Successful Traces2021

    • 著者名/発表者名
      Guillaume Lorthioir, Katsumi Inoue, Gauvain Bourgne
    • 雑誌名

      Applied Sciences

      巻: 11(9) 号: 9 ページ: 4116-4116

    • DOI

      10.3390/app11094116

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Interpretable Utility-Based Models Applied to the FightingICE Platform2021

    • 著者名/発表者名
      Tianyu Chen, Florian Richoux, Javier M. Torres, Katsumi Inoue
    • 雑誌名

      2021 IEEE Conference on Games (CoG 2021; Copenhagen, Denmark, August 17-20)

      巻: - ページ: 1-8

    • DOI

      10.1109/cog52621.2021.9619121

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Enhancing linear algebraic computation of logic programs using sparse representation2021

    • 著者名/発表者名
      Nguyen Tuan Quoc, Katsumi Inoue, Chiaki Sakama
    • 雑誌名

      New Generation Computing

      巻: - 号: 1 ページ: 225-254

    • DOI

      10.1007/s00354-021-00142-2

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03288, KAKENHI-PROJECT-21H04905
  • [雑誌論文] An efficient reasoning method on logic programming using partial evaluation in vector spaces2021

    • 著者名/発表者名
      Hien D Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue
    • 雑誌名

      Journal of Logic and Compuation

      巻: 31 号: 5 ページ: 1298-1316

    • DOI

      10.1093/logcom/exab010

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03288
  • [雑誌論文] Generating Explainable Rule Sets from Tree-Ensemble Learning Methods by Answer Set Programming2021

    • 著者名/発表者名
      Akihiro Takemura, Katsumi Inoue
    • 雑誌名

      Proceedings of the 37th International Conference on Logic Programming (Technical Communications) (ICLP 2021; Virtual Event), Electronic Proceedings in Theoretical Computer Science

      巻: 345 ページ: 127-140

    • DOI

      10.4204/eptcs.345.26

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-21H04905
  • [雑誌論文] On the computation of probabilistic coalition structures2021

    • 著者名/発表者名
      Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis
    • 雑誌名

      Autonomous Agents and Multi-Agent Systems

      巻: 35:14 号: 1 ページ: 1-38

    • DOI

      10.1007/s10458-021-09498-7

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20K11947, KAKENHI-PROJECT-17H01790, KAKENHI-PROJECT-17H00763
  • [雑誌論文] Modeling Viral Dynamics in SARS-CoV-2 Infection Based on Differential Equations and Numerical Analysis2021

    • 著者名/発表者名
      Mitsuhiro Odaka, Katsumi Inoue
    • 雑誌名

      Heliyon

      巻: 7 (10) 号: 10 ページ: e08207-e08207

    • DOI

      10.1016/j.heliyon.2021.e08207

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-21H04905, KAKENHI-PROJECT-22KJ1417
  • [雑誌論文] Partial Robustness in Team Formation: Bridging the Gap between Robustness and Resilience2021

    • 著者名/発表者名
      Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Jean-Marie Lagniez
    • 雑誌名

      Proceedings of the 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021; online)

      巻: - ページ: 1154-1162

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Resilient Team Formation with Stabilisability of Agent Networks for Task Allocation2021

    • 著者名/発表者名
      Jose Barambones, Florian Richoux, Ricardo Imbert, Katsumi Inoue
    • 雑誌名

      ACM Transactions on Autonomous and Adaptive Systems

      巻: 15(3) 号: 3 ページ: 1-24

    • DOI

      10.1145/3463368

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Logic programming in tensor spaces2021

    • 著者名/発表者名
      Chiaki Sakama, Katsumi Inoue, Taisuke Sato
    • 雑誌名

      Annals of Mathematics and AI

      巻: 89 号: 12 ページ: 1133-1153

    • DOI

      10.1007/s10472-021-09767-x

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18H03288
  • [雑誌論文] Design Adaptive AI for RTS Game by Learning Player's Build Order2021

    • 著者名/発表者名
      Guillaume Lorthioir, Katsumi Inoue
    • 雑誌名

      Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020; online, January 7-15, 2021)

      巻: - ページ: 5194-5195

    • DOI

      10.24963/ijcai.2020/737

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Linear Algebraic Computation of Propositional Horn Abduction2021

    • 著者名/発表者名
      Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama
    • 雑誌名

      Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2021; Washington, DC)

      巻: - ページ: 240-247

    • DOI

      10.1109/ictai52525.2021.00040

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21H04905
  • [雑誌論文] Static Analysis and Stochastic Search for Reachability Problem2020

    • 著者名/発表者名
      Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue
    • 雑誌名

      Proceedings of the 9th International Workshop on Static Analysis and Systems Biology, Electronic Notes in Theoretical Computer Science

      巻: 350 ページ: 139-158

    • DOI

      10.1016/j.entcs.2020.06.008

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Computational Intractability Law Molds the Topology of Biological Networks2020

    • 著者名/発表者名
      AAli A. Atiia, Corbin Hopper, Katsumi Inoue, Silvia Vidal, Jerome Waldispuehl
    • 雑誌名

      Applied Network Science

      巻: 5(1) 号: 1

    • DOI

      10.1007/s41109-020-00268-0

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Learning Logic Programs from Noisy State Transition Data2020

    • 著者名/発表者名
      Yin Jun Phua, Katsumi Inoue
    • 雑誌名

      In: Dimitar Kazakov (ed.), Inductive Logic Programming: Proceedings of the 29th International Conference (ILP 2019), Lecture Notes in Artificial Intelligence

      巻: 11770 ページ: 72-80

    • DOI

      10.1007/978-3-030-49210-6_7

    • NAID

      130007658348

    • ISBN
      9783030492090, 9783030492106
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Learning Logic Programs from Noisy State Transition Data2020

    • 著者名/発表者名
      Yin Jun Phua, Katsumi Inoue
    • 雑誌名

      Proceedings of the 29th International Conference on Inductive Logic Programming (ILP 2019), Lecture Notes in Artificial Intelligence

      巻: -

    • NAID

      130007658348

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Computational Modeling and Simulation of Viral Load Kinetics in SARS-CoV-2 Replication2020

    • 著者名/発表者名
      Mitsuhiro Odaka, Katsumi Inoue
    • 雑誌名

      Proceedings of the 11th International Conference on Computational Systems-Biology and Bioinformatics (CSBio 2020; online)

      巻: - ページ: 75-82

    • DOI

      10.1145/3429210.3429214

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] From 3-Valued Semantics to Supported Model Computation for Logic Programs in Vector Spaces2020

    • 著者名/発表者名
      Taisuke Sato, Chiaki Sakama, Katsumi Inoue
    • 雑誌名

      Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2020)

      巻: 2 ページ: 758-765

    • DOI

      10.5220/0009093407580765

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-17H00763, KAKENHI-PROJECT-18H03288
  • [雑誌論文] Learning Representation of Relational Dynamics with Delays and Refining with Prior Knowledge2019

    • 著者名/発表者名
      Yin Jun Phua, Tony Ribeiro, Katsumi Inoue
    • 雑誌名

      Journal of Applied Logics

      巻: 6(4) ページ: 695-708

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] From Fifth Generation Computing to Skill Science: A Biographical Essay of Koichi Furukawa2019

    • 著者名/発表者名
      Tomonobu Ozaki, Randy Goebel, Katsumi Inoue
    • 雑誌名

      New Generation Computing

      巻: 37(2) 号: 2 ページ: 141-158

    • DOI

      10.1007/s00354-019-00058-y

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Ordering Argumentation Frameworks2019

    • 著者名/発表者名
      Chiaki Sakama, Katsumi Inoue
    • 雑誌名

      Proceedings of the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2019), Lecture Notes in Artificial Intelligence

      巻: 11726 ページ: 87-98

    • DOI

      10.1007/978-3-030-29765-7_8

    • ISBN
      9783030297640, 9783030297657
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Learning Inference Rules from Data2019

    • 著者名/発表者名
      Chiaki Sakama, Katsumi Inoue, Tony Ribeiro
    • 雑誌名

      Kuenstliche Intelligenz

      巻: 33(3) 号: 3 ページ: 267-278

    • DOI

      10.1007/s13218-019-00597-y

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Identifying Belief Sequences in a Network of Communicating Agents2019

    • 著者名/発表者名
      Gauvain Bourgne, Yutaro Totsuka, Nicolas Schwind, Katsumi Inoue
    • 雑誌名

      Proceedings of the 22nd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA'19), Lecture Notes in Artificial Intelligence

      巻: 11873 ページ: 370-386

    • DOI

      10.1007/978-3-030-33792-6_23

    • ISBN
      9783030337919, 9783030337926
    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763, KAKENHI-PROJECT-17K12746
  • [雑誌論文] 推論とAIプログラミング2019

    • 著者名/発表者名
      井上 克巳, 坂間 千秋, 佐藤 泰介
    • 雑誌名

      人工知能学会誌

      巻: 34(5) ページ: 703-713

    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario2019

    • 著者名/発表者名
      Nicolas Schwind, Katsumi Inoue, Sebastien Konieczny, Jean-Marie Lagniez, Pierre Marquis
    • 雑誌名

      The 28th International Joint Conference on Artificial Intelligence (IJCAI'19)

      巻: - ページ: 1865-1871

    • DOI

      10.24963/ijcai.2019/258

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763, KAKENHI-PROJECT-17K12746
  • [雑誌論文] Disjunctive Abduction2019

    • 著者名/発表者名
      Katsumi Inoue, Chiaki Sakama
    • 雑誌名

      New Generation Computing

      巻: 37(2) 号: 2 ページ: 219-243

    • DOI

      10.1007/s00354-019-00059-x

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17H00763, KAKENHI-PROJECT-18H03288
  • [雑誌論文] Meta-Interpretive Learning Using HEX-Programs2019

    • 著者名/発表者名
      Tobias Kaminski, Thomas Eiter, Katsumi Inoue
    • 雑誌名

      Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI-19)

      巻: - ページ: 6186-6190

    • DOI

      10.24963/ijcai.2019/860

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Computational Intractability Law Molds the Topology of Biological Networks2019

    • 著者名/発表者名
      Ali A Atiia, Corbin Hopper, Katsumi Inoue, Silvia Vidal, Jerome Waldispuh
    • 雑誌名

      bioRxiv

      巻: 510495

    • DOI

      10.1101/510495

    • オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Using Reachability Properties of Logic Program for Revising Biological Models2018

    • 著者名/発表者名
      Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier Roux, Katsumi Inoue
    • 雑誌名

      The 28th International Conference on Inductive Logic Programming (ILP 2018)

      巻: 0

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Robust Coalition Structure Generation2018

    • 著者名/発表者名
      Tenda Okimoto, Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Pierre Marquis
    • 雑誌名

      In: Proceedings of the 21st International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2018), Lecture Notes in Computer Sciencei

      巻: 11224 ページ: 140-157

    • DOI

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

    • ISBN
      9783030030971, 9783030030988
    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763, KAKENHI-PROJECT-17H01790
  • [雑誌論文] Computing Logic Programming Semantics in Linear Algebra2018

    • 著者名/発表者名
      Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue
    • 雑誌名

      In: Proceedings of the 12th International Conference on Multi-disciplinary Trends in Artificial Intelligence (MIWAI 2018), Lecture Notes in Computer Science

      巻: 11248 ページ: 32-48

    • DOI

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

    • ISBN
      9783030030131, 9783030030148
    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763, KAKENHI-PROJECT-18H03288
  • [雑誌論文] Assessing the Resilience of Stochastic Dynamic Systems Under Partial Observability2018

    • 著者名/発表者名
      Jacopo Panerati, Nicolas Schwind, Stefan Zeltner, Katsumi Inoue, Giovanni Beltrame
    • 雑誌名

      PLoS ONE

      巻: 13(8): e0202337 号: 8 ページ: 1-21

    • DOI

      10.1371/journal.pone.0202337

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Efficiently Encoding Meta-Interpretive Learning by Answer Set Programming2018

    • 著者名/発表者名
      Tobias Kaminski, Thomas Eiter, Katsumi Inoue
    • 雑誌名

      The 28th International Conference on Inductive Logic Programming (ILP 2018)

      巻: 0

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Multi-Objective Distributed Pseudo-Tree Optimization2018

    • 著者名/発表者名
      Maxime Clement, Tenda Okimoto, Katsumi Inoue
    • 雑誌名

      Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018)

      巻: なし ページ: 1903-1905

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H02803
  • [雑誌論文] Learning Programs with Continuous Domains from State Transitions2018

    • 著者名/発表者名
      Tony Ribeiro, Sophie Tourret, Maxime Folschette, Morgan Magnin, Domenico Borzacchiello, Francisco Chinesta, Olivier Roux, Katsumi Inoue
    • 雑誌名

      In: Inductive Logic Programming: Revised Selected Papers from the 27th International Conference (ILP 2017), Lecture Notes in Computer Science

      巻: 10759 ページ: 124-139

    • DOI

      10.1007/978-3-319-78090-0_9

    • ISBN
      9783319780894, 9783319780900
    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Partial Evaluation of Logic Programs in Vector Spaces2018

    • 著者名/発表者名
      Chiaki Sakama, Hien D. Nguyen, Taisuke Sato, Katsumi Inoue
    • 雑誌名

      Proceedings of the 11th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2018), CoRR abs

      巻: 1811.11435 ページ: 1-14

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03288
  • [雑誌論文] Probabilistic Coalition Structure Generation2018

    • 著者名/発表者名
      Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis
    • 雑誌名

      In: Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018).

      巻: 0 ページ: 663-664

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Partial Evaluation of Logic Programs in Vector Spaces2018

    • 著者名/発表者名
      Chiaki Sakama, Hien D. Nguyen, Taisuke Sato, Katsumi Inoue
    • 雑誌名

      In: Proceedings of the 11th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2018), CoRR abs

      巻: 1811.11435 ページ: 1-14

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] SAT技術を用いたペトリネットのデッドロック検出手法の提案2018

    • 著者名/発表者名
      寸田 智也, 宋 剛秀, 番原 睦則, 田村 直之, 井上 克巳
    • 雑誌名

      情報処理学会論文誌

      巻: 59(9) ページ: 1749-1760

    • NAID

      120006799300

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16H02803
  • [雑誌論文] Static Analysis and Stochastic Search for Reachability Problem2018

    • 著者名/発表者名
      Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier Roux, Katsumi Inoue
    • 雑誌名

      Static Analysis in Systems Biology (SASB 2018), affiliated with Static Analysis Symposium

      巻: 0

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Solving Problems on a Knowledge Model of Operators and Application2018

    • 著者名/発表者名
      Hien Nguyen, Nhon Do, Vuong Pham, Katsumi Inoue
    • 雑誌名

      International Journal of Digital Enterprise Technology

      巻: 1(1-2) 号: 1/2 ページ: 37-59

    • DOI

      10.1504/ijdet.2018.092632

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Multi-Objective Distributed Pseudo-Tree Optimization2018

    • 著者名/発表者名
      Maxime Clement, Tenda Okimoto, Katsumi Inoue
    • 雑誌名

      In: Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018)

      巻: 0 ページ: 1903-1905

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] レジリエントなナース・スケジューリング問題2018

    • 著者名/発表者名
      沖本 天太, 平山 勝敏, 番原 睦則, 井上 克巳
    • 雑誌名

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

      巻: - ページ: 37-40

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-17H01790
  • [雑誌論文] Learning Logic Program Representation for Delayed Systems with Limited Training Data2018

    • 著者名/発表者名
      Yin Jun Phua, Sophie Tourret, Katsumi Inoue
    • 雑誌名

      In: Late Breaking Papers of the 27th International Conference on Inductive Logic Programming (ILP 2017), CEUR Workshop Proceedings

      巻: 2085 ページ: 27-33

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Abducing Relations in Continuous Spaces2018

    • 著者名/発表者名
      Taisuke Sato, Katsumi Inoue, Chiaki Sakama
    • 雑誌名

      In: Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018)

      巻: 0 ページ: 1956-1962

    • DOI

      10.24963/ijcai.2018/270

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-17H00763, KAKENHI-PROJECT-18H03288
  • [雑誌論文] Learning Dynamics with Synchronous, Asynchronous and General Semantics2018

    • 著者名/発表者名
      Tony Ribeiro, Maxime Folschette, Morgan Magnin, Olivier F. Roux, Katsumi Inoue
    • 雑誌名

      In: Proceedings of the 28th International Conference on Inductive Logic Programming (ILP 2018), Lecture Notes in Computer Science

      巻: 11105 ページ: 118-140

    • DOI

      10.1007/978-3-319-99960-9_8

    • ISBN
      9783319999593, 9783319999609
    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Learning Commonsense Knowledge Through Interactive Dialogue2018

    • 著者名/発表者名
      Benjamin Wu, Alessandra Russo, Mark Law, Katsumi Inoue
    • 雑誌名

      Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018), OASICS

      巻: 64(12) ページ: 1-12

    • DOI

      10.4230/OASICS.ICLP.2018.12

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning2018

    • 著者名/発表者名
      Tobias Kaminski, Thomas Eiter, Katsumi Inoue
    • 雑誌名

      Theory and Practice of Logic Programming

      巻: 18(3-4) 号: 3-4 ページ: 571-588

    • DOI

      10.1017/s1471068418000261

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming2018

    • 著者名/発表者名
      Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
    • 雑誌名

      Annals of Operations Research

      巻: - 号: 1 ページ: 3-37

    • DOI

      10.1007/s10479-018-2757-7

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803, KAKENHI-PROJECT-17H01790, KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-18K11242, KAKENHI-PROJECT-17H00763
  • [雑誌論文] Identifying Goals of Agents by Learning from Observations2018

    • 著者名/発表者名
      Guillaume Lorthioir, Gauvain Bourgne, Katsumi Inoue
    • 雑誌名

      In: Proceedings of the 12th International Conference on Multi-disciplinary Trends in Artificial Intelligence (MIWAI 2018), Lecture Notes in Computer Science

      巻: 11248 ページ: 125-138

    • DOI

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

    • ISBN
      9783030030131, 9783030030148
    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Probabilistic Coalition Structure Generation2018

    • 著者名/発表者名
      Nicolas Schwind, Tenda Okimoto, Katsutoshi Hirayama, Katsumi Inoue, Jean-Marie Lagniez, Pierre Marquis
    • 雑誌名

      In proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018)

      巻: - ページ: 663-664

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H01790
  • [雑誌論文] Multi-Objective Distributed Pseudo-Tree Optimization2018

    • 著者名/発表者名
      Maxime Clement, Tenda Okimoto, Katsumi Inoue
    • 雑誌名

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

      巻: -

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-17H01790
  • [雑誌論文] Recoverable Team Formation: Building Teams Resilient to Change2018

    • 著者名/発表者名
      Emir Demirovic, Nicolas Schwind, Tenda Okimoto, Katsumi Inoue
    • 雑誌名

      In: Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018)

      巻: 0 ページ: 1362-1370

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Recoverable Team Formation: Building Teams Resilient to Change2018

    • 著者名/発表者名
      Emir Demirovic, Nicolas Schwind, Tenda Okimoto, Katsumi Inoue
    • 雑誌名

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

      巻: -

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H01790
  • [雑誌論文] Learning Representation of Relational Dynamics with Delays and Refining with Prior Knowledge2018

    • 著者名/発表者名
      Yin Jun Phua, Tony Ribeiro, Katsumi Inoue
    • 雑誌名

      The 13th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2018)

      巻: 0

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Linear Algebraic Characterization of Logic Programs2017

    • 著者名/発表者名
      Chiaki Sakama, Katsumi Inoue, Taisuke Sato
    • 雑誌名

      In: Proceedings of the 10th International Conference on Knowledge Science, Engineering and Management: (KSEM 2017), Lecture Notes in Artificial Intelligence

      巻: 10412 ページ: 520-533

    • DOI

      10.1007/978-3-319-63558-3_44

    • ISBN
      9783319635576, 9783319635583
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Modeling Trans-Device Content Experience and Knowledge Development for Detection of TV Audiences2017

    • 著者名/発表者名
      Kotaro Okazaki, Katsumi Inoue
    • 雑誌名

      In: Proceedings of the 19th IEEE International Conference on Business Informatics (CBI 2017)

      巻: 1 ページ: 53-61

    • DOI

      10.1109/cbi.2017.87

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Learning from Interpretation Transition using Feed-Forward Neural Networks2017

    • 著者名/発表者名
      Enguerrand Gentet, Sophie Tourret, Katsumi Inoue
    • 雑誌名

      In: Late Breaking Papers of the 26th International Conference on Inductive Logic Programming (ILP 2016), CEUR Workshop Proceedings

      巻: 1865 ページ: 27-33

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Balanced Clustering Based Decomposition Applied to Master Thesis Defense Timetabling Problem2017

    • 著者名/発表者名
      Huynh Thanh Trung, Pham Quang Dung, Emir Demirovic, Maxime Clement, Katsumi Inoue
    • 雑誌名

      In: Proceedings of the 8th Multidisciplinary International Conference on Scheduling: Theory and Applications (MISTA 2017)

      巻: 0 ページ: 214-228

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Coverage-Based Clause Reduction Heuristics for CDCL Solvers2017

    • 著者名/発表者名
      Hidetomo Nabeshima and Katsumi Inoue
    • 雑誌名

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

      巻: - ページ: 136-144

    • DOI

      10.1007/978-3-319-66263-3_9

    • ISBN
      9783319662626, 9783319662633
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17K00300, KAKENHI-PROJECT-16H02803
  • [雑誌論文] 解集合プログラミングによるカリキュラムベース・コース時間割編成2017

    • 著者名/発表者名
      番原 睦則, 井上 克巳, ベンジャミン カウフマン, トルステン シャウブ, 宋 剛秀, 田村 直之, フィリップ ワンコ
    • 雑誌名

      第29回RAMPシンポジウム論文集

      巻: - ページ: 73-88

    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H02803
  • [雑誌論文] catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming2017

    • 著者名/発表者名
      Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Noyuki Tamura
    • 雑誌名

      In proceedings of the 14th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR-17)

      巻: -

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330268
  • [雑誌論文] Relational Reinforcement Learning for Planning with Exogenous Effects2017

    • 著者名/発表者名
      David Martinez, Guillem Alenya, Carme Torras, Tony Ribeiro, Katsumi Inoue
    • 雑誌名

      Journal of Machine Learning Research

      巻: 18(78) ページ: 1-78

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Balanced Clustering Based Decomposition Applied to Master Thesis Defense Timetabling Problem2017

    • 著者名/発表者名
      Huynh Thanh Trung, Pham Quang Dung, Emir Demirovi, Maxime Clement, Katsumi Inoue
    • 雑誌名

      Proceedings of the 8th Multidisciplinary International Conference on Scheduling: Theory and Applications (MISTA 2017)

      巻: -

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H02803
  • [雑誌論文] Learning from Interpretation Transition using Feed-Forward Neural Networks2017

    • 著者名/発表者名
      Enguerrand Gentet, Sophie Tourret, Katsumi Inoue
    • 雑誌名

      Late Breaking Papers of the 26th International Conference on Inductive Logic Programming (ILP 2016), CEUR Workshop Proceedings

      巻: 印刷中

    • 査読あり / 謝辞記載あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26280092
  • [雑誌論文] Modeling Delayed Dynamics in Biological Regulatory Networks from Time Series Data2017

    • 著者名/発表者名
      Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier H. Roux, Katsumi Inoue
    • 雑誌名

      Algorithms

      巻: 10(1) 号: 1 ページ: 8-8

    • DOI

      10.3390/a10010008

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26280092, KAKENHI-PROJECT-15K00099
  • [雑誌論文] Distributed Pareto Local Search for Multi-Objective DCOPs2017

    • 著者名/発表者名
      Maxime Clement, Tenda Okimoto, Katsumi Inoue
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E100.D 号: 12 ページ: 2897-2905

    • DOI

      10.1587/transinf.2016AGP0006

    • NAID

      130006236637

    • ISSN
      0916-8532, 1745-1361
    • 言語
      英語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-16H02803, KAKENHI-PROJECT-17H01790, KAKENHI-PROJECT-17H00763
  • [雑誌論文] catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming2017

    • 著者名/発表者名
      Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Noyuki Tamura
    • 雑誌名

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

      巻: 印刷中

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26280092
  • [雑誌論文] catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming2017

    • 著者名/発表者名
      Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura
    • 雑誌名

      Proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017)

      巻: 10377 ページ: 265-278

    • DOI

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

    • ISBN
      9783319616599, 9783319616605
    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803, KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-17H00763
  • [雑誌論文] Special Issue on Inductive Logic Programming2017

    • 著者名/発表者名
      Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto
    • 雑誌名

      Machine Learning

      巻: 106(12) 号: 12 ページ: 1863-1865

    • DOI

      10.1007/s10994-017-5679-8

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] 解集合プログラミングによるカリキュラムベース・コース時間割編成2017

    • 著者名/発表者名
      番原睦則, 井上克巳, ベンジャミン カウフマン, トルステン シャウブ, 宋剛秀, 田村直之, フィリップ ワンコ
    • 雑誌名

      第29回RAMPシンポジウム論文集

      巻: - ページ: 73-88

    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00099
  • [雑誌論文] Learning Human-Understandable Description of Dynamical Systems from Feed-Forward Neural Networks2017

    • 著者名/発表者名
      Sophie Tourret, Enguerrand Gentet, Katsumi Inoue
    • 雑誌名

      In: Advances in Neural Networks: Proceedings of the 14th International Symposium (ISNN 2017), Lecture Notes in Computer Science

      巻: 10261 ページ: 483-492

    • DOI

      10.1007/978-3-319-59072-1_57

    • ISBN
      9783319590714, 9783319590721
    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763
  • [雑誌論文] Learning Relational Dynamics of Stochastic Domains for Planning2016

    • 著者名/発表者名
      David Martinez, Tony Ribeiro, Katsumi Inoue, Guillem Alenya, Carme Torras
    • 雑誌名

      The 26th International Conference on Automated Planning and Scheduling, (ICAPS 2016; London, UK, June 12-17, 2016)

      巻: -

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26540122
  • [雑誌論文] Probabilistic Resilience in Hidden Markov Models2016

    • 著者名/発表者名
      Jacopo Panerati, Giovanni Beltrame, Nicolas Schwind, Atefan Zeltner, Katsumi Inoue
    • 雑誌名

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

      巻: 131(1) ページ: 012007-012007

    • DOI

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

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26280092
  • [雑誌論文] Representative Solutions for Multi-Objective Constraint Optimization Problems2016

    • 著者名/発表者名
      Nicolas Schwind, Tenda Okimoto, Maxime Clement, Katsumi Inoue
    • 雑誌名

      Proc. 15th Int'l Conf. on Principles of Knowledge Representation and Reasoning (KR 2016)

      巻: - ページ: 601-604

    • NAID

      130007426063

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-26280092
  • [雑誌論文] An Exact Algorithm for Unicost Set Covering2016

    • 著者名/発表者名
      Emir Demirovi, Nysret Musliu, Katsumi Inoue, and Tho Le Calvar
    • 雑誌名

      The 22nd International Conference on the Principles and Practice of Constraint Programming (CP 2016; Toulouse, France), Doctoral Programme

      巻: -

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H02803
  • [雑誌論文] Σx-Optimal Solutions in Highly Symmetric Multi-Objective Timetabling Problems2016

    • 著者名/発表者名
      Maxime Clement, Tenda Okimoto, Katsumi Inoue, Mutsunori Banbara
    • 雑誌名

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

      巻: - ページ: 63-79

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26280092
  • [雑誌論文] Analyzing resilience properties in oscillatory biological systems using parametric model checking2016

    • 著者名/発表者名
      Alexander Andreychenko, Morgan Magnin, Katsumi Inoue
    • 雑誌名

      BioSystems

      巻: 149 ページ: 50-58

    • DOI

      10.1016/j.biosystems.2016.09.002

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26280092, KAKENHI-PROJECT-15K00099
  • [雑誌論文] Abduction, Conversational Implicature and Misleading in Human Dialogues2016

    • 著者名/発表者名
      Chiaki Sakama, Katsumi Inoue
    • 雑誌名

      Logic Journal of the IGPL

      巻: 未定 号: 6 ページ: 1075-1093

    • DOI

      10.1093/jigpal/jzu027

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-24500174, KAKENHI-PROJECT-26540122
  • [雑誌論文] SATソルバーの最近の進展2016

    • 著者名/発表者名
      鍋島 英知, 岩沼 宏治, 井上 克巳
    • 雑誌名

      情報処理

      巻: 57(8)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16H02803
  • [雑誌論文] Characterization of Logic Program Revision as an Extension of Propositional Revision2016

    • 著者名/発表者名
      Nicolas Schwind, Katsumi Inoue
    • 雑誌名

      Theory and Practice of Logic Programming

      巻: 16(1) 号: 1 ページ: 111-138

    • DOI

      10.1017/s1471068415000101

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26280092
  • [雑誌論文] Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?2016

    • 著者名/発表者名
      Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sebastien Konieczny, Pierre Marquis
    • 雑誌名

      Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-16)

      巻: - ページ: 1237-1243

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26280092
  • [雑誌論文] Representative Solutions for Multi-Objective Constraint Optimization Problems2016

    • 著者名/発表者名
      Nicolas Schwind, Tenda Okimoto, Maxime Clement, Katsumi Inoue
    • 雑誌名

      In proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016)

      ページ: 601-604

    • NAID

      130007426063

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330268
  • [雑誌論文] Mission Oriented Robust Multi-Team Formation and its Application to Robot Rescue Simulation2016

    • 著者名/発表者名
      Tenda Okimoto, Tony Ribeiro, Damien Bouchabou, Katsumi Inoue
    • 雑誌名

      Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-16)

      巻: - ページ: 454-460

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26280092
  • [雑誌論文] Learning Relational Dynamics of Stochastic Domains for Planning2016

    • 著者名/発表者名
      David Martinez, Guillem Alenya, Carme Torras, Tony Ribeiro, Katsumi Inoue
    • 雑誌名

      Proc. 26th Int'l Conf. on Automated Planning and Scheduling (ICAPS 2016)

      巻: - ページ: 235-243

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26280092
  • [雑誌論文] Mission Oriented Robust Multi-Team Formation and its Application to Robot Rescue Simulation2016

    • 著者名/発表者名
      Tenda Okimoto, Tony Ribeiro, Damien Bouchabou, Katsumi Inoue
    • 雑誌名

      In proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-16)

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330268
  • [雑誌論文] teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming2016

    • 著者名/発表者名
      Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Torsten Schaub, Takehide Soh, Naoyuki Tamura, and Philipp Wanko
    • 雑誌名

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

      巻: -

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H02803
  • [雑誌論文] Σx-Optimal Solutions in Highly Symmetric Multi-Objective Timetabling Problems2016

    • 著者名/発表者名
      Maxime Clement, Tenda Okimoto, Katsumi Inoue, Mutsunori Banbara
    • 雑誌名

      In proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT-16)

      巻: - ページ: 63-79

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330268
  • [雑誌論文] Inference of Delayed Biological Regulatory Networks from Time Series Data2016

    • 著者名/発表者名
      Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue
    • 雑誌名

      Proc. 14th Int'l Conf. on Computational Methods in Systems Biology (CMSB 2016), Lecture Notes in Bioinformatics

      巻: 9859 ページ: 30-48

    • DOI

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

    • ISBN
      9783319451763, 9783319451770
    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26280092, KAKENHI-PROJECT-15K00099
  • [雑誌論文] Qualitative dynamics semantics for SBGN process description2016

    • 著者名/発表者名
      Adrien Rougny, Yoshitaka Yamamoto, Hidetomo Nabeshima, Gauvain Bourgne, Anne Poupon, Katsumi Inoue, Christine Froidevaux
    • 雑誌名

      Late Breaking Papers of ILP2015, CEUR-WS

      巻: 1636 ページ: 95-100

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H02803
  • [雑誌論文] \sum_x-Optimal Solutions in Highly Symmetric Multi-Objective Timetabling Problems2016

    • 著者名/発表者名
      Maxime Clement, Tenda Okimoto, Katsumi Inoue, and Mutsunori Banbara
    • 雑誌名

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

      巻: - ページ: 63-79

    • 査読あり / 謝辞記載あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00099
  • [雑誌論文] Σ_x-Optimal Solutions in Highly Symmetric Multi-Objective Timetabling Problems.2016

    • 著者名/発表者名
      Maxime Clement, Tenda Okimoto, Katsumi Inoue, and Mutsunori Banbara
    • 雑誌名

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

      巻: -

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H02803
  • [雑誌論文] SATとAI2016

    • 著者名/発表者名
      井上 克巳
    • 雑誌名

      情報処理

      巻: 57(8)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16H02803
  • [雑誌論文] teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming2016

    • 著者名/発表者名
      Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Torsten Schaub, Takehide Soh, Naoyuki Tamura, and Philipp Wanko
    • 雑誌名

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

      巻: - ページ: 13-32

    • 査読あり / 謝辞記載あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00099
  • [雑誌論文] Multi-Objective Nurse Rerostering Problem2016

    • 著者名/発表者名
      Shih-Min Wu, Tenda Okimoto, Katsutoshi Hirayama, and Katsumi Inoue
    • 雑誌名

      International Joint Agents Workshop and Symposium (IJAWS 2015; Kaga, Ishikawa, Japan, October 1, 2015)

      巻: -

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26280092
  • [雑誌論文] Inductive Logic Programming: Challenges2016

    • 著者名/発表者名
      Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto
    • 雑誌名

      In: Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI-16; Phoenix, Arizona, USA, February 14, 2016)

      巻: - ページ: 4330-4332

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-26540122
  • [雑誌論文] Probabilistic Resilience in Hidden Markov Models2016

    • 著者名/発表者名
      Jacopo Panerati, Giovanni Beltrame, Nicolas Schwind, Atefan Zeltner, and Katsumi Inoue
    • 雑誌名

      In: Proceedings of the 4th International Conference on Manufacturing, Optimization, Industrial and Material Engineering 2016, IOP Conference Series: Materials Science and Engineering

      巻: -

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26280092
  • [雑誌論文] インクリメンタルSAT解法ライブラリとその応用2016

    • 著者名/発表者名
      迫龍哉, 宋剛秀, 番原睦則, 田村直之, 鍋島英知, 井上克巳
    • 雑誌名

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

      巻: 33 号: 4 ページ: 4_16-4_29

    • DOI

      10.11309/jssst.33.4_16

    • NAID

      130005290581

    • ISSN
      0289-6540
    • 言語
      日本語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-26330248, KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803
  • [雑誌論文] Multi-objective Nurse Rerostering Problem2016

    • 著者名/発表者名
      Shih-Min Wu, Tenda Okimoto, Katsutoshi Hirayama, Katsumi Inoue
    • 雑誌名

      Multi-agent and Complex Systems, Studies in Computational Intelligence

      巻: 607 ページ: 139-152

    • DOI

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

    • ISBN
      9789811025631, 9789811025648
    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26280092, KAKENHI-PROJECT-26330268
  • [雑誌論文] Learning Deduction Rules by Induction2016

    • 著者名/発表者名
      Chiaki Sakama, Tony Ribeiro, Katsumi Inoue
    • 雑誌名

      Inductive Logic Programming: Revised and Selected Papers from the 25th International Conference ,Lecture Notes in Artificial Intelligence

      巻: 9575

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26540122
  • [雑誌論文] GlueMiniSat 2.2.10-812016

    • 著者名/発表者名
      Hidetomo Nabeshima, Koji Iwanuma, and Katsumi Inoue
    • 雑誌名

      Proceedings of SAT Competition 2016: Solver and Benchmark Descriptions (Bordeaux, France, July 5-8, 2016), Department of Computer Science Series of Publications

      巻: B-2016-1 ページ: 43-43

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-16H02803
  • [雑誌論文] Logic Programming for Cellular Automata2015

    • 著者名/発表者名
      Marcus Volker, Katsumi Inoue
    • 雑誌名

      Proceedings of the Technical Communications of the 31st International Conference on Logic Programming, CEUR Workshop Proceedings

      巻: 1433

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-26540122
  • [雑誌論文] Learning Prime Implicant Conditions from Interpretation Transition2015

    • 著者名/発表者名
      Tony Ribeiro, Katsumi Inoue
    • 雑誌名

      Revised Selected Papers from the 24th International Conference, Lecture Notes in Artificial Intelligence

      巻: 9046 ページ: 108-125

    • DOI

      10.1109/icmla.2015.19

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26540122
  • [雑誌論文] 人工知能による科学的発見2015

    • 著者名/発表者名
      井上 克巳
    • 雑誌名

      電子情報通信学会誌

      巻: Vol.98  No.1 ページ: 35-39

    • NAID

      110009900418

    • データソース
      KAKENHI-PROJECT-26540122
  • [雑誌論文] タスク指向型のロバストなチーム編成問題2015

    • 著者名/発表者名
      沖本 天太, Nicolas Schwind, Maxime Clement, 井上 克巳
    • 雑誌名

      電子情報通信学会論文誌D 情報・システム

      巻: J98-D 号: 6 ページ: 894-904

    • DOI

      10.14923/transinfj.2014SWP0002

    • ISSN
      1880-4535, 1881-0225
    • 年月日
      2015-06-01
    • 言語
      日本語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-26330268, KAKENHI-PROJECT-26280092
  • [雑誌論文] Skill-Based Dynamic Team Formation Problem2015

    • 著者名/発表者名
      Tenda Okimoto, Maxime Clement, Katsutoshi Hirayama, and Katsumi Inoue
    • 雑誌名

      In: Proceedings of the 16th International Symposium on Advanced Intelligent Systems (ISIS 2015; Mokpu, Korea, November 4-7, 2015)

      巻: - ページ: 781-793

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26280092
  • [雑誌論文] Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri Nets2015

    • 著者名/発表者名
      Alexander Andreychenko, Morgan Magnin, and Katsumi Inoue
    • 雑誌名

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

      巻: 9308 ページ: 239-250

    • DOI

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

    • ISBN
      9783319234007, 9783319234014
    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26280092
  • [雑誌論文] Belief Revision Games2015

    • 著者名/発表者名
      Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sebastien Konieczny, Pierre Marquis
    • 雑誌名

      Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI-15; Austin, Texas, USA, January 27, 2015)

      巻: - ページ: 1590-1596

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26280092
  • [雑誌論文] Identification of Biological Regulatory Networks from Process Hitting Models2015

    • 著者名/発表者名
      Maxime Folschette, Loic Pauleve, Katsumi Inoue, Morgan Magnin, Olivier Roux
    • 雑誌名

      Theoretical Computer Science

      巻: Vol.568 ページ: 49-71

    • DOI

      10.1016/j.tcs.2014.12.002

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-26540122
  • [雑誌論文] How to Form a Task-Oriented Robust Team2015

    • 著者名/発表者名
      Tenda Okimoto, Nicolas Schwind, Maxime Clement, Tony Ribeiro, Katsumi Inoue, Pierre Marquis
    • 雑誌名

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

      ページ: 395-403

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330268
  • [雑誌論文] 動的な多目的制約最適化問題におけるレジリエントな解2015

    • 著者名/発表者名
      沖本 天太, Maxime Clement, Nicolas Schwind, 井上 克巳
    • 雑誌名

      電子情報通信学会論文誌D 情報・システム

      巻: J98-D 号: 6 ページ: 884-893

    • DOI

      10.14923/transinfj.2014SWP0001

    • ISSN
      1880-4535, 1881-0225
    • 年月日
      2015-06-01
    • 言語
      日本語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-26330268, KAKENHI-PROJECT-26280092
  • [雑誌論文] How to Form a Task-Oriented Robust Team2015

    • 著者名/発表者名
      Tenda Okimoto, Nicolas Schwind, Maxime Clement, Tony Ribeiro, Katsumi Inoue, and Pierre Marquis
    • 雑誌名

      Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015; Istanbul, Turkey, May 6, 2015)

      巻: - ページ: 395-403

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26280092
  • [雑誌論文] aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming2015

    • 著者名/発表者名
      Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, and Matthias Weise
    • 雑誌名

      Proceedings of the 13th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2015)

      巻: LNAI9345 ページ: 112-126

    • DOI

      10.1007/978-3-319-23264-5_10

    • ISBN
      9783319232638, 9783319232645
    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-25730042
  • [雑誌論文] Skill-Based Dynamic Team Formation Problem2015

    • 著者名/発表者名
      Tenda Okimoto, Maxime Clement, Katsutoshi Hirayama, Katsumi Inoue
    • 雑誌名

      In proceedings of the 16th International Symposium on Advanced Intelligent Systems (ISIS 2015)

      ページ: 781-793

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330268
  • [雑誌論文] Formalization of Resilience for Constraint-Based Dynamic Systems2015

    • 著者名/発表者名
      Nicolas Schwind, Morgan Magnin, Katsumi Inoue, Tenda Okimoto, Taisuke Sato, Kazuhiro Minami, and Hiroshi Maruyama
    • 雑誌名

      Journal of Reliable Intelligent Environments

      巻: 2(1) 号: 1 ページ: 17-35

    • DOI

      10.1007/s40860-015-0016-0

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00195, KAKENHI-PROJECT-26330268, KAKENHI-PROJECT-26540089, KAKENHI-PROJECT-26280092
  • [雑誌論文] Can Machine Learn Logics?2015

    • 著者名/発表者名
      Chiaki Sakama, Katsumi Inoue
    • 雑誌名

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

      巻: 9205 ページ: 341-351

    • DOI

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

    • ISBN
      9783319213644, 9783319213651
    • 査読あり
    • データソース
      KAKENHI-PROJECT-26540122
  • [雑誌論文] Abduction and Conversational Implicature (Extended Abstract)2015

    • 著者名/発表者名
      Chiaki Sakama, Katsumi Inoue
    • 雑誌名

      The 12th International Symposium on Logical Formalizations of Commonsense Reasoning (COMMONSENSE 2015; Stanford University, Stanford, CA, USA, March 23-25, 2015)

      巻: - ページ: 130-133

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26540122
  • [雑誌論文] Can Machines Learn Logics?2015

    • 著者名/発表者名
      Chiaki Sakama, Katsumi Inoue
    • 雑誌名

      The UNILOG 2015 Workshop on Emergent Computational Logics (Istanbul, Turkey, June 28th, 2015)

      巻: -

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26540122
  • [雑誌論文] Finding Resilient Solution for Dynamic Multi-Objective Constraint Optimization Problems2015

    • 著者名/発表者名
      Maxime Clement, Tenda Okimoto, Nicolas Schwind, Katsumi Inoue
    • 雑誌名

      The 7th International Conference on Agents and Artificial Intelligence (ICAART-2015; Lisbon, Portugal, January 10th, 2015)

      巻: - ページ: 509-516

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26280092
  • [雑誌論文] Learning Probabilistic Action Models from Interpretation Transitions2015

    • 著者名/発表者名
      David Martinez, Tony Ribeiro, Katsumi Inoue, Guillem Alenya, Carme Torras
    • 雑誌名

      Proceedings of the Technical Communications of the 31st International Conference on Logic Programming, CEUR Workshop Proceedings

      巻: 1433

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26540122
  • [雑誌論文] Learning Delayed Influences of Biological Systems2015

    • 著者名/発表者名
      Tony Ribeiro, Morgan Magnin, Katsumi Inoue, Chiaki Sakama
    • 雑誌名

      Frontiers in Bioengineering and Biotechnology

      巻: 2

    • DOI

      10.3389/fbioe.2014.00081

    • 査読あり / 謝辞記載あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-26540122
  • [雑誌論文] Finding Resilient Solution for Dynamic Multi-Objective Constraint Optimization Problems2015

    • 著者名/発表者名
      Maxime Clement, Tenda Okimoto, Nicolas Schwind, Katsumi Inoue
    • 雑誌名

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

      巻: 無し ページ: 509-516

    • DOI

      10.5220/0005276305090516

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-26330268
  • [雑誌論文] Favorable Solution in Multi-Objective Nurse Rerostering Problem2015

    • 著者名/発表者名
      Tenda Okimoto, Shih-Min Wu, Katsutoshi Hirayama, and Katsumi Inoue
    • 雑誌名

      In: Proceedings of the International Symposium on Scheduling 2015 (ISS 2015; Kobe, Japan, July 5, 2015)

      巻: - ページ: 109-114

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26280092
  • [雑誌論文] Favorable Solution in Multi-Objective Nurse Rerostering Problem2015

    • 著者名/発表者名
      Tenda Okimoto, Shih-Min Wu, Katsutoshi Hirayama, Katsumi Inoue
    • 雑誌名

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

      ページ: 109-114

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330268
  • [雑誌論文] Lp-Norm Based Algorithm for Multi-Objective Distributed Constraint Optimization2014

    • 著者名/発表者名
      Tenda Okimoto, Nicolas Schwind, Maxime Clement, and Katsumi Inoue
    • 雑誌名

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

      巻: なし

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] GlueMiniSat2.2.82014

    • 著者名/発表者名
      Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue
    • 雑誌名

      Proceedings of SAT Competition 2014: Solver and Benchmark Descriptions

      巻: Vol.2, B-2014- ページ: 35-36

    • 謝辞記載あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] Model and Algorithm for Dynamic Multi-Objective Distributed Optimization2014

    • 著者名/発表者名
      Maxime Clement, Tenda Okimoto, Tony Ribeiro, Katsumi Inoue
    • 雑誌名

      International Joint Workshop on Optimisation in Multi-Agent Systems and Distributed Constraint Reasoning (OptMAS-DCR 2014)

      巻: 無し

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] パッキング配列問題の制約モデリングとSAT符号化2014

    • 著者名/発表者名
      則武治樹, 番原睦則, 宋剛秀, 田村直之, 井上克巳
    • 雑誌名

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

      巻: 31 号: 1 ページ: 1_116-1_130

    • DOI

      10.11309/jssst.31.1_116

    • NAID

      130004549327

    • ISSN
      0289-6540
    • 言語
      日本語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-25730042
  • [雑誌論文] Completing SBGN-AF Networks by Logic-Based Hypothesis Finding2014

    • 著者名/発表者名
      Yoshitaka Yamamoto, Adrien Rougny, Hidetomo Nabeshima, Katsumi Inoue, Hisao Moriya, Christine Froidevaux, Koji Iwanuma
    • 雑誌名

      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

      巻: 8738 ページ: 165-179

    • DOI

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

    • ISBN
      9783319103976, 9783319103983
    • 査読あり
    • データソース
      KAKENHI-PROJECT-26280092
  • [雑誌論文] Lp-norm Based Algorithm for Multi-Objective Distributed Constraint Optimization2014

    • 著者名/発表者名
      Tenda Okimoto, Nicolas Schwind, Maxime Clement, Katsumi Inoue
    • 雑誌名

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

      巻: 無し ページ: 1427-1428

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] A BDD-Based Algorithm for Learning from Interpretation Transition2014

    • 著者名/発表者名
      Tony Ribeiro, Katsumi Inoue, Chiaki Sakama
    • 雑誌名

      Inductive Logic Programming: Revised Selected Papers from the 23rd International Conference (ILP 2013)

      巻: Vol.8812 ページ: 47-63

    • DOI

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

    • ISBN
      9783662449226, 9783662449233
    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-26540122
  • [雑誌論文] Discriminative MO-COP Operators2014

    • 著者名/発表者名
      Nicolas Schwind, Tenda Okimoto, Tony Ribeiro, Sebastien Konieczny, Katsumi Inoue
    • 雑誌名

      International Joint Workshop on Optimisation in Multi-Agent Systems and Distributed Constraint Reasoning (OptMAS-DCR 2014; Paris, France)

      巻: -

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26280092
  • [雑誌論文] Discriminative MO-COP Operators2014

    • 著者名/発表者名
      Nicolas Schwind, Tenda Okimoto, Tony Ribeiro, Sebastien Konieczny, Katsumi Inoue
    • 雑誌名

      International Joint Workshop On Optimisation In Multi-Agent Systems And Distributed Constraint Reasoning (OPTMAS-DCR)

      巻: なし

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] Utilitarian and Egalitarian Solutions for Multi-Objective Constraint Optimization2014

    • 著者名/発表者名
      Nicolas Schwind, Tenda Okimoto, Sebastien Konieczny, Maxime Wack, Katsumi Inoue
    • 雑誌名

      Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2014)

      巻: 無し ページ: 170-177

    • DOI

      10.1109/ictai.2014.34

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-26280092, KAKENHI-PROJECT-26330268
  • [雑誌論文] Discriminative MO-COP Operators2014

    • 著者名/発表者名
      Nicolas Schwind, Tenda Okimoto, Tony Ribeiro, Sebastien Konieczny, Katsumi Inoue
    • 雑誌名

      International Joint Workshop on Optimisation in Multi-Agent Systems and Distributed Constraint Reasoning (OptMAS-DCR 2014)

      巻: 無し

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] How Social Identity May Matter Most in Brand Crisis Management2014

    • 著者名/発表者名
      Rungsiman Nararatwong, Kotaro Okazaki, Hitoshi Okada, Katsumi Inoue
    • 雑誌名

      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)

      巻: - ページ: 572-578

    • DOI

      10.1109/bdcloud.2014.93

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26280092
  • [雑誌論文] Local Search Based Approximate Algorithm for Multi-Objective DCOP2014

    • 著者名/発表者名
      Maxime Wack, Tenda Okimoto, Maxime Clement, Katsumi Inoue
    • 雑誌名

      Proceedings of the 17th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2014)

      巻: Vol.8861 ページ: 390-406

    • DOI

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

    • ISBN
      9783319131900, 9783319131917
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-26280092, KAKENHI-PROJECT-26330268
  • [雑誌論文] Modeling and Algorithm for Dynamic Multi-Objective Weighted Constraint Satisfaction Problem2014

    • 著者名/発表者名
      Tenda Okimoto, Tony Ribeiro, Maxime Clement, and Katsumi Inoue
    • 雑誌名

      The 6th International Conference on Agents and Artificial Intelligence (ICAART 2014)

      巻: なし

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] Model and Algorithm for Dynamic Multi-Objective Distributed Optimization2014

    • 著者名/発表者名
      Maxime Clement, Tenda Okimoto, Tony Ribeiro, Katsumi Inoue
    • 雑誌名

      International Joint Workshop on Optimisation in Multi-Agent Systems and Distributed Constraint Reasoning (OptMAS-DCR 2014; Paris, France)

      巻: -

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26280092
  • [雑誌論文] Learning from Interpretation Transition2014

    • 著者名/発表者名
      Katsumi Inoue, Tony Ribeiro, and Chiaki Sakama
    • 雑誌名

      Machine Learning

      巻: 94(1) 号: 1 ページ: 51-79

    • DOI

      10.1007/s10994-013-5353-8

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-24500174
  • [雑誌論文] A Two-phase Complete Algorithm for Multi-objective Distributed Constraint Optimization2014

    • 著者名/発表者名
      Alexandre Medi, Tenda Okimoto, Katsumi Inoue
    • 雑誌名

      Journal of Advanced Computational Intelligence and Intelligent Informatics

      巻: 18 ページ: 573-580

    • NAID

      130007673206

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-26330268
  • [雑誌論文] A Two-Phase Complete Algorithm for Multi-objective Distributed Constraint Optimization2014

    • 著者名/発表者名
      Alexandre Medi, Tenda Okimoto, Katsumi Inoue
    • 雑誌名

      Journal of Advanced Computational Intelligence and Intelligent Informatics

      巻: Vol.18, No.4 ページ: 573-580

    • NAID

      130007673206

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] Lp-norm Based Algorithm for Multi-Objective Distributed Constraint Optimization2014

    • 著者名/発表者名
      Tenda Okimoto, Nicolas Schwind, Maxime Clement, Katsumi Inoue
    • 雑誌名

      The 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2014, Paris, France, May 2014)

      巻: - ページ: 1427-1428

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26280092
  • [雑誌論文] A Two-Phase Complete Algorithm for Multi-Objective Distributed Constraint Optimization2014

    • 著者名/発表者名
      Alexandre Medi, Tenda Okimoto, Katsumi Inoue
    • 雑誌名

      Journal of Advanced Computational Intelligence and Intelligent Informatics

      巻: Vol.18 No.4 ページ: 573-580

    • NAID

      130007673206

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26280092
  • [雑誌論文] Model and Algorithm for Dynamic Multi-Objective Distributed Optimization2014

    • 著者名/発表者名
      Maxime Clement, Tenda Okimoto, Tony Ribeiro, Katsumi Inoue
    • 雑誌名

      International Joint Workshop On Optimisation In Multi-Agent Systems And Distributed Constraint Reasoning (OPTMAS-DCR)

      巻: なし

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] Lp-norm Based Algorithm for Multi-Objective  Distributed Constraint Optimization2014

    • 著者名/発表者名
      Tenda Okimoto, Nicolas Schwind, Maxime Clement, Katsumi Inoue
    • 雑誌名

      In proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems

      巻: 1 ページ: 1427-1428

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-26330268
  • [雑誌論文] Systems Resilience: A Challenge Problem for Dynamic Constraint-Based Agent Systems2013

    • 著者名/発表者名
      Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Hei Chan, Tony Ribeiro, Kazuhiro Minami, and Hiroshi Maruyama
    • 雑誌名

      The 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013)

      巻: なし ページ: 785-788

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning2013

    • 著者名/発表者名
      Saadat Anwar, Chitta Baral, and Katsumi Inoue
    • 雑誌名

      Theory and Practice of Logic Programming

      巻: 13(4-5)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming2013

    • 著者名/発表者名
      Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura and Matthias Weise
    • 雑誌名

      Proceedings of the Sixth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013)

      巻: なし ページ: 33-48

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] Answer Set Programming as a Modeling Language for Course Timetabling2013

    • 著者名/発表者名
      Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue and Torsten Schaub
    • 雑誌名

      Theory and Practice of Logic Programming

      巻: 13(4-5) 号: 4-5 ページ: 783-798

    • DOI

      10.1017/s1471068413000495

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-25730042
  • [雑誌論文] A Two-Phase Complete Algorithm for Multiobjective Distributed Constraint Optimization2013

    • 著者名/発表者名
      Alexandre Medi, Tenda Okimoto, and Katsumi Inoue
    • 雑誌名

      Joint Agent Workshop and Symposium 2013 (JAWS 2013)

      巻: なし

    • NAID

      130007673206

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] Inference and Learning of Boolean Networks using Answer Set Programming2013

    • 著者名/発表者名
      Alexandre Rocca, Tony Ribeiro, and Katsumi Inoue
    • 雑誌名

      The 1st International Workshop on Learning and Nonmonotonic Reasoning (LNMR 2013)

      巻: なし ページ: 17-30

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] Representation Theorems for Revision of Logic Programs2013

    • 著者名/発表者名
      Nicolas Schwind and Katsumi Inoue
    • 雑誌名

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

      巻: なし ページ: 485-498

    • DOI

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

    • ISBN
      9783642405631, 9783642405648
    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] Combining Answer Set Programs for Adaptive and Reactive Reasoning2013

    • 著者名/発表者名
      Tony Ribeiro, Katsumi Inoue and Gauvain Bourgne
    • 雑誌名

      Theory and Practice of Logic Programming

      巻: 13(4-5)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] Modeling and Algorithm for Dynamic Multi-Objective Distributed Optimization2013

    • 著者名/発表者名
      Maxime Clement, Tenda Okimoto, Tony Ribeiro, and Katsumi Inoue
    • 雑誌名

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

      巻: なし ページ: 413-420

    • DOI

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

    • ISBN
      9783642449260, 9783642449277
    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] Translating the SBGN-AF Language into Logics to Analyze Signalling Networks2013

    • 著者名/発表者名
      Adrien Rougny, Christine Froidevaux, Yoshitaka Yamamoto, and Katsumi Inoue
    • 雑誌名

      The 1st International Workshop on Learning and Nonmonotonic Reasoning (LNMR 2013)

      巻: なし ページ: 43-54

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] 分散制約最適化問題:擬似木に基づくハイブリッド型の解法の提案2013

    • 著者名/発表者名
      沖本天太,山本将,櫻井祐子,横尾真,井上克巳
    • 雑誌名

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

      巻: J96-D(12) ページ: 2920-2928

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] 多目的分散制約最適化問題における厳密/非厳密解法の提案2013

    • 著者名/発表者名
      沖本天太,櫻井祐子,横尾真,井上克巳
    • 雑誌名

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

      巻: J96-D(12) ページ: 2929-2938

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] Non-Monotone Dualization via Monotone Duanzation2013

    • 著者名/発表者名
      Yoshitaka Yamamoto, Koji Iwanuma, Katsumi Inoue
    • 雑誌名

      The 22nd International Conference of Inductive Logic Programming (ILP 2013)

      巻: 掲載確定(掲載確定)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] Encoding Higher Level Extensions of Petri Nets in Answer Set Programming2013

    • 著者名/発表者名
      Saadat Anwar, Chitta Baral, and Katsumi Inoue
    • 雑誌名

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

      巻: なし ページ: 116-121

    • DOI

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

    • ISBN
      9783642405631, 9783642405648
    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] Pseudo-Tree Based Hybrid Algorithm for Distributed Constraint Optimization2013

    • 著者名/発表者名
      Tenda Okimoto, Makoto Yokoo, Yuko Sakurai, and Katsumi Inoue
    • 雑誌名

      The IJCAI 2013 Workshop on Distributed Constraint Reasoning (DCR 2013)

      巻: なし ページ: 1-15

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] On-The-Fly Lazy Clause Simplification based on Binary Resolvents2013

    • 著者名/発表者名
      Hidetomo Nabeshima, Koji Iwanuma and Katsumi Inoue
    • 雑誌名

      Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2013)

      巻: なし ページ: 987-995

    • DOI

      10.1109/ictai.2013.149

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] Learning Revised Models for Planning in Adaptive Systems2013

    • 著者名/発表者名
      Daniel Sykes, Domenico Corapi, Jeff Magee, Jeff Kramer, Alessandra Russo, and Katsumi Inoue
    • 雑誌名

      The 35th International Conference on Software Engineering (ICSE 2013)

      巻: なし ページ: 63-71

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] AOF-Based Algorithm for Dynamic Multi-Objective Distributed Constraint Optimization2013

    • 著者名/発表者名
      Tenda Okimoto, Maxime Clement, and Katsumi Inoue
    • 雑誌名

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

      巻: なし ページ: 175-186

    • DOI

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

    • ISBN
      9783642449482, 9783642449499
    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] Abduction, Unpredictability and Garden of Eden2013

    • 著者名/発表者名
      Chiaki Sakama and Katsumi Inoue
    • 雑誌名

      Logic Journal of the IGPL

      巻: 21(6) 号: 6 ページ: 980-998

    • DOI

      10.1093/jigpal/jzt015

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-24500174
  • [雑誌論文] ILP Turns 20 : Biography and Future Challenges2012

    • 著者名/発表者名
      Stephen Muggleton, Luc De Raedt, David Poole, Ivan Bratko, Peter Flach, Katsumi Inoue, Ashwin Srinivasan
    • 雑誌名

      Machine Learning

      巻: 86(1) 号: 1 ページ: 3-23

    • DOI

      10.1007/s10994-011-5259-2

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240016
  • [雑誌論文] Comparison of Upward and Downward Generalizations in CF-induction2012

    • 著者名/発表者名
      Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma
    • 雑誌名

      Inductive Logic Programming : Revised Selected Papers from the 21st International Conference (ILP 2011), Lecture Notes in Artificial Intelligence

      巻: 7207 ページ: 373-388

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240016
  • [雑誌論文] Event-Sequence Testing-Using Answer-Set Programming2012

    • 著者名/発表者名
      Martin Brain、 Esra Erdem, Katsumi Inoue, Johannes Oetsch, Jorg Puhrer, Hans Tompits, Cemal Yilmaz
    • 雑誌名

      International Journal On Advances in Software

      巻: 5(3-4) ページ: 236-250

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] GlueMiniSat 2.2.5:単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー2012

    • 著者名/発表者名
      鍋島英知, 岩沼宏治, 井上克巳
    • 雑誌名

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

      巻: (掲載確定)

    • NAID

      130004549290

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240016
  • [雑誌論文] Oscillating Behavior of Logic Programs2012

    • 著者名/発表者名
      Katsumi Inoue, Chiaki Sakama
    • 雑誌名

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

      巻: 7265 ページ: 345-362

    • DOI

      10.1007/978-3-642-30743-0_23

    • ISBN
      9783642307423, 9783642307430
    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] GlueMiniSat2.2.5:単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー2012

    • 著者名/発表者名
      鍋島英知,岩沼宏治,井上克巳
    • 雑誌名

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

      巻: 29(4) ページ: 146-160

    • NAID

      130004549290

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] Model of Double Strand Break of DNA in Logic-Based Hypothesis Finding2012

    • 著者名/発表者名
      Barthelemy Dworkin, Andrei Doncescu, Jean-Charles Faye, Katsumi Inoue
    • 雑誌名

      Latest Advances in Inductive Logic Programming : Late-Breaking Proceedings of ILP 2011

      巻: (掲載確定)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240016
  • [雑誌論文] Physiological Analysis of Yeast Cell by Intelligent Signal Processing2012

    • 著者名/発表者名
      Andrei Doncescu, Sebastien Regis, Katsumi Inoue, Nathalie Goma
    • 雑誌名

      Applied Biological Engineering-Principles and Practice

      巻: 19 ページ: 435-460

    • DOI

      10.5772/29776

    • ISBN
      9789535104124
    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240016
  • [雑誌論文] モデル生成を用いた代謝ネットワークにおける極小活性パスウェイの列挙2012

    • 著者名/発表者名
      宋剛秀, 井上克巳
    • 雑誌名

      人工知能学会論文誌

      巻: 27 号: 3 ページ: 204-212

    • DOI

      10.1527/tjsai.27.204

    • NAID

      130001878758

    • ISSN
      1346-0714, 1346-8030
    • 言語
      日本語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-10J02321, KAKENHI-PROJECT-20240016
  • [雑誌論文] Inverse Subsumption for Complete Explanatory Induction2012

    • 著者名/発表者名
      Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma
    • 雑誌名

      Machine Learning

      巻: 86(1) 号: 1 ページ: 115-139

    • DOI

      10.1007/s10994-011-5250-y

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240016, KAKENHI-PROJECT-22700141
  • [雑誌論文] Abducing Biological Regulatory Networks from Process Hitting Models2012

    • 著者名/発表者名
      Maxime Folscnette, Loic Pauleve, Katsumi Inoue, Magnin, Olivier Roux
    • 雑誌名

      ECML-PKDD 2012 Workshop on Learning and Discovery in Symbolic Systems Biology

      ページ: 24-35

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] Concretizing the Process Hitting into Biological Regulatory Networks2012

    • 著者名/発表者名
      Maxime Folscnette, Loic Pauleve, Katsumi Inoue, Morgan Magnin, Olivier Boux
    • 雑誌名

      The 10th International Conference on Computational Methods in Systems Biology (CMSB 2012), LNCS, Springer

      巻: 7605 ページ: 166-186

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] Evaluation of the Prediction of Gene Knockout Effects by Minimal Pathway Enumeration2012

    • 著者名/発表者名
      Takehide Soh, Katsumi Inoue, Tomoya Baba, Toyoyuki Takada, Toshihiko Shiroishi
    • 雑誌名

      International Journal on Advances in Life Sciences

      巻: 4(3-4) ページ: 154-165

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] Glue Mini Sat2. 2. 5 :単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー2012

    • 著者名/発表者名
      鍋島英知, 岩沼宏治, 井上克巳
    • 雑誌名

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

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] DNF Hyrpotheses in Explanatory Induction2012

    • 著者名/発表者名
      Katsumi Inoue
    • 雑誌名

      Inductive Logic Programming : Revised Selected Papers from the 21st International Conference (ILP 2011), Lecture Notes in Artificial Intelligence

      巻: 7207 ページ: 173-188

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240016
  • [雑誌論文] DNF Hypotheses In Bottom-Directed ILP2012

    • 著者名/発表者名
      Katsumi Inoue
    • 雑誌名

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

      巻: 7207 ページ: 173-188

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] 私のブックマーク:SATソルバー2012

    • 著者名/発表者名
      番原睦則, 田村直之, 井上克巳
    • 雑誌名

      人工知能学会誌

      巻: (掲載決定)

    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] Modular Reasoning in Multi-Agent Systems Using Mata-Knowledge and Answer Set Programming2012

    • 著者名/発表者名
      Tony Kibeiro, Katsumi Inoue, Uauvain Bourgne.
    • 雑誌名

      International Joint Agent Workshop and Symposium(iJAWS 2012)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300007
  • [雑誌論文] GlueMiniSat2.2.5:単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー2012

    • 著者名/発表者名
      鍋島英知, 岩沼宏治, 井上克巳
    • 雑誌名

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

      巻: (掲載決定)

    • NAID

      130004549290

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix2012

    • 著者名/発表者名
      Mutsunori Banbara
    • 雑誌名

      The 28th International Conference on Logic Programming (ICLP 2012)

      巻: LIPIcs 17 ページ: 86-97

    • DOI

      10.4230/LIPIcs.ICLP.2012.86

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22700032, KAKENHI-PROJECT-24300007
  • [雑誌論文] Constraint-based Probabilistic Modeling for Statistical Abduction.2011

    • 著者名/発表者名
      Taisuke Sato, Masakazu Ishihata, Katsumi Inoue.
    • 雑誌名

      Machine Learning 83(2)

      ページ: 241-264

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240016
  • [雑誌論文] Inverse Subsumption for Complete Explanatory Induction.2011

    • 著者名/発表者名
      Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma.
    • 雑誌名

      Machine Learning; to appear

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240016
  • [雑誌論文] Query-driven Coordination of Multiple Answer Sets2011

    • 著者名/発表者名
      Gauvain Bourgne, Katsumi Inoue
    • 雑誌名

      Proc.of 86h Int'l Workshop on Declarative Agent Languages and Technologies VIII (DALT 2010)

      巻: 6619 ページ: 40-59

    • DOI

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

    • ISBN
      9783642207143, 9783642207150
    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003, KAKENHI-PROJECT-20240016
  • [雑誌論文] Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming.2011

    • 著者名/発表者名
      Chiaki Sakama, Katsumi Inoue.
    • 雑誌名

      Machine Learning 83(1)

      ページ: 1-29

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240016
  • [雑誌論文] Hypothesizing about Causal Networks with Positive and Negative Effects by Meta-Level Abduction2011

    • 著者名/発表者名
      Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima
    • 雑誌名

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

      巻: 6489 ページ: 114-129

    • DOI

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

    • ISBN
      9783642212949, 9783642212956
    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240016, KAKENHI-PROJECT-23700164
  • [雑誌論文] Logic Programming for Boolean Networks2011

    • 著者名/発表者名
      Katsumi Inoue
    • 雑誌名

      Proc.of 22nd Int'l Joint Conf.on Artificial Intelligence (IJCAI 2011)

      ページ: 924-930

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] Answer-Set Programming as a New Approach to Event-Sequence Testing2011

    • 著者名/発表者名
      Esra Erdem, Katsumi Inoue, Johannes Oetsch, Jorg Puhrer, Hans Tompits, Cemal Yilmaz
    • 雑誌名

      Proc.of 3rd Int'l Conf.on Advances in System Testing and Validation Lifecycle (VALID 2011)

      ページ: 25-34

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] Analyzing Pathways Using ASP-Based Approaches2011

    • 著者名/発表者名
      Oliver Ray, Takehide Soh, Katsumi Inoue
    • 雑誌名

      Algebraic and Numeric Biology : Proceedings of the 2010 International Conference (ANB'10), Lecture Notes in Computer Science

      巻: 6479 ページ: 167-183

    • DOI

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

    • ISBN
      9783642280665, 9783642280672
    • 査読あり
    • データソース
      KAKENHI-PROJECT-10J02321, KAKENHI-PROJECT-20240003, KAKENHI-PROJECT-20240016
  • [雑誌論文] Discretized Kinetic Models for Abductive Reasoning in Systems Biology2011

    • 著者名/発表者名
      Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, Taisuke Sato
    • 雑誌名

      Biomedical Engineering Systems and Technologies : Revised Selected Papers from the 4th International Joint Conference (BIOSTEC 2011), Communications in Computer and Information Science

      巻: (掲載確定)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240016
  • [雑誌論文] Towards Efficient Multi-Agent Abduction Protocols2011

    • 著者名/発表者名
      Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet
    • 雑誌名

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

      巻: 6822 ページ: 19-38

    • DOI

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

    • ISBN
      9783642227226, 9783642227233
    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240016
  • [雑誌論文] Exploring Relations between Answer Set Programs2011

    • 著者名/発表者名
      Katsumi Inoue, Chiaki Sakama
    • 雑誌名

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

      巻: 6565 ページ: 91-110

    • DOI

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

    • ISBN
      9783642208317, 9783642208324
    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240016
  • [雑誌論文] Distributed Consequence Finding : Partition-Based and Cooperative Approaches2011

    • 著者名/発表者名
      Katsumi Inoue, Gauvain Bourgne, Takayuki Okamoto
    • 雑誌名

      Agents and Artificial Intelligence : Revised Selected Papers from the 3rd International Conference (ICAART 2011), Communications in Computer and Information Science

      巻: (掲載確定)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240016
  • [雑誌論文] Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction2011

    • 著者名/発表者名
      Katsumi Inoue, Chiaki Sakama, Lena Wiese
    • 雑誌名

      Proc.of 19th Int'l Conf.on Applications of Declarative Programming and Knowledge Management (INAP 2011)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] Probabilistic Rule Learning in Nonmonotonic Domains2011

    • 著者名/発表者名
      Domenico Corapi, Daniel Sykes, Katsumi Inoue, Alessandra Russo
    • 雑誌名

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

      ページ: 243-258

    • DOI

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

    • ISBN
      9783642223587, 9783642223594
    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming2011

    • 著者名/発表者名
      Chiaki Sakama, Katsumi Inoue
    • 雑誌名

      Machine Learning

      巻: 83(1) 号: 1 ページ: 1-29

    • DOI

      10.1007/s10994-010-5189-4

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240016, KAKENHI-PROJECT-20500134
  • [雑誌論文] Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming2011

    • 著者名/発表者名
      Chiaki Sakama, Katsumi Inoue.
    • 雑誌名

      Machine Learning(Springer) 83

      ページ: 1-29

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500134
  • [雑誌論文] Constraint-based Probabilistic Modeling for Statistical Abduction2011

    • 著者名/発表者名
      Taisuke Sato, Masakazu Ishihata, Katsumi Inoue
    • 雑誌名

      Machine Learning

      巻: 83(2) 号: 2 ページ: 241-264

    • DOI

      10.1007/s10994-010-5206-7

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240016
  • [雑誌論文] 一階論理上の等号推論:理論と実際2011

    • 著者名/発表者名
      岩沼宏治,鍋島英知,井上克巳
    • 雑誌名

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

      巻: 28(4) ページ: 282-305

    • NAID

      130004549242

    • URL

      http://JST.JSTAGE/jssst/28.4_282

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240016
  • [雑誌論文] Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation2010

    • 著者名/発表者名
      T.Soh, K.Inoue
    • 雑誌名

      6th Conf. on Prestigious Applications of Intelligent Systems (PAIS 2010)

      ページ: 277-282

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] Discovering Rules by Meta-level Abduction2010

    • 著者名/発表者名
      Katsumi Inoue
    • 雑誌名

      Inductive Logic Programming : Revised Papers from the 19th International Conference, Lecture Notes in Artificial Intelligence(Luc De Raedt (ed.))

      巻: 5989 ページ: 49-64

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240016
  • [雑誌論文] A SAT-based Method for Solving the Two-dimensional Strip Packing Problem2010

    • 著者名/発表者名
      T.Soh, K.Inoue, N.Tamura, M.Banbara, H.Nabeshima
    • 雑誌名

      Fundamenta Informaticae Vol.102

      ページ: 467-487

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] A SAT-based Method for Solving the Two-dimensional Strip Packing Problem2010

    • 著者名/発表者名
      T.Soh, K.Inoue, N.Tamura, M.Banbara, H.Nabeshima
    • 雑誌名

      Fundamenta Informaticae

      巻: 102・3-4 ページ: 467-487

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] From Inverse Entailment to Inverse Subsumption2010

    • 著者名/発表者名
      Y.Yamamoto, K.Inoue, K.Iwanuma
    • 雑誌名

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

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] アブダクションとインダクション2010

    • 著者名/発表者名
      井上克巳
    • 雑誌名

      人工知能学会誌

      巻: 25(3) ページ: 389-399

    • URL

      http://ci.nii.ac.jp/naid/110007610263/ja/

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240016
  • [雑誌論文] SOLAR : An Automated Deduction System for Consequence Finding.2010

    • 著者名/発表者名
      Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, Oliver Ray.
    • 雑誌名

      AI Communications 23(2-3)

      ページ: 183-203

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240016
  • [雑誌論文] A SAT-based Method for Solving the Two-dimensional Strip Packing Problem2010

    • 著者名/発表者名
      T. Soh, K. Inoue, N. Tamura, M. Banbara, H. Nabeshima
    • 雑誌名

      Fundamenta Informaticae

      巻: Vol.102 ページ: 467-487

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] SOLAR : An Automated Deduction System for Consequence Finding2010

    • 著者名/発表者名
      H.Nabeshima, K.Iwanuma, K.Inoue.O.Ray
    • 雑誌名

      AI Communications 23

      ページ: 183-203

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] Hypothesizing about Networks by Meta-level Abduction2010

    • 著者名/発表者名
      K.Inoue, A.Doncescu, H.Nabeshima
    • 雑誌名

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

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers2010

    • 著者名/発表者名
      M.Banbara, H.Matsunaka, N.Tamura. K.Inoue
    • 雑誌名

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

      ページ: 112-126

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] Finding Minimal Reaction Sets in Large Metabolic Pathways2010

    • 著者名/発表者名
      T.Soh, K.Inoue
    • 雑誌名

      Workshop on Constraint Based Methods for Bioinformatics (WCB 2010)

      ページ: 54-68

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] SATソルバーの基礎2010

    • 著者名/発表者名
      井上克巳, 田村直之
    • 雑誌名

      人工知能学会誌 25・1

      ページ: 57-67

    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] Oliver Ray SOLAR : An Automated Deduction System for Consequence Finding2010

    • 著者名/発表者名
      Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue
    • 雑誌名

      AI Communications

      巻: 23(2-3) 号: 2-3 ページ: 183-203

    • DOI

      10.3233/aic-2010-0465

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240016
  • [雑誌論文] From Inverse Entailment to Inverse Subsumption2010

    • 著者名/発表者名
      Y. Yamamoto, K. Inoue, K. Iwanuma
    • 雑誌名

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

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] 特集「最近のSAT技術の発展」にあたって2010

    • 著者名/発表者名
      井上克巳, 田村直之
    • 雑誌名

      人工知能学会誌 25・1

      ページ: 56-56

    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] Brave Induction : A Logical Framework for Learning from Incomplete Information2009

    • 著者名/発表者名
      Chiaki Sakama, Katsumi Inoue
    • 雑誌名

      Machine Learning

      巻: 76(1) 号: 1 ページ: 3-35

    • DOI

      10.1007/s10994-009-5113-y

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240016, KAKENHI-PROJECT-20500134
  • [雑誌論文] Equivalence Issues in Abduction and Induction2009

    • 著者名/発表者名
      Chiaki Sakama, Katsumi Inoue
    • 雑誌名

      Journal of Applied Logic 7

      ページ: 318-328

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500134
  • [雑誌論文] Equivalence Issues in Abduction and Induction2009

    • 著者名/発表者名
      Chiaki Sakama, Katsumi Inoue
    • 雑誌名

      Journal of Applied Logic

      巻: 7(3) 号: 3 ページ: 318-328

    • DOI

      10.1016/j.jal.2008.10.006

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240016, KAKENHI-PROJECT-20500134
  • [雑誌論文] Brave Induction : A Logical Framework for Learning from Incomplete Information.2009

    • 著者名/発表者名
      Chiaki Sakama, Katsumi Inoue.
    • 雑誌名

      Machine Learning 76(1)

      ページ: 3-35

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240016
  • [雑誌論文] Brave Induction : a logical framework for learning from incomplete information2009

    • 著者名/発表者名
      Chiaki Sakama, Katsumi Inoue.
    • 雑誌名

      Machine Learning(Springer) 76

      ページ: 3-35

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500134
  • [雑誌論文] Brave Induction : a logical framework for learning from incomplete infor mation2009

    • 著者名/発表者名
      Chiaki Sakama, Katsumi Inoue
    • 雑誌名

      Machine Learning 76

      ページ: 3-35

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500134
  • [雑誌論文] Equivalence Issues in Abduction and Induction2009

    • 著者名/発表者名
      Chiaki Sakama, Katsumi Inoue.
    • 雑誌名

      Journal of Applied Logic(Elsevier) 7(3)

      ページ: 318-328

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500134
  • [雑誌論文] Reconsideration of Circumscriptive Induction with Pointwise Circumscription2009

    • 著者名/発表者名
      Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima
    • 雑誌名

      Journal of Applied Logic

      巻: 7(3) 号: 3 ページ: 307-317

    • DOI

      10.1016/j.jal.2008.10.005

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240016
  • [雑誌論文] Coordination in Answer Set Programming2008

    • 著者名/発表者名
      Chiaki Sakama, Katsumi Inoue.
    • 雑誌名

      ACM Transactions on Computational Logic 9(2)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500134
  • [雑誌論文] 論理プログラミングから解集合プログラミングへ2008

    • 著者名/発表者名
      井上克巳
    • 雑誌名

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

      ページ: 20-32

    • NAID

      110006840397

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240016
  • [雑誌論文] Coordination in Answer Set Programming ACM2008

    • 著者名/発表者名
      Chiaki Sakama and Katsumi Inoue
    • 雑誌名

      Transactions on Computational Logic

      巻: 9(2) 号: 2 ページ: 1-30

    • DOI

      10.1145/1342991.1342993

    • データソース
      KAKENHI-PROJECT-20500134
  • [雑誌論文] 論理プログラミングから解集合プログラミングへ2008

    • 著者名/発表者名
      井上克巳
    • 雑誌名

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

      ページ: 20-32

    • NAID

      110006840397

    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] Abductive Equivalence in First-order Logic2006

    • 著者名/発表者名
      Katsumi Inoue
    • 雑誌名

      Logic Journal of the IGPL 14(2)

      ページ: 333-346

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17300051
  • [雑誌論文] Consequence Finding and Computing Answers with Defaults2006

    • 著者名/発表者名
      Katsumi Inoue, Koji Iwanuma, Hidetomo Nabeshima
    • 雑誌名

      Journal of Intelligent Information Systems 26

      ページ: 41-58

    • データソース
      KAKENHI-PROJECT-17300051
  • [雑誌論文] Consequence Finding and Computing Answers with Defaults2006

    • 著者名/発表者名
      Katsumi Inoue
    • 雑誌名

      Journal of Intelligent Information Systems 26(1)

      ページ: 41-58

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17300051
  • [雑誌論文] Consequence Finding and Computing Answers with Defaults2006

    • 著者名/発表者名
      Katsumi Inoue
    • 雑誌名

      Journal of Intelhent Information Systems 26(1)

      ページ: 41-58

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300051
  • [雑誌論文] On Abductive Equivalence2006

    • 著者名/発表者名
      Katsumi Inoue
    • 雑誌名

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

      ページ: 333-352

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17300051
  • [雑誌論文] On Abductive Equivalence2006

    • 著者名/発表者名
      Katsumi Inoue
    • 雑誌名

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

      ページ: 333-352

    • データソース
      KAKENHI-PROJECT-17300051
  • [雑誌論文] 極小限定を用いた帰納推論2006

    • 著者名/発表者名
      齋藤 悠, 井上 克巳
    • 雑誌名

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

      ページ: 143-152

    • NAID

      10022006094

    • データソース
      KAKENHI-PROJECT-17300051
  • [雑誌論文] A Competitive and Cooperative Approach to Propositional Satisfiability2006

    • 著者名/発表者名
      Katsumi Inoue
    • 雑誌名

      Discrete Applied Mathematics 154(16)

      ページ: 2291-2306

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17300051
  • [雑誌論文] On Abductive Equivalence2006

    • 著者名/発表者名
      Katsumi Inoue
    • 雑誌名

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

      ページ: 333-352

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300051
  • [雑誌論文] Generality Relations in Answer Set Programming2006

    • 著者名/発表者名
      Katsumi Inoue
    • 雑誌名

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

      ページ: 211-225

    • データソース
      KAKENHI-PROJECT-17300051
  • [雑誌論文] Upside-down Transformation in SOL/Connection Tableaux and its Application2005

    • 著者名/発表者名
      Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima
    • 雑誌名

      Theoretical Aspects of Computing (ICTAC 2005), Lecture Notes in Computer Science 3722

      ページ: 166-179

    • データソース
      KAKENHI-PROJECT-17300051
  • [雑誌論文] Equivalence in Abductive Logic2005

    • 著者名/発表者名
      Katsumi Inoue, Chiaki Sakama
    • 雑誌名

      Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05) 1

      ページ: 472-477

    • データソース
      KAKENHI-PROJECT-17300051
  • [雑誌論文] Inducing Causal Laws by Regular Inference2005

    • 著者名/発表者名
      Katsumi Inoue, Hideyuki Bando, Hidetomo Nabeshima
    • 雑誌名

      Inductive Logic Programming (ILP 2005), Lecture Notes in Artificial Intelligence 3625

      ページ: 154-171

    • データソース
      KAKENHI-PROJECT-17300051
  • [雑誌論文] A Web-based Architecture for Inductive Logic Programming in Biology2005

    • 著者名/発表者名
      Andrei Doncescu, Katsumi Inoue, Muhammad Farmer, Gilles Richard
    • 雑誌名

      Proceedings of the 7th International Conference on Enterprise Information System (ICEIS2005) 2

      ページ: 357-361

    • データソース
      KAKENHI-PROJECT-17300051
  • [雑誌論文] Speculative Computation through Consequence-finding in Multi-agent Environments2004

    • 著者名/発表者名
      Katsumi Inoue
    • 雑誌名

      Annals of Mathematics and Artificial Intelligence Vol.42, Nos.1-3

      ページ: 255-291

    • データソース
      KAKENHI-PROJECT-14380164
  • [雑誌論文] Circumscription Policies for Induction2004

    • 著者名/発表者名
      Katsumi Inoue
    • 雑誌名

      Lecture Notes in Artificial Intelligence Vol.3194

      ページ: 164-179

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14380164
  • [雑誌論文] Equivalence of Logic Programs under Updates2004

    • 著者名/発表者名
      Katsumi Inoue
    • 雑誌名

      Lecture Notes in Artificial Intelligence Vol.3229

      ページ: 174-186

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14380164
  • [雑誌論文] Speculative Computation through Consequence-finding in Multi-agent Environments2004

    • 著者名/発表者名
      Katsumi Inoue
    • 雑誌名

      Annals of mathematics and Artificial Intelligence Vol.42, Nos.1-3

      ページ: 255-291

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14380164
  • [雑誌論文] Equivalence of Logic Programs under Updates2004

    • 著者名/発表者名
      Katsumi Inoue
    • 雑誌名

      Logics in Artificial Intelligence (JELIA 2004), Lecture Notes in Artificial Intelligence Vol.3229

      ページ: 174-186

    • データソース
      KAKENHI-PROJECT-14380164
  • [雑誌論文] Induction as Consequence Finding2004

    • 著者名/発表者名
      Katsumi Inoue
    • 雑誌名

      Machine Learning Vol.55, No.2

      ページ: 109-135

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14380164
  • [雑誌論文] Disjunctive Explanations2004

    • 著者名/発表者名
      Katsumi Inoue
    • 雑誌名

      lecture Notes in Artificial intelligence Vol.2401

      ページ: 317-332

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14380164
  • [雑誌論文] Consequence-finding in Default Theories2004

    • 著者名/発表者名
      Katsumi Inoue
    • 雑誌名

      Lecture Notes in Artificial Intelligence Vol.3055

      ページ: 459-472

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14380164
  • [雑誌論文] Circumscription Policies for Induction2004

    • 著者名/発表者名
      Katsumi Inoue
    • 雑誌名

      Inductive Logic Programming (ILP 2004), Lecture Notes in Artificial Intelligence Vol.3194

      ページ: 164-179

    • データソース
      KAKENHI-PROJECT-14380164
  • [雑誌論文] Induction as Consequence Finding2004

    • 著者名/発表者名
      Katsumi Inoue
    • 雑誌名

      Machine Learning Vol.55 No.2

      ページ: 109-135

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14380164
  • [雑誌論文] Consequence-finding in Default Theories2004

    • 著者名/発表者名
      Katsumi Inoue
    • 雑誌名

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

      ページ: 459-472

    • データソース
      KAKENHI-PROJECT-14380164
  • [雑誌論文] Speculative Computation through Consequence-finding in Multi-agent Environments2004

    • 著者名/発表者名
      Katsumi Inoue
    • 雑誌名

      Annals of Mathematics and Artificial Intelligence Vol.42 Nos.1-3

      ページ: 255-291

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14380164
  • [雑誌論文] Consequence-finding in Default Theories2004

    • 著者名/発表者名
      katsumi Inoue
    • 雑誌名

      Lecture Notes in Artificial Intelligence Vol.3055

      ページ: 459-472

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14380164
  • [雑誌論文] Automated Abduction2002

    • 著者名/発表者名
      Katsumi Inoue
    • 雑誌名

      Lecture Notes in Artificial Intelligence Vol.2408

      ページ: 311-341

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14380164
  • [雑誌論文] Disjunctive Explanation2002

    • 著者名/発表者名
      Katsumi Inoue
    • 雑誌名

      Lecture Notes in Artificial Intelligence Vol.2401

      ページ: 317-332

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14380164
  • [雑誌論文] A SAT-based Method for Solving the Two-dimensional Strip Packing Problem

    • 著者名/発表者名
      T.Soh, K.Inoue, N.Tamura, M.Banbara, H.Nabeshima
    • 雑誌名

      Jouranal of Algorithms in Cognition, Informatics and Logic (掲載確定)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [学会発表] GNN-MatSat: グラフニューラルネットワークによる初期化に基づく微分可能なSATソルバー2022

    • 著者名/発表者名
      渡邉 晃司, 佐藤 泰介, 小島 諒介, 小高充弘, 井上 克巳
    • 学会等名
      2022年度人工知能学会全国大会(第36回)
    • データソース
      KAKENHI-PROJECT-21H04905
  • [学会発表] A Data-Driven and Knowledge-Based Approach to Inferring Temporal Gene Networks for COVID-192022

    • 著者名/発表者名
      Mitsuhiro Odaka, Magnin Morgan, Katsumi Inoue
    • 学会等名
      International Conference on Critical Assessment of Massive Data Analysis 2022 (CAMDA 2022; Madison, WI, USA, July 11-12, 2022)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21H04905
  • [学会発表] Action Languages Based Actual Causality in Decision Making Contexts2022

    • 著者名/発表者名
      Camilo Sarmiento,Gauvain Bourgne,Katsumi Inoue,Jean-Gabriel Ganascia
    • 学会等名
      International Workshop on AI Compliance Mechanism (WAICOM 2022)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21H04905
  • [学会発表] Linear Algebraic Abduction with Partial Evaluation2022

    • 著者名/発表者名
      Nguyen Tuan Quoc, Katsumi Inoue, Chiaki Sakama
    • 学会等名
      25th International Symposium on Practical Aspects of Declarative Languages (PADL 2023)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03288
  • [学会発表] Learning State Transition Rules from Hidden Layers of Restricted Boltzmann Machines2022

    • 著者名/発表者名
      Koji Watanabe, Katsumi Inoue
    • 学会等名
      The 6th International Workshop on Symbolic-Neural Learning (SNL 2022; Nagoya, Japan) Poster presentation
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21H04905
  • [学会発表] Linear Algebraic Computation of Propositional Horn Abduction2021

    • 著者名/発表者名
      Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama
    • 学会等名
      IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03288
  • [学会発表] U12バスケットボールにおけるブレーク数最小化問題2020

    • 著者名/発表者名
      井上 隆太
    • 学会等名
      第34回人工知能学会全国大会 (JSAI 2020)
    • データソース
      KAKENHI-PROJECT-17H00763
  • [学会発表] 記号推論と科学2020

    • 著者名/発表者名
      井上 克巳
    • 学会等名
      JST-CRDS 俯瞰セミナーシリーズ「機械学習と科学」
    • 招待講演
    • データソース
      KAKENHI-PROJECT-17H00763
  • [学会発表] From 3-valued semantics to supported model computation for logic programs in vector spaces2020

    • 著者名/発表者名
      Taisuke Sato, Chiaki Sakama, Katsumi Inoue
    • 学会等名
      12th International Conference on Agents and Artificial Intelligence (ICAART 2020)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03288
  • [学会発表] U12バスケットボールにおけるブレーク数最小化問題2020

    • 著者名/発表者名
      井上 隆太
    • 学会等名
      人工知能学会全国大会
    • データソース
      KAKENHI-PROJECT-17H01790
  • [学会発表] Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation2020

    • 著者名/発表者名
      Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama
    • 学会等名
      36th International Conference on Logic Programming (ICLP)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03288
  • [学会発表] システムズレジリエンスへの数理アプローチ2018

    • 著者名/発表者名
      井上 克巳
    • 学会等名
      「レジリエンス・エンジニアリング理論の医療の質・安全における実用化研究」研究会議
    • 招待講演
    • データソース
      KAKENHI-PROJECT-17H00763
  • [学会発表] teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming2018

    • 著者名/発表者名
      Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
    • 学会等名
      The 28th International Conference on Automated Planning and Scheduling (ICAPS 2018)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H02803
  • [学会発表] GPGPUによるMaxSATオラクルを用いたSATソルバの試作2017

    • 著者名/発表者名
      山口 順也, Sophie Tourret, 井上 克巳
    • 学会等名
      第31回人工知能学会全国大会
    • データソース
      KAKENHI-PROJECT-16H02803
  • [学会発表] Comparing Multi-Objective Selection Methods using a Simulation of Dynamic Sensor Network2017

    • 著者名/発表者名
      Maxime Clement, Tenda Okimoto, Katsumi Inoue
    • 学会等名
      第31回人工知能学会全国大会
    • データソース
      KAKENHI-PROJECT-16H02803
  • [学会発表] Learning Programs from Observations2017

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      Dagstuhl Seminar 17382: Approaches and Applications of Inductive Programming
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00763
  • [学会発表] LFIT: 解釈遷移からの学習2016

    • 著者名/発表者名
      井上克巳
    • 学会等名
      人工知能学会 第100回人工知能基本問題研究会 (SIG-FPAI)
    • 発表場所
      熊本市民会館
    • 年月日
      2016-03-27
    • 招待講演
    • データソース
      KAKENHI-PROJECT-26540122
  • [学会発表] 解集合プログラミングを用いた制約組合せテストケース生成2016

    • 著者名/発表者名
      兼行大将, 番原睦則, 宋剛秀, 田村直之, 井上克巳, 沖本天太
    • 学会等名
      第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)
    • 発表場所
      ダイヤモンド瀬戸内マリンホテル(岡山県玉野市渋川)
    • 年月日
      2016-03-07
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] クラウド上のソフトウェア要素最適配置問題の解法2016

    • 著者名/発表者名
      田村直之, 井上克巳, 鍋島英知, 番原睦則, 宋剛秀
    • 学会等名
      人工知能基本問題研究会(第100回)
    • 発表場所
      熊本市民会館 (熊本県熊本市中央区桜町)
    • 年月日
      2016-03-27
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] 多目的ナース・リスケジューリング問題における安定性と平等性2015

    • 著者名/発表者名
      呉 詩敏,沖本 天太,平山 勝敏,井上 克巳
    • 学会等名
      人工知能学会第29回全国大会
    • 発表場所
      函館
    • 年月日
      2015-06-02
    • データソース
      KAKENHI-PROJECT-26280092
  • [学会発表] iSugar : インクリメンタルSAT解法が利用可能なSAT型制約ソルバー2015

    • 著者名/発表者名
      迫龍哉, 宋剛秀, 番原睦則, 田村直之, 鍋島英知, 井上克巳
    • 学会等名
      日本ソフトウェア科学会第32回大会
    • 発表場所
      早稲田大学西早稲田キャンパス(東京都新宿区大久保)
    • 年月日
      2015-09-09
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] Can Machine Learn Logics?2015

    • 著者名/発表者名
      Chiaki Sakama, Katsumi Inoue
    • 学会等名
      The UNILOG 2015 Workshop on Emergent Computational Logics
    • 発表場所
      Istanbul, Turkey
    • 年月日
      2015-06-28
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26540122
  • [学会発表] 災害派遣医療チームのためのダイナミック・スケジューリング2015

    • 著者名/発表者名
      沖本 天太,平山 勝敏,井上 克巳,波多野 大督,花田 研太,クレモン マキシム,リベイロ トニー,呉詩敏
    • 学会等名
      合同エージェントワークショップ&シンポジウム2015(JAWS2015)
    • 発表場所
      加賀
    • 年月日
      2015-10-01
    • データソース
      KAKENHI-PROJECT-26280092
  • [学会発表] Panel: ILP 25 Years2015

    • 著者名/発表者名
      Stephen Muggleton, Fabrizio Riguzzi, Filip Zelezny, Gerson Zaverucha, Jesse Davis, Katsumi Inoue, and Taisuke Sato
    • 学会等名
      he 25th International Conference on Inductive Logic Programming
    • 発表場所
      京都大学
    • 年月日
      2015-08-22
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26540122
  • [学会発表] Completing Signaling Networks by Abductive Reasoning with Perturbation Experiments2015

    • 著者名/発表者名
      Adrien Rougny, Yoshitaka Yamamoto, Hidetomo Nabeshima, Gauvain Bourgne, Anne Poupon, Katsumi Inoue, Christine Froidevaux
    • 学会等名
      he 25th International Conference on Inductive Logic Programming
    • 発表場所
      京都大学
    • 年月日
      2015-08-20
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26540122
  • [学会発表] Sigma-Optimal Solutions in Multi-Objective Timetabling2015

    • 著者名/発表者名
      Maxime Clement, Tenda Okimoto, Katsumi Inoue, and Mutsunori Banbara
    • 学会等名
      Joint Agents Workshop and Symposium 2015 (JAWS 2015)
    • 発表場所
      加賀
    • 年月日
      2015-10-01
    • データソース
      KAKENHI-PROJECT-26280092
  • [学会発表] 組合せテストケース生成問題に対する制約解集合プログラミングの適用2015

    • 著者名/発表者名
      兼行大将, 番原睦則, 宋剛秀, 田村直之, 井上克巳
    • 学会等名
      2015年度人工知能学会全国大会(第29回)
    • 発表場所
      公立はこだて未来大学 (北海道函館市亀田中野町)
    • 年月日
      2015-05-30
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] スケールフリー・トポロジーにおける不染化を応用した減災評価方法2015

    • 著者名/発表者名
      岡崎 孝太郎,井上 克巳
    • 学会等名
      人工知能学会第29回全国大会
    • 発表場所
      函館
    • 年月日
      2015-05-31
    • データソース
      KAKENHI-PROJECT-26280092
  • [学会発表] Learning Multi-Valued Biological Models with Delayed Influence from Time-Series Observations2015

    • 著者名/発表者名
      Tony Ribeiro, Morgan Magnin, Katsumi Inoue, Chiaki Sakama
    • 学会等名
      The 25th International Conference on Inductive Logic Programming
    • 発表場所
      京都大学
    • 年月日
      2015-08-20
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26540122
  • [学会発表] Representative Solutions for Multi-Objective Constraint Optimization Problems2015

    • 著者名/発表者名
      Nicolas Schwind, Maxime Clement, Tenda Okimoto, Sébastien Konieczny, and Katsumi Inoue
    • 学会等名
      人工知能学会第29回全国大会
    • 発表場所
      函館
    • 年月日
      2015-06-02
    • データソース
      KAKENHI-PROJECT-26280092
  • [学会発表] \Sigma-Optimal Solutions in Multi-Objective Timetabling2015

    • 著者名/発表者名
      Maxime Clement, Tenda Okimoto, Katsumi Inoue, and Mutsunori Banbara
    • 学会等名
      合同エージェントワークショップ&シンポジウム2015論文集 (JAWS 2015)
    • 発表場所
      山中温泉河鹿荘ロイヤルホテル (石川県加賀市山中温泉河鹿町)
    • 年月日
      2015-09-30
    • データソース
      KAKENHI-PROJECT-15K00099
  • [学会発表] Limiting Perturbations in Dynamic MO-DCOP2014

    • 著者名/発表者名
      Maxime Clement, Tenda Okimoto, Katsumi Inoue
    • 学会等名
      Joint Agent Workshop and Symposium 2014
    • 発表場所
      ANA ホリデイ・イン リゾート 宮崎 (宮崎県)
    • 年月日
      2014-10-28
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] Distributed Iterated Pareto Local Search for MO-DCOPs2014

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      Joint Agent Workshop and Symposium
    • 発表場所
      ANA ホリデイ・イン リゾート 宮崎
    • 年月日
      2014-10-28
    • データソース
      KAKENHI-PROJECT-26330268
  • [学会発表] Robust Multi-Team Formation and its Application to Robot Rescue Simulation2014

    • 著者名/発表者名
      Damien Bouchabou, Tony Ribeiro, Tenda Okimoto, Katsumi Inoue
    • 学会等名
      Joint Agent Workshop and Symposium 2014
    • 発表場所
      ANA ホリデイ・イン リゾート 宮崎 (宮崎県)
    • 年月日
      2014-10-28
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] Learning Delayed Influence of Dynamical Systems from Interpretation Transition2014

    • 著者名/発表者名
      Tony Ribeiro, Morgan Magnin, Katsumi Inoue
    • 学会等名
      The 24th International Conference on Inductive Logic Programming (ILP 2014)
    • 発表場所
      Nancy, France
    • 年月日
      2014-09-14
    • データソース
      KAKENHI-PROJECT-26540122
  • [学会発表] ロバストな提携構造形成問題に関する一検討2014

    • 著者名/発表者名
      沖本 天太,シュインド ニコラ,井上 克巳
    • 学会等名
      第28回人工知能学会全国大会
    • 発表場所
      ひめぎんホール、愛媛
    • 年月日
      2014-05-14
    • データソース
      KAKENHI-PROJECT-26280092
  • [学会発表] スケールフリー・トポロジーにおける不染化を応用した減災評価方法2014

    • 著者名/発表者名
      岡崎 孝太郎,井上 克巳
    • 学会等名
      情報処理学会第177回知能システム研究会
    • 発表場所
      (株)ドワンゴ、東京
    • 年月日
      2014-12-15
    • データソース
      KAKENHI-PROJECT-26280092
  • [学会発表] Distributed Iterated Pareto Local Search for MO-DCOPs2014

    • 著者名/発表者名
      Maxime Wack, Tenda Okimoto, Maxime Clement, Katsumi Inoue
    • 学会等名
      Joint Agent Workshop and Symposium
    • 発表場所
      ANAホリディ・イン・リゾート宮崎、宮崎
    • 年月日
      2014-10-28
    • データソース
      KAKENHI-PROJECT-26280092
  • [学会発表] ロバストなチーム編成問題2014

    • 著者名/発表者名
      沖本 天太,シュウィンド ニコラ,クレモン マキシム,井上 克巳
    • 学会等名
      Joint Agent Workshop and Symposium
    • 発表場所
      ANAホリディ・イン・リゾート宮崎、宮崎
    • 年月日
      2014-10-29
    • データソース
      KAKENHI-PROJECT-26280092
  • [学会発表] ロバストなチーム編成問題2014

    • 著者名/発表者名
      沖本天太, Nicolas Schwind, Maxime Clement, 井上克巳
    • 学会等名
      Joint Agent Workshop and Symposium 2014
    • 発表場所
      ANA ホリデイ・イン リゾート 宮崎 (宮崎県)
    • 年月日
      2014-10-29
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] Robust Multi-Team Formation and its Application to Robot Rescue Simulation2014

    • 著者名/発表者名
      Damien Bouchabou, Tony Ribeiro, Tenda Okimoto, Katsumi Inoue
    • 学会等名
      Joint Agent Workshop and Symposium
    • 発表場所
      ANAホリディ・イン・リゾート宮崎、宮崎
    • 年月日
      2014-10-28
    • データソース
      KAKENHI-PROJECT-26280092
  • [学会発表] 制約解集合プログラミングシステムの設計方式に関する考察2014

    • 著者名/発表者名
      宋剛秀, 則武治樹, 番原睦則, 田村直之, 井上克巳
    • 学会等名
      日本ソフトウェア科学会第31回大会
    • 発表場所
      名古屋大学 (愛知県)
    • 年月日
      2014-09-08
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] Distributed Iterated Pareto Local Search for MO-DCOPs2014

    • 著者名/発表者名
      Maxime Wack, Tenda Okimoto, Maxime Clement, Katsumi Inoue
    • 学会等名
      Joint Agent Workshop and Symposium 2014
    • 発表場所
      ANA ホリデイ・イン リゾート 宮崎 (宮崎県)
    • 年月日
      2014-10-28
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] Limiting Perturbations in Dynamic MO-DCOP2014

    • 著者名/発表者名
      Maxime Clement, Tenda Okimoto, Katsumi Inoue
    • 学会等名
      Joint Agent Workshop and Symposium
    • 発表場所
      ANAホリディ・イン・リゾート宮崎、宮崎
    • 年月日
      2014-10-28
    • データソース
      KAKENHI-PROJECT-26280092
  • [学会発表] Learning Prime Implicant Conditions from Interpretation Transition2014

    • 著者名/発表者名
      Tony Ribeiro, Katsumi Inoue
    • 学会等名
      The 24th International Conference on Inductive Logic Programming (ILP 2014)
    • 発表場所
      Nancy,France
    • 年月日
      2014-09-14
    • データソース
      KAKENHI-PROJECT-26540122
  • [学会発表] SAT符号化を用いたパッキング配列の構成2013

    • 著者名/発表者名
      則武治樹,番原睦則、宋剛秀,田村直之,井上克巳
    • 学会等名
      第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013)
    • 発表場所
      会津若松市(福島県)
    • 年月日
      2013-03-05
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] 極小活性パスウェイの列挙を用いた大腸菌における遺伝子欠損の影響予測情報処理学会研究報告2012

    • 著者名/発表者名
      宋剛秀, 井上克巳, 馬場知哉, 高田豊行, 城石俊彦
    • 学会等名
      情報処理学会
    • 発表場所
      国立情報学研究所、東京
    • 年月日
      2012-01-12
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] 制約充足問題のSAT符号化を用いたパッキング配列の構成2012

    • 著者名/発表者名
      則武治樹,番原睦則,田村直之,井上克己
    • 学会等名
      第26回人工知能学会全国大会
    • 発表場所
      山口県教育会館(山口県)
    • 年月日
      2012-06-12
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] 多目的分散制約最適化問題における厳密/非厳密解法の提案2012

    • 著者名/発表者名
      沖本天太, Yongjoon Joe, 上田俊,岩崎敦、櫻井祐子、横尾真、井上克己
    • 学会等名
      合同エージェントワークショップ&シンポジウム(JAWS2012)
    • 発表場所
      掛川市(静岡県)
    • 年月日
      2012-10-26
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] Predicting Gene Knockout Effects by Minimal Pathway Enumeration2012

    • 著者名/発表者名
      Takehide Soh, Katsumi Inoue, Tomoya Baba, Yoyoyuki Takada, Toshihiko Shiroishi
    • 学会等名
      The 4th International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (BIOTECHNO 2012)
    • 発表場所
      St.Maarten, Netherlands Antilles
    • 年月日
      2012-03-28
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] Generating Event-Sequence Test Cass by Constraint Programming and Answer Set Programming2012

    • 著者名/発表者名
      Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue, Hidetomo Nabeshima
    • 学会等名
      The 2012 CRIL-Nil Collaborative Meeting on Reasoning about Dynamic Constraint Networks
    • 発表場所
      Universite d'Artois(France)
    • 年月日
      2012-11-23
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] BnB-ADOPTp:分散制約最適化問題におけるハイブリッド型の解法の提案2012

    • 著者名/発表者名
      沖本天太,山本将,櫻井佑子,横尾真,井上克巳
    • 学会等名
      合同エージェントワークショップ&シンポジウム(JAWS2012)
    • 発表場所
      掛川市(静岡県)
    • 年月日
      2012-10-26
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] GlueMiniSat2.2.5:単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー2011

    • 著者名/発表者名
      鍋島英知, 岩沼宏治, 井上克巳
    • 学会等名
      日本ソフトウェア科学会第28回大会(2011年度)
    • 発表場所
      沖縄産業支援センター、那覇市
    • 年月日
      2011-09-29
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] Comparison of Upward and Downward Generalization in CF-Induction2011

    • 著者名/発表者名
      Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma
    • 学会等名
      The 21st International Conference on Inductive Logic Programming (ILP 2011)
    • 発表場所
      Windsor Great Park, UK
    • 年月日
      2011-08-01
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] Model of Double Strand Break of DNA in Logic-Based Hypothesis Finding2011

    • 著者名/発表者名
      Barthelemy Dworkin, Andrei Doncescu, Jean-Charles Faye, Katsumi Inoue
    • 学会等名
      The 21st International Conference on Inductive Logic Programming (ILP 2011)
    • 発表場所
      Windsor Great Park, UK
    • 年月日
      2011-08-01
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] Probabilistic Rule Learning in Nonmonotonic Domains2011

    • 著者名/発表者名
      Katsumi Inoue, Domenico Corapi, Daniel Sykes, Alessandra Russo
    • 学会等名
      The 3rd PLL Summit
    • 発表場所
      Imperial College London, UK(招待講演)
    • 年月日
      2011-07-27
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology2011

    • 著者名/発表者名
      Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, Taisuke Sato
    • 学会等名
      The 2011 International Conference on Bioinformatics Models, Methods and Algorithms(BIOINFORMATICS 2011)
    • 発表場所
      Rome, Italy
    • 年月日
      2011-01-27
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] GlueMiniSat2.2.5:単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー2011

    • 著者名/発表者名
      鍋島英知, 岩沼宏治, 井上克巳
    • 学会等名
      日本ソフトウェア科学会第28回大会
    • 発表場所
      沖縄産業支援センター(沖縄県)
    • 年月日
      2011-09-29
    • データソース
      KAKENHI-PROJECT-20240003
  • [学会発表] Complete Distributed Consequence Finding with Message Passing2011

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      The 3rd International Conference on Agents and Artificial Intelligence (ICAART 2011)
    • 発表場所
      Rome, Italy
    • 年月日
      2011-02-28
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] Logic Programming for Boolean Networks2011

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      The 22nd International Joint Conference on Artificial Intelligence(IJCAI-11)
    • 発表場所
      Barcelona, Spain
    • 年月日
      2011-07-22
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology.2011

    • 著者名/発表者名
      Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, Taisuke Sato.
    • 学会等名
      The 2011 International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2011)
    • 発表場所
      Rome, Italy
    • 年月日
      2011-01-07
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] Partition-Based Consequence Finding2011

    • 著者名/発表者名
      Gauvain Bourgne, Katsumi Inoue
    • 学会等名
      The 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2011)
    • 発表場所
      Palm Beach County, USA
    • 年月日
      2011-11-09
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] Comparison of Upward and Downward Generalization in CF-Induction2011

    • 著者名/発表者名
      Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma
    • 学会等名
      The 21st International Conference on Inductive Logic Programming(ILP 2011)
    • 発表場所
      Windsor, Great Park, UK
    • 年月日
      2011-08-01
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] Answer-Set Programming as a New Approach to Event-Sequence Testing2011

    • 著者名/発表者名
      Esra Erdem, Katsumi Inoue, Johannes Oetsch, Jorg Puhrer, Hans Tompits, Cemal Yilmaz
    • 学会等名
      The 3rd International Conference on Advances in System Testing and Validation Lifecycle (VALID 2011)
    • 発表場所
      Barcelona, Spain
    • 年月日
      2011-10-25
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction2011

    • 著者名/発表者名
      Katsumi Inoue, Chiaki Sakama, Lena Wiese
    • 学会等名
      The 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011)
    • 発表場所
      Vienna, Austria
    • 年月日
      2011-09-29
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] DNF Hypotheses in Bottom-Directed ILP2011

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      The 21st International Conference on Inductive Logic Programming(ILP 2011)
    • 発表場所
      Windsor, Great Park, UK
    • 年月日
      2011-08-01
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] Probabilistic Rule Learning in Nonmonotonic Domains2011

    • 著者名/発表者名
      Domenico Corapi, Daniel Sykes, Katsumi Inoue, Alessandra Russo
    • 学会等名
      Computational Logic in Multi-Agent Systems : Proceedings of the 12th International Workshop (CLIMA-XII)
    • 発表場所
      Barcelona, Spain
    • 年月日
      2011-07-17
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] Abduction in Meta-Reasoning2011

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      International Symposium on Symbolic Systems Biology (ISSSB 2011)
    • 発表場所
      湘南国際村、葉山市
    • 年月日
      2011-11-15
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] Generalizing Conjunctive Queries for Informative Answers2011

    • 著者名/発表者名
      Katsumi Inoue, Lena Wiese
    • 学会等名
      Fiexible Query Answering Systems : Proceedings of the 9th International Conference (FQAS 2011)
    • 発表場所
      Ghent, Belgium
    • 年月日
      2011-10-26
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] DNF Hypotheses in Bottom-Directed ILP2011

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      The 21st International Conference on Inductive Logic Programming (ILP 2011)
    • 発表場所
      Windsor Great Park, UK
    • 年月日
      2011-08-01
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] Confidentiality-preserving data publishing for credulous users by extended abduction2011

    • 著者名/発表者名
      L.Wiese, K.Inoue, C.Sakama
    • 学会等名
      19th International Conference on Applications of Declarative Programming and Knowledge Management
    • 発表場所
      Vienna (Austria)
    • 年月日
      2011-09-29
    • データソース
      KAKENHI-PROJECT-20500134
  • [学会発表] Partition-Based Consequence Finding2011

    • 著者名/発表者名
      Gauvain Bourgne, Katsumi Inoue
    • 学会等名
      The 23rd IEEE International Conference on Tools with Artificial Intelligence(ICTAI 2011)
    • 発表場所
      Palm Beach County, Florida, USA
    • 年月日
      2011-11-09
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] Logic Programming for Boolean Networks2011

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      The 22nd International Joint Conference on Artificial Intelligence (IJCAI-11)
    • 発表場所
      Barcelona, Spain
    • 年月日
      2011-07-22
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction2011

    • 著者名/発表者名
      Lena Wiese, Katsumi Inoue, and Chiaki Sakama
    • 学会等名
      Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management(INAP 2011)
    • 発表場所
      Vienna, Austria
    • 年月日
      2011-09-29
    • データソース
      KAKENHI-PROJECT-20500134
  • [学会発表] 極小活性パスウェイの列挙を用いた遺伝子ノックアウトの影響予測2011

    • 著者名/発表者名
      宋剛秀, 井上克巳, 馬場知哉, 高田豊行, 城石俊彦
    • 学会等名
      第47回人工知能学会分子生物情報研究会
    • 発表場所
      慶応義塾大学日吉キャンパス、横浜市
    • 年月日
      2011-12-15
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] Relating Boolean Networks to (Inductive) Logic Programming2011

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      Logic Learning Theory Workshop
    • 発表場所
      Imperial College London, UK(招待講演)
    • 年月日
      2011-07-29
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] Abduction of Distributed Theories through Local Interactions2010

    • 著者名/発表者名
      Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet
    • 学会等名
      The 19th European Conference on Artificial Intelligence(ECAI 2010)
    • 発表場所
      Lisbon, Portugal
    • 年月日
      2010-08-20
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] Exploring Relations between Answer Set Programs2010

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      The Symposium on Constructive Mathematics in Computer Science
    • 発表場所
      Lexington, USA(招待)
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] モデル生成を用いた代謝ネットワークにおける極小部分パスウェイの同定2010

    • 著者名/発表者名
      宋剛秀, 井上克巳
    • 学会等名
      人工知能学会全国大会
    • 発表場所
      長崎ブリックホール(長崎県)
    • 年月日
      2010-06-09
    • データソース
      KAKENHI-PROJECT-20240003
  • [学会発表] Katsumi Inoue and Chiaki Sakama2010

    • 著者名/発表者名
      Katsumi Inoue and Chiaki Sakama
    • 学会等名
      Proceedings of the Symposium on Constructive Mathematics in Computer Science
    • 発表場所
      Lexington, KY, USA
    • 年月日
      2010-10-24
    • データソース
      KAKENHI-PROJECT-20500134
  • [学会発表] Hypothesizing about Networks by Meta-level Abduction2010

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      The 20th International Conference on Inductive Logic Programming (ILP 2010)
    • 発表場所
      Firenze,Italy
    • 年月日
      2010-06-29
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] A Bayesian Hybrid Approach to Unsupervised Time Series Discretization2010

    • 著者名/発表者名
      Yoshitaka Kameya, Gabriel Synnaeve, Andrei Doncescu, Katsumi Inoue, Taisuke Sato
    • 学会等名
      The 15th Conference on Technologies and Applications of Artificial Intelligence(TAAI 2010)
    • 発表場所
      Hsinchu, Taiwan
    • 年月日
      2010-11-20
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] SAT技術を用いた組合せテストケース生成2010

    • 著者名/発表者名
      番原睦則, 松中春樹, 田村直之, 井上克巳
    • 学会等名
      日本ソフトウェア科学会第27回大会
    • 発表場所
      津田塾大学(東京都)
    • 年月日
      2010-09-13
    • データソース
      KAKENHI-PROJECT-20240003
  • [学会発表] Hypothesizing about Networks by Meta-level Abduction2010

    • 著者名/発表者名
      Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima
    • 学会等名
      The 20th International Conference on Inductive Logic Programming(ILP 2010)
    • 発表場所
      Firenze, Italy
    • 年月日
      2010-06-29
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation2010

    • 著者名/発表者名
      Takehide Soh, Katsumi Inoue
    • 学会等名
      The 6th Conference on Prestigious Applications of Artificial Intelligence(PAIS 2010)
    • 発表場所
      Lisbon, Portugal
    • 年月日
      2010-08-18
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] Hypothesizing about Networks by Meta-level Abduction.2010

    • 著者名/発表者名
      Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima.
    • 学会等名
      The 20th International Conference on Inductive Logic Programming (ILP 2010)
    • 発表場所
      Firenze, Italy
    • 年月日
      2010-06-29
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] Past and Future 20 Years of ILP2010

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      The 20th International Conference on Inductive Logic Programming (ILP 2010)
    • 発表場所
      Firenze, Italy(Panel;招待)
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] Toward an Efficient Equality Computation in Connection Tableaux : A Modification Method without Symmetry Transformation2009

    • 著者名/発表者名
      Koji Iwanuma, Hidetomo Nabeshima, Katsumi Inoue
    • 学会等名
      The 7th International Workshop on First-Order Theorem Proving(FTP 2009)
    • 発表場所
      Oslo, Norway
    • 年月日
      2009-07-06
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] Evaluating Abductive Hypotheses using an EM Algorithm on BDDs2009

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      The 21st International Joint Conference on Artificial Intelligence(IJCAI-09)
    • 発表場所
      Pasadena Convention Center, Pasadena, USA
    • 年月日
      2009-07-14
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] Evaluating Abductive Hypotheses Using an EM Algorithm on BDDs2009

    • 著者名/発表者名
      Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima
    • 学会等名
      The 21st International Joint Conference on Artificial Intelligence(IJCAI-09)
    • 発表場所
      Pasadena, USA
    • 年月日
      2009-07-14
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] Evaluating Abductive Hypotheses using an EM Algorithm on BDDs.2009

    • 著者名/発表者名
      Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima.
    • 学会等名
      The 21st International, Joint Conference on Artificial Intelligence (TJCAT-09)
    • 発表場所
      Pasadena, USA
    • 年月日
      2009-07-14
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] Abducing Rules with Predicate Invention2009

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      The 19th International Conference on Inductive Logic Programming(ILP 2009)
    • 発表場所
      Katholieke Universiteit Leuven, Leuven, Belgium
    • 年月日
      2009-07-02
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] Toward an Efficient Equality Computation in Connection Tableaux : A Modification Method without Symmetry Transformation.2009

    • 著者名/発表者名
      Koji Iwanuma, Hidetomo Nabeshima Katsumi Inoue.
    • 学会等名
      The 7th International Workshop on First-Order Theorem Proving (FTP 2009)
    • 発表場所
      Oslo, Norway
    • 年月日
      2009-07-06
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] SAT問題への変換を用いたフィードバックを含むパスウェイの解析2009

    • 著者名/発表者名
      宋剛秀, 井上克巳
    • 学会等名
      第23回人工知能学会全国大会
    • 発表場所
      サンポートホール高松(香川県)
    • 年月日
      2009-06-18
    • データソース
      KAKENHI-PROJECT-20240003
  • [学会発表] Comparing Abductive Theories2008

    • 著者名/発表者名
      Katsumi Inoue and Chiaki Sakama
    • 学会等名
      Proceedings of the 18th European Conference on Artificial Intelligence(ECAI' 08)
    • 発表場所
      Patras, Greece
    • 年月日
      2008-07-21
    • データソース
      KAKENHI-PROJECT-20500134
  • [学会発表] Comparing Abductive Theories.2008

    • 著者名/発表者名
      Katsumi Inoue, Chiaki Sakama.
    • 学会等名
      The 18th European Conference on Artificial Intelligence (ECAI 2008)
    • 発表場所
      Patras, Greece
    • 年月日
      2008-07-24
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] Brave Induction2008

    • 著者名/発表者名
      Chiaki Sakama Katsumi Inoue
    • 学会等名
      Proceedings of the 18th International Conference on Inductive Logic Programming
    • 発表場所
      Czech Republic
    • データソース
      KAKENHI-PROJECT-20500134
  • [学会発表] Brave Induction2008

    • 著者名/発表者名
      Chiaki Sakama and Katsumi Inoue
    • 学会等名
      Proceedings of the 18th International Conference on Inductive Logic Programming(ILP' 08)
    • 発表場所
      Czech Republic
    • 年月日
      2008-09-11
    • データソース
      KAKENHI-PROJECT-20500134
  • [学会発表] Comparing Abductive Theories2008

    • 著者名/発表者名
      Katsumi Inoue, Chiaki Sakama
    • 学会等名
      The 18th European Conference on Artificial Intelligence(ECAI 2008)
    • 発表場所
      Patras, Greece
    • 年月日
      2008-07-24
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] Comparing Abductive Theories2008

    • 著者名/発表者名
      Inoue, Katsumi
    • 学会等名
      Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008)
    • 発表場所
      Patras, Greece
    • データソース
      KAKENHI-PROJECT-20240016
  • [学会発表] Generality and Equivalence Relations in Default Logic.2007

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      The 22nd Conference on Artificial Intelligence(AAAI-07)
    • 発表場所
      バンクーバー(カナダ)
    • 年月日
      2007-07-26
    • データソース
      KAKENHI-PROJECT-17300051
  • [学会発表] Generality and Equivalence Relations in Default Logic2007

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      The 22nd Conference on Artificial Intelligence(AAAI-07)
    • 発表場所
      Vancouver, Canada
    • 年月日
      2007-07-26
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300051
  • [学会発表] Generality and Equivalence Relations in Default Logic2007

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      The 22nd Conference on Artificial Intelligence (AAAI-07)
    • 発表場所
      Vancouver(Canada)
    • 年月日
      2007-07-26
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17300051
  • [学会発表] Generality Relations in Answer Set Programming2006

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      The 22nd International Conference (ICLP 2006) [Lecture Notes in Computer Science, Vol.4079]
    • 発表場所
      Seattle(U.S.A.)
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17300051
  • [学会発表] Generality Relations in Answer Set Programming2006

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      The 22nd International Conference on Logic Programming(ICLP 2006)
    • 発表場所
      Seattle, U.S.A.[Lecture Notes in Computer Science, Vol.4079]
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300051
  • [学会発表] Inducing Causal Laws by Regular Inference2005

    • 著者名/発表者名
      Katsumi Inoue(Hidetomo Nabeshima)
    • 学会等名
      The 15th International Conference on Inductive Logic Programming (ILP 2005) [Lecture Notes in Artificial Intelligence, Vol.3625]
    • 発表場所
      Bonn(Germany)
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17300051
  • [学会発表] Equivalence in Abductive Logic2005

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      The 19th International Joint Conference on Artificial Intelligence(IJCAI-05)
    • 発表場所
      Edinburgh(U.K.)
    • 年月日
      2005-08-03
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17300051
  • [学会発表] Equivalence in Abductive Logic2005

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      Phe 19th International Joint Conference on krtificial Intelligence(IJCAI-05)
    • 発表場所
      Edinburgh, U.K.
    • 年月日
      2005-08-03
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300051
  • [学会発表] Inducing Causal Laws by Regular Inference2005

    • 著者名/発表者名
      Katsumi Inoue(Hidetomo Nabeshima)
    • 学会等名
      The 15th International Conference on Inductive Logic Programming(ILP 2005)
    • 発表場所
      Bonn, Germany[Lecture Notes Artificial Intelligence, Vol.3625]
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300051
  • [学会発表] CSPSAT Projects and their SAT Related Tools

    • 著者名/発表者名
      Naoyuki Tamura, Takehide Soh, Mutsunori Banbara, and Katsumi Inoue
    • 学会等名
      The 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)
    • 発表場所
      University of Helsinki, Finland
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] 動的な多目的分散制約最適化問題に関する一検討

    • 著者名/発表者名
      沖本 天太,井上 克巳
    • 学会等名
      人工知能学会第27回全国大会 (JSAI 2013)
    • 発表場所
      富山国際会議場
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] GlueMiniSat 2.2.7: On-The-Fly Lazy Clause Simplification

    • 著者名/発表者名
      Hidetomo Nabeshima, Koji Iwanuma, and Katsumi Inoue
    • 学会等名
      The 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)
    • 発表場所
      University of Helsinki, Finland
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] Answer Set Programming as a Modeling Language for Course Timetabling

    • 著者名/発表者名
      Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub
    • 学会等名
      第16回プログラミングおよびプログラミング言語ワークショップ (PPL 2014)
    • 発表場所
      阿蘇の司ビラパークホテル
    • データソース
      KAKENHI-PROJECT-24300007
  • [学会発表] パッキング配列問題の制約モデリングとSAT符号化

    • 著者名/発表者名
      則武治樹, 番原睦則, 宋剛秀, 田村直之, 井上克巳
    • 学会等名
      日本ソフトウェア科学会第30回大会
    • 発表場所
      東京大学
    • データソース
      KAKENHI-PROJECT-24300007
  • 1.  坂間 千秋 (20273873)
    共同の研究課題数: 9件
    共同の研究成果数: 52件
  • 2.  鍋島 英知 (10334848)
    共同の研究課題数: 8件
    共同の研究成果数: 39件
  • 3.  岩沼 宏治 (30176557)
    共同の研究課題数: 7件
    共同の研究成果数: 21件
  • 4.  沖本 天太 (10632432)
    共同の研究課題数: 5件
    共同の研究成果数: 65件
  • 5.  羽根田 博正 (10031113)
    共同の研究課題数: 5件
    共同の研究成果数: 0件
  • 6.  田川 聖治 (50252789)
    共同の研究課題数: 4件
    共同の研究成果数: 0件
  • 7.  田村 直之 (60207248)
    共同の研究課題数: 4件
    共同の研究成果数: 29件
  • 8.  番原 睦則 (80290774)
    共同の研究課題数: 4件
    共同の研究成果数: 31件
  • 9.  宋 剛秀 (00625121)
    共同の研究課題数: 3件
    共同の研究成果数: 21件
  • 10.  佐藤 健 (00271635)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 11.  Nicolas Schwind (60646397)
    共同の研究課題数: 3件
    共同の研究成果数: 27件
  • 12.  平山 勝敏 (00273813)
    共同の研究課題数: 2件
    共同の研究成果数: 2件
  • 13.  山本 泰生 (30550793)
    共同の研究課題数: 2件
    共同の研究成果数: 9件
  • 14.  中川 聖一 (20115893)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 15.  山本 幹雄 (40210562)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 16.  横尾 真 (20380678)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 17.  長谷川 隆三 (20274483)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 18.  藤田 博 (70284552)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 19.  越村 三幸 (30274492)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 20.  上田 和紀 (10257206)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 21.  佐藤 泰介 (90272690)
    共同の研究課題数: 1件
    共同の研究成果数: 8件
  • 22.  亀谷 由隆 (60361789)
    共同の研究課題数: 1件
    共同の研究成果数: 6件
  • 23.  藤山 秋佐夫 (60142311)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 24.  丹生 智也 (40635067)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 25.  古川 康一 (10245615)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 26.  金城 敬太 (20611750)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 27.  原口 誠 (40128450)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 28.  藤波 努 (70303344)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 29.  諏訪 正樹 (50329661)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 30.  尾崎 知伸 (40365458)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 31.  峯松 信明 (90273333)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 32.  原尾 正輝 (00006272)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 33.  阿曽 弘具 (10005522)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 34.  米崎 直樹 (00126286)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 35.  萩谷 昌巳 (30156252)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 36.  太田 有三 (80111772)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 37.  北村 泰彦 (00204917)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 38.  奥山 徹 (30177191)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 39.  林 克彦 (50725794)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 40.  Phua Yin・Jun (20963747)
    共同の研究課題数: 1件
    共同の研究成果数: 1件
  • 41.  小島 諒介 (70807651)
    共同の研究課題数: 1件
    共同の研究成果数: 1件
  • 42.  升田 俊樹
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 43.  小林 郁夫
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 44.  西山 武繁
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 45.  RIBEIRO Tony
    共同の研究課題数: 1件
    共同の研究成果数: 8件
  • 46.  MAGNIN Morgan
    共同の研究課題数: 1件
    共同の研究成果数: 4件
  • 47.  尾崎 暢
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 48.  南 和宏
    共同の研究課題数: 0件
    共同の研究成果数: 1件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi