佐藤健

J-GLOBALへ         更新日: 17/05/22 10:51
 
アバター
研究者氏名
佐藤健
eメール
ksatohnii.ac.jp
所属
国立情報学研究所
部署
情報学プリンシプル研究系
職名
教授
学位
博士(理学)(東京大学), 法務博士(専門職)
その他の所属
総合研究大学院大学

研究分野

 
 

受賞

 
2016年6月
人工知能学会 功労賞
 

論文

 
Describing Legal Policies as Story Tropes in Normative Systems
Matthew Thompson, Julian Padget, Ken Satoh:
Proceedings of JURIX 2016   207-210   2016年12月   [査読有り]
Voluntary Manslaughter? Intention-to-Kill in Meta-Argumentation with Supports
Arisaka, R., Satoh, K.,
Proceedings of the 10th International Workshop on Juris-Informatics (JURISIN 2016)   45-58   2016年11月   [査読有り]
Modeling Attempted Crime in Criminal Law
Pooksook, J., Dung, P. M., Satoh, K.
Proceedings of the 10th International Workshop on Juris-Informatics (JURISIN 2016)   59-72   2016年11月   [査読有り]
Explanation for Case-Based Reasoning via Abstract Argumentation
Cyras, K., Satoh, K., Toni, F.
Proceedings of COMMA 2016, Frontiers in Artificial Intelligence and Applications 287   243-254   2016年   [査読有り]
Balancing Rationality and Utility in Logic-Based Argumentation with Classical Logic Sentences and Belief Contraction
Arisaka, R., Satoh, K.,
Proceedings of 19th International Conference on Princiles and Practice of Multi-Agent Systems (PRIMA 2016), LNCS 9862   168-180   2016年   [査読有り]
Orientation System Based on Speculative Computation and Trajectory Mining
Ramos, J., Oliveira, T., Satoh, K., Neves, J., Novais, P.,
Highlights of Practical Applications of Scalable Multi-Agent Systems, The PAAMS Collection, CCIS 616   250-261   2016年   [査読有り]
Abstract Argumentation for Case-Based Reasoning
Cyras, K., Satoh, K., Toni, F.
Proc. of KR 2016   549-552   2016年   [査読有り]
An Alert Mechanism for Orientation Systems based on Speculative Computation
Ramos, J., Oliveira, T., Novais, P., Neves, J., Satoh, K.
Proc. of 2015 International Symposium on INnovations in Intelligent SysTems and Applications (INISTA 2015),   1-8   2015年   [査読有り]
Inductive Learning Using Constraint-Driven Bias
Athakravi, D., Alrajeh, D., Law, M., Broda, K., Russo, A., and Satoh, K.
Inductive Logic Programming 24th International Conference, ILP 2014   LNAI9046 16-32   2015年   [査読有り]
Argumentation-based Normative Practical Reasoning
Shams, Z., de Vos, M., Oren, N., Padget, J., and Satoh, K.
Theory and Applications of Formal Argumentation Third International Workshop, TAFA 2015   LNAI9524 226-242   2015年   [査読有り]
Debugging ASP using ILP
Li, T., De Vos, M., Padget, J., Satoh, K., and Balke, T.,
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015)      2015年   [査読有り]
A Reasoning Module for Distributed Clinical Decision Support Systems
Oliveira, T., Satoh, K., Novais, P., Neves, J., Lietao, P., and Hosobe H
Proceedings of 9th International Symposium on Intelligent Distributed Computing (IDC'2015)   387-397   2015年   [査読有り]
Characterising and Explaining Inconsistency in Logic Programs
Schulz, C., Satoh, K., and Toni, F.
Proceedings of 13th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2015)   LNAI9395 467-479   2015年   [査読有り]
Automated Inference of Rules with Exception from Past Legal Cases Using ASP
Athakravi, D., Satoh, K.,, Law, M., Broda, K., and Russo, A
Proceedings of 13th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2015)   LNAI9395 83-96   2015年   [査読有り]
A Logic-based System for Recognizing Textual Entailment Applied to the Bar Exam Competition
Miyao Y., and Satoh, K.
Proceedings of the 8th International Workshop on Juris-informatics   130-138   2014年11月   [査読有り]
ArgPROLEG: A Normative Framework for The JUF Theory
Shams, Z., De Vos, M., and Satoh K.
New Frontiers in Artificial Intelligence: JSAI-isAI 2013 Workshops, Revised Selected Papers, LNAI 8417   183-198   2014年6月   [査読有り]
Answering Yes/No Questions in Legal Bar Exams
Kim, M-Y., Xu, Y., Goebel, R., and Satoh, K.,
New Frontiers in Artificial Intelligence: JSAI-isAI 2013 Workshops, Revised Selected Papers, LNAI 8417   199-213   2014年6月   [査読有り]
Logic-based and Robust Desicion Making for Robots in Real World
Fujita, M., Goto, Y., Nide, N., Satoh, K., Hosobe, H.
Proc. of AAMAS 2014   1685-1686   2014年   [査読有り]
On Requirements Representation and Reasoning Using Answer Set Programming
Padget, J., Elakehal, E. E., Satoh, K., Ishikawa, F.,
Proc. of The 1st International Workshop on Artificial Intelligence for Requirements Engineering (AIRE 2014)   35-42   2014年   [査読有り]
Legal Reasoning Engine for Civil Court Procedure
Tantisripreecha, T., Satoh, K., and Nuanwan, S.
Proceedings of The 10th International Conference on Intelligent Computing   500-512   2014年   [査読有り]

Misc

 
佐藤健
New Generation Computing   30(4) 297-326   2012年10月   [査読有り][依頼有り]
論理に基づく人工知能の法学への応用
佐藤健
コンピュータソフトウェア   27(3) 36-44   2010年7月   [査読有り][依頼有り]
マルチエージェントシステムにおける論理プログラミング
佐藤健、Fariba Sadri
人工知能学会誌   25(3)    2010年5月   [査読有り][依頼有り]
論理コンピューティング
佐藤 健, Marina De Vos
人工知能学会学会誌   23(5) 677-686   2008年11月   [査読有り][依頼有り]

書籍等出版物

 
人工知能学辞典
人工知能学会 (編)
未入力   2005年12月   
インターネットが電話になった (丸善ライブラリー)
未入力
丸善   2005年2月   
Handbook of Software Engineering and Knowledge Engineering, Vol. 2
Shi-Kuo Chang (ed.)
World Scientific   2002年1月   
認知科学辞典
日本認知科学会編
未入力   2002年1月   
CD-ROM 世界大百科辞典
未入力
日立デジタル平凡社   1998年1月