Professor of Wakayama University/Hagoromo University of International Studies
sakama@wakayama-u.ac.jp
Editorial board member of Journal of Artificial Intelligence Research (2013.7-).
Editorial advisor of Theory and Practice of Logic Programming (2021.1-).
Program committee member of
40th AAAI Conference on Artificial Intelligence (AAAI), Singapore, January 2026.
42th International Conference on Logic Programming (ICLP), Lisbon, Portugal, July 2026.
23rd International Conference on Principles of Knowledge Representation and Reasoning (KR), Lisbon, Portugal, July 2026.
11th International Conference on Computational Models of Argument (COMMA 2026), Barcelona, Spain, September 2026.
19th Annual Conference on Artificial General Intelligence (AGI-26), San Francisco, USA, July 2026.
18th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-26), Klagenfurt, Austria, September 2026.
19th
omputaof Argument (COMMA 2026) 1nal Conference on Computational Models of Argument (COMMA 2026)
九夏社 2025年3月発行
論理は現実世界での推論とどのように関係しており, どう応用できるのか?論理型プログラミング言語Prologへの貢献でも著名な R. コワルスキ博士がロジックを敢えてインフォーマルに語る。Neuro 全盛の今だからこそ,Symbolic AI を考える。
岩波ジュニア新書 2021年5月発行
三角形の内角の和はなぜ180°になる? なぜ割り算はゼロで割ってはいけない? なぜマイナス×マイナスはプラスになる? 円周率はなぜ一定の値なの?…。「当たり前」だけどうまく説明できない「数学のなぜ?」をわかりやすく解説します。考えることの面白さに気づき、数学の魅力を再発見する1冊です。