| Umformtechnik: Handbuch für Industrie und Wissenschaft. 3. Blechbearbeitung K Lange springer, 1990 | 244 | 1990 |
| Nonmonotonic reasoning by minimal belief revision K Satoh Institute for New Generation Computer Technology, 1988 | 191 | 1988 |
| Computing abduction by using the TMS K Satoh Proc. ICLP91, 1991 | 85 | 1991 |
| A unified view of consequence relation, belief revision and conditional logic H Katsuno, K Satoh Institute for New Generation Computer Technology, 1991 | 71 | 1991 |
| Consistency checking algorithms for restricted UML class diagrams K Kaneiwa, K Satoh International Symposium on Foundations of Information and Knowledge Systems …, 2006 | 59 | 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 | 58 | 2000 |
| A query evaluation method for abductive logic programming K Satoh Proc. JICSLP'92, 671-685, 1992 | 51 | 1992 |
| Speculative computation with multi-agent belief revision K Satoh, K Yamamoto Proceedings of the first international joint conference on Autonomous agents …, 2002 | 46 | 2002 |
| An average-case analysis of k-nearest neighbor classifier S Okamoto, K Satoh International Conference on Case-based Reasoning, 253-264, 1995 | 43 | 1995 |
| Formalizing soft constraints by interpretation ordering K Satoh Proceedings of the 9th European Conference on Artificial Intelligence, 585-590, 1990 | 41 | 1990 |
| 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 | 37 | 2010 |
| Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs. S Minato, K Satoh, T Sato IJCAI 2007, 2550-2555, 2007 | 37 | 2007 |
| KABU-WAKE: A New Parallel Inference Method and Its Evaluation. K Kumon, H Masuzawa, A Itashiki, K Satoh, Y Sohma COMPCON, 168-172, 1986 | 36 | 1986 |
| Normative design using inductive learning D Corapi, A Russo, M De Vos, J Padget, K Satoh arXiv preprint arXiv:1107.4967, 2011 | 31 | 2011 |
| Enumerating maximal frequent sets using irredundant dualization K Satoh, T Uno International Conference on Discovery Science, 256-268, 2003 | 31 | 2003 |
| Completeness of pruning methods for consequence finding procedure SOL K Iwanuma, K Inoue, K Satoh Proceedings of the 3rd International Workshop on First-Order Theorem Proving …, 2000 | 31 | 2000 |
| A probabilistic interpretation for lazy nonmonotonic reasoning K Satoh Institute for New Generation Computer Technology, 1989 | 30 | 1989 |
| On the complexities of consistency checking for restricted UML class diagrams K Kaneiwa, K Satoh Theoretical Computer Science 411 (2), 301-323, 2010 | 28 | 2010 |
| Speculative computation and abduction for an autonomous agent K Satoh IEICE transactions on information and systems 88 (9), 2031-2038, 2005 | 28 | 2005 |
| Abstract Argumentation for Case-Based Reasoning. K Cyras, K Satoh, F Toni AAAI Press, 2016 | 24 | 2016 |
