Satoh, Ken

8 publications

IJCAI 2020 BERT-PLI: Modeling Paragraph-Level Interactions for Legal Case Retrieval Yunqiu Shao, Jiaxin Mao, Yiqun Liu, Weizhi Ma, Ken Satoh, Min Zhang, Shaoping Ma

IJCAI 2007 Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs Shin-ichi Minato, Ken Satoh, Taisuke Sato

AAAI 2000 Computing Circumscriptive Databases by Integer Programming: Revisited Ken Satoh, Hidenori Okamoto

ALT 2000 Learning Taxonomic Relation by Case-Based Reasoning Ken Satoh

ALT 1998 Analysis of Case-Based Representability of Boolean Functions by Monotone Theory Ken Satoh

IJCAI 1997 Compiling Prioritized Circumscription into Extended Logic Programs Toshiko Wakaki, Ken Satoh

IJCAI 1991 A Unified View of Consequence Relation, Belief Revision and Conditional Logic Hirofumi Katsuno, Ken Satoh

AAAI 1990 A Probabilistic Interpretation for Lazy Nonmonotonic Reasoning Ken Satoh