Ken Satoh
Ken Satoh
Professor of National Institute of Informatics/Sokendai
Verified email at nii.ac.jp
TitleCited byYear
Nonmonotonic reasoning by minimal belief revision
K Satoh
Institute for New Generation Computer Technology, 1988
1841988
Umformtechnik: Handbuch für Industrie und Wissenschaft. 3. Blechbearbeitung
K Lange
Springer, 1990
1741990
Computing abduction by using the TMS
K Satoh
Proc. ICLP91, 1991
821991
A unified view of consequence relation, belief revision and conditional logic
H Katsuno, K Satoh
Institute for New Generation Computer Technology, 1991
651991
Consistency checking algorithms for restricted UML class diagrams
K Kaneiwa, K Satoh
International Symposium on Foundations of Information and Knowledge Systems …, 2006
602006
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
562000
A query evaluation method for abductive logic programming
K Satoh
Proc. JICSLP'92, 671-685, 1992
511992
Speculative computation with multi-agent belief revision
K Satoh, K Yamamoto
Proceedings of the first international joint conference on Autonomous agents …, 2002
472002
Formalizing soft constraints by interpretation ordering
K Satoh
Proceedings of the 9th European Conference on Artificial Intelligence, 585-590, 1990
431990
An average-case analysis of k-nearest neighbor classifier
S Okamoto, K Satoh
International Conference on Case-based Reasoning, 253-264, 1995
391995
KABU-WAKE: A New Parallel Inference Method and Its Evaluation.
K Kumon, H Masuzawa, A Itashiki, K Satoh, Y Sohma
COMPCON, 168-172, 1986
341986
Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs.
S Minato, K Satoh, T Sato
IJCAI 2007, 2550-2555, 2007
332007
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
312000
A probabilistic interpretation for lazy nonmonotonic reasoning
K Satoh
Institute for New Generation Computer Technology, 1989
311989
Enumerating maximal frequent sets using irredundant dualization
K Satoh, T Uno
International Conference on Discovery Science, 256-268, 2003
302003
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
282010
On the complexities of consistency checking for restricted UML class diagrams
K Kaneiwa, K Satoh
Theoretical Computer Science 411 (2), 301-323, 2010
282010
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
272011
Speculative computation and abduction for an autonomous agent
K Satoh
IEICE transactions on information and systems 88 (9), 2031-2038, 2005
262005
Parallel constraint logic programming language GDCC and its parallel constraint solvers
S Terasaki
Proc. of the International Conference on Fifth Generation Computer Systems …, 1992
231992
The system can't perform the operation now. Try again later.
Articles 1–20