default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKen Satoh
Person information
- affiliation: National Institute of Informatics, NII, Japan
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[c170]Hisashi Hayshi, Yousef Taheri, Kanae Tsushima, Gauvain Bourgne, Jean-Gabriel Ganascia, Ken Satoh:
A New Planning Agent Architecture that Efficiently Integrates an Online Planner with External Legal and Ethical Checkers. ICAART (1) 2025: 263-272- [c169]Ngoc-Duy Mai, Minh-Tuan Nguyen, Van-Huan Nguyen, Xuan-Bach Le, Ha-Thanh Nguyen, Ken Satoh, Hideaki Takeda, Thi-Hai-Yen Vuong:
Towards Accurate Legal Term Detection: Insights from Dependency Tree-Based and Large Language Model Approaches. JSAI-isAI 2025: 3-19 - [c168]Wachara Fungwacharakorn
, Kanae Tsushima, Hiroshi Hosobe, Hideaki Takeda, Ken Satoh:
On the Normative Status and Argumentation Semantics of Soft-Constraint Norms. JSAI-isAI 2025: 66-79 - [i30]Thomas Ågotnes, Rustam Galimullin, Ken Satoh, Satoshi Tojo:
Anonymous Public Announcements. CoRR abs/2504.12546 (2025) - 2024
- [j36]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:
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies. Artif. Intell. Law 32(2): 505-555 (2024) - [j35]Randy Goebel, Yoshinobu Kano, Mi-Young Kim, Juliano Rabelo, Ken Satoh, Masaharu Yoshioka:
Preface of Special Issue on 10th Competition on Legal Information of Extraction and Entailment (COLIEE 2023). Rev. Socionetwork Strateg. 18(1): 25-26 (2024) - [j34]Randy Goebel, Yoshinobu Kano, Mi-Young Kim, Juliano Rabelo, Ken Satoh, Masaharu Yoshioka:
Overview and Discussion of the Competition on Legal Information, Extraction/Entailment (COLIEE) 2023. Rev. Socionetwork Strateg. 18(1): 27-47 (2024) - [c167]Ken Satoh, Hideaki Takeda, Randy Goebel, Yoshinobu Kano, Mi-Young Kim, Juliano Rabelo, Masaharu Yoshioka:
Juris-Informatics: Law for AI and Law of AI. IEEE Big Data 2024: 4757-4762 - [c166]Yang Song, Ken Satoh:
A Three-Valued Semantics for Negotiated Situation of Multi-Agent System Based on BATNA and WATNA. ICAART (1) 2024: 333-340 - [c165]Hiroshi Hosobe, Ken Satoh:
A Soft Constraint-Based Framework for Ethical Reasoning. ICAART (3) 2024: 1354-1361 - [c164]May Myo Zin, Ha-Thanh Nguyen, Ken Satoh, Fumihito Nishino:
Addressing Annotated Data Scarcity in Legal Information Extraction. JSAI-isAI 2024: 77-92 - [c163]Randy Goebel, Yoshinobu Kano, Mi-Young Kim, Juliano Rabelo, Ken Satoh, Masaharu Yoshioka:
Overview of Benchmark Datasets and Methods for the Legal Information Extraction/Entailment Competition (COLIEE) 2024. JSAI-isAI 2024: 109-124 - [c162]May Myo Zin, Ken Satoh, Georg Borges:
Leveraging LLM for Identification and Extraction of Normative Statements. JURIX 2024: 215-225 - [c161]Ha-Thanh Nguyen, Ken Satoh:
ConsRAG: Minimize LLM Hallucinations in the Legal Domain. JURIX 2024: 327-332 - [c160]Theodoros Mitsikas, Ralph Schäfermeier, Yousef Taheri, Kanae Tsushima, Hisashi Hayashi, Jean-Gabriel Ganascia, Gauvain Bourgne, Ken Satoh, Adrian Paschke:
Distributed Component Interoperation and Execution for Norm-Based Real-time Compliance. RuleML+RR (Companion) 2024 - [c159]Adrian Paschke, Ken Satoh, Jean-Gabriel Ganascia:
Realtime Compliance Mechanism for AI (RECOMP). RuleML+RR (Companion) 2024 - [e20]Mayumi Bono, Yasufumi Takama, Ken Satoh, Le-Minh Nguyen, Setsuya Kurahashi:
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. Lecture Notes in Computer Science 14644, Springer 2024, ISBN 978-3-031-60510-9 [contents] - [i29]Ha-Thanh Nguyen, Ken Satoh:
Balancing Exploration and Exploitation in LLM using Soft RLLF for Enhanced Negation Understanding. CoRR abs/2403.01185 (2024) - [i28]Hai-Long Nguyen, Duc-Minh Nguyen, Tan-Minh Nguyen, Ha-Thanh Nguyen, Thi-Hai-Yen Vuong, Ken Satoh:
Enhancing Legal Document Retrieval: A Multi-Phase Approach with Large Language Models. CoRR abs/2403.18093 (2024) - [i27]Ha-Thanh Nguyen, Hiroaki Yamada, Ken Satoh:
GPTs and Language Barrier: A Cross-Lingual Legal QA Examination. CoRR abs/2403.18098 (2024) - [i26]Wachara Fungwacharakorn, Kanae Tsushima, Hiroshi Hosobe, Hideaki Takeda, Ken Satoh:
An Argumentative Approach for Explaining Preemption in Soft-Constraint Based Norms. CoRR abs/2409.04065 (2024) - [i25]Ken Satoh, Ha-Thanh Nguyen, Francesca Toni, Randy Goebel, Kostas Stathis:
Proceedings of the First International Workshop on Next-Generation Language Models for Knowledge Representation and Reasoning (NeLaMKRR 2024). CoRR abs/2410.05339 (2024) - [i24]Ha Thanh Nguyen, Ken Satoh:
KRAG Framework for Enhancing LLMs in the Legal Domain. CoRR abs/2410.07551 (2024) - [i23]Wachara Fungwacharakorn, Ha-Thanh Nguyen, May Myo Zin, Ken Satoh:
Layer-of-Thoughts Prompting (LoT): Leveraging LLM-Based Retrieval with Constraint Hierarchies. CoRR abs/2410.12153 (2024) - 2023
- [j33]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:
SM-BERT-CR: a deep learning approach for case law retrieval with supporting model. Artif. Intell. Law 31(3): 601-628 (2023) - [j32]Gauvain Bourgne, Jean-Gabriel Ganascia, Adrian Paschke, Ken Satoh:
Preface of Special Issue on International Workshop on AI compliance mechanism (WAICOM 2022). Rev. Socionetwork Strateg. 17(2): 215-216 (2023) - [c158]Truong Do, Chau Nguyen, Vu D. Tran, Ken Satoh, Yuji Matsumoto, Le-Minh Nguyen:
CovRelex-SE: Adding Semantic Information for Relation Search via Sequence Embedding. EACL (System Demonstrations) 2023: 35-42 - [c157]Hisashi Hayashi, Ken Satoh:
Online HTN Planning for Data Transfer and Utilization Considering Legal and Ethical Norms: Case Study. ICAART (1) 2023: 154-164 - [c156]Hiroshi Hosobe, Ken Satoh:
Hierarchical Constraint Logic Programming for Multi-Agent Systems. ICAART (1) 2023: 289-296 - [c155]Ha-Thanh Nguyen, Vu Tran, Minh-Phuong Nguyen, Le-Minh Nguyen, Ken Satoh:
How Fine Tuning Affects Contextual Embeddings: A Negative Result Explanation. ICAART (3) 2023: 586-591 - [c154]May Myo Zin, Ha-Thanh Nguyen, Ken Satoh, Saku Sugawara, Fumihito Nishino:
Improving Translation of Case Descriptions into Logical Fact Formulas using LegalCaseNER. ICAIL 2023: 462-466 - [c153]Randy Goebel, Yoshinobu Kano, Mi-Young Kim, Juliano Rabelo, Ken Satoh, Masaharu Yoshioka:
Summary of the Competition on Legal Information, Extraction/Entailment (COLIEE) 2023. ICAIL 2023: 472-480 - [c152]Ha-Thanh Nguyen, Randy Goebel, Francesca Toni, Kostas Stathis, Ken Satoh:
How well do SOTA legal reasoning models support abductive reasoning? ICLP Workshops 2023 - [c151]Ha-Thanh Nguyen, Francesca Toni, Kostas Stathis, Ken Satoh:
Beyond Logic Programming for Legal Reasoning. ICLP Workshops 2023 - [c150]Guilherme Paulino-Passos, Ken Satoh, Francesca Toni:
A Dataset of Contractual Events in Court Decisions. ICLP Workshops 2023 - [c149]Hiroshi Hosobe, Ken Satoh:
Binary Search-Based Methods for Solving Constraint Hierarchies over Finite Domains. ICTAI 2023: 186-193 - [c148]Wachara Fungwacharakorn, Hideaki Takeda, Ken Satoh:
Using WikiData for Handling Legal Rule Exceptions: Proof of Concept. JSAI-isAI Workshops 2023: 85-99 - [c147]Wachara Fungwacharakorn, Ken Satoh, Bart Verheij:
Constructing and Explaining Case Models: A Case-Based Argumentation Perspective. JSAI-isAI Workshops 2023: 100-114 - [c146]Wachara Fungwacharakorn, Kanae Tsushima, Hiroshi Hosobe, Hideaki Takeda, Ken Satoh:
Connecting Rule-Based and Case-Based Representations of Soft-Constraint Norms. JURIX 2023: 149-154 - [c145]May Myo Zin, Ha-Thanh Nguyen, Ken Satoh, Saku Sugawara, Fumihito Nishino:
Information Extraction from Lengthy Legal Contracts: Leveraging Query-Based Summarization and GPT-3.5. JURIX 2023: 177-186 - [c144]Ha-Thanh Nguyen, Wachara Fungwacharakorn, Ken Satoh:
LogiLaw Dataset Towards Reinforcement Learning from Logical Feedback (RLLF). JURIX 2023: 217-226 - [c143]Ha Thanh Nguyen, Randy Goebel, Francesca Toni, Kostas Stathis, Ken Satoh:
LawGiBa - Combining GPT, Knowledge Bases, and Logic Programming in a Legal Assistance System. JURIX 2023: 371-374 - [c142]Hisashi Hayashi, Theodoros Mitsikas, Yousef Taheri, Kanae Tsushima, Ralph Schäfermeier, Gauvain Bourgne, Jean-Gabriel Ganascia, Adrian Paschke, Ken Satoh:
Multi-agent Online Planning Architecture for Real-time Compliance. RuleML+RR (Companion) 2023 - [p2]Ken Satoh:
PROLEG: Practical Legal Reasoning System. Prolog: The Next 50 Years 2023: 277-283 - [e19]Katsutoshi Yada, Yasufumi Takama, Koji Mineshima, Ken Satoh:
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. Lecture Notes in Computer Science 13856, Springer 2023, ISBN 978-3-031-36189-0 [contents] - [e18]Yasufumi Takama, Katsutoshi Yada, Ken Satoh, Sachiyo Arai:
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. Lecture Notes in Computer Science 13859, Springer 2023, ISBN 978-3-031-29167-8 [contents] - [d1]Guilherme Paulino-Passos, Ken Satoh, Francesca Toni:
Contractual Events in Court Decisions Dataset. Zenodo, 2023
- [i22]Ha-Thanh Nguyen, Randy Goebel, Francesca Toni, Kostas Stathis, Ken Satoh:
How well do SOTA legal reasoning models support abductive reasoning? CoRR abs/2304.06912 (2023) - [i21]Georg Borges, Ken Satoh, Erich Schweighofer:
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 abs/2305.12203 (2023) - [i20]Ha-Thanh Nguyen, Francesca Toni, Kostas Stathis, Ken Satoh:
Beyond Logic Programming for Legal Reasoning. CoRR abs/2306.16632 (2023) - [i19]Ha-Thanh Nguyen, Randy Goebel, Francesca Toni, Kostas Stathis, Ken Satoh:
A negation detection assessment of GPTs: analysis with the xNot360 dataset. CoRR abs/2306.16638 (2023) - [i18]Ha-Thanh Nguyen, Randy Goebel, Francesca Toni, Kostas Stathis, Ken Satoh:
Black-Box Analysis: GPTs Across Time in Legal Textual Entailment Task. CoRR abs/2309.05501 (2023) - [i17]Vu Tran, Minh Le Nguyen, Satoshi Tojo, Ken Satoh:
Encoded Summarization: Summarizing Documents into Continuous Vector Space for Legal Case Retrieval. CoRR abs/2309.08187 (2023) - [i16]Ha-Thanh Nguyen, Wachara Fungwacharakorn, Ken Satoh:
Enhancing Logical Reasoning in Large Language Models to Facilitate Legal Applications. CoRR abs/2311.13095 (2023) - 2022
- [j31]Vu Trong Sinh, Minh Le Nguyen, Ken Satoh:
Abstract meaning representation for legal documents: an empirical research on a human-annotated dataset. Artif. Intell. Law 30(2): 221-243 (2022) - [j30]Wachara Fungwacharakorn, Ken Satoh:
Toward a practical legal rule revision in legal debugging. Comput. Law Secur. Rev. 46: 105696 (2022) - [j29]Ryuta Arisaka, Jérémie Dauphin, Ken Satoh, Leendert van der Torre:
Multi-agent Argumentation and Dialogue. FLAP 9(4): 921-954 (2022) - [j28]Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh:
Diagnosing and Treating Effect of Legal Rule-Based Revision. New Gener. Comput. 40(1): 25-45 (2022) - [j27]Randy Goebel, Yoshinobu Kano, Mi-Young Kim, Juliano Rabelo, Ken Satoh, Masaharu Yoshioka:
Preface of Special Issue on 8th Competition on Legal Information of Extraction and Entailment (COLIEE 2021). Rev. Socionetwork Strateg. 16(1): 109-110 (2022) - [j26]Juliano Rabelo, Randy Goebel, Mi-Young Kim, Yoshinobu Kano, Masaharu Yoshioka, Ken Satoh:
Overview and Discussion of the Competition on Legal Information Extraction/Entailment (COLIEE) 2021. Rev. Socionetwork Strateg. 16(1): 111-133 (2022) - [j25]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:
Transformer-Based Approaches for Legal Text Processing. Rev. Socionetwork Strateg. 16(1): 135-155 (2022) - [c141]Minh-Phuong Nguyen, Thi-Thu-Trang Nguyen, Vu D. Tran, Ha-Thanh Nguyen, Le-Minh Nguyen, Ken Satoh:
Learning to Map the GDPR to Logic Representation on DAPRECO-KB. ACIIDS (1) 2022: 442-454 - [c140]Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis:
Taking stock of available technologies for compliance checking on first-order knowledge. CILC 2022: 1-16 - [c139]Ken Satoh:
A Query Evaluation Method for ASP with Abduction. ICLP Workshops 2022 - [c138]Ha-Thanh Nguyen, Le-Minh Nguyen, Ken Satoh:
A Survey of Pretrained Embeddings for Japanese Legal Representation. IEA/AIE 2022: 363-369 - [c137]Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh:
On Complexity and Generality of Contrary Prioritized Defeasible Theory. JSAI-isAI Workshops 2022: 23-35 - [c136]Mi-Young Kim, Juliano Rabelo, Randy Goebel, Masaharu Yoshioka, Yoshinobu Kano, Ken Satoh:
COLIEE 2022 Summary: Methods for Legal Document Retrieval and Entailment. JSAI-isAI Workshops 2022: 51-67 - [c135]Ha-Thanh Nguyen, Wachara Fungwacharakorn, Fumihito Nishino, Ken Satoh:
A Multi-Step Approach in Translating Natural Language into Logical Formula. JURIX 2022: 103-112 - [c134]Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh:
Fundamental Revisions on Constraint Hierarchies for Ethical Norms. JURIX 2022: 182-187 - [c133]Ha-Thanh Nguyen, Fumihito Nishino, Megumi Fujita, Ken Satoh:
An Interactive Natural Language Interface for PROLEG. JURIX 2022: 294-297 - [c132]Shidaka Nishioka, Yuto Mori, Ken Satoh:
Consumer Dispute Resolution System Based on PROLEG. JURIX 2022: 298-301 - [c131]Hisashi Hayashi, Ken Satoh:
Towards Legally and Ethically Correct Online HTN Planning for Data Transfer. NMR 2022: 4-15 - [c130]Takahiro Sawasaki, Ken Satoh, Aurore Clément Troussel:
A Use Case on GDPR of Modular-PROLEG for Private International Law. AI4LEGAL/KGSum@ISWC 2022: 1-11 - [e17]María Navas-Loro, Carlos Badenes-Olmedo, Manolis Koubarakis, José Luis Redondo García, Sabrina Kirrane, Nandana Mihindukulasooriya, Ken Satoh, Maribel Acosta:
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. CEUR Workshop Proceedings 3257, CEUR-WS.org 2022 [contents] - [i15]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:
Transformer-based Approaches for Legal Text Processing. CoRR abs/2202.06397 (2022) - [i14]Ha-Thanh Nguyen, Vu D. Tran, Ngoc-Cam Le, Thi-Thuy Le, Quang-Huy Nguyen, Le-Minh Nguyen, Ken Satoh:
Law to Binary Tree - An Formal Interpretation of Legal Natural Language. CoRR abs/2212.08335 (2022) - 2021
- [j24]Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh:
Resolving counterintuitive consequences in law using legal debugging. Artif. Intell. Law 29(4): 541-557 (2021) - [c129]Ken Satoh, Laura Giordano, Matteo Baldoni:
Implementation of Choice of Jurisdiction and Law in Private International Law by PROLEG Meta-interpreter. CLAR 2021: 60-75 - [c128]Vu Tran, Van-Hien Tran, Phuong Nguyen, Chau Minh Nguyen, Ken Satoh, Yuji Matsumoto, Minh Le Nguyen:
CovRelex: A COVID-19 Retrieval System with Relation Extraction. EACL (System Demonstrations) 2021: 24-31 - [c127]Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh:
On semantics-based minimal revision for legal reasoning. ICAIL 2021: 50-59 - [c126]Ken Satoh, Kazuko Takahashi, Tatsuki Kawasaki:
Interactive system for arranging issues based on PROLEG in civil litigation. ICAIL 2021: 273-274 - [e16]Naoaki Okazaki, Katsutoshi Yada, Ken Satoh, Koji Mineshima:
New Frontiers in Artificial Intelligence - JSAI-isAI 2020 Workshops, JURISIN, LENLS 2020 Workshops, Virtual Event, November 15-17, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12758, Springer 2021, ISBN 978-3-030-79941-0 [contents] - [i13]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:
ParaLaw Nets - Cross-lingual Sentence-level Pretraining for Legal Text Processing. CoRR abs/2106.13403 (2021) - [i12]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:
JNLP Team: Deep Learning Approaches for Legal Processing Tasks in COLIEE 2021. CoRR abs/2106.13405 (2021) - 2020
- [j23]Vu D. Tran, Minh Le Nguyen, Satoshi Tojo, Ken Satoh:
Encoded summarization: summarizing documents into continuous vector space for legal case retrieval. Artif. Intell. Law 28(4): 441-467 (2020) - [j22]Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Ken Satoh, Riccardo Zese:
Dischargeable Obligations in the 𝒮CIFF Framework. Fundam. Informaticae 176(3-4): 321-348 (2020) - [c125]Miyuki Koshimura, Ken Satoh:
A Simple yet Efficient MCSes Enumeration with SAT Oracles. ACIIDS (1) 2020: 191-201 - [c124]Tiago Oliveira, Jérémie Dauphin, Ken Satoh, Shusaku Tsumoto, Paulo Novais:
Goal-Driven Structured Argumentation for Patient Management in a Multimorbidity Setting. CLAR 2020: 166-183 - [c123]Yunqiu Shao, Jiaxin Mao, Yiqun Liu, Weizhi Ma, Ken Satoh, Min Zhang, Shaoping Ma:
BERT-PLI: Modeling Paragraph-Level Interactions for Legal Case Retrieval. IJCAI 2020: 3501-3507 - [c122]Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh:
On the Legal Revision in PROLEG Program. JSAI 2020: 25-36 - [c121]Juliano Rabelo, Mi-Young Kim, Randy Goebel, Masaharu Yoshioka, Yoshinobu Kano, Ken Satoh:
COLIEE 2020: Methods for Legal Document Retrieval and Entailment. JSAI-isAI Workshops 2020: 196-210 - [c120]Wachara Fungwacharakorn, Ken Satoh:
Generalizing Culprit Resolution in Legal Debugging with Background Knowledge. JURIX 2020: 52-62 - [c119]Ken Satoh, Matteo Baldoni, Laura Giordano:
Reasoning About Applicable Law in Private International Law in Logic Programming. JURIX 2020: 281-285 - [e15]Maki Sakamoto, Naoaki Okazaki, Koji Mineshima, Ken Satoh:
New Frontiers in Artificial Intelligence - JSAI-isAI International Workshops, JURISIN, AI-Biz, LENLS, Kansei-AI, Yokohama, Japan, November 10-12, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12331, Springer 2020, ISBN 978-3-030-58789-5 [contents] - [i11]Vu D. Tran, Minh Le Nguyen, Ken Satoh:
Building Legal Case Retrieval Systems with Lexical Matching and Summarization using A Pre-Trained Phrase Scoring Model. CoRR abs/2009.14083 (2020) - [i10]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:
JNLP Team: Deep Learning for Legal Processing in COLIEE 2020. CoRR abs/2011.08071 (2020)
2010 – 2019
- 2019
- [j21]Tiago Oliveira, Filipe Gonçalves, Paulo Novais, Ken Satoh, José Neves:
OWL-based acquisition and editing of computer-interpretable guidelines with the CompGuide editor. Expert Syst. J. Knowl. Eng. 36(3) (2019) - [j20]Elena Bellodi, Ken Satoh, Mahito Sugiyama:
Summarizing significant subgraphs by probabilistic logic programming. Intell. Data Anal. 23(6): 1299-1312 (2019) - [j19]Jiraporn Pooksook, Phan Minh Dung, Ken Satoh, Giovanni Sartor:
Modelling last-act attempted crime in criminal law. J. Appl. Non Class. Logics 29(4): 327-357 (2019) - [c118]Vu D. Tran, Minh Le Nguyen, Ken Satoh:
Building Legal Case Retrieval Systems with Lexical Matching and Summarization using A Pre-Trained Phrase Scoring Model. ICAIL 2019: 275-282 - [c117]Juliano Rabelo, Mi-Young Kim, Randy Goebel, Masaharu Yoshioka, Yoshinobu Kano, Ken Satoh:
A Summary of the COLIEE 2019 Competition. JSAI-isAI Workshops 2019: 34-49 - [c116]Emilio Serrano, Ken Satoh:
An Agent-Based Model for Exploring Pension Law and Social Security Policies. JSAI-isAI Workshops 2019: 50-63 - [c115]Matteo Baldoni, Laura Giordano, Ken Satoh:
Renvoi in Private International Law: A Formalization with Modal Contexts. JURIX 2019: 157-162 - [c114]Vu Trong Sinh, Minh Le Nguyen, Ken Satoh:
Legal Text Generation from Abstract Meaning Representation. JURIX 2019: 229-234 - [c113]Vu D. Tran, Minh Le Nguyen, Kiyoaki Shirai, Ken Satoh:
An Approach of Rhetorical Status Recognition for Judgments in Court Documents using Deep Learning Models. KSE 2019: 1-6 - [c112]Jérémie Dauphin, Ken Satoh:
Explainable ASP. PRIMA 2019: 610-617 - [c111]Marina De Vos, Sabrina Kirrane, Julian A. Padget, Ken Satoh:
ODRL Policy Modelling and Compliance Checking. RuleML+RR 2019: 36-51 - [c110]António Silva, Tiago Oliveira, Ken Satoh, Paulo Novais:
Providing Alternative Measures for Addressing Adverse Drug-Drug Interactions. WorldCIST (2) 2019: 567-576 - [e14]Kazuhiro Kojima, Maki Sakamoto, Koji Mineshima, Ken Satoh:
New Frontiers in Artificial Intelligence - JSAI-isAI 2018 Workshops, JURISIN, AI-Biz, SKL, LENLS, IDAA, Yokohama, Japan, November 12-14, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11717, Springer 2019, ISBN 978-3-030-31604-4 [contents] - 2018
- [j18]Truong-Son Nguyen, Le-Minh Nguyen, Satoshi Tojo, Ken Satoh, Akira Shimazu:
Recurrent neural network-based models for recognizing requisite and effectuation parts in legal texts. Artif. Intell. Law 26(2): 169-199 (2018) - [j17]Robert A. Kowalski, Ken Satoh:
Obligation as Optimal Goal Satisfaction. J. Philos. Log. 47(4): 579-609 (2018) - [j16]Tiago Oliveira, Ana Silva, Ken Satoh, Vicente Julián, Pedro Leão, Paulo Novais:
Survivability Prediction of Colorectal Cancer Patients: A System with Evolving Features for Continuous Improvement. Sensors 18(9): 2983 (2018) - [c109]Tiago Oliveira, Jérémie Dauphin, Ken Satoh, Shusaku Tsumoto, Paulo Novais:
Argumentation with Goals for Clinical Decision Support in Multimorbidity. AAMAS 2018: 2031-2033 - [c108]Bohao Wang, Hirotaka Osawa, Ken Satoh:
How Implicit Communication Emerges during Conversation Game. AAMAS 2018: 2118-2120 - [c107]María Navas-Loro, Ken Satoh, Víctor Rodríguez-Doncel:
ContractFrames: Bridging the Gap Between Natural Language and Logics in Contract Law. JSAI-isAI Workshops 2018: 101-114 - [c106]Wachara Fungwacharakorn, Ken Satoh:
Legal Debugging in Propositional Legal Representation. JSAI-isAI Workshops 2018: 146-159 - [c105]Yoshinobu Kano, Mi-Young Kim, Masaharu Yoshioka, Yao Lu, Juliano Rabelo, Naoki Kiyota, Randy Goebel, Ken Satoh:
COLIEE-2018: Evaluation of the Competition on Legal Information Extraction and Entailment. JSAI-isAI Workshops 2018: 177-192 - [c104]Josef Valvoda, Oliver Ray, Ken Satoh:
Using Agreement Statements to Identify Majority Opinion in UKHL Case Law. JURIX 2018: 141-150 - [c103]António Silva, Tiago Oliveira, Ken Satoh, Paulo Novais:
Automatically Identifying Drug Conflicts in Clinical Practice Guidelines. MedRACER+WOMoCoE@KR 2018: 23-28 - [c102]Vu D. Tran, Minh Le Nguyen, Ken Satoh:
Encoding Local Contexts of Sentences with Convolutions on pq-Gram Representations of Dependency Trees. KSE 2018: 329-334 - [c101]Ryuta Arisaka, Ken Satoh:
Abstract Argumentation / Persuasion / Dynamics. PRIMA 2018: 331-343 - [c100]Jérémie Dauphin, Ken Satoh:
Dialogue Games for Enforcement of Argument Acceptance and Rejection via Attack Removal. PRIMA 2018: 449-457 - [c99]António Silva, Tiago Oliveira, Filipe Gonçalves, José Neves, Ken Satoh, Paulo Novais:
A Unified System for Clinical Guideline Management and Execution. WorldCIST (2) 2018: 810-819 - [p1]Paulo Novais, Tiago Oliveira, Ken Satoh, José Neves:
The Role of Ontologies and Decision Frameworks in Computer-Interpretable Guideline Execution. Synergies Between Knowledge Engineering and Software Engineering 2018: 197-216 - [e13]Sachiyo Arai, Kazuhiro Kojima, Koji Mineshima, Daisuke Bekki, Ken Satoh, Yuiko Ohta:
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. Lecture Notes in Computer Science 10838, Springer 2018, ISBN 978-3-319-93793-9 [contents] - [i9]Vu D. Tran, Minh Le Nguyen, Ken Satoh:
Automatic Catchphrase Extraction from Legal Case Documents via Scoring using Deep Neural Networks. CoRR abs/1809.05219 (2018) - 2017
- [j15]Tiago Oliveira, Ken Satoh, Paulo Novais, José Neves, Hiroshi Hosobe:
A dynamic default revision mechanism for speculative computation. Auton. Agents Multi Agent Syst. 31(3): 656-695 (2017) - [j14]João Ramos, Tiago Oliveira, Ken Satoh, José Neves, Paulo Novais:
An Orientation Method with Prediction and Anticipation Features. Inteligencia Artif. 20(59): 82-95 (2017) - [c98]Ryuta Arisaka, Ken Satoh, Leendert W. N. van der Torre:
Anything You Say May Be Used Against You in a Court of Law - Abstract Agent Argumentation (Triple-A). AICOL 2017: 427-442 - [c97]António Silva, Tiago Oliveira, José Neves, Ken Satoh, Paulo Novais:
A System for the Management of Clinical Tasks Throughout the Clinical Process with Notification Features. A2HC@AAMAS/A-HEALTH@PAAMS 2017: 76-93 - [c96]Ryuta Arisaka, Ken Satoh:
Coalition Formability Semantics with Conflict-Eliminable Sets of Arguments. AAMAS 2017: 1469-1471 - [c95]Yoshinobu Kano, Mi-Young Kim, Randy Goebel, Ken Satoh:
Overview of COLIEE 2017. COLIEE@ICAIL 2017: 1-8 - [e12]Ken Satoh, Mi-Young Kim, Yoshinobu Kano, Randy Goebel, Tiago Oliveira:
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. EPiC Series in Computing 47, EasyChair 2017 [contents] - [e11]Mihoko Otake, Setsuya Kurahashi, Yuiko Ota, Ken Satoh, Daisuke Bekki:
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. Lecture Notes in Computer Science 10091, 2017, ISBN 978-3-319-50952-5 [contents] - [e10]Setsuya Kurahashi, Yuiko Ohta, Sachiyo Arai, Ken Satoh, Daisuke Bekki:
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. Lecture Notes in Computer Science 10247, Springer 2017, ISBN 978-3-319-61571-4 [contents] - [i8]Ryuta Arisaka, Ken Satoh:
Abstract Argumentation / Persuasion / Dynamics. CoRR abs/1705.10044 (2017) - [i7]Viet Dac Lai, Vu Trong Sinh, Le Minh Nguyen, Ken Satoh:
ConvAMR: Abstract meaning representation parsing for legal document. CoRR abs/1711.06141 (2017) - 2016
- [c94]Kristijonas Cyras, Ken Satoh, Francesca Toni:
Explanation for Case-Based Reasoning via Abstract Argumentation. COMMA 2016: 243-254 - [c93]Megumi Fujita, Yuki Goto, Naoyuki Nide, Ken Satoh, Hiroshi Hosobe:
Autonomous Control of Mobile Robots Using Logical Representation of Map and Inference of Location. ICA 2016: 78-81 - [c92]Ryuta Arisaka, Ken Satoh:
Voluntary Manslaughter? A Case Study with Meta-Argumentation with Supports. JSAI-isAI Workshops 2016: 241-252 - [c91]Matthew Thompson, Julian A. Padget, Ken Satoh:
Describing Legal Policies as Story Tropes in Normative Systems. JURIX 2016: 207-210 - [c90]Kristijonas Cyras, Ken Satoh, Francesca Toni:
Abstract Argumentation for Case-Based Reasoning. KR 2016: 549-552 - [c89]João Ramos, Tiago Oliveira, Ken Satoh, José Neves, Paulo Novais:
Orientation System Based on Speculative Computation and Trajectory Mining. PAAMS (Workshops) 2016: 250-261 - [c88]Ryuta Arisaka, Ken Satoh:
Balancing Rationality and Utility in Logic-Based Argumentation with Classical Logic Sentences and Belief Contraction. PRIMA 2016: 168-180 - [i6]Ryuta Arisaka, Ken Satoh:
Coalition Formability Semantics with Conflict-Eliminable Sets of Arguments. CoRR abs/1605.00495 (2016) - 2015
- [c87]Tingting Li, Marina De Vos, Julian A. Padget, Ken Satoh, Tina Balke:
Debugging ASP using ILP. ICLP (Technical Communications) 2015 - [c86]Tiago Oliveira, Ken Satoh, Paulo Novais, José Neves, Pedro Leão, Hiroshi Hosobe:
A Reasoning Module for Distributed Clinical Decision Support Systems. IDC 2015: 387-397 - [c85]João Ramos, Tiago Oliveira, Paulo Novais, José Neves, Ken Satoh:
An alert mechanism for orientation systems based on Speculative computation. INISTA 2015: 1-8 - [c84]Duangtida Athakravi, Ken Satoh, Mark Law, Krysia Broda, Alessandra Russo:
Automated Inference of Rules with Exception from Past Legal Cases Using ASP. LPNMR 2015: 83-96 - [c83]Claudia Schulz, Ken Satoh, Francesca Toni:
Characterising and Explaining Inconsistency in Logic Programs. LPNMR 2015: 467-479 - [c82]Zohreh Shams, Marina De Vos, Nir Oren, Julian A. Padget, Ken Satoh:
Argumentation-based Normative Practical Reasoning. TAFA 2015: 226-242 - 2014
- [c81]Megumi Fujita, Yuki Goto, Naoyuki Nide, Ken Satoh, Hiroshi Hosobe:
Logic-based and robust desicion making for robots in real world. AAMAS 2014: 1685-1686 - [c80]Tiago Oliveira, José Neves, Paulo Novais, Ken Satoh:
Applying Speculative Computation to Guideline-Based Decision Support Systems. CBMS 2014: 42-47 - [c79]João Ramos, Ken Satoh, Paulo Novais, José Neves:
Modelling an Orientation System Based on Speculative Computation. DCAI 2014: 319-326 - [c78]Tanapon Tantisripreecha, Ken Satoh, Nuanwan Soonthornphisaj:
Legal Reasoning Engine for Civil Court Procedure. ICIC (2) 2014: 500-512 - [c77]Duangtida Athakravi, Dalal Alrajeh, Krysia Broda, Alessandra Russo, Ken Satoh:
Inductive Learning Using Constraint-Driven Bias. ILP 2014: 16-32 - [c76]Julian A. Padget, Emad Eldeen Elakehal, Ken Satoh, Fuyuki Ishikawa:
On requirements representation and reasoning using answer set programming. AIRE 2014: 35-42 - [e9]Yukiko I. Nakano, Ken Satoh, Daisuke Bekki:
New Frontiers in Artificial Intelligence - JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8417, Springer 2014, ISBN 978-3-319-10060-9 [contents] - [i5]Randy Goebel, Yuji Matsumoto, Ken Satoh:
Towards Explanation Production Combining Natural Language Processing and Logical Reasoning (NII Shonan Meeting 2014-15). NII Shonan Meet. Rep. 2014 (2014) - 2013
- [c75]Marina De Vos, Tina Balke, Ken Satoh:
Combining event-and state-based norms. AAMAS 2013: 1157-1158 - [c74]Tingting Li, Tina Balke, Marina De Vos, Julian A. Padget, Ken Satoh:
A model-based approach to the automatic revision of secondary legislation. ICAIL 2013: 202-206 - [c73]Zohreh Shams, Marina De Vos, Ken Satoh:
ArgPROLEG: A Normative Framework for the JUF Theory. JSAI-isAI Workshops 2013: 183-198 - [c72]Mi-Young Kim, Ying Xu, Randy Goebel, Ken Satoh:
Answering Yes/No Questions in Legal Bar Exams. JSAI-isAI Workshops 2013: 199-213 - [c71]Tingting Li, Tina Balke, Marina De Vos, Julian A. Padget, Ken Satoh:
Legal Conflict Detection in Interacting Legal Systems. JURIX 2013: 107-116 - [c70]Tingting Li, Tina Balke, Marina De Vos, Julian A. Padget, Ken Satoh:
Legal Conflict Detection in Interacting Legal Systems. DoCoPe@JURIX 2013 - [i4]Megumi Fujita, Yuki Goto, Naoyuki Nide, Ken Satoh, Hiroshi Hosobe:
An Architecture for Autonomously Controlling Robot with Embodiment in Real World. CoRR abs/1307.7129 (2013) - 2012
- [j13]Ken Satoh:
Logic Programming and Burden of Proof in Legal Reasoning. New Gener. Comput. 30(4): 297-326 (2012) - [c69]Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh:
Handling change in normative specifications. AAMAS 2012: 1369-1370 - [c68]Ho-Pun Lam, Guido Governatori, Ken Satoh, Hiroshi Hosobe:
Distributed Defeasible Speculative Reasoning in Ambient Environment. CLIMA 2012: 43-60 - [c67]Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh:
Handling Change in Normative Specifications. DALT 2012: 1-19 - [c66]Ken Satoh, Kazuko Takahashi:
Decision Making in Knowledge Integration with Dynamic Creation of Argumentation. ISIP 2012: 41-50 - [c65]Yoko Anan, Kohei Hatano, Hideo Bannai, Masayuki Takeda, Ken Satoh:
Polyphonic Music Classification on Symbolic Data Using Dissimilarity Functions. ISMIR 2012: 229-234 - [c64]Marina De Vos, Tina Balke, Ken Satoh:
Modelling Legitimate Expectations. JSAI-isAI Workshops 2012: 141-156 - [c63]Tingting Li, Tina Balke, Marina De Vos, Ken Satoh, Julian A. Padget:
Detecting Conflicts in Legal Systems. JSAI-isAI Workshops 2012: 174-189 - [e8]Manabu Okumura, Daisuke Bekki, Ken Satoh:
New Frontiers in Artificial Intelligence - JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP, MiMI, Takamatsu, Japan, December 1-2, 2011. Revised Selected Papers. Lecture Notes in Computer Science 7258, Springer 2012, ISBN 978-3-642-32089-7 [contents] - 2011
- [j12]Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh:
Normative design using inductive learning. Theory Pract. Log. Program. 11(4-5): 783-799 (2011) - [c62]Shozo Ota, Ken Satoh, Makoto Nakamura:
The Fifth International Workshop on Juris-Informatics (JURISIN 2011). JSAI-isAI Workshops 2011: 110-111 - [i3]Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh:
Normative design using inductive learning. CoRR abs/1107.4967 (2011) - 2010
- [j11]Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, Krysia Broda:
Speculative constraint processing for hierarchical agents. AI Commun. 23(4): 373-388 (2010) - [j10]Ken Kaneiwa, Ken Satoh:
On the complexities of consistency checking for restricted UML class diagrams. Theor. Comput. Sci. 411(2): 301-323 (2010) - [c61]Domenico Corapi, Marina De Vos, Julian A. Padget, Alessandra Russo, Ken Satoh:
Norm Refinement and Design through Inductive Learning. COIN@AAMAS&MALLOW 2010: 77-94 - [c60]Jiefei Ma, Krysia Broda, Randy Goebel, Hiroshi Hosobe, Alessandra Russo, Ken Satoh:
Speculative Abductive Reasoning for Hierarchical Agent Systems. CLIMA 2010: 49-64 - [c59]Marina De Vos, Julian A. Padget, Ken Satoh:
Legal Modelling and Reasoning Using Institutions. JSAI-isAI Workshops 2010: 129-140 - [c58]Ken Satoh, Kento Asai, Takamune Kogawa, Masahiro Kubota, Megumi Nakamura, Yoshiaki Nishigai, Kei Shirakawa, Chiaki Takano:
PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology. JSAI-isAI Workshops 2010: 153-164 - [c57]Domenico Corapi, Marina De Vos, Julian A. Padget, Alessandra Russo, Ken Satoh:
Norm Refinement and Design through Inductive Learning. MALLOW 2010
2000 – 2009
- 2009
- [c56]Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe, Ken Satoh:
On the Implementation of Speculative Constraint Processing. CLIMA 2009: 178-195 - [c55]Ken Satoh:
Computing Minimal Models by Positively Minimal Disjuncts. JSAI-isAI Workshops 2009: 358-371 - [c54]Ken Satoh, Masahiro Kubota, Yoshiaki Nishigai, Chiaki Takano:
Translating the Japanese Presupposed Ultimate Fact Theory into Logic Programming. JURIX 2009: 162-171 - 2008
- [c53]Katsumi Nitta, Ken Satoh, Satoshi Tojo:
Overview of JURISIN 2008. JSAI 2008: 211-212 - [c52]Naoki Fukuta, Ken Satoh, Takahira Yamaguchi:
Towards "Kiga-kiku" Services on Speculative Computation. PAKM 2008: 256-267 - [e7]Fariba Sadri, Ken Satoh:
Computational Logic in Multi-Agent Systems, 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers. Lecture Notes in Computer Science 5056, Springer 2008, ISBN 978-3-540-88832-1 [contents] - [e6]Ken Satoh, Akihiro Inokuchi, Katashi Nagao, Takahiro Kawamura:
New Frontiers in Artificial Intelligence, JSAI 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4914, Springer 2008, ISBN 978-3-540-78196-7 [contents] - 2007
- [j9]Hiroshi Hosobe, Ken Satoh, Philippe Codognet:
Agent-Based Speculative Constraint Processing. IEICE Trans. Inf. Syst. 90-D(9): 1354-1362 (2007) - [c51]Shin-ichi Minato, Ken Satoh, Taisuke Sato:
Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs. IJCAI 2007: 2550-2555 - [c50]Mina Akaishi, Yoshikiyo Kato, Ken Satoh, Koichi Hori:
Narrative based Topic Visualization for Chronological Data. IV 2007: 139-144 - [c49]Katsumi Nitta, Ken Satoh, Satoshi Tojo:
First International Workshop on Juris-Informatics. JSAI 2007: 347-348 - [e5]Katsumi Inoue, Ken Satoh, Francesca Toni:
Computational Logic in Multi-Agent Systems, 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers. Lecture Notes in Computer Science 4371, Springer 2007, ISBN 978-3-540-69618-6 [contents] - [e4]Takashi Washio, Ken Satoh, Hideaki Takeda, Akihiro Inokuchi:
New Frontiers in Artificial Intelligence, JSAI 2006 Conference and Workshops, Tokyo, Japan, June 5-9 2006, Revised Selected Papers. Lecture Notes in Computer Science 4384, Springer 2007, ISBN 3-540-69901-5 [contents] - 2006
- [c48]Ken Kaneiwa, Ken Satoh:
Consistency Checking Algorithms for Restricted UML Class Diagrams. FoIKS 2006: 219-239 - [c47]Mina Akaishi, Koichi Hori, Ken Satoh:
Topic Tracer: a Visualization Tool for Quick Reference of Stories Embedded in Document Set. IV 2006: 101-106 - [c46]Akihiro Yamamoto, Kouichi Hirata, Ken Satoh:
The Fourth Workshop on Learning with Logics and Logics for Learning (LLLL2006). JSAI 2006: 249-250 - [c45]Ken Satoh, Satoshi Tojo:
Disjunction of Causes and Disjunctive Cause: a Solution to the Paradox of Conditio Sine Qua Non using Minimal Abduction. JURIX 2006: 163-168 - [c44]Ken Satoh, Ken Kaneiwa, Takeaki Uno:
Contradiction Finding and Minimal Recovery for UML Class Diagrams. ASE 2006: 277-280 - [c43]Ken Satoh, Takeaki Uno:
Enumerating Minimal Explanations by Minimal Hitting Set Computation. KSEM 2006: 354-365 - 2005
- [j8]Ken Satoh:
Speculative Computation and Abduction for an Autonomous Agent. IEICE Trans. Inf. Syst. 88-D(9): 2031-2038 (2005) - [j7]Ken Satoh:
Learning taxonomic relation by case-based reasoning. Theor. Comput. Sci. 348(1): 58-69 (2005) - [c42]Martine Ceberio, Hiroshi Hosobe, Ken Satoh:
Speculative Constraint Processing with Iterative Revision for Disjunctive Answers. CLIMA 2005: 340-357 - [c41]Ken Satoh, Takeaki Uno:
Enumerating Minimally Revised Specifications Using Dualization. JSAI Workshops 2005: 182-189 - 2004
- [j6]Jürgen Dix, João Alexandre Leite, Ken Satoh:
Introduction. Ann. Math. Artif. Intell. 42(1-3): 1-3 (2004) - [c40]Ken Satoh:
An Application of Global Abduction to an Information Agent Which Modifies a Plan Upon Failure - Preliminary Report. CLIMA 2004: 213-229 - [c39]Ken Satoh:
Formalizing Retrieval Goal Change by Prioritized Abduction. Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets 2004: 215-232 - [c38]Mina Akaishi, Ken Satoh, Yuzuru Tanaka:
An Associative Information Retrieval Based on the Dependency of Term Co-occurrence. Discovery Science 2004: 195-206 - [c37]Ken Satoh:
"All's well that ends well" - a proposal of global abduction. NMR 2004: 360-367 - 2003
- [j5]Jürgen Dix, Fariba Sadri, Ken Satoh:
Introduction. Ann. Math. Artif. Intell. 37(1-2): 1-3 (2003) - [c36]Ken Satoh:
Formalizing Retrieval Goal Change by Prioritized Circumscription - Preliminary Report. CIA 2003: 324-335 - [c35]Ken Satoh, Takeaki Uno:
Enumerating Maximal Frequent Sets Using Irredundant Dualization. Discovery Science 2003: 256-268 - [c34]Takeaki Uno, Ken Satoh:
Detailed Description of an Algorithm for Enumeration of Maximal Frequent Sets with Irredundant Dualization. FIMI 2003 - [c33]Ken Satoh, Philippe Codognet, Hiroshi Hosobe:
Speculative Constraint Processing in Multi-agent Systems. PRIMA 2003: 133-144 - 2002
- [c32]Ken Satoh, Keiji Yamamoto:
Speculative computation with multi-agent belief revision. AAMAS 2002: 897-904 - [c31]Ken Satoh:
Constructing a Critical Casebase to Represent a Lattice-Based Relation. Progress in Discovery Science 2002: 214-223 - [c30]Ken Satoh:
Speculative computation and abduction for an autonomous agent. NMR 2002: 191-199 - [c29]Jürgen Dix, João Alexandre Leite, Ken Satoh:
Preface. CLIMA 2002: 204-206 - [e3]Jürgen Dix, João Alexandre Leite, Ken Satoh:
Computational Logic in Multi-Agent Systems, CLIMA 2002, FLoC Satellite Event, Copenhagen, Denmark, August 1, 2002. Electronic Notes in Theoretical Computer Science 70(5), Elsevier 2002 [contents] - [e2]Steffen Lange, Ken Satoh, Carl H. Smith:
Discovery Science, 5th International Conference, DS 2002, Lübeck, Germany, November 24-26, 2002, Proceedings. Lecture Notes in Computer Science 2534, Springer 2002, ISBN 3-540-00188-3 [contents] - 2000
- [j4]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:
Reports on the AAAI 1999 Workshop Program. AI Mag. 21(1): 95-100 (2000) - [j3]Noboru Iwayama, Ken Satoh:
Computing abduction by using TMS with top-down expectation. J. Log. Program. 44(1-3): 179-206 (2000) - [c28]Ken Satoh, Hidenori Okamoto:
Computing Circumscriptive Databases by Integer Programming: Revisited. AAAI/IAAI 2000: 429-435 - [c27]Ken Satoh:
Learning Taxonomic Relation by Case-Based Reasoning. ALT 2000: 179-193 - [c26]Ken Satoh, Ryuichi Nakagawa:
Discovering Critical Cases in Case-Based Reasoning. AI&M 2000 - [c25]Chiaki Sakama, Katsumi Inoue, Koji Iwanuma, Ken Satoh:
A Defeasible Reasoning System in Multi-Agent Environment. CL-2000 Workshop on Computational Logic in Multi-Agent Systems 2000: 1-6 - [c24]Ken Satoh, Katsumi Inoue, Koji Iwanuma, Chiaki Sakama:
Speculative Computation by Abduction under Incomplete Communication Environments. ICMAS 2000: 263-270 - [e1]Ken Satoh, Fariba Sadri:
CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), London, UK, July 24-25, 2000. 2000 [contents] - [i2]Ken Satoh, Hidenori Okamoto:
Computing Circumscriptive Databases by Integer Programming: Revisited (Extended Abstract). CoRR cs.AI/0003007 (2000) - [i1]Ken Satoh:
Consistency Management of Normal Logic Program by Top-down Abductive Proof Procedure. CoRR cs.AI/0003008 (2000)
1990 – 1999
- 1998
- [c23]Ken Satoh:
Analysis of Case-Based Representability of Boolean Functions by Monotone Theory. ALT 1998: 179-190 - [c22]Ken Satoh:
Using Two Level Abduction to Decide Similarity of Cases. ECAI 1998: 398-402 - 1997
- [j2]Ken Satoh:
Statutory Interpretation by Case-Based Reasoning through Abductive Logic Programming. J. Adv. Comput. Intell. Intell. Informatics 1(2): 94-103 (1997) - [j1]Toshiko Wakaki, Ken Satoh, Katsumi Nitta:
Reasoning about Dynamic Preferences in Circumscriptive Theory by Logic Programming. J. Adv. Comput. Intell. Intell. Informatics 1(2): 121-129 (1997) - [c21]Toshiko Wakaki, Ken Satoh:
Compiling Prioritized Circumscription into Extended Logic Programs. IJCAI (1) 1997: 182-189 - 1996
- [c20]Ken Satoh:
Disambiguation by Prioritized Circumscription. COLING 1996: 901-906 - [c19]Ken Satoh:
Translating Case-Based Reasoning into Abductive Logic Programming. ECAI 1996: 142-146 - [c18]Ken Satoh:
PAC-Learning of Weights in Multiobjective Function by Pairwise Comparison. IEA/AIE 1996: 792 - 1995
- [c17]Seishi Okamoto, Ken Satoh:
An Average-Case Analysis of k-Nearest Neighbor Classifier. ICCBR 1995: 253-264 - [c16]Toshiko Wakaki, Ken Satoh:
Computing Prioritized Circumscription by Logic Programming. ICLP 1995: 283-297 - [c15]Ken Satoh:
PAC-learning of Preference Relations over Interpretations in Lazy Nonmonotonic Reasoning. Machine Intelligence 15 1995: 285-297 - 1994
- [c14]Ken Satoh:
A Top Down Proof Procedure for Default Logic by Using Abduction. ECAI 1994: 65-69 - [c13]Seishi Okamoto, Ken Satoh:
An Average Predictive Accuracy of the Nearest Neighbor Classifier. EWCBR 1994: 101-112 - 1992
- [c12]Noboru Iwayama, Ken Satoh, Jun Arima:
A Formalization of Generalization-Based Analogy in General Logic Programs. ECAI 1992: 129-133 - [c11]Ken Satoh, Noboru Iwayama:
A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity Constraints. ELP 1992: 24-44 - [c10]Satoshi Terasaki, David J. Hawley, Hiroyuki Sawada, Ken Satoh, Satoshi Menju, Taro Kawagishi, Noboru Iwayama, Akira Aiba:
Parallel Constraint Logic Programming Language GDCC and its Parallel Constraint Solvers. FGCS 1992: 330-346 - [c9]Ken Satoh, Noboru Iwayama:
A Query Evaluation Method for Abductive Logic Programming. JICSLP 1992: 671-685 - 1991
- [c8]Ken Satoh, Noboru Iwayama:
Computing Abduction by Using the TMS. ICLP 1991: 505-518 - [c7]Hirofumi Katsuno, Ken Satoh:
A Unified View of Consequence Relation, Belief Revision and Conditional Logic. IJCAI 1991: 406-412 - 1990
- [c6]Ken Satoh:
A Probabilistic Interpretation for Lazy Nonmonotonic Reasoning. AAAI 1990: 659-664 - [c5]Ken Satoh:
Formalizing Soft Constraints by Interpretation Ordering. ECAI 1990: 585-590
1980 – 1989
- 1988
- [c4]Ken Satoh:
Nonmonotonic Reasoning by Minimal Belief Revision. FGCS 1988: 455-462 - 1986
- [c3]Kouichi Kumon, Hideo Masuzawa, Akihiro Itashiki, Ken Satoh, Yukio Sohma:
KABU-WAKE: A New Parallel Inference Method and Its Evaluation. COMPCON 1986: 168-172 - [c2]Hideo Masuzawa, Kouichi Kumon, Akihiro Itashiki, Ken Satoh, Yukio Sohma:
"Kabu-Wake" Parallel Inference Mechanism and It's Evaluation. FJCC 1986: 955-962 - [c1]Ian T. Foster, Steve Gregory, Graem A. Ringwood, Ken Satoh:
A Sequential Implementation of Parlog. ICLP 1986: 149-156
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-07-07 21:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
