坂間千秋 (Chiaki Sakama) - マイポータル

基本情報

所属: 和歌山大学システム工学部教授

学位: 博士(工学)(京都大学)

J-GLOBAL ID: 200901039265074164
researchmap会員ID: 1000206626

外部リンク: http://web.wakayama-u.ac.jp/~sakama

研究キーワード

研究分野

情報通信 / 知能情報学 /

経歴

2005年4月 - 現在

和歌山大学, システム工学部, 教授
2002年4月 - 2005年3月

和歌山大学, システム情報学センター, 教授
1996年4月 - 2002年3月

和歌山大学, システム工学部, 助教授
1995年4月 - 1996年3月

和歌山大学, システム工学部, 講師
1989年5月 - 1995年3月

(財)京都高度技術研究所, 研究員
1985年4月 - 1989年4月

(株)東芝総合研究所, 研究員
1986年4月 - 1989年3月

(財)新世代コンピュータ技術開発機構(ICOT), 研究員

学歴

1995年1月 - 現在

京都大学, 大学院工学研究科, 博士(工学)
- 1985年3月

京都大学, 工学部, 情報工学科

受賞

2017年8月

Best Paper Award, Linear Algebraic Characterization of Logic Programs, 10th International Conference on Knowledge Science, Engineering and Management

Chiaki Sakama, Katsumi Inoue, Taisuke Sato

論文

139

On Automatic Generation of Escher-Like Metamorphosis

Shunsuke Nakamatsu, Chiaki Sakama

Multi-disciplinary Trends in Artificial Intelligence - 17th International Conference, MIWAI 2024, Proceedings, Lecture Notes in Computer Science 15431 419-431 2024年11月査読有り最終著者
Linear Algebraic Partial Evaluation of Logic Programs

Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama

Proceedings of IEEE 36th International Conference on Tools with Artificial Intelligence (ICTAI) 355-362 2024年11月査読有り
Argument and Belief

Chiaki Sakama

Proceedings of the 10th International Conference on Computational Models of Argument (COMMA) 241-252 2024年9月査読有り筆頭著者
Human Conditional Reasoning in Answer Set Programming

Chiaki Sakama

Theory and Practice of Logic Programming 24(1) 157-192 2024年1月査読有り筆頭著者
A Formal Analysis of Hollis' Paradox

Thomas Ågotnes, Chiaki Sakama

Lecture Notes in Computer Science 14329 306-321 2023年10月査読有り最終著者
Linear Algebraic Abduction with Partial Evaluation

Tuan Nguyen, Katsumi Inoue, Chiaki Sakama

Practical Aspects of Declarative Languages 197-215 2023年
Interlinking Logic Programs and Argumentation Frameworks

Chiaki Sakama, Tran Cao Son

19th International Workshop on Non-Monotonic Reasoning (NMR-2021) 322-335 2022年11月査読有り筆頭著者
Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation.

Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama

New Generation Computing 40(1) 225-254 2022年
Predicting Air Ticket Demand using Deep Neural Networks

Kodai Imanaka, Chiaki Sakama

IEEE International Conference on Big Data 2021年12月査読有り責任著者
Logic programming in tensor spaces.

Chiaki Sakama, Katsumi Inoue, Taisuke Sato

Annals of Mathematics and Artificial Intelligence 89(12) 1133-1153 2021年12月査読有り筆頭著者
Linear Algebraic Computation of Propositional Horn Abduction

Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama

IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI) 240-247 2021年11月査読有り
Feature Learning by Least Generalization

Hien D. Nguyen, Chiaki Sakama

30th International Conference on Inductive Logic Programming/1st International Joint Conference on Learning & Reasoning (IJCLR) 2021年10月査読有り責任著者
Deception in Epistemic Causal Logic

Chiaki Sakama

2nd International Workshop on Deceptive AI 2021年8月査読有り筆頭著者
An Efficient Reasoning Method on Logic Programming using Partial Evaluation in Vector Spaces

Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue

