| Nonmonotonic reasoning by minimal belief revision K Satoh Proceedings of the international conference on fifth generation computer …, 1988 | 228 | 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 | 222 | 2020 |
| ODRL policy modelling and compliance checking M De Vos, S Kirrane, J Padget, K Satoh International Joint Conference on Rules and Reasoning, 36-51, 2019 | 124 | 2019 |
| 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 | 119 | 2010 |
| 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 | 113 | 2022 |
| 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 | 102 | 2019 |
| Computing abduction using the TMS K Satoh Proc. ICLP'91, 505-518, 1991 | 93 | 1991 |
| COLIEE 2020: methods for legal document retrieval and entailment J Rabelo, MY Kim, R Goebel, M Yoshioka, Y Kano, K Satoh JSAI International Symposium on Artificial Intelligence, 196-210, 2020 | 83 | 2020 |
| A summary of the COLIEE 2019 competition J Rabelo, MY Kim, R Goebel, M Yoshioka, Y Kano, K Satoh Jsai international symposium on artificial intelligence, 34-49, 2019 | 81 | 2019 |
| A unified view of consequence relation, belief revision and conditional logic H Katsuno, K Satoh Institute for New Generation Computer Technology, 1991 | 78 | 1991 |
| 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 (2), 169-199, 2018 | 73 | 2018 |
| Abstract argumentation for case-based reasoning K Čyras, K Satoh, F Toni Proceedings of the Fifteenth International Conference on Principles of …, 2016 | 70 | 2016 |
| Consistency checking algorithms for restricted UML class diagrams K Kaneiwa, K Satoh International Symposium on Foundations of Information and Knowledge Systems …, 2006 | 69 | 2006 |
| 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 (4), 441-467, 2020 | 66 | 2020 |
| 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 |
| Coliee 2022 summary: Methods for legal document retrieval and entailment MY Kim, J Rabelo, R Goebel, M Yoshioka, Y Kano, K Satoh Jsai international symposium on artificial intelligence, 51-67, 2022 | 60 | 2022 |
| Summary of the competition on legal information, extraction/entailment (COLIEE) 2023 R Goebel, Y Kano, MY Kim, J Rabelo, K Satoh, M Yoshioka Proceedings of the nineteenth international conference on artificial …, 2023 | 59 | 2023 |
| A query evaluation method for abductive logic programming K Satoh Proc. JICSLP'92, 671-685, 1992 | 59 | 1992 |
| 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, ... JSAI International Symposium on Artificial Intelligence, 177-192, 2018 | 56 | 2018 |
| Speculative computation with multi-agent belief revision K Satoh, K Yamamoto Proceedings of the first international joint conference on Autonomous agents …, 2002 | 52 | 2002 |
