Umformtechnik: Handbuch für Industrie und Wissenschaft. 3. Blechbearbeitung K Lange springer, 1990 | 249 | 1990 |

Nonmonotonic reasoning by minimal belief revision K Satoh Institute for New Generation Computer Technology, 1988 | 193 | 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 classifierS Okamoto, K Satoh International Conference on Case-based Reasoning, 253-264, 1995 | 44 | 1995 |

Formalizing soft constraints by interpretation ordering K Satoh Proceedings of the 9th European Conference on Artificial Intelligence, 585-590, 1990 | 42 | 1990 |

Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs. S Minato, K Satoh, T Sato IJCAI 2007, 2550-2555, 2007 | 38 | 2007 |

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 |

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 |

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 |

Parallel constraint logic programming language GDCC and its parallel constraint solvers S Terasaki Proc. of the International Conference on Fifth Generation Computer Systems …, 1992 | 25 | 1992 |