INOUE Katsumi 井上克巳

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

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

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

1. SAKAMA Chiaki (20273873)

# of Collaborated Projects: 8 results

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

# of Collaborated Projects: 8 results

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

# of Collaborated Projects: 7 results

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

# of Collaborated Projects: 5 results

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

# of Collaborated Projects: 5 results

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

# of Collaborated Projects: 4 results

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

# of Collaborated Projects: 4 results

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

# of Collaborated Projects: 4 results

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

# of Collaborated Projects: 3 results

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

# of Collaborated Projects: 3 results

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

# of Collaborated Projects: 2 results

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

# of Collaborated Projects: 2 results

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

# of Collaborated Projects: 2 results

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

# of Collaborated Projects: 2 results

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

# of Collaborated Projects: 2 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
40. MASUDA Toshiki

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
41. KOBAYASHI Ikuo

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
42. NISHIYAMA Takeshige

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
43. RIBEIRO Tony

# of Collaborated Projects: 1 results

# of Collaborated Products: 8 results
44. MAGNIN Morgan

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results
45. 尾崎暢

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

INOUE Katsumi 井上 克巳

Research Projects

Research Products

Co-Researchers

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

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Learning Relational Dynamics from State TransitionPrincipal InvestigatorOngoing

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Modeling and Inference of Resilient SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Learning Cellular Automata Represented as Logic ProgramsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on Advanced Systems of Efficient Hypothesis FindingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

INOUE Katsumi 井上克巳