Journal of Logic and Computation 31(5) 1298-1316 2021年3月査読有り責任著者
Epistemic Argumentation Framework: Theory and Computation

Chiaki Sakama, Tran Cao Son

Journal of Artificial Intelligence Research 69 1103-1126 2020年11月査読有り筆頭著者
A Principle-based Robustness Analysis of Admissibility-based Argumentation Semantics

Tjitze Rienstra, Chiaki Sakama, Leendert van der Torre, Beishui Liao

Argument & Computation 11(3) 305-339 2020年11月査読有り
Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation

Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama

Proceedings 36th International Conference on Logic Programming (Technical Communications), EPTCS 325 40(1) 192-205 2020年9月査読有り最終著者
From 3-valued Semantics to Supported Model Computation for Logic Programs in Vector Spaces.

Taisuke Sato, Chiaki Sakama, Katsumi Inoue

In: Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2020; Valletta, Malta, 22-24 February 2020) 758-765 2020年2月査読有り
Ordering Argumentation Frameworks.

Chiaki Sakama, Katsumi Inoue

in: Proceedings of the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2019), Lecture Notes in Artificial Intelligence 11726 87-98 2019年9月査読有り筆頭著者
A New Algorithm for Computing Least Generalization of a Set of Atoms

Hien D. Nguyen, Chiaki Sakama

