| 2026 | ICAART | An Empirical Study of Architectural Trade-Offs in Vision-Based Traffic Sign Interpretation Systems. | Su Myat Noe, Ha-Thanh Nguyen, May Myo Zin, Ken Satoh |
| 2026 | LREC | JBE-QA: Japanese Bar Exam QA Dataset for Assessing Legal Domain Knowledge. | Zhihan Cao, Fumihito Nishino, Hiroaki Yamada, Ha Thanh Nguyen, Yusuke Miyao, Ken Satoh |
| 2025 | ICAART | A Planning Agent Architecture that Interacts with Legal and Ethical Checkers. | Hisashi Hayashi, Yousef Taheri, Kanae Tsushima, Gauvain Bourgne, Jean-Gabriel Ganascia, Ken Satoh |
| 2025 | ICAART | A New Planning Agent Architecture that Efficiently Integrates an Online Planner with External Legal and Ethical Checkers. | Hisashi Hayashi, Yousef Taheri, Kanae Tsushima, Gauvain Bourgne, Jean-Gabriel Ganascia, Ken Satoh |
| 2025 | ICAIL | Data Augmented Pipeline for Legal Information Extraction and Reasoning. | Phuong Minh Nguyen, Thanh Ha Nguyen, May Myo Zin, Ken Satoh |
| 2025 | ICAIL | On Compatibility between Situation Outcome Cases and Logical Cases. | Wachara Fungwacharakorn, Guilherme Paulino-Passos, Bart Verheij, Ken Satoh |
| 2025 | ICAIL | An Overview of the COLIEE 2025 Competition: Legal Case Law and Statute Law Information Retrieval and Entailment. | Randy Goebel, Yoshinobu Kano, Mi-Young Kim, Calum Kwan, Ken Satoh, Hiroaki Yamada, Masaharu Yoshioka |
| 2025 | ICAIL | DeCoRA: Definition and Context Reasoning in Argumentation. | Ngoc-Duy Mai, Xuan-Bach Le, Thi-Hai-Yen Vuong, Ha-Thanh Nguyen, Kostas Stathis, Ken Satoh |
| 2025 | ICAIL | Towards Machine-Readable Traffic Laws: Formalizing Traffic Rules into PROLOG Using LLMs. | May Myo Zin, Georg Borges, Ken Satoh, Wachara Fungwacharakorn |
| 2025 | JURIX | An Argumentative Explanation Framework for Generalized Reason Model with Inconsistent Precedents. | Wachara Fungwacharakorn, Gauvain Bourgne, Ken Satoh |
| 2025 | JURIX | Reinforcement Learning with Argument-Structured Reward for Court Decision Abstractive Summarization. | Yuntao Kong, Ye Xiong, Shuyuan Zheng, Ken Satoh |
| 2025 | JURIX | From Court Decisions to Guiding Principles: Advancing Complex Legal Summarization with LLMs. | May Myo Zin, Ken Satoh, Georg Borges |
| 2024 | ICAART | A Soft Constraint-Based Framework for Ethical Reasoning. | Hiroshi Hosobe, Ken Satoh |
| 2024 | ICAART | A Three-Valued Semantics for Negotiated Situation of Multi-Agent System Based on BATNA and WATNA. | Yang Song, Ken Satoh |
| 2024 | JURIX | ConsRAG: Minimize LLM Hallucinations in the Legal Domain. | Ha-Thanh Nguyen, Ken Satoh |
| 2024 | JURIX | Leveraging LLM for Identification and Extraction of Normative Statements. | May Myo Zin, Ken Satoh, Georg Borges |
| 2023 | EACL | CovRelex-SE: Adding Semantic Information for Relation Search via Sequence Embedding. | Truong Do, Chau Nguyen, Vu D. Tran, Ken Satoh, Yuji Matsumoto, Le-Minh Nguyen |
| 2023 | ICAART | Online HTN Planning for Data Transfer and Utilization Considering Legal and Ethical Norms: Case Study. | Hisashi Hayashi, Ken Satoh |
| 2023 | ICAART | Hierarchical Constraint Logic Programming for Multi-Agent Systems. | Hiroshi Hosobe, Ken Satoh |
| 2023 | ICAART | How Fine Tuning Affects Contextual Embeddings: A Negative Result Explanation. | Ha-Thanh Nguyen, Vu Tran, Minh-Phuong Nguyen, Le-Minh Nguyen, Ken Satoh |
| 2023 | ICAIL | Summary of the Competition on Legal Information, Extraction/Entailment (COLIEE) 2023. | Randy Goebel, Yoshinobu Kano, Mi-Young Kim, Juliano Rabelo, Ken Satoh, Masaharu Yoshioka |
| 2023 | ICAIL | Improving Translation of Case Descriptions into Logical Fact Formulas using LegalCaseNER. | May Myo Zin, Ha-Thanh Nguyen, Ken Satoh, Saku Sugawara, Fumihito Nishino |
| 2023 | ICLP | How well do SOTA legal reasoning models support abductive reasoning? | Ha-Thanh Nguyen, Randy Goebel, Francesca Toni, Kostas Stathis, Ken Satoh |
| 2023 | ICLP | Beyond Logic Programming for Legal Reasoning. | Ha-Thanh Nguyen, Francesca Toni, Kostas Stathis, Ken Satoh |
| 2023 | ICLP | A Dataset of Contractual Events in Court Decisions. | Guilherme Paulino-Passos, Ken Satoh, Francesca Toni |
| 2023 | ICTAI | Binary Search-Based Methods for Solving Constraint Hierarchies over Finite Domains. | Hiroshi Hosobe, Ken Satoh |
| 2023 | JURIX | Connecting Rule-Based and Case-Based Representations of Soft-Constraint Norms. | Wachara Fungwacharakorn, Kanae Tsushima, Hiroshi Hosobe, Hideaki Takeda, Ken Satoh |
| 2023 | JURIX | LogiLaw Dataset Towards Reinforcement Learning from Logical Feedback (RLLF). | Ha-Thanh Nguyen, Wachara Fungwacharakorn, Ken Satoh |
| 2023 | JURIX | LawGiBa - Combining GPT, Knowledge Bases, and Logic Programming in a Legal Assistance System. | Ha-Thanh Nguyen, Randy Goebel, Francesca Toni, Kostas Stathis, Ken Satoh |
| 2023 | JURIX | Information Extraction from Lengthy Legal Contracts: Leveraging Query-Based Summarization and GPT-3.5. | May Myo Zin, Ha-Thanh Nguyen, Ken Satoh, Saku Sugawara, Fumihito Nishino |
| 2022 | ACIIDS | Learning to Map the GDPR to Logic Representation on DAPRECO-KB. | Minh-Phuong Nguyen, Thi-Thu-Trang Nguyen, Vu D. Tran, Ha-Thanh Nguyen, Le-Minh Nguyen, Ken Satoh |
| 2022 | ICLP | A Query Evaluation Method for ASP with Abduction. | Ken Satoh |
| 2022 | JURIX | Fundamental Revisions on Constraint Hierarchies for Ethical Norms. | Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh |
| 2022 | JURIX | A Multi-Step Approach in Translating Natural Language into Logical Formula. | Ha-Thanh Nguyen, Wachara Fungwacharakorn, Fumihito Nishino, Ken Satoh |
| 2022 | JURIX | An Interactive Natural Language Interface for PROLEG. | Ha-Thanh Nguyen, Fumihito Nishino, Megumi Fujita, Ken Satoh |
| 2022 | JURIX | Consumer Dispute Resolution System Based on PROLEG. | Shidaka Nishioka, Yuto Mori, Ken Satoh |
| 2021 | EACL | CovRelex: A COVID-19 Retrieval System with Relation Extraction. | Vu Tran, Van-Hien Tran, Phuong Nguyen, Chau Minh Nguyen, Ken Satoh, Yuji Matsumoto, Minh Le Nguyen |
| 2021 | ICAIL | On semantics-based minimal revision for legal reasoning. | Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh |
| 2021 | ICAIL | Interactive system for arranging issues based on PROLEG in civil litigation. | Ken Satoh, Kazuko Takahashi, Tatsuki Kawasaki |
| 2020 | ACIIDS | A Simple yet Efficient MCSes Enumeration with SAT Oracles. | Miyuki Koshimura, Ken Satoh |
| 2020 | IJCAI | BERT-PLI: Modeling Paragraph-Level Interactions for Legal Case Retrieval. | Yunqiu Shao, Jiaxin Mao, Yiqun Liu, Weizhi Ma, Ken Satoh, Min Zhang, Shaoping Ma |
| 2020 | JURIX | Generalizing Culprit Resolution in Legal Debugging with Background Knowledge. | Wachara Fungwacharakorn, Ken Satoh |
| 2020 | JURIX | Reasoning About Applicable Law in Private International Law in Logic Programming. | Ken Satoh, Matteo Baldoni, Laura Giordano |
| 2019 | ICAIL | Building Legal Case Retrieval Systems with Lexical Matching and Summarization using A Pre-Trained Phrase Scoring Model. | Vu D. Tran, Minh Le Nguyen, Ken Satoh |
| 2019 | JURIX | Renvoi in Private International Law: A Formalization with Modal Contexts. | Matteo Baldoni, Laura Giordano, Ken Satoh |
| 2019 | JURIX | Legal Text Generation from Abstract Meaning Representation. | Vu Trong Sinh, Minh Le Nguyen, Ken Satoh |
| 2019 | PRIMA | Explainable ASP. | Jrmie Dauphin, Ken Satoh |
| 2019 | WorldCIST | Providing Alternative Measures for Addressing Adverse Drug-Drug Interactions. | Antnio Silva, Tiago Oliveira, Ken Satoh, Paulo Novais |
| 2018 | JURIX | Using Agreement Statements to Identify Majority Opinion in UKHL Case Law. | Josef Valvoda, Oliver Ray, Ken Satoh |
| 2018 | KR | Automatically Identifying Drug Conflicts in Clinical Practice Guidelines. | Antnio Silva, Tiago Oliveira, Ken Satoh, Paulo Novais |
| 2018 | PRIMA | Abstract Argumentation / Persuasion / Dynamics. | Ryuta Arisaka, Ken Satoh |
| 2018 | PRIMA | Dialogue Games for Enforcement of Argument Acceptance and Rejection via Attack Removal. | Jrmie Dauphin, Ken Satoh |
| 2018 | WorldCIST | A Unified System for Clinical Guideline Management and Execution. | Antnio Silva, Tiago Oliveira, Filipe Gonalves, Jos Neves, Ken Satoh, Paulo Novais |
| 2017 | ICAIL | Overview of COLIEE 2017. | Yoshinobu Kano, Mi-Young Kim, Randy Goebel, Ken Satoh |
| 2016 | COMMA | Explanation for Case-Based Reasoning via Abstract Argumentation. | Kristijonas Cyras, Ken Satoh, Francesca Toni |
| 2016 | JURIX | Describing Legal Policies as Story Tropes in Normative Systems. | Matthew Thompson, Julian A. Padget, Ken Satoh |
| 2016 | KR | Abstract Argumentation for Case-Based Reasoning. | Kristijonas Cyras, Ken Satoh, Francesca Toni |
| 2016 | PAAMS | Orientation System Based on Speculative Computation and Trajectory Mining. | Joo Ramos, Tiago Oliveira, Ken Satoh, Jos Neves, Paulo Novais |
| 2016 | PRIMA | Balancing Rationality and Utility in Logic-Based Argumentation with Classical Logic Sentences and Belief Contraction. | Ryuta Arisaka, Ken Satoh |
| 2015 | ICLP | Debugging ASP using ILP. | Tingting Li, Marina De Vos, Julian A. Padget, Ken Satoh, Tina Balke |
| 2015 | INISTA | An alert mechanism for orientation systems based on Speculative computation. | Joo Ramos, Tiago Oliveira, Paulo Novais, Jos Neves, Ken Satoh |
| 2015 | IDC | A Reasoning Module for Distributed Clinical Decision Support Systems. | Tiago Oliveira, Ken Satoh, Paulo Novais, Jos Neves, Pedro Leo, Hiroshi Hosobe |
| 2015 | LPNMR | Characterising and Explaining Inconsistency in Logic Programs. | Claudia Schulz, Ken Satoh, Francesca Toni |
| 2015 | LPNMR | Automated Inference of Rules with Exception from Past Legal Cases Using ASP. | Duangtida Athakravi, Ken Satoh, Mark Law, Krysia Broda, Alessandra Russo |
| 2014 | CBMS | Applying Speculative Computation to Guideline-Based Decision Support Systems. | Tiago Oliveira, Jos Neves, Paulo Novais, Ken Satoh |
| 2014 | DCAI | Modelling an Orientation System Based on Speculative Computation. | Joo Ramos, Ken Satoh, Paulo Novais, Jos Neves |
| 2014 | ILP | Inductive Learning Using Constraint-Driven Bias. | Duangtida Athakravi, Dalal Alrajeh, Krysia Broda, Alessandra Russo, Ken Satoh |
| 2014 | RE | On requirements representation and reasoning using answer set programming. | Julian A. Padget, Emad Eldeen Elakehal, Ken Satoh, Fuyuki Ishikawa |
| 2013 | ICAIL | A model-based approach to the automatic revision of secondary legislation. | Tingting Li, Tina Balke, Marina De Vos, Julian A. Padget, Ken Satoh |
| 2013 | JURIX | Legal Conflict Detection in Interacting Legal Systems. | Tingting Li, Tina Balke, Marina De Vos, Julian A. Padget, Ken Satoh |
| 2013 | JURIX | Legal Conflict Detection in Interacting Legal Systems. | Tingting Li, Tina Balke, Marina De Vos, Julian A. Padget, Ken Satoh |
| 2012 | AAMAS | Handling change in normative specifications. | Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh |
| 2009 | JURIX | Translating the Japanese Presupposed Ultimate Fact Theory into Logic Programming. | Ken Satoh, Masahiro Kubota, Yoshiaki Nishigai, Chiaki Takano |
| 2007 | IJCAI | Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs. | Shin-ichi Minato, Ken Satoh, Taisuke Sato |
| 2007 | IV | Narrative based Topic Visualization for Chronological Data. | Mina Akaishi, Yoshikiyo Kato, Ken Satoh, Koichi Hori |
| 2006 | IV | Topic Tracer: a Visualization Tool for Quick Reference of Stories Embedded in Document Set. | Mina Akaishi, Koichi Hori, Ken Satoh |
| 2006 | JURIX | Disjunction of Causes and Disjunctive Cause: a Solution to the Paradox of Conditio Sine Qua Non using Minimal Abduction. | Ken Satoh, Satoshi Tojo |
| 2006 | KSEM | Enumerating Minimal Explanations by Minimal Hitting Set Computation. | Ken Satoh, Takeaki Uno |
| 2004 | DIS | An Associative Information Retrieval Based on the Dependency of Term Co-occurrence. | Mina Akaishi, Ken Satoh, Yuzuru Tanaka |
| 2003 | DIS | Enumerating Maximal Frequent Sets Using Irredundant Dualization. | Ken Satoh, Takeaki Uno |
| 2003 | PRIMA | Speculative Constraint Processing in Multi-agent Systems. | Ken Satoh, Philippe Codognet, Hiroshi Hosobe |
| 2000 | AAAI | Computing Circumscriptive Databases by Integer Programming: Revisited. | Ken Satoh, Hidenori Okamoto |
| 2000 | ALT | Learning Taxonomic Relation by Case-Based Reasoning. | Ken Satoh |
| 1998 | ALT | Analysis of Case-Based Representability of Boolean Functions by Monotone Theory. | Ken Satoh |
| 1998 | ECAI | Using Two Level Abduction to Decide Similarity of Cases. | Ken Satoh |
| 1997 | IJCAI | Compiling Prioritized Circumscription into Extended Logic Programs. | Toshiko Wakaki, Ken Satoh |
| 1996 | COLING | Disambiguation by Prioritized Circumscription. | Ken Satoh |
| 1996 | ECAI | Translating Case-Based Reasoning into Abductive Logic Programming. | Ken Satoh |
| 1995 | ICCBR | An Average-Case Analysis of k-Nearest Neighbor Classifier. | Seishi Okamoto, Ken Satoh |
| 1995 | ICLP | Computing Prioritized Circumscription by Logic Programming. | Toshiko Wakaki, Ken Satoh |
| 1994 | ECAI | A Top Down Proof Procedure for Default Logic by Using Abduction. | Ken Satoh |
| 1992 | ECAI | A Formalization of Generalization-Based Analogy in General Logic Programs. | Noboru Iwayama, Ken Satoh, Jun Arima |
| 1992 | ICLP | A Query Evaluation Method for Abductive Logic Programming. | Ken Satoh, Noboru Iwayama |
| 1991 | ICLP | Computing Abduction by Using the TMS. | Ken Satoh, Noboru Iwayama |
| 1991 | IJCAI | A Unified View of Consequence Relation, Belief Revision and Conditional Logic. | Hirofumi Katsuno, Ken Satoh |
| 1990 | AAAI | A Probabilistic Interpretation for Lazy Nonmonotonic Reasoning. | Ken Satoh |
| 1990 | ECAI | Formalizing Soft Constraints by Interpretation Ordering. | Ken Satoh |
| 1986 | ICLP | A Sequential Implementation of Parlog. | Ian T. Foster, Steve Gregory, Graem A. Ringwood, Ken Satoh |