| Nonmonotonic reasoning by minimal belief revision K Satoh Proceedings of the international conference on fifth generation computer …, 1988 | 226 | 1988 |
| BERT-PLI: Modeling paragraph-level interactions for legal case retrieval. Y Shao, J Mao, Y Liu, W Ma, K Satoh, M Zhang, S Ma IJCAI 2020, 3501-3507, 2020 | 174 | 2020 |
| PROLEG: an implementation of the presupposed ultimate fact theory of Japanese civil code by PROLOG technology K Satoh, K Asai, T Kogawa, M Kubota, M Nakamura, Y Nishigai, ... JSAI international symposium on artificial intelligence, 153-164, 2010 | 104 | 2010 |
| ODRL policy modelling and compliance checking M De Vos, S Kirrane, J Padget, K Satoh Rules and Reasoning: Third International Joint Conference, RuleML+ RR 2019 …, 2019 | 98 | 2019 |
| Building legal case retrieval systems with lexical matching and summarization using a pre-trained phrase scoring model V Tran, ML Nguyen, K Satoh Proceedings of the seventeenth international conference on artificial …, 2019 | 92 | 2019 |
| Computing abduction using the TMS K Satoh Proc. ICLP'91, 505-518, 1991 | 89 | 1991 |
| Overview and discussion of the competition on legal information extraction/entailment (COLIEE) 2021 J Rabelo, R Goebel, MY Kim, Y Kano, M Yoshioka, K Satoh The Review of Socionetwork Strategies 16 (1), 111-133, 2022 | 86 | 2022 |
| A summary of the COLIEE 2019 competition J Rabelo, MY Kim, R Goebel, M Yoshioka, Y Kano, K Satoh New Frontiers in Artificial Intelligence: JSAI-isAI International Workshops …, 2020 | 76 | 2020 |
| A unified view of consequence relation, belief revision and conditional logic H Katsuno, K Satoh Institute for New Generation Computer Technology, 1991 | 76 | 1991 |
| Consistency checking algorithms for restricted UML class diagrams K Kaneiwa, K Satoh International Symposium on Foundations of Information and Knowledge Systems …, 2006 | 69 | 2006 |
| COLIEE 2020: methods for legal document retrieval and entailment J Rabelo, MY Kim, R Goebel, M Yoshioka, Y Kano, K Satoh New Frontiers in Artificial Intelligence: JSAI-isAI 2020 Workshops, JURISIN …, 2021 | 67 | 2021 |
| Speculative computation by abduction under incomplete communication environments K Satoh, K Inoue, K Iwanuma, C Sakama Proceedings Fourth International Conference on MultiAgent Systems, 263-270, 2000 | 66 | 2000 |
| Recurrent neural network-based models for recognizing requisite and effectuation parts in legal texts TS Nguyen, LM Nguyen, S Tojo, K Satoh, A Shimazu Artificial Intelligence and Law 26, 169-199, 2018 | 60 | 2018 |
| Abstract argumentation for case-based reasoning K Čyras, K Satoh, F Toni Proceedings of the Fifteenth International Conference on Principles of …, 2016 | 57 | 2016 |
| A query evaluation method for abductive logic programming K Satoh Proc. JICSLP'92, 671-685, 1992 | 56 | 1992 |
| Encoded summarization: summarizing documents into continuous vector space for legal case retrieval V Tran, M Le Nguyen, S Tojo, K Satoh Artificial Intelligence and Law 28, 441-467, 2020 | 54 | 2020 |
| Coliee-2018: Evaluation of the competition on legal information extraction and entailment Y Kano, MY Kim, M Yoshioka, Y Lu, J Rabelo, N Kiyota, R Goebel, ... New Frontiers in Artificial Intelligence: JSAI-isAI 2018 Workshops, JURISIN …, 2019 | 53 | 2019 |
| Speculative computation with multi-agent belief revision K Satoh, K Yamamoto Proceedings of the first international joint conference on Autonomous agents …, 2002 | 51 | 2002 |
| Normative design using inductive learning D Corapi, A Russo, M De Vos, J Padget, K Satoh Theory and Practice of Logic Programming 11 (4-5), 783-799, 2011 | 48 | 2011 |
| An average-case analysis of k-nearest neighbor classifier S Okamoto, K Satoh International Conference on Case-Based Reasoning, 253-264, 1995 | 47 | 1995 |
