Ken Satoh

280 papers A* 6A 12B 22C 41Misc 2Journal 76Unranked 100
YearRankTypeTitle / Venue / Authors
2026 — conf
An Empirical Study of Architectural Trade-Offs in Vision-Based Traffic Sign Interpretation Systems.
ICAART (4)
Su Myat Noe, Ha-Thanh Nguyen, May Myo Zin, Ken Satoh
2026 J jnl
Can Legislation Be Made Machine-Readable in PROLEG?
CoRR
May Myo Zin, Sabine Wehnert, Yuntao Kong, Ha-Thanh Nguyen, Wachara Fungwacharakorn, Jieying Xue, Michal Araszkiewicz, Randy Goebel, Ken Satoh, Le-Minh Nguyen
2026 J jnl
Data Augmented Pipeline for Legal Information Extraction and Reasoning.
CoRR
Nguyen Minh Phuong, Ha-Thanh Nguyen, May Myo Zin, Ken Satoh
2026 J jnl
FC-CONAN: An Exhaustively Paired Dataset for Robust Evaluation of Retrieval Systems.
CoRR
Juan Junqueras, Florian Boudin, May Myo Zin, Ha-Thanh Nguyen, Wachara Fungwacharakorn, Damián Ariel Furman, Akiko Aizawa, Ken Satoh
2026 J jnl
Large Language Models for translating contract-related texts to logical predicates: Prompting, fine-tuning or dedicated library?
Expert Syst. Appl.
María Navas-Loro, Hideaki Takeda, Ken Satoh
2026 J jnl
PYTHEN: A Flexible Framework for Legal Reasoning in Python.
CoRR
Ha-Thanh Nguyen, Ken Satoh
2026 B ed.
Rules and Reasoning - 9th International Joint Conference, RuleML+RR 2025, Istanbul, Turkey, September 22-24, 2025, Proceedings
RuleML+RR
Aidan Hogan, Ken Satoh, Hasan Dag, Anni-Yasmin Turhan, Dumitru Roman, Ahmet Soylu
2025 — conf
A New Planning Agent Architecture that Efficiently Integrates an Online Planner with External Legal and Ethical Checkers.
ICAART (1)
Hisashi Hayashi, Yousef Taheri, Kanae Tsushima, Gauvain Bourgne, Jean-Gabriel Ganascia, Ken Satoh
2025 C conf
An Argumentative Explanation Framework for Generalized Reason Model with Inconsistent Precedents.
JURIX
Wachara Fungwacharakorn, Gauvain Bourgne, Ken Satoh
2025 J jnl
An Argumentative Explanation Framework for Generalized Reason Model with Inconsistent Precedents.
CoRR
Wachara Fungwacharakorn, Gauvain Bourgne, Ken Satoh
2025 C conf
An Overview of the COLIEE 2025 Competition: Legal Case Law and Statute Law Information Retrieval and Entailment.
ICAIL
Randy Goebel, Yoshinobu Kano, Mi-Young Kim, Calum Kwan, Ken Satoh, Hiroaki Yamada, Masaharu Yoshioka
2025 J jnl
Anonymous Public Announcements.
CoRR
Thomas Ågotnes, Rustam Galimullin, Ken Satoh, Satoshi Tojo
2025 J jnl
Argumentative Reasoning with Language Models on Non-factorized Case Bases.
CoRR
Wachara Fungwacharakorn, May Myo Zin, Ha-Thanh Nguyen, Yuntao Kong, Ken Satoh
2025 C conf
Data Augmented Pipeline for Legal Information Extraction and Reasoning.
ICAIL
Phuong Minh Nguyen, Thanh Ha Nguyen, May Myo Zin, Ken Satoh
2025 C conf
DeCoRA: Definition and Context Reasoning in Argumentation.
ICAIL
Ngoc-Duy Mai, Xuan-Bach Le, Thi-Hai-Yen Vuong, Ha-Thanh Nguyen, Kostas Stathis, Ken Satoh
2025 — conf
Evaluating Novel Arguments in Case Models: Lessons from Belief Change and Abstract Argumentation for Case-based Reasoning.
NMR
Wachara Fungwacharakorn, Guilherme Paulino-Passos, Bart Verheij, Ken Satoh
2025 C conf
From Court Decisions to Guiding Principles: Advancing Complex Legal Summarization with LLMs.
JURIX
May Myo Zin, Ken Satoh, Georg Borges
2025 — conf
Intentionally Anonymous Public Announcements.
LORI
Thomas Ågotnes, Rustam Galimullin, Ken Satoh, Satoshi Tojo
2025 J jnl
JBE-QA: Japanese Bar Exam QA Dataset for Assessing Legal Domain Knowledge.
CoRR
Zhihan Cao, Fumihito Nishino, Hiroaki Yamada, Nguyen Ha Thanh, Yusuke Miyao, Ken Satoh
2025 J jnl
Multi-Agent Legal Verifier Systems for Data Transfer Planning.
CoRR
Ha-Thanh Nguyen, Wachara Fungwacharakorn, Ken Satoh
2025 C conf
On Compatibility between Situation Outcome Cases and Logical Cases.
ICAIL
Wachara Fungwacharakorn, Guilherme Paulino-Passos, Bart Verheij, Ken Satoh
2025 — conf
On the Normative Status and Argumentation Semantics of Soft-Constraint Norms.
JSAI-isAI
Wachara Fungwacharakorn, Kanae Tsushima, Hiroshi Hosobe, Hideaki Takeda, Ken Satoh
2025 J jnl
Proceedings of the Second International Workshop on Next-Generation Language Models for Knowledge Representation and Reasoning (NeLaMKRR 2025).
CoRR
Ha Thanh Nguyen, Ken Satoh, Francesca Toni, Randy Goebel, Kostas Stathis
2025 C conf
Reinforcement Learning with Argument-Structured Reward for Court Decision Abstractive Summarization.
JURIX
Yuntao Kong, Ye Xiong, Shuyuan Zheng, Ken Satoh
2025 — conf
Towards Accurate Legal Term Detection: Insights from Dependency Tree-Based and Large Language Model Approaches.
JSAI-isAI
Ngoc-Duy Mai, Minh-Tuan Nguyen, Van-Huan Nguyen, Xuan-Bach Le, Ha-Thanh Nguyen, Ken Satoh, Hideaki Takeda, Thi-Hai-Yen Vuong
2025 C conf
Towards Machine-Readable Traffic Laws: Formalizing Traffic Rules into PROLOG Using LLMs.
ICAIL
May Myo Zin, Georg Borges, Ken Satoh, Wachara Fungwacharakorn
2024 — conf
A Soft Constraint-Based Framework for Ethical Reasoning.
ICAART (3)
Hiroshi Hosobe, Ken Satoh
2024 — conf
A Three-Valued Semantics for Negotiated Situation of Multi-Agent System Based on BATNA and WATNA.
ICAART (1)
Yang Song, Ken Satoh
2024 — conf
Addressing Annotated Data Scarcity in Legal Information Extraction.
JSAI-isAI
May Myo Zin, Ha-Thanh Nguyen, Ken Satoh, Fumihito Nishino
2024 J jnl
An Argumentative Approach for Explaining Preemption in Soft-Constraint Based Norms.
CoRR
Wachara Fungwacharakorn, Kanae Tsushima, Hiroshi Hosobe, Hideaki Takeda, Ken Satoh
2024 J jnl
Balancing Exploration and Exploitation in LLM using Soft RLLF for Enhanced Negation Understanding.
CoRR
Ha-Thanh Nguyen, Ken Satoh
2024 J jnl
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies.
Artif. Intell. Law
Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Francesco Pacenza, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis, Jessica Zangari
2024 C conf
ConsRAG: Minimize LLM Hallucinations in the Legal Domain.
JURIX
Ha-Thanh Nguyen, Ken Satoh
2024 — conf
Distributed Component Interoperation and Execution for Norm-Based Real-time Compliance.
RuleML+RR (Companion)
Theodoros Mitsikas, Ralph Schäfermeier, Yousef Taheri, Kanae Tsushima, Hisashi Hayashi, Jean-Gabriel Ganascia, Gauvain Bourgne, Ken Satoh, Adrian Paschke
2024 J jnl
Enhancing Legal Document Retrieval: A Multi-Phase Approach with Large Language Models.
CoRR
Hai-Long Nguyen, Duc-Minh Nguyen, Tan-Minh Nguyen, Ha-Thanh Nguyen, Thi-Hai-Yen Vuong, Ken Satoh
2024 J jnl
GPTs and Language Barrier: A Cross-Lingual Legal QA Examination.
CoRR
Ha-Thanh Nguyen, Hiroaki Yamada, Ken Satoh
2024 B conf
Juris-Informatics: Law for AI and Law of AI.
IEEE Big Data
Ken Satoh, Hideaki Takeda, Randy Goebel, Yoshinobu Kano, Mi-Young Kim, Juliano Rabelo, Masaharu Yoshioka
2024 J jnl
KRAG Framework for Enhancing LLMs in the Legal Domain.
CoRR
Ha Thanh Nguyen, Ken Satoh
2024 J jnl
Layer-of-Thoughts Prompting (LoT): Leveraging LLM-Based Retrieval with Constraint Hierarchies.
CoRR
Wachara Fungwacharakorn, Ha-Thanh Nguyen, May Myo Zin, Ken Satoh
2024 C conf
Leveraging LLM for Identification and Extraction of Normative Statements.
JURIX
May Myo Zin, Ken Satoh, Georg Borges
2024 — ed.
New Frontiers in Artificial Intelligence - JSAI-isAI 2023 International Workshops, JURISIN, SCIDOCA, EmSemi and AI-Biz, Kumamoto, Japan, June 4-6, 2023, Revised Selected Papers
JSAI-isAI Workshops
Mayumi Bono, Yasufumi Takama, Ken Satoh, Le-Minh Nguyen, Setsuya Kurahashi
2024 J jnl
Overview and Discussion of the Competition on Legal Information, Extraction/Entailment (COLIEE) 2023.
Rev. Socionetwork Strateg.
Randy Goebel, Yoshinobu Kano, Mi-Young Kim, Juliano Rabelo, Ken Satoh, Masaharu Yoshioka
2024 — conf
Overview of Benchmark Datasets and Methods for the Legal Information Extraction/Entailment Competition (COLIEE) 2024.
JSAI-isAI
Randy Goebel, Yoshinobu Kano, Mi-Young Kim, Juliano Rabelo, Ken Satoh, Masaharu Yoshioka
2024 J jnl
Preface of Special Issue on 10th Competition on Legal Information of Extraction and Entailment (COLIEE 2023).
Rev. Socionetwork Strateg.
Randy Goebel, Yoshinobu Kano, Mi-Young Kim, Juliano Rabelo, Ken Satoh, Masaharu Yoshioka
2024 J jnl
Proceedings of the First International Workshop on Next-Generation Language Models for Knowledge Representation and Reasoning (NeLaMKRR 2024).
CoRR
Ken Satoh, Ha-Thanh Nguyen, Francesca Toni, Randy Goebel, Kostas Stathis
2024 — conf
Realtime Compliance Mechanism for AI (RECOMP).
RuleML+RR (Companion)
Adrian Paschke, Ken Satoh, Jean-Gabriel Ganascia
2023 — conf
A Dataset of Contractual Events in Court Decisions.
ICLP Workshops
Guilherme Paulino-Passos, Ken Satoh, Francesca Toni
2023 J jnl
A negation detection assessment of GPTs: analysis with the xNot360 dataset.
CoRR
Ha-Thanh Nguyen, Randy Goebel, Francesca Toni, Kostas Stathis, Ken Satoh
2023 — conf
Beyond Logic Programming for Legal Reasoning.
ICLP Workshops
Ha-Thanh Nguyen, Francesca Toni, Kostas Stathis, Ken Satoh
2023 J jnl
Beyond Logic Programming for Legal Reasoning.
CoRR
Ha-Thanh Nguyen, Francesca Toni, Kostas Stathis, Ken Satoh
2023 B conf
Binary Search-Based Methods for Solving Constraint Hierarchies over Finite Domains.
ICTAI
Hiroshi Hosobe, Ken Satoh
2023 J jnl
Black-Box Analysis: GPTs Across Time in Legal Textual Entailment Task.
CoRR
Ha-Thanh Nguyen, Randy Goebel, Francesca Toni, Kostas Stathis, Ken Satoh
2023 C conf
Connecting Rule-Based and Case-Based Representations of Soft-Constraint Norms.
JURIX
Wachara Fungwacharakorn, Kanae Tsushima, Hiroshi Hosobe, Hideaki Takeda, Ken Satoh
2023 — conf
Constructing and Explaining Case Models: A Case-Based Argumentation Perspective.
JSAI-isAI Workshops
Wachara Fungwacharakorn, Ken Satoh, Bart Verheij
2023 — conf
CovRelex-SE: Adding Semantic Information for Relation Search via Sequence Embedding.
EACL (System Demonstrations)
Truong Do, Chau Nguyen, Vu D. Tran, Ken Satoh, Yuji Matsumoto, Le-Minh Nguyen
2023 J jnl
Encoded Summarization: Summarizing Documents into Continuous Vector Space for Legal Case Retrieval.
CoRR
Vu Tran, Minh Le Nguyen, Satoshi Tojo, Ken Satoh
2023 J jnl
Enhancing Logical Reasoning in Large Language Models to Facilitate Legal Applications.
CoRR
Ha-Thanh Nguyen, Wachara Fungwacharakorn, Ken Satoh
2023 — conf
Hierarchical Constraint Logic Programming for Multi-Agent Systems.
ICAART (1)
Hiroshi Hosobe, Ken Satoh
2023 — conf
How Fine Tuning Affects Contextual Embeddings: A Negative Result Explanation.
ICAART (3)
Ha-Thanh Nguyen, Vu Tran, Minh-Phuong Nguyen, Le-Minh Nguyen, Ken Satoh
2023 — conf
How well do SOTA legal reasoning models support abductive reasoning?
ICLP Workshops
Ha-Thanh Nguyen, Randy Goebel, Francesca Toni, Kostas Stathis, Ken Satoh
2023 J jnl
How well do SOTA legal reasoning models support abductive reasoning?
CoRR
Ha-Thanh Nguyen, Randy Goebel, Francesca Toni, Kostas Stathis, Ken Satoh
2023 C conf
Improving Translation of Case Descriptions into Logical Fact Formulas using LegalCaseNER.
ICAIL
May Myo Zin, Ha-Thanh Nguyen, Ken Satoh, Saku Sugawara, Fumihito Nishino
2023 C conf
Information Extraction from Lengthy Legal Contracts: Leveraging Query-Based Summarization and GPT-3.5.
JURIX
May Myo Zin, Ha-Thanh Nguyen, Ken Satoh, Saku Sugawara, Fumihito Nishino
2023 C conf
LawGiBa - Combining GPT, Knowledge Bases, and Logic Programming in a Legal Assistance System.
JURIX
Ha Thanh Nguyen, Randy Goebel, Francesca Toni, Kostas Stathis, Ken Satoh
2023 C conf
LogiLaw Dataset Towards Reinforcement Learning from Logical Feedback (RLLF).
JURIX
Ha-Thanh Nguyen, Wachara Fungwacharakorn, Ken Satoh
2023 — conf
Multi-agent Online Planning Architecture for Real-time Compliance.
RuleML+RR (Companion)
Hisashi Hayashi, Theodoros Mitsikas, Yousef Taheri, Kanae Tsushima, Ralph Schäfermeier, Gauvain Bourgne, Jean-Gabriel Ganascia, Adrian Paschke, Ken Satoh
2023 — ed.
New Frontiers in Artificial Intelligence - JSAI-isAI 2021 Workshops, JURISIN, LENLS18, SCIDOCA, Kansei-AI, AI-BIZ, Yokohama, Japan, November 13-15, 2021, Revised Selected Papers
JSAI-isAI Workshops
Katsutoshi Yada, Yasufumi Takama, Koji Mineshima, Ken Satoh
2023 — ed.
New Frontiers in Artificial Intelligence - JSAI-isAI 2022 Workshop, JURISIN 2022, and JSAI 2022 International Session, Kyoto, Japan, June 12-17, 2022, Revised Selected Papers
JSAI-isAI Workshops
Yasufumi Takama, Katsutoshi Yada, Ken Satoh, Sachiyo Arai
2023 — conf
Online HTN Planning for Data Transfer and Utilization Considering Legal and Ethical Norms: Case Study.
ICAART (1)
Hisashi Hayashi, Ken Satoh
2023 — ch.
PROLEG: Practical Legal Reasoning System.
Prolog: The Next 50 Years
Ken Satoh
2023 J jnl
Preface of Special Issue on International Workshop on AI compliance mechanism (WAICOM 2022).
Rev. Socionetwork Strateg.
Gauvain Bourgne, Jean-Gabriel Ganascia, Adrian Paschke, Ken Satoh
2023 J jnl
Proceedings of the International Workshop on Methodologies for Translating Legal Norms into Formal Representations (LN2FR 2022) in association with 35th International Conference on Legal Knowledge and Information Systems (JURIX 2022).
CoRR
Georg Borges, Ken Satoh, Erich Schweighofer
2023 J jnl
SM-BERT-CR: a deep learning approach for case law retrieval with supporting model.
Artif. Intell. Law
Thi-Hai-Yen Vuong, Quan Minh Bui, Ha-Thanh Nguyen, Thi-Thu-Trang Nguyen, Vu D. Tran, Xuan-Hieu Phan, Ken Satoh, Nguyen Minh Le
2023 C conf
Summary of the Competition on Legal Information, Extraction/Entailment (COLIEE) 2023.
ICAIL
Randy Goebel, Yoshinobu Kano, Mi-Young Kim, Juliano Rabelo, Ken Satoh, Masaharu Yoshioka
2023 — conf
Using WikiData for Handling Legal Rule Exceptions: Proof of Concept.
JSAI-isAI Workshops
Wachara Fungwacharakorn, Hideaki Takeda, Ken Satoh
2022 C conf
A Multi-Step Approach in Translating Natural Language into Logical Formula.
JURIX
Ha-Thanh Nguyen, Wachara Fungwacharakorn, Fumihito Nishino, Ken Satoh
2022 — conf
A Query Evaluation Method for ASP with Abduction.
ICLP Workshops
Ken Satoh
2022 C conf
A Survey of Pretrained Embeddings for Japanese Legal Representation.
IEA/AIE
Ha-Thanh Nguyen, Le-Minh Nguyen, Ken Satoh
2022 — conf
A Use Case on GDPR of Modular-PROLEG for Private International Law.
AI4LEGAL/KGSum@ISWC
Takahiro Sawasaki, Ken Satoh, Aurore Clément Troussel
2022 J jnl
Abstract meaning representation for legal documents: an empirical research on a human-annotated dataset.
Artif. Intell. Law
Vu Trong Sinh, Minh Le Nguyen, Ken Satoh
2022 C conf
An Interactive Natural Language Interface for PROLEG.
JURIX
Ha-Thanh Nguyen, Fumihito Nishino, Megumi Fujita, Ken Satoh
2022 — conf
COLIEE 2022 Summary: Methods for Legal Document Retrieval and Entailment.
JSAI-isAI Workshops
Mi-Young Kim, Juliano Rabelo, Randy Goebel, Masaharu Yoshioka, Yoshinobu Kano, Ken Satoh
2022 C conf
Consumer Dispute Resolution System Based on PROLEG.
JURIX
Shidaka Nishioka, Yuto Mori, Ken Satoh
2022 J jnl
Diagnosing and Treating Effect of Legal Rule-Based Revision.
New Gener. Comput.
Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh
2022 C conf
Fundamental Revisions on Constraint Hierarchies for Ethical Norms.
JURIX
Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh
2022 — ed.
Joint Proceedings of the 3th International Workshop on Artificial Intelligence Technologies for Legal Documents (AI4LEGAL 2022) and the 1st International Workshop on Knowledge Graph Summarization (KGSum 2022) co-located with the 21st International Semantic Web Conference (ISWC 2022), Virtual Event, Hangzhou, China, October 23-24, 2022.
AI4LEGAL/KGSUM@ISWC
María Navas-Loro, Carlos Badenes-Olmedo, Manolis Koubarakis, José Luis Redondo García, Sabrina Kirrane, Nandana Mihindukulasooriya, Ken Satoh, Maribel Acosta
2022 J jnl
Law to Binary Tree - An Formal Interpretation of Legal Natural Language.
CoRR
Ha-Thanh Nguyen, Vu D. Tran, Ngoc-Cam Le, Thi-Thuy Le, Quang-Huy Nguyen, Le-Minh Nguyen, Ken Satoh
2022 — conf
Learning to Map the GDPR to Logic Representation on DAPRECO-KB.
ACIIDS (1)
Minh-Phuong Nguyen, Thi-Thu-Trang Nguyen, Vu D. Tran, Ha-Thanh Nguyen, Le-Minh Nguyen, Ken Satoh
2022 J jnl
Multi-agent Argumentation and Dialogue.
FLAP
Ryuta Arisaka, Jérémie Dauphin, Ken Satoh, Leendert van der Torre
2022 — conf
On Complexity and Generality of Contrary Prioritized Defeasible Theory.
JSAI-isAI Workshops
Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh
2022 J jnl
Overview and Discussion of the Competition on Legal Information Extraction/Entailment (COLIEE) 2021.
Rev. Socionetwork Strateg.
Juliano Rabelo, Randy Goebel, Mi-Young Kim, Yoshinobu Kano, Masaharu Yoshioka, Ken Satoh
2022 J jnl
Preface of Special Issue on 8th Competition on Legal Information of Extraction and Entailment (COLIEE 2021).
Rev. Socionetwork Strateg.
Randy Goebel, Yoshinobu Kano, Mi-Young Kim, Juliano Rabelo, Ken Satoh, Masaharu Yoshioka
2022 — conf
Taking stock of available technologies for compliance checking on first-order knowledge.
CILC
Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis
2022 J jnl
Toward a practical legal rule revision in legal debugging.
Comput. Law Secur. Rev.
Wachara Fungwacharakorn, Ken Satoh
2022 — conf
Towards Legally and Ethically Correct Online HTN Planning for Data Transfer.
NMR
Hisashi Hayashi, Ken Satoh
2022 J jnl
Transformer-Based Approaches for Legal Text Processing.
Rev. Socionetwork Strateg.
Ha-Thanh Nguyen, Minh-Phuong Nguyen, Thi-Hai-Yen Vuong, Minh-Quan Bui, Minh-Chau Nguyen, Tran Binh Dang, Vu D. Tran, Le-Minh Nguyen, Ken Satoh
2022 J jnl
Transformer-based Approaches for Legal Text Processing.
CoRR
Ha-Thanh Nguyen, Minh-Phuong Nguyen, Thi-Hai-Yen Vuong, Minh-Quan Bui, Chau Minh Nguyen, Tran Binh Dang, Vu Tran, Minh Le Nguyen, Ken Satoh
2021 — conf
CovRelex: A COVID-19 Retrieval System with Relation Extraction.
EACL (System Demonstrations)
Vu Tran, Van-Hien Tran, Phuong Nguyen, Chau Minh Nguyen, Ken Satoh, Yuji Matsumoto, Minh Le Nguyen
2021 — conf
Implementation of Choice of Jurisdiction and Law in Private International Law by PROLEG Meta-interpreter.
CLAR
Ken Satoh, Laura Giordano, Matteo Baldoni
2021 C conf
Interactive system for arranging issues based on PROLEG in civil litigation.
ICAIL
Ken Satoh, Kazuko Takahashi, Tatsuki Kawasaki
2021 J jnl
JNLP Team: Deep Learning Approaches for Legal Processing Tasks in COLIEE 2021.
CoRR
Ha-Thanh Nguyen, Phuong Minh Nguyen, Thi-Hai-Yen Vuong, Quan Minh Bui, Chau Minh Nguyen, Tran Binh Dang, Vu Tran, Minh Le Nguyen, Ken Satoh
2021 — ed.
New Frontiers in Artificial Intelligence - JSAI-isAI 2020 Workshops, JURISIN, LENLS 2020 Workshops, Virtual Event, November 15-17, 2020, Revised Selected Papers
JSAI-isAI Workshops
Naoaki Okazaki, Katsutoshi Yada, Ken Satoh, Koji Mineshima
2021 C conf
On semantics-based minimal revision for legal reasoning.
ICAIL
Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh
2021 J jnl
ParaLaw Nets - Cross-lingual Sentence-level Pretraining for Legal Text Processing.
CoRR
Ha-Thanh Nguyen, Vu Tran, Phuong Minh Nguyen, Thi-Hai-Yen Vuong, Quan Minh Bui, Chau Minh Nguyen, Tran Binh Dang, Minh Le Nguyen, Ken Satoh
2021 J jnl
Resolving counterintuitive consequences in law using legal debugging.
Artif. Intell. Law
Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh
2020 — conf
A Simple yet Efficient MCSes Enumeration with SAT Oracles.
ACIIDS (1)
Miyuki Koshimura, Ken Satoh
2020 A* conf
BERT-PLI: Modeling Paragraph-Level Interactions for Legal Case Retrieval.
IJCAI
Yunqiu Shao, Jiaxin Mao, Yiqun Liu, Weizhi Ma, Ken Satoh, Min Zhang, Shaoping Ma
2020 J jnl
Building Legal Case Retrieval Systems with Lexical Matching and Summarization using A Pre-Trained Phrase Scoring Model.
CoRR
Vu D. Tran, Minh Le Nguyen, Ken Satoh
2020 — conf
COLIEE 2020: Methods for Legal Document Retrieval and Entailment.
JSAI-isAI Workshops
Juliano Rabelo, Mi-Young Kim, Randy Goebel, Masaharu Yoshioka, Yoshinobu Kano, Ken Satoh
2020 J jnl
Dischargeable Obligations in the
Fundam. Informaticae
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Ken Satoh, Riccardo Zese
2020 J jnl
Encoded summarization: summarizing documents into continuous vector space for legal case retrieval.
Artif. Intell. Law
Vu D. Tran, Minh Le Nguyen, Satoshi Tojo, Ken Satoh
2020 C conf
Generalizing Culprit Resolution in Legal Debugging with Background Knowledge.
JURIX
Wachara Fungwacharakorn, Ken Satoh
2020 — conf
Goal-Driven Structured Argumentation for Patient Management in a Multimorbidity Setting.
CLAR
Tiago Oliveira, Jérémie Dauphin, Ken Satoh, Shusaku Tsumoto, Paulo Novais
2020 J jnl
JNLP Team: Deep Learning for Legal Processing in COLIEE 2020.
CoRR
Ha-Thanh Nguyen, Hai-Yen Thi Vuong, Phuong Minh Nguyen, Tran Binh Dang, Quan Minh Bui, Vu Trong Sinh, Chau Minh Nguyen, Vu D. Tran, Ken Satoh, Minh Le Nguyen
2020 — ed.
New Frontiers in Artificial Intelligence - JSAI-isAI International Workshops, JURISIN, AI-Biz, LENLS, Kansei-AI, Yokohama, Japan, November 10-12, 2019, Revised Selected Papers
JSAI-isAI Workshops
Maki Sakamoto, Naoaki Okazaki, Koji Mineshima, Ken Satoh
2020 — conf
On the Legal Revision in PROLEG Program.
JSAI
Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh
2020 C conf
Reasoning About Applicable Law in Private International Law in Logic Programming.
JURIX
Ken Satoh, Matteo Baldoni, Laura Giordano
2019 — conf
A Summary of the COLIEE 2019 Competition.
JSAI-isAI Workshops
Juliano Rabelo, Mi-Young Kim, Randy Goebel, Masaharu Yoshioka, Yoshinobu Kano, Ken Satoh
2019 — conf
An Agent-Based Model for Exploring Pension Law and Social Security Policies.
JSAI-isAI Workshops
Emilio Serrano, Ken Satoh
2019 — conf
An Approach of Rhetorical Status Recognition for Judgments in Court Documents using Deep Learning Models.
KSE
Vu D. Tran, Minh Le Nguyen, Kiyoaki Shirai, Ken Satoh
2019 C conf
Building Legal Case Retrieval Systems with Lexical Matching and Summarization using A Pre-Trained Phrase Scoring Model.
ICAIL
Vu D. Tran, Minh Le Nguyen, Ken Satoh
2019 B conf
Explainable ASP.
PRIMA
Jérémie Dauphin, Ken Satoh
2019 C conf
Legal Text Generation from Abstract Meaning Representation.
JURIX
Vu Trong Sinh, Minh Le Nguyen, Ken Satoh
2019 J jnl
Modelling last-act attempted crime in criminal law.
J. Appl. Non Class. Logics
Jiraporn Pooksook, Phan Minh Dung, Ken Satoh, Giovanni Sartor
2019 — ed.
New Frontiers in Artificial Intelligence - JSAI-isAI 2018 Workshops, JURISIN, AI-Biz, SKL, LENLS, IDAA, Yokohama, Japan, November 12-14, 2018, Revised Selected Papers
JSAI-isAI Workshops
Kazuhiro Kojima, Maki Sakamoto, Koji Mineshima, Ken Satoh
2019 B conf
ODRL Policy Modelling and Compliance Checking.
RuleML+RR
Marina De Vos, Sabrina Kirrane, Julian A. Padget, Ken Satoh
2019 J jnl
OWL-based acquisition and editing of computer-interpretable guidelines with the CompGuide editor.
Expert Syst. J. Knowl. Eng.
Tiago Oliveira, Filipe Gonçalves, Paulo Novais, Ken Satoh, José Neves
2019 — conf
Providing Alternative Measures for Addressing Adverse Drug-Drug Interactions.
WorldCIST (2)
António Silva, Tiago Oliveira, Ken Satoh, Paulo Novais
2019 C conf
Renvoi in Private International Law: A Formalization with Modal Contexts.
JURIX
Matteo Baldoni, Laura Giordano, Ken Satoh
2019 J jnl
Summarizing significant subgraphs by probabilistic logic programming.
Intell. Data Anal.
Elena Bellodi, Ken Satoh, Mahito Sugiyama
2018 — conf
A Unified System for Clinical Guideline Management and Execution.
WorldCIST (2)
António Silva, Tiago Oliveira, Filipe Gonçalves, José Neves, Ken Satoh, Paulo Novais
2018 B conf
Abstract Argumentation / Persuasion / Dynamics.
PRIMA
Ryuta Arisaka, Ken Satoh
2018 A conf
Argumentation with Goals for Clinical Decision Support in Multimorbidity.
AAMAS
Tiago Oliveira, Jérémie Dauphin, Ken Satoh, Shusaku Tsumoto, Paulo Novais
2018 J jnl
Automatic Catchphrase Extraction from Legal Case Documents via Scoring using Deep Neural Networks.
CoRR
Vu D. Tran, Minh Le Nguyen, Ken Satoh
2018 — conf
Automatically Identifying Drug Conflicts in Clinical Practice Guidelines.
MedRACER+WOMoCoE@KR
António Silva, Tiago Oliveira, Ken Satoh, Paulo Novais
2018 — conf
COLIEE-2018: Evaluation of the Competition on Legal Information Extraction and Entailment.
JSAI-isAI Workshops
Yoshinobu Kano, Mi-Young Kim, Masaharu Yoshioka, Yao Lu, Juliano Rabelo, Naoki Kiyota, Randy Goebel, Ken Satoh
2018 — conf
ContractFrames: Bridging the Gap Between Natural Language and Logics in Contract Law.
JSAI-isAI Workshops
María Navas-Loro, Ken Satoh, Víctor Rodríguez-Doncel
2018 B conf
Dialogue Games for Enforcement of Argument Acceptance and Rejection via Attack Removal.
PRIMA
Jérémie Dauphin, Ken Satoh
2018 — conf
Encoding Local Contexts of Sentences with Convolutions on pq-Gram Representations of Dependency Trees.
KSE
Vu D. Tran, Minh Le Nguyen, Ken Satoh
2018 A conf
How Implicit Communication Emerges during Conversation Game.
AAMAS
Bohao Wang, Hirotaka Osawa, Ken Satoh
2018 — conf
Legal Debugging in Propositional Legal Representation.
JSAI-isAI Workshops
Wachara Fungwacharakorn, Ken Satoh
2018 — ed.
New Frontiers in Artificial Intelligence - JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, Japan, November 13-15, 2017, Revised Selected Papers
JSAI-isAI Workshops
Sachiyo Arai, Kazuhiro Kojima, Koji Mineshima, Daisuke Bekki, Ken Satoh, Yuiko Ohta
2018 J jnl
Obligation as Optimal Goal Satisfaction.
J. Philos. Log.
Robert A. Kowalski, Ken Satoh
2018 J jnl
Recurrent neural network-based models for recognizing requisite and effectuation parts in legal texts.
Artif. Intell. Law
Truong-Son Nguyen, Le-Minh Nguyen, Satoshi Tojo, Ken Satoh, Akira Shimazu
2018 J jnl
Survivability Prediction of Colorectal Cancer Patients: A System with Evolving Features for Continuous Improvement.
Sensors
Tiago Oliveira, Ana Silva, Ken Satoh, Vicente Julián, Pedro Leão, Paulo Novais
2018 — ch.
The Role of Ontologies and Decision Frameworks in Computer-Interpretable Guideline Execution.
Synergies Between Knowledge Engineering and Software Engineering
Paulo Novais, Tiago Oliveira, Ken Satoh, José Neves
2018 C conf
Using Agreement Statements to Identify Majority Opinion in UKHL Case Law.
JURIX
Josef Valvoda, Oliver Ray, Ken Satoh
2017 — conf
A System for the Management of Clinical Tasks Throughout the Clinical Process with Notification Features.
A2HC@AAMAS/A-HEALTH@PAAMS
António Silva, Tiago Oliveira, José Neves, Ken Satoh, Paulo Novais
2017 J jnl
A dynamic default revision mechanism for speculative computation.
Auton. Agents Multi Agent Syst.
Tiago Oliveira, Ken Satoh, Paulo Novais, José Neves, Hiroshi Hosobe
2017 J jnl
Abstract Argumentation / Persuasion / Dynamics.
CoRR
Ryuta Arisaka, Ken Satoh
2017 J jnl
An Orientation Method with Prediction and Anticipation Features.
Inteligencia Artif.
João Ramos, Tiago Oliveira, Ken Satoh, José Neves, Paulo Novais
2017 — conf
Anything You Say May Be Used Against You in a Court of Law - Abstract Agent Argumentation (Triple-A).
AICOL
Ryuta Arisaka, Ken Satoh, Leendert W. N. van der Torre
2017 — ed.
COLIEE 2017. 4th Competition on Legal Information Extraction and Entailment, held in conjunction with the 16th International Conference on Artificial Intelligence and Law (ICAIL 2017) in King's College London, UK.
COLIEE@ICAIL
Ken Satoh, Mi-Young Kim, Yoshinobu Kano, Randy Goebel, Tiago Oliveira
2017 A conf
Coalition Formability Semantics with Conflict-Eliminable Sets of Arguments.
AAMAS
Ryuta Arisaka, Ken Satoh
2017 J jnl
ConvAMR: Abstract meaning representation parsing for legal document.
CoRR
Viet Dac Lai, Vu Trong Sinh, Le Minh Nguyen, Ken Satoh
2017 — ed.
New Frontiers in Artificial Intelligence - JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers
JSAI-isAI Workshops
Mihoko Otake, Setsuya Kurahashi, Yuiko Ota, Ken Satoh, Daisuke Bekki
2017 — ed.
New Frontiers in Artificial Intelligence - JSAI-isAI 2016 Workshops, LENLS, HAT-MASH, AI-Biz, JURISIN and SKL, Kanagawa, Japan, November 14-16, 2016, Revised Selected Papers
JSAI-isAI Workshops
Setsuya Kurahashi, Yuiko Ohta, Sachiyo Arai, Ken Satoh, Daisuke Bekki
2017 — conf
Overview of COLIEE 2017.
COLIEE@ICAIL
Yoshinobu Kano, Mi-Young Kim, Randy Goebel, Ken Satoh
2016 A* conf
Abstract Argumentation for Case-Based Reasoning.
KR
Kristijonas Cyras, Ken Satoh, Francesca Toni
2016 — conf
Autonomous Control of Mobile Robots Using Logical Representation of Map and Inference of Location.
ICA
Megumi Fujita, Yuki Goto, Naoyuki Nide, Ken Satoh, Hiroshi Hosobe
2016 B conf
Balancing Rationality and Utility in Logic-Based Argumentation with Classical Logic Sentences and Belief Contraction.
PRIMA
Ryuta Arisaka, Ken Satoh
2016 J jnl
Coalition Formability Semantics with Conflict-Eliminable Sets of Arguments.
CoRR
Ryuta Arisaka, Ken Satoh
2016 C conf
Describing Legal Policies as Story Tropes in Normative Systems.
JURIX
Matthew Thompson, Julian A. Padget, Ken Satoh
2016 C conf
Explanation for Case-Based Reasoning via Abstract Argumentation.
COMMA
Kristijonas Cyras, Ken Satoh, Francesca Toni
2016 — conf
Orientation System Based on Speculative Computation and Trajectory Mining.
PAAMS (Workshops)
João Ramos, Tiago Oliveira, Ken Satoh, José Neves, Paulo Novais
2016 — conf
Voluntary Manslaughter? A Case Study with Meta-Argumentation with Supports.
JSAI-isAI Workshops
Ryuta Arisaka, Ken Satoh
2015 Misc conf
A Reasoning Module for Distributed Clinical Decision Support Systems.
IDC
Tiago Oliveira, Ken Satoh, Paulo Novais, José Neves, Pedro Leão, Hiroshi Hosobe
2015 C conf
An alert mechanism for orientation systems based on Speculative computation.
INISTA
João Ramos, Tiago Oliveira, Paulo Novais, José Neves, Ken Satoh
2015 — conf
Argumentation-based Normative Practical Reasoning.
TAFA
Zohreh Shams, Marina De Vos, Nir Oren, Julian A. Padget, Ken Satoh
2015 B conf
Automated Inference of Rules with Exception from Past Legal Cases Using ASP.
LPNMR
Duangtida Athakravi, Ken Satoh, Mark Law, Krysia Broda, Alessandra Russo
2015 B conf
Characterising and Explaining Inconsistency in Logic Programs.
LPNMR
Claudia Schulz, Ken Satoh, Francesca Toni
2015 — conf
Debugging ASP using ILP.
ICLP (Technical Communications)
Tingting Li, Marina De Vos, Julian A. Padget, Ken Satoh, Tina Balke
2014 B conf
Applying Speculative Computation to Guideline-Based Decision Support Systems.
CBMS
Tiago Oliveira, José Neves, Paulo Novais, Ken Satoh
2014 B conf
Inductive Learning Using Constraint-Driven Bias.
ILP
Duangtida Athakravi, Dalal Alrajeh, Krysia Broda, Alessandra Russo, Ken Satoh
2014 — conf
Legal Reasoning Engine for Civil Court Procedure.
ICIC (2)
Tanapon Tantisripreecha, Ken Satoh, Nuanwan Soonthornphisaj
2014 A conf
Logic-based and robust desicion making for robots in real world.
AAMAS
Megumi Fujita, Yuki Goto, Naoyuki Nide, Ken Satoh, Hiroshi Hosobe
2014 Misc conf
Modelling an Orientation System Based on Speculative Computation.
DCAI
João Ramos, Ken Satoh, Paulo Novais, José Neves
2014 — ed.
New Frontiers in Artificial Intelligence - JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers
JSAI-isAI Workshops
Yukiko I. Nakano, Ken Satoh, Daisuke Bekki
2014 — conf
On requirements representation and reasoning using answer set programming.
AIRE
Julian A. Padget, Emad Eldeen Elakehal, Ken Satoh, Fuyuki Ishikawa
2014 J jnl
Towards Explanation Production Combining Natural Language Processing and Logical Reasoning (NII Shonan Meeting 2014-15).
NII Shonan Meet. Rep.
Randy Goebel, Yuji Matsumoto, Ken Satoh
2013 C conf
A model-based approach to the automatic revision of secondary legislation.
ICAIL
Tingting Li, Tina Balke, Marina De Vos, Julian A. Padget, Ken Satoh
2013 J jnl
An Architecture for Autonomously Controlling Robot with Embodiment in Real World.
CoRR
Megumi Fujita, Yuki Goto, Naoyuki Nide, Ken Satoh, Hiroshi Hosobe
2013 — conf
Answering Yes/No Questions in Legal Bar Exams.
JSAI-isAI Workshops
Mi-Young Kim, Ying Xu, Randy Goebel, Ken Satoh
2013 — conf
ArgPROLEG: A Normative Framework for the JUF Theory.
JSAI-isAI Workshops
Zohreh Shams, Marina De Vos, Ken Satoh
2013 A conf
Combining event-and state-based norms.
AAMAS
Marina De Vos, Tina Balke, Ken Satoh
2013 C conf
Legal Conflict Detection in Interacting Legal Systems.
JURIX
Tingting Li, Tina Balke, Marina De Vos, Julian A. Padget, Ken Satoh
2013 — conf
Legal Conflict Detection in Interacting Legal Systems.
DoCoPe@JURIX
Tingting Li, Tina Balke, Marina De Vos, Julian A. Padget, Ken Satoh
2012 — conf
Decision Making in Knowledge Integration with Dynamic Creation of Argumentation.
ISIP
Ken Satoh, Kazuko Takahashi
2012 — conf
Detecting Conflicts in Legal Systems.
JSAI-isAI Workshops
Tingting Li, Tina Balke, Marina De Vos, Ken Satoh, Julian A. Padget
2012 — conf
Distributed Defeasible Speculative Reasoning in Ambient Environment.
CLIMA
Ho-Pun Lam, Guido Governatori, Ken Satoh, Hiroshi Hosobe
2012 — conf
Handling Change in Normative Specifications.
DALT
Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh
2012 A conf
Handling change in normative specifications.
AAMAS
Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh
2012 J jnl
Logic Programming and Burden of Proof in Legal Reasoning.
New Gener. Comput.
Ken Satoh
2012 — conf
Modelling Legitimate Expectations.
JSAI-isAI Workshops
Marina De Vos, Tina Balke, Ken Satoh
2012 — ed.
New Frontiers in Artificial Intelligence - JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP, MiMI, Takamatsu, Japan, December 1-2, 2011. Revised Selected Papers
JSAI-isAI Workshops
Manabu Okumura, Daisuke Bekki, Ken Satoh
2012 — conf
Polyphonic Music Classification on Symbolic Data Using Dissimilarity Functions.
ISMIR
Yoko Anan, Kohei Hatano, Hideo Bannai, Masayuki Takeda, Ken Satoh
2011 J jnl
Normative design using inductive learning
CoRR
Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh
2011 J jnl
Normative design using inductive learning.
Theory Pract. Log. Program.
Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh
2011 — conf
The Fifth International Workshop on Juris-Informatics (JURISIN 2011).
JSAI-isAI Workshops
Shozo Ota, Ken Satoh, Makoto Nakamura
2010 — conf
Legal Modelling and Reasoning Using Institutions.
JSAI-isAI Workshops
Marina De Vos, Julian A. Padget, Ken Satoh
2010 — conf
Norm Refinement and Design through Inductive Learning.
COIN@AAMAS&MALLOW
Domenico Corapi, Marina De Vos, Julian A. Padget, Alessandra Russo, Ken Satoh
2010 — conf
Norm Refinement and Design through Inductive Learning.
MALLOW
Domenico Corapi, Marina De Vos, Julian A. Padget, Alessandra Russo, Ken Satoh
2010 J jnl
On the complexities of consistency checking for restricted UML class diagrams.
Theor. Comput. Sci.
Ken Kaneiwa, Ken Satoh
2010 — conf
PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology.
JSAI-isAI Workshops
Ken Satoh, Kento Asai, Takamune Kogawa, Masahiro Kubota, Megumi Nakamura, Yoshiaki Nishigai, Kei Shirakawa, Chiaki Takano
2010 — conf
Speculative Abductive Reasoning for Hierarchical Agent Systems.
CLIMA
Jiefei Ma, Krysia Broda, Randy Goebel, Hiroshi Hosobe, Alessandra Russo, Ken Satoh
2010 J jnl
Speculative constraint processing for hierarchical agents.
AI Commun.
Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, Krysia Broda
2009 — conf
Computing Minimal Models by Positively Minimal Disjuncts.
JSAI-isAI Workshops
Ken Satoh
2009 — conf
On the Implementation of Speculative Constraint Processing.
CLIMA
Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe, Ken Satoh
2009 C conf
Translating the Japanese Presupposed Ultimate Fact Theory into Logic Programming.
JURIX
Ken Satoh, Masahiro Kubota, Yoshiaki Nishigai, Chiaki Takano
2008 — ed.
Computational Logic in Multi-Agent Systems, 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers
CLIMA
Fariba Sadri, Ken Satoh
2008 — ed.
New Frontiers in Artificial Intelligence, JSAI 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers
JSAI
Ken Satoh, Akihiro Inokuchi, Katashi Nagao, Takahiro Kawamura
2008 — conf
Overview of JURISIN 2008.
JSAI
Katsumi Nitta, Ken Satoh, Satoshi Tojo
2008 — conf
Towards "Kiga-kiku" Services on Speculative Computation.
PAKM
Naoki Fukuta, Ken Satoh, Takahira Yamaguchi
2007 J jnl
Agent-Based Speculative Constraint Processing.
IEICE Trans. Inf. Syst.
Hiroshi Hosobe, Ken Satoh, Philippe Codognet
2007 A* conf
Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs.
IJCAI
Shin-ichi Minato, Ken Satoh, Taisuke Sato
2007 — ed.
Computational Logic in Multi-Agent Systems, 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers
CLIMA
Katsumi Inoue, Ken Satoh, Francesca Toni
2007 — conf
First International Workshop on Juris-Informatics.
JSAI
Katsumi Nitta, Ken Satoh, Satoshi Tojo
2007 C conf
Narrative based Topic Visualization for Chronological Data.
IV
Mina Akaishi, Yoshikiyo Kato, Ken Satoh, Koichi Hori
2007 — ed.
New Frontiers in Artificial Intelligence, JSAI 2006 Conference and Workshops, Tokyo, Japan, June 5-9 2006, Revised Selected Papers
JSAI
Takashi Washio, Ken Satoh, Hideaki Takeda, Akihiro Inokuchi
2006 — conf
Consistency Checking Algorithms for Restricted UML Class Diagrams.
FoIKS
Ken Kaneiwa, Ken Satoh
2006 A* conf
Contradiction Finding and Minimal Recovery for UML Class Diagrams.
ASE
Ken Satoh, Ken Kaneiwa, Takeaki Uno
2006 C conf
Disjunction of Causes and Disjunctive Cause: a Solution to the Paradox of Conditio Sine Qua Non using Minimal Abduction.
JURIX
Ken Satoh, Satoshi Tojo
2006 C conf
Enumerating Minimal Explanations by Minimal Hitting Set Computation.
KSEM
Ken Satoh, Takeaki Uno
2006 — conf
The Fourth Workshop on Learning with Logics and Logics for Learning (LLLL2006).
JSAI
Akihiro Yamamoto, Kouichi Hirata, Ken Satoh
2006 C conf
Topic Tracer: a Visualization Tool for Quick Reference of Stories Embedded in Document Set.
IV
Mina Akaishi, Koichi Hori, Ken Satoh
2005 — conf
Enumerating Minimally Revised Specifications Using Dualization.
JSAI Workshops
Ken Satoh, Takeaki Uno
2005 J jnl
Learning taxonomic relation by case-based reasoning.
Theor. Comput. Sci.
Ken Satoh
2005 J jnl
Speculative Computation and Abduction for an Autonomous Agent.
IEICE Trans. Inf. Syst.
Ken Satoh
2005 — conf
Speculative Constraint Processing with Iterative Revision for Disjunctive Answers.
CLIMA
Martine Ceberio, Hiroshi Hosobe, Ken Satoh
2004 — conf
"All's well that ends well" - a proposal of global abduction.
NMR
Ken Satoh
2004 — conf
An Application of Global Abduction to an Information Agent Which Modifies a Plan Upon Failure - Preliminary Report.
CLIMA
Ken Satoh
2004 B conf
An Associative Information Retrieval Based on the Dependency of Term Co-occurrence.
Discovery Science
Mina Akaishi, Ken Satoh, Yuzuru Tanaka
2004 — conf
Formalizing Retrieval Goal Change by Prioritized Abduction.
Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets
Ken Satoh
2004 J jnl
Introduction.
Ann. Math. Artif. Intell.
Jürgen Dix, João Alexandre Leite, Ken Satoh
2003 — conf
Detailed Description of an Algorithm for Enumeration of Maximal Frequent Sets with Irredundant Dualization.
FIMI
Takeaki Uno, Ken Satoh
2003 B conf
Enumerating Maximal Frequent Sets Using Irredundant Dualization.
Discovery Science
Ken Satoh, Takeaki Uno
2003 — conf
Formalizing Retrieval Goal Change by Prioritized Circumscription - Preliminary Report.
CIA
Ken Satoh
2003 J jnl
Introduction.
Ann. Math. Artif. Intell.
Jürgen Dix, Fariba Sadri, Ken Satoh
2003 B conf
Speculative Constraint Processing in Multi-agent Systems.
PRIMA
Ken Satoh, Philippe Codognet, Hiroshi Hosobe
2002 — ed.
Computational Logic in Multi-Agent Systems, CLIMA 2002, FLoC Satellite Event, Copenhagen, Denmark, August 1, 2002
CLIMA
Jürgen Dix, João Alexandre Leite, Ken Satoh
2002 — conf
Constructing a Critical Casebase to Represent a Lattice-Based Relation.
Progress in Discovery Science
Ken Satoh
2002 B ed.
Discovery Science, 5th International Conference, DS 2002, Lübeck, Germany, November 24-26, 2002, Proceedings
Discovery Science
Steffen Lange, Ken Satoh, Carl H. Smith
2002 — conf
Preface.
CLIMA
Jürgen Dix, João Alexandre Leite, Ken Satoh
2002 — conf
Speculative computation and abduction for an autonomous agent.
NMR
Ken Satoh
2002 A conf
Speculative computation with multi-agent belief revision.
AAMAS
Ken Satoh, Keiji Yamamoto
2000 — conf
A Defeasible Reasoning System in Multi-Agent Environment.
CL-2000 Workshop on Computational Logic in Multi-Agent Systems
Chiaki Sakama, Katsumi Inoue, Koji Iwanuma, Ken Satoh
2000 — ed.
CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), London, UK, July 24-25, 2000
CLIMA
Ken Satoh, Fariba Sadri
2000 J jnl
Computing Circumscriptive Databases by Integer Programming: Revisited (Extended Abstract)
CoRR
Ken Satoh, Hidenori Okamoto
2000 — conf
Computing Circumscriptive Databases by Integer Programming: Revisited.
AAAI/IAAI
Ken Satoh, Hidenori Okamoto
2000 J jnl
Computing abduction by using TMS with top-down expectation.
J. Log. Program.
Noboru Iwayama, Ken Satoh
2000 J jnl
Consistency Management of Normal Logic Program by Top-down Abductive Proof Procedure
CoRR
Ken Satoh
2000 — conf
Discovering Critical Cases in Case-Based Reasoning.
AI&M
Ken Satoh, Ryuichi Nakagawa
2000 B conf
Learning Taxonomic Relation by Case-Based Reasoning.
ALT
Ken Satoh
2000 J jnl
Reports on the AAAI 1999 Workshop Program.
AI Mag.
Brian Drabble, Laurent Chaudron, Catherine Tessier, Sue Abu-Hakima, Steven Willmott, Jim Austin, Boi Faltings, Eugene C. Freuder, Gerhard Friedrich, Alex Alves Freitas, Ulises Cortés, Miquel Sànchez-Marrè, David W. Aha, Irma Becerra-Fernandez, Héctor Muñoz-Avila, Aditya Ghose, Tim Menzies, Ken Satoh, Mary Elaine Califf, Michael T. Cox, Sandip Sen, Patrick Brézillon, Jean-Charles Pomerol, Roy M. Turner, Elise H. Turner
2000 — conf
Speculative Computation by Abduction under Incomplete Communication Environments.
ICMAS
Ken Satoh, Katsumi Inoue, Koji Iwanuma, Chiaki Sakama
1998 B conf
Analysis of Case-Based Representability of Boolean Functions by Monotone Theory.
ALT
Ken Satoh
1998 A conf
Using Two Level Abduction to Decide Similarity of Cases.
ECAI
Ken Satoh
1997 — conf
Compiling Prioritized Circumscription into Extended Logic Programs.
IJCAI (1)
Toshiko Wakaki, Ken Satoh
1997 J jnl
Reasoning about Dynamic Preferences in Circumscriptive Theory by Logic Programming.
J. Adv. Comput. Intell. Intell. Informatics
Toshiko Wakaki, Ken Satoh, Katsumi Nitta
1997 J jnl
Statutory Interpretation by Case-Based Reasoning through Abductive Logic Programming.
J. Adv. Comput. Intell. Intell. Informatics
Ken Satoh
1996 B conf
Disambiguation by Prioritized Circumscription.
COLING
Ken Satoh
1996 C conf
PAC-Learning of Weights in Multiobjective Function by Pairwise Comparison.
IEA/AIE
Ken Satoh
1996 A conf
Translating Case-Based Reasoning into Abductive Logic Programming.
ECAI
Ken Satoh
1995 C conf
An Average-Case Analysis of k-Nearest Neighbor Classifier.
ICCBR
Seishi Okamoto, Ken Satoh
1995 B conf
Computing Prioritized Circumscription by Logic Programming.
ICLP
Toshiko Wakaki, Ken Satoh
1995 — conf
PAC-learning of Preference Relations over Interpretations in Lazy Nonmonotonic Reasoning.
Machine Intelligence 15
Ken Satoh
1994 A conf
A Top Down Proof Procedure for Default Logic by Using Abduction.
ECAI
Ken Satoh
1994 — conf
An Average Predictive Accuracy of the Nearest Neighbor Classifier.
EWCBR
Seishi Okamoto, Ken Satoh
1992 — conf
A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity Constraints.
ELP
Ken Satoh, Noboru Iwayama
1992 A conf
A Formalization of Generalization-Based Analogy in General Logic Programs.
ECAI
Noboru Iwayama, Ken Satoh, Jun Arima
1992 — conf
A Query Evaluation Method for Abductive Logic Programming.
JICSLP
Ken Satoh, Noboru Iwayama
1992 — conf
Parallel Constraint Logic Programming Language GDCC and its Parallel Constraint Solvers.
FGCS
Satoshi Terasaki, David J. Hawley, Hiroyuki Sawada, Ken Satoh, Satoshi Menju, Taro Kawagishi, Noboru Iwayama, Akira Aiba
1991 A* conf
A Unified View of Consequence Relation, Belief Revision and Conditional Logic.
IJCAI
Hirofumi Katsuno, Ken Satoh
1991 B conf
Computing Abduction by Using the TMS.
ICLP
Ken Satoh, Noboru Iwayama
1990 A* conf
A Probabilistic Interpretation for Lazy Nonmonotonic Reasoning.
AAAI
Ken Satoh
1990 A conf
Formalizing Soft Constraints by Interpretation Ordering.
ECAI
Ken Satoh
1988 — conf
Nonmonotonic Reasoning by Minimal Belief Revision.
FGCS
Ken Satoh
1986 — conf
"Kabu-Wake" Parallel Inference Mechanism and It's Evaluation.
FJCC
Hideo Masuzawa, Kouichi Kumon, Akihiro Itashiki, Ken Satoh, Yukio Sohma
1986 B conf
A Sequential Implementation of Parlog.
ICLP
Ian T. Foster, Steve Gregory, Graem A. Ringwood, Ken Satoh
1986 — conf
KABU-WAKE: A New Parallel Inference Method and Its Evaluation.
COMPCON
Kouichi Kumon, Hideo Masuzawa, Akihiro Itashiki, Ken Satoh, Yukio Sohma