| Nonmonotonic reasoning by minimal belief revision K Satoh Institute for New Generation Computer Technology, 1988 | 222 | 1988 |
| Computing abduction using the TMS K Satoh Proc. ICLP'91, 505-518, 1991 | 87 | 1991 |
| 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 | 86 | 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 | 83 | 2010 |
| 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 | 65 | 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 |
| 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 | 61 | 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 | 60 | 2019 |
| A query evaluation method for abductive logic programming K Satoh Proc. JICSLP'92, 671-685, 1992 | 55 | 1992 |
| 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 | 53 | 2020 |
| 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 | 50 | 2018 |
| A Gbit-scale DRAM stacked capacitor technology with ECR MOCVD SrTiO/sub 3/and RIE patterned RuO/sub 2/TiN storage nodes PY Lesaicherre, S Yamamichi, H Yamaguchi, K Takemura, H Watanabe, ... Proceedings of 1994 IEEE International Electron Devices Meeting, 831-834, 1994 | 50 | 1994 |
| Speculative computation with multi-agent belief revision K Satoh, K Yamamoto Proceedings of the first international joint conference on Autonomous agents …, 2002 | 49 | 2002 |
| Abstract Argumentation for Case-Based Reasoning. K Cyras, K Satoh, F Toni AAAI Press, 2016 | 47 | 2016 |
| An average-case analysis of k-nearest neighbor classifier S Okamoto, K Satoh International Conference on Case-Based Reasoning, 253-264, 1995 | 46 | 1995 |
| Formalizing soft constraints by interpretation ordering K Satoh Proc. of 9th European Conference on Artificial Intelligence (ECAI 1990), 1990 | 46 | 1990 |
| 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 | 44 | 2011 |
| 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 | 40 | 2019 |
