| 2025 | ICAIL | On Compatibility between Situation Outcome Cases and Logical Cases. | Wachara Fungwacharakorn, Guilherme Paulino-Passos, Bart Verheij, 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 |
| 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 |
| 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 |
| 2021 | ICAIL | On semantics-based minimal revision for legal reasoning. | Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh |
| 2020 | JURIX | Generalizing Culprit Resolution in Legal Debugging with Background Knowledge. | Wachara Fungwacharakorn, Ken Satoh |