in: Proceedings of the 29th International Conference on Inductive Logic Programming (ILP 2019 2019年8月査読有り

もっとみる

MISC

人工知能の今(第4回)推論とAIプログラミング

井上克巳, 坂間千秋, 佐藤泰介

人工知能 : 人工知能学会誌 : journal of the Japanese Society for Artificial Intelligence 34(5) 703-713 2019年9月
Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning (LNMR 2013, Corunna, Spain)

Katsumi Inoue, Chiaki Sakama

CoRR arXiv:1311.4639, 2013 2013年
アクション言語(<特集>論理に基づく推論研究の動向)

ソントランカオ, 坂間千秋, Tran Cao Son, Chiaki Sakama

人工知能学会誌 = Journal of Japanese Society for Artificial Intelligence 25(3) 379-388 2010年5月1日
解集合プログラミング(<特集>論理に基づく推論研究の動向)

坂間千秋, 井上克巳, Chiaki Sakama, Katsumi Inoue

人工知能学会誌 = Journal of Japanese Society for Artificial Intelligence 25(3) 368-378 2010年5月1日
特集「論理に基づく推論研究の動向」にあたって

坂間千秋, 井上克巳, Chiaki Sakama, Katsumi Inoue

人工知能学会誌 = Journal of Japanese Society for Artificial Intelligence 25(3) 366-367 2010年5月1日
Answer Set Programming (in Japanese). Survey paper

Chiaki Sakama, Katsumi Inoue

Journal of the Japanese Society for Artificial Intelligence 25(3) 368-378 2010年
論理プログラミングから解集合プログラミングへ

井上克巳, 坂間千秋

コンピュータソフトウェア 25(3) 20-32 2008年7月25日
優先的解集合の論理プログラミングによる計算

若木利子, 井上克巳, 坂間千秋, 新田克巳

電子情報通信学会技術研究報告. AI, 人工知能と知識処理 103(103) 23-28 2003年5月29日
アブダクションを使った帰納的学習について

坂間千秋

人工知能基礎論研究会 (37) 57-60 1999年7月7日
Studies on Disjunctive Logic Programming

Chiaki Sakama

Dissertation, Kyoto University 1994年筆頭著者
Foundations of Disjunctive Logic Programming/J.Lobo,J.Minker,A.Rajasekar(1992)

坂間千秋, Chiaki Sakama, (財)京都高度技術研究所, Advanced Software Technology and Mechatronics Research Institute of Kyoto (ASTEM).

コンピュ-タソフトウェア 10(5) p447-449 1993年9月
Foundations of Disjunctive Logic Programming, J. Lobo, J. Minker, and A. Rajasekar, The MIT Press, 1992, 307 pages

坂間千秋

コンピュータソフトウェア 10(5) 5_447-5_449 1993年筆頭著者
非ホーン論理プログラム

坂間千秋

人工知能学会誌 = Journal of Japanese Society for Artificial Intelligence 6(3) 443-444 1991年5月1日
知識ベースにおける部分評価

坂間千秋, 森田幸伯, 伊藤英則

全国大会講演論文集 33 1353-1354 1986年10月1日

書籍等出版物

計算論理と人間の思考 : 推論AIへの論理的アプローチ

Kowalski, Robert, 尾崎, 竜史, 伊藤, 武芳, 坂間, 千秋 (担当:監修)

九夏社 2025年3月 (ISBN: 9784909240064)
深掘り!中学数学 : 教科書に書かれていない数学の話

坂間, 千秋

岩波書店 2021年5月 (ISBN: 9784005009343)
Declarative Agent Languages and Technologies IX

Chiaki Sakama, Sebastian Sardina, Wamberto Vasconcelos, Michael Winikoff (担当:編者(編著者))

Lecture Notes in Artificial Intelligence 7169, Springer-Verlag 2012年
Towards the Integration of Inductive and Nonmonotonic Logic Programming

Setsuo Arikawa, Ayumi Shinohara (担当:分担執筆, 範囲:pages 178-188)

Progress in Discovery Science, Lecture Notes in Artificial Intelligence, vol.2281, Springer-Verlag 2002年
Abductive Generalization and specialization

Peter A. Flach, Antonis C. Kakas (担当:分担執筆, 範囲:253-265)

Abduction and Induction-Essays on their Relation and Integration, Kluwer Academic 2000年
Handling Knowledge by its Representative(jointly worked)

L. Kerschberg (担当:分担執筆, 範囲:551-565)

Expert Database Systems, Beujamin/Cummings Publishers 1989年

講演・口頭発表等

生成AI を使った感情理解支援のための絵カードの生成

謝花匠, 坂間千秋

人工知能学会第103回言語・音声理解と対話処理研究会 2025年3月22日
ニューラル・セル・オートマトンによる手書き文字認識と画像分類について

中井湖太郎, 坂間千秋

人工知能学会全国大会（第38回） 2024年5月29日
マルチモーダルに感情表現する絵本読み聞かせAIシステムの開発

大内リリアナ寧々, 坂間千秋

HAIシンポジウム 2024 2024年3月5日
自律移動物体を捕獲するセンサ搭載型ソフトロボットの共最適化について

中野裕介, 坂間千秋

人工知能学会第8回人工生命研究会ワークショップ 2023年11月25日
エッシャー風メタモルフォーゼの自動生成について

中松俊輔, 坂間千秋

人工知能学会全国大会（第37回） 2023年6月6日
詰将棋における指し手の意味の説明が可能なAIシステムの構築

森岡勇介, 坂間千秋

情報処理学会第49回ゲーム情報学研究発表会 2023年3月17日
機械学習を用いた中学校体育ダンス授業支援システムの開発

西尾佳瑶子, 坂間千秋

情報処理学会コンピュータと教育研究会 169回研究発表会 2023年3月11日
再帰型ニューラルネットワークによる航空券の需要予測

今中滉大, 坂間千秋

第34回人工知能学会全国大会 2020年6月9日
マルチエージェント協働環境における利己的なエージェントの進化

下地竜起, 坂間千秋

人工知能学会第72回先進的学習科学と工学研究会 2014年11月22日
Q学習を用いたエージェント交渉モデル

北浦愼也, 坂間千秋

人工知能学会第72回先進的学習科学と工学研究会 2014年11月22日
ネット商取引のゲーム理論的解析 : カスタマーレビューが購買活動に与える影響について

吉田明弘, 坂間千秋

電子情報通信学会技術研究報告 : 信学技報 112(383) 5-9 2013年1月22日
擬似ライフゲームの分類に関する一考察

高田祐輔, 坂間千秋

情報処理学会第91回数理モデル化と問題解決（MPS）研究会 2012年12月6日
概念学習における事例収集のための知識循環モデルの構築

山本匡, 坂間千秋

情報処理学会マルチメディア通信と分散処理（DPS）研究会 2011年9月8日
事例を用いたセルオートマトンのルール生成

前田憲一, 坂間千秋

人工知能学会第57回知識ベ-スシステム研究会 2002年9月10日

共同研究・競争的資金等の研究課題

知識表現・推論と機械学習の統合によるロバストAIの実現

日本学術振興会科学研究費助成事業基盤研究(A) 2021年4月 - 2025年3月

井上克巳, 坂間千秋, Nicolas Schwind, 小島諒介, Phua Yin・Jun
テンソル空間における巨大知識グラフのための高次推論技術の開発

日本学術振興会科学研究費助成事業基盤研究(B) 基盤研究(B) 2018年4月 - 2022年3月

坂間千秋, 井上克巳, 林克彦
状態遷移列からの関係ダイナミクス学習

日本学術振興会科学研究費助成事業基盤研究(A) 基盤研究(A) 2017年4月 - 2021年3月

井上克巳, 坂間千秋, 沖本天太, Nicolas Schwind
論理プログラム表現に基づくセルオートマトン遷移規則学習

日本学術振興会科学研究費助成事業挑戦的萌芽研究挑戦的萌芽研究 2014年4月 - 2016年3月

井上克巳, 坂間千秋
不誠実なエージェントに関する研究

日本学術振興会科学研究費助成事業基盤研究(C) 基盤研究(C) 2012年4月 - 2016年3月

坂間千秋
推論による仮説発見とシステム生物学への応用

日本学術振興会科学研究費助成事業基盤研究(A) 基盤研究(A) 2008年 - 2011年

井上克巳, 佐藤泰介, 亀谷由隆, 岩沼宏治, 鍋島英知, 山本泰生, 坂間千秋, 藤山秋佐夫
マルチエージェントシステムにおける社会知能の推論メカニズムに関する研究

日本学術振興会科学研究費助成事業基盤研究(C) 基盤研究(C) 2008年 - 2011年

坂間千秋, 井上克己
知的エージェント社会における社交的行動の計算論理に関する研究

日本学術振興会科学研究費助成事業基盤研究(C) 基盤研究(C) 2005年 - 2007年

坂間千秋
デフォルト知識を含む論理プログラムの順序化と帰納推論への応用に関する研究

日本学術振興会科学研究費助成事業基盤研究(C) 基盤研究(C) 2003年4月 - 2005年3月

坂間千秋
先行投機的処理機能を持つマルチエージェントシステムの構築

日本学術振興会科学研究費助成事業基盤研究(A) 基盤研究(A) 2001年 - 2003年

佐藤健, 北村泰彦, 岩沼宏治, 井上克巳, 鍋島英知, 坂間千秋, 尾崎暢
非単調論理プログラミングにおける逆伴意法に関する研究

日本学術振興会科学研究費助成事業基盤研究(C) 基盤研究(C) 2000年 - 2001年

坂間千秋
不完全通信環境下における論理型マルチエージェントシステムの構築

日本学術振興会科学研究費助成事業基盤研究(B) 基盤研究(B) 1999年 - 2000年

佐藤健, 岩沼宏治, 坂間千秋, 井上克巳
アブダクションと帰納推論の融合による知識発見に関する研究

日本学術振興会科学研究費助成事業特定領域研究(A) 特定領域研究(A) 1999年 - 1999年

坂間千秋, 井上克巳
アブダクションを使った帰納的学習に関する研究

日本学術振興会科学研究費助成事業奨励研究(A) 奨励研究(A) 1998年 - 1999年

坂間千秋

坂間千秋

基本情報

研究キーワード

研究分野

経歴

学歴

受賞

論文

MISC

書籍等出版物

講演・口頭発表等

共同研究・競争的資金等の研究課題

メニュー

共著者の一覧