| Nonmonotonic reasoning by minimal belief revision K Satoh Institute for New Generation Computer Technology, 1988 | 220 | 1988 |
| Computing abduction using the TMS K Satoh Proc. ICLP'91, 505-518, 1991 | 88 | 1991 |
| A unified view of consequence relation, belief revision and conditional logic H Katsuno, K Satoh Institute for New Generation Computer Technology, 1991 | 74 | 1991 |
| 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, ... New Frontiers in Artificial Intelligence: JSAI-isAI 2010 Workshops, LENLS …, 2011 | 71 | 2011 |
| 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 | 67 | 2020 |
| Consistency checking algorithms for restricted UML class diagrams K Kaneiwa, K Satoh Foundations of Information and Knowledge Systems: 4th International …, 2006 | 63 | 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 | 63 | 2000 |
| 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 | 57 | 2019 |
| A query evaluation method for abductive logic programming K Satoh Proc. JICSLP'92, 671-685, 1992 | 53 | 1992 |
| 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 | 51 | 2019 |
| Speculative computation with multi-agent belief revision K Satoh, K Yamamoto Proceedings of the first international joint conference on Autonomous agents …, 2002 | 49 | 2002 |
| An average-case analysis of k-nearest neighbor classifier S Okamoto, K Satoh Case-Based Reasoning Research and Development: First International …, 1995 | 48 | 1995 |
| Formalizing soft constraints by interpretation ordering K Satoh Proc. of the Logic Programming Conference, 135-142, 1990 | 46 | 1990 |
| 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 | 45 | 2018 |
| 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 | 42 | 2020 |
| 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 | 42 | 2011 |
| Abstract Argumentation for Case-Based Reasoning. K Cyras, K Satoh, F Toni AAAI Press, 2016 | 41 | 2016 |
| Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs. S Minato, K Satoh, T Sato IJCAI 2007, 2550-2555, 2007 | 41 | 2007 |
| 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 | 37 | 2019 |
| KABU-WAKE: A New Parallel Inference Method and Its Evaluation. K Kumon, H Masuzawa, A Itashiki, K Satoh, Y Sohma COMPCON, 168-172, 1986 | 37 | 1986 |
