| 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, 3501-3507, 2020 | 127 | 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 | 89 | 2010 |
| Computing abduction using the TMS K Satoh Proc. ICLP'91, 505-518, 1991 | 86 | 1991 |
| A unified view of consequence relation, belief revision and conditional logic H Katsuno, K Satoh Institute for New Generation Computer Technology, 1991 | 78 | 1991 |
| 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 | 74 | 2019 |
| 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 | 68 | 2019 |
| Consistency checking algorithms for restricted UML class diagrams K Kaneiwa, K Satoh International Symposium on Foundations of Information and Knowledge Systems …, 2006 | 66 | 2006 |
| 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 | 64 | 2000 |
| 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 | 62 | 2020 |
| 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 | 58 | 2022 |
| 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 | 57 | 2018 |
| A query evaluation method for abductive logic programming K Satoh Proc. JICSLP'92, 671-685, 1992 | 57 | 1992 |
| Abstract argumentation for case-based reasoning K Čyras, K Satoh, F Toni Proceedings of the Fifteenth International Conference on Principles of …, 2016 | 52 | 2016 |
| 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 | 50 | 2021 |
| Speculative computation with multi-agent belief revision K Satoh, K Yamamoto Proceedings of the first international joint conference on Autonomous agents …, 2002 | 50 | 2002 |
| Formalizing soft constraints by interpretation ordering K Satoh Proc. of 9th European Conference on Artificial Intelligence (ECAI 1990), 1990 | 47 | 1990 |
| 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 | 46 | 2019 |
| An average-case analysis of k-nearest neighbor classifier S Okamoto, K Satoh International Conference on Case-Based Reasoning, 253-264, 1995 | 46 | 1995 |
| Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs. S Minato, K Satoh, T Sato IJCAI 2007, 2550-2555, 2007 | 42 | 2007 |
