Rchr
J-GLOBAL ID:200901039265074164
Update date: Sep. 19, 2024
Sakama Chiaki
サカマ チアキ | Sakama Chiaki
Affiliation and department:
Job title:
Professor
Homepage URL (1):
http://web.wakayama-u.ac.jp/~sakama
Research field (1):
Intelligent informatics
Research keywords (7):
Artificial Intelligence
, Knowledge Representation and Reasoning
, Formal Argumentation
, computational logic
, multiagent system
, Program Transformation
, Logic Programming
Research theme for competitive and other funds (14):
- 2021 - 2025 Robust AI by Integration of Knowledge Representation and Machine Learning
- 2018 - 2022 Development of advanced inference technologies for huge knowledge graphs in tensor spaces
- 2017 - 2021 Learning Relational Dynamics from State Transition
- 2014 - 2016 Learning Cellular Automata Represented as Logic Programs
- 2012 - 2016 A study on dishonest agents
- 2008 - 2011 Inference-based Hypothesis-finding and its Application to Systems Biology
- 2008 - 2011 Inference Mechanism of Social Intelligence in Multiagent Systems
- 2005 - 2007 Computational Logic for Social Abilities in Multiagent Systems
- 2003 - 2005 Ordering Nonmonotonic Logic Program and its Application to Inductive Learning
- 2001 - 2003 Construction of multi-agent systems with speculative computation
- 2000 - 2001 Research on Inverse Entailment in Nonmonotonic Logic Programming
- 1999 - 2000 Construction of Logical Multi-Agent System under Incomplete Information Environment
- 1999 - 1999 アブダクションと帰納推論の融合による知識発見に関する研究
- 1998 - 1999 アブダクションを使った帰納的学習に関する研究
Show all
Papers (138):
-
Chiaki Sakama. Human Conditional Reasoning in Answer Set Programming. Theory and Practice of Logic Programming. 2024. 24. 1. 157-192
-
Thomas Ågotnes, Chiaki Sakama. A Formal Analysis of Hollis' Paradox. Lecture Notes in Computer Science. 2023. 14329. 306-321
-
Tuan Nguyen, Katsumi Inoue, Chiaki Sakama. Linear Algebraic Abduction with Partial Evaluation. Practical Aspects of Declarative Languages. 2023. 197-215
-
Chiaki Sakama, Tran Cao Son. Interlinking Logic Programs and Argumentation Frameworks. LPNMR. 2022. 322-335
-
Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama. Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation. New Generation Computing. 2022. 40. 1. 225-254
more...
MISC (23):
-
西尾 佳瑶子, 坂間 千秋. 機械学習を用いた中学校体育ダンス授業支援システムの開発. 情報処理学会 コンピュータと教育研究会 169回研究発表会. 2023
-
森岡 勇介, 坂間 千秋. 詰将棋における指し手の意味の説明が可能なAIシステムの構築. 情報処理学会第49回ゲーム情報学研究発表会. 2023
-
今中 滉大, 坂間 千秋. 再帰型ニューラルネットワークによる航空券の需要予測. 第34回人工知能学会全国大会. 2020
-
Reasoning and Programming in Artificial Intelligence. 2019. 34. 5. 703-713
-
Agent-based Negotiation with Q-learning. 2014. 72. 14-18
more...
Books (4):
-
Declarative Agent Languages and Technologies IX
Lecture Notes in Artificial Intelligence 7169, Springer-Verlag 2012
-
Towards the Integration of Inductive and Nonmonotonic Logic Programming
Progress in Discovery Science, Lecture Notes in Artificial Intelligence, vol.2281, Springer-Verlag 2002
-
Abductive Generalization and specialization
Abduction and Induction-Essays on their Relation and Integration, Kluwer Academic 2000
-
Handling Knowledge by its Representative(jointly worked)
Expert Database Systems, Beujamin/Cummings Publishers 1989
Education (2):
- 1995 - 現在 Kyoto University Graduate School of Engineering Dr Engineering
- - 1985 Kyoto University Faculty of Engineering Dept. Information Science
Professional career (1):
- Doctor of Engineering (Kyoto University)
Work history (7):
- 2005/04 - 現在 Wakayama University Faculty of Systems Engineering Professor
- 2002/04 - 2005/03 Wakayama University Center for Information Science Professor
- 1996/04 - 2002/03 Wakayama University Faculty of Systems Engineering Associate Professor
- 1995/04 - 1996/03 Wakayama University Faculty of Systems Engineering Lecturer
- 1989/05 - 1995/03 Advanced Software Technology and Mechtronics Research Institute Researcher
- 1985/04 - 1989/04 Toshiba Corporation Researcher
- 1986/04 - 1989/03 Institute for New Generation Computer Technology Researcher
Show all
Awards (1):
- 2017/08 - 10th International Conference on Knowledge Science, Engineering and Management Best Paper Award Linear Algebraic Characterization of Logic Programs
Return to Previous Page