Follow
Ken Satoh
Ken Satoh
Professor of National Institute of Informatics/Sokendai
Verified email at nii.ac.jp
Title
Cited by
Cited by
Year
Nonmonotonic reasoning by minimal belief revision
K Satoh
Institute for New Generation Computer Technology, 1988
2181988
Computing abduction using the TMS
K Satoh
Proc. ICLP'91, 505-518, 1991
871991
A unified view of consequence relation, belief revision and conditional logic
H Katsuno, K Satoh
Institute for New Generation Computer Technology, 1991
741991
Consistency checking algorithms for restricted UML class diagrams
K Kaneiwa, K Satoh
Foundations of Information and Knowledge Systems: 4th International …, 2006
632006
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
622000
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-isAI Workshops 6797, 153-164, 2010
612010
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
542019
A query evaluation method for abductive logic programming
K Satoh
Proc. JICSLP'92, 671-685, 1992
521992
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
512020
Speculative computation with multi-agent belief revision
K Satoh, K Yamamoto
Proceedings of the first international joint conference on Autonomous agents …, 2002
482002
An average-case analysis of k-nearest neighbor classifier
S Okamoto, K Satoh
Case-Based Reasoning Research and Development: First International …, 1995
481995
Formalizing soft constraints by interpretation ordering
K Satoh
Proc. of the Logic Programming Conference, 135-142, 1990
461990
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
442019
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
432018
Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs.
S Minato, K Satoh, T Sato
IJCAI 2007, 2550-2555, 2007
412007
Abstract argumentation for case-based reasoning
K Cyras, K Satoh, F Toni
Fifteenth international conference on the principles of knowledge …, 2016
402016
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
402011
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
372020
KABU-WAKE: A New Parallel Inference Method and Its Evaluation.
K Kumon, H Masuzawa, A Itashiki, K Satoh, Y Sohma
COMPCON, 168-172, 1986
371986
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
332019
The system can't perform the operation now. Try again later.
Articles 1–20