Ken Satoh
Orcid: 0000-0002-9309-4602Affiliations:
- National Institute of Informatics, NII, Japan
According to our database1,
Ken Satoh
authored at least 207 papers
between 1986 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Enhancing Legal Document Retrieval: A Multi-Phase Approach with Large Language Models.
CoRR, 2024
Balancing Exploration and Exploitation in LLM using Soft RLLF for Enhanced Negation Understanding.
CoRR, 2024
A Three-Valued Semantics for Negotiated Situation of Multi-Agent System Based on BATNA and WATNA.
Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024
Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024
2023
Preface of Special Issue on International Workshop on AI compliance mechanism (WAICOM 2022).
Rev. Socionetwork Strateg., October, 2023
Artif. Intell. Law, September, 2023
Proceedings of the Prolog: The Next 50 Years, 2023
Enhancing Logical Reasoning in Large Language Models to Facilitate Legal Applications.
CoRR, 2023
Encoded Summarization: Summarizing Documents into Continuous Vector Space for Legal Case Retrieval.
CoRR, 2023
CoRR, 2023
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, 2023
Proceedings of the 17th International Rule Challenge and 7th Doctoral Consortium @ RuleML+RR 2023 co-located with 19th Reasoning Web Summer School (RW 2023) and 15th DecisionCAMP 2023 as part of Declarative AI 2023, Oslo, Norway, 18, 2023
Information Extraction from Lengthy Legal Contracts: Leveraging Query-Based Summarization and GPT-3.5.
Proceedings of the Legal Knowledge and Information Systems, 2023
LawGiBa - Combining GPT, Knowledge Bases, and Logic Programming in a Legal Assistance System.
Proceedings of the Legal Knowledge and Information Systems, 2023
Proceedings of the Legal Knowledge and Information Systems, 2023
Proceedings of the Legal Knowledge and Information Systems, 2023
Proceedings of the 35th IEEE International Conference on Tools with Artificial Intelligence, 2023
Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023
Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023
Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023
Improving Translation of Case Descriptions into Logical Fact Formulas using LegalCaseNER.
Proceedings of the Nineteenth International Conference on Artificial Intelligence and Law, 2023
Summary of the Competition on Legal Information, Extraction/Entailment (COLIEE) 2023.
Proceedings of the Nineteenth International Conference on Artificial Intelligence and Law, 2023
Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023
Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023
Online HTN Planning for Data Transfer and Utilization Considering Legal and Ethical Norms: Case Study.
Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023
Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics. EACL 2023, 2023
2022
Overview and Discussion of the Competition on Legal Information Extraction/Entailment (COLIEE) 2021.
Rev. Socionetwork Strateg., 2022
Rev. Socionetwork Strateg., 2022
Preface of Special Issue on 8th Competition on Legal Information of Extraction and Entailment (COLIEE 2021).
Rev. Socionetwork Strateg., 2022
New Gener. Comput., 2022
Comput. Law Secur. Rev., 2022
Abstract meaning representation for legal documents: an empirical research on a human-annotated dataset.
Artif. Intell. Law, 2022
Proceedings of the 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), 2022
Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, 2022
Proceedings of the Legal Knowledge and Information Systems, 2022
Proceedings of the Legal Knowledge and Information Systems, 2022
Proceedings of the Legal Knowledge and Information Systems, 2022
Proceedings of the Legal Knowledge and Information Systems, 2022
Proceedings of the New Frontiers in Artificial Intelligence, 2022
Proceedings of the New Frontiers in Artificial Intelligence, 2022
Proceedings of the Advances and Trends in Artificial Intelligence. Theory and Practices in Artificial Intelligence, 2022
Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022
Taking stock of available technologies for compliance checking on first-order knowledge.
Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022
Proceedings of the Intelligent Information and Database Systems - 14th Asian Conference, 2022
2021
CoRR, 2021
CoRR, 2021
Artif. Intell. Law, 2021
Proceedings of the ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law, São Paulo Brazil, June 21, 2021
Proceedings of the ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law, São Paulo Brazil, June 21, 2021
Proceedings of the 16th Conference of the European Chapter of the Association for Computational Linguistics: System Demonstrations, 2021
Implementation of Choice of Jurisdiction and Law in Private International Law by PROLEG Meta-interpreter.
Proceedings of the Logic and Argumentation - 4th International Conference, 2021
2020
Encoded summarization: summarizing documents into continuous vector space for legal case retrieval.
Artif. Intell. Law, 2020
Proceedings of the Legal Knowledge and Information Systems, 2020
Proceedings of the Legal Knowledge and Information Systems, 2020
Proceedings of the New Frontiers in Artificial Intelligence, 2020
Proceedings of the Advances in Artificial Intelligence, 2020
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
Goal-Driven Structured Argumentation for Patient Management in a Multimorbidity Setting.
Proceedings of the Logic and Argumentation - Third International Conference, 2020
Proceedings of the Intelligent Information and Database Systems - 12th Asian Conference, 2020
2019
Intell. Data Anal., 2019
OWL-based acquisition and editing of computer-interpretable guidelines with the CompGuide editor.
Expert Syst. J. Knowl. Eng., 2019
Proceedings of the New Knowledge in Information Systems and Technologies, 2019
Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019
Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019
An Approach of Rhetorical Status Recognition for Judgments in Court Documents using Deep Learning Models.
Proceedings of the 11th International Conference on Knowledge and Systems Engineering, 2019
Proceedings of the Legal Knowledge and Information Systems, 2019
Proceedings of the Legal Knowledge and Information Systems, 2019
Proceedings of the New Frontiers in Artificial Intelligence, 2019
Proceedings of the New Frontiers in Artificial Intelligence, 2019
Building Legal Case Retrieval Systems with Lexical Matching and Summarization using A Pre-Trained Phrase Scoring Model.
Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law, 2019
2018
The Role of Ontologies and Decision Frameworks in Computer-Interpretable Guideline Execution.
Proceedings of the Synergies Between Knowledge Engineering and Software Engineering, 2018
Survivability Prediction of Colorectal Cancer Patients: A System with Evolving Features for Continuous Improvement.
Sensors, 2018
Automatic Catchphrase Extraction from Legal Case Documents via Scoring using Deep Neural Networks.
CoRR, 2018
Recurrent neural network-based models for recognizing requisite and effectuation parts in legal texts.
Artif. Intell. Law, 2018
Proceedings of the Trends and Advances in Information Systems and Technologies, 2018
Dialogue Games for Enforcement of Argument Acceptance and Rejection via Attack Removal.
Proceedings of the PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29, 2018
Proceedings of the PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29, 2018
Encoding Local Contexts of Sentences with Convolutions on pq-Gram Representations of Dependency Trees.
Proceedings of the 10th International Conference on Knowledge and Systems Engineering, 2018
Proceedings of the Joint Proceedings of Reasoning with Ambiguous and Conflicting Evidence and Recommendations in Medicine (MedRACER 2018) and the 3rd International Workshop on Ontology Modularity, 2018
Proceedings of the Legal Knowledge and Information Systems, 2018
ContractFrames: Bridging the Gap Between Natural Language and Logics in Contract Law.
Proceedings of the New Frontiers in Artificial Intelligence, 2018
COLIEE-2018: Evaluation of the Competition on Legal Information Extraction and Entailment.
Proceedings of the New Frontiers in Artificial Intelligence, 2018
Proceedings of the New Frontiers in Artificial Intelligence, 2018
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018
2017
Inteligencia Artif., 2017
Auton. Agents Multi Agent Syst., 2017
Proceedings of the COLIEE 2017. 4th Competition on Legal Information Extraction and Entailment, 2017
A System for the Management of Clinical Tasks Throughout the Clinical Process with Notification Features.
Proceedings of the Agents and Multi-Agent Systems for Health Care, 2017
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017
Anything You Say May Be Used Against You in a Court of Law - Abstract Agent Argumentation (Triple-A).
Proceedings of the AI Approaches to the Complexity of Legal Systems, 2017
2016
Balancing Rationality and Utility in Logic-Based Argumentation with Classical Logic Sentences and Belief Contraction.
Proceedings of the PRIMA 2016: Princiles and Practice of Multi-Agent Systems, 2016
Proceedings of the Highlights of Practical Applications of Scalable Multi-Agent Systems. The PAAMS Collection, 2016
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016
Proceedings of the Legal Knowledge and Information Systems, 2016
Proceedings of the New Frontiers in Artificial Intelligence, 2016
Autonomous Control of Mobile Robots Using Logical Representation of Map and Inference of Location.
Proceedings of the IEEE International Conference on Agents, 2016
Proceedings of the Computational Models of Argument, 2016
2015
Proceedings of the Theory and Applications of Formal Argumentation, 2015
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015
Proceedings of the International Symposium on Innovations in Intelligent SysTems and Applications, 2015
Proceedings of the Intelligent Distributed Computing IX - Proceedings of the 9th International Symposium on Intelligent Distributed Computing, 2015
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015
2014
Towards Explanation Production Combining Natural Language Processing and Logical Reasoning (NII Shonan Meeting 2014-15).
NII Shonan Meet. Rep., 2014
Proceedings of the IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering, 2014
Proceedings of the Inductive Logic Programming - 24th International Conference, 2014
Proceedings of the Intelligent Computing Methodologies - 10th International Conference, 2014
Proceedings of the Distributed Computing and Artificial Intelligence, 2014
Proceedings of the 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, 2014
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014
2013
CoRR, 2013
Proceedings of the Legal Knowledge and Information Systems, 2013
Proceedings of the New Frontiers in Artificial Intelligence, 2013
Proceedings of the New Frontiers in Artificial Intelligence, 2013
Proceedings of the International Conference on Artificial Intelligence and Law, 2013
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013
2012
Proceedings of the New Frontiers in Artificial Intelligence, 2012
Proceedings of the New Frontiers in Artificial Intelligence, 2012
Proceedings of the 13th International Society for Music Information Retrieval Conference, 2012
Proceedings of the Information Search, Integration and Personalization, 2012
Proceedings of the Computational Logic in Multi-Agent Systems, 2012
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012
2011
Proceedings of the New Frontiers in Artificial Intelligence, 2011
2010
Theor. Comput. Sci., 2010
Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010
Proceedings of the New Frontiers in Artificial Intelligence, 2010
PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology.
Proceedings of the New Frontiers in Artificial Intelligence, 2010
Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010
2009
Proceedings of the Legal Knowledge and Information Systems, 2009
Proceedings of the New Frontiers in Artificial Intelligence, 2009
Proceedings of the Computational Logic in Multi-Agent Systems, 2009
2008
Proceedings of the Practical Aspects of Knowledge Management, 7th International Conference, 2008
Proceedings of the New Frontiers in Artificial Intelligence, 2008
2007
Proceedings of the New Frontiers in Artificial Intelligence, 2007
Proceedings of the 11th International Conference on Information Visualisation, 2007
Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs.
Proceedings of the IJCAI 2007, 2007
2006
Proceedings of the Knowledge Science, 2006
Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006
Disjunction of Causes and Disjunctive Cause: a Solution to the Paradox of Conditio Sine Qua Non using Minimal Abduction.
Proceedings of the Legal Knowledge and Information Systems, 2006
Proceedings of the New Frontiers in Artificial Intelligence, 2006
Topic Tracer: a Visualization Tool for Quick Reference of Stories Embedded in Document Set.
Proceedings of the 10th International Conference on Information Visualisation, 2006
Proceedings of the Foundations of Information and Knowledge Systems, 2006
2005
IEICE Trans. Inf. Syst., 2005
Proceedings of the New Frontiers in Artificial Intelligence, 2005
Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005
2004
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004
Proceedings of the Discovery Science, 7th International Conference, 2004
Proceedings of the Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets, 2004
An Application of Global Abduction to an Information Agent Which Modifies a Plan Upon Failure - Preliminary Report.
Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004
2003
Proceedings of the Intelligent Agents and Multi-Agent Systems, 2003
Detailed Description of an Algorithm for Enumeration of Maximal Frequent Sets with Irredundant Dualization.
Proceedings of the FIMI '03, 2003
Proceedings of the Discovery Science, 6th International Conference, 2003
Formalizing Retrieval Goal Change by Prioritized Circumscription - Preliminary Report.
Proceedings of the Cooperative Information Agents VII, 7th International Workshop, 2003
2002
Proceedings of the Progress in Discovery Science, 2002
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002
2000
CoRR, 2000
Computing Circumscriptive Databases by Integer Programming: Revisited (Extended Abstract)
CoRR, 2000
Proceedings of the 4th International Conference on Multi-Agent Systems, 2000
A Defeasible Reasoning System in Multi-Agent Environment.
Proceedings of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), 2000
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2000
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000
1998
Using Two Level Abduction to Decide Similarity of Cases.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998
Proceedings of the Algorithmic Learning Theory, 9th International Conference, 1998
1997
J. Adv. Comput. Intell. Intell. Informatics, 1997
Statutory Interpretation by Case-Based Reasoning through Abductive Logic Programming.
J. Adv. Comput. Intell. Intell. Informatics, 1997
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997
1996
PAC-Learning of Weights in Multiobjective Function by Pairwise Comparison.
Proceedings of the Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1996
Translating Case-Based Reasoning into Abductive Logic Programming.
Proceedings of the 12th European Conference on Artificial Intelligence, 1996
Proceedings of the 16th International Conference on Computational Linguistics, 1996
1995
PAC-learning of Preference Relations over Interpretations in Lazy Nonmonotonic Reasoning.
Proceedings of the Machine Intelligence 15, 1995
Computing Prioritized Circumscription by Logic Programming.
Proceedings of the Logic Programming, 1995
Proceedings of the Case-Based Reasoning Research and Development, 1995
1994
Proceedings of the Advances in Case-Based Reasoning, Second European Workshop, 1994
A Top Down Proof Procedure for Default Logic by Using Abduction.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994
1992
A Query Evaluation Method for Abductive Logic Programming.
Proceedings of the Logic Programming, 1992
Parallel Constraint Logic Programming Language GDCC and its Parallel Constraint Solvers.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992
A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity Constraints.
Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992
A Formalization of Generalization-Based Analogy in General Logic Programs.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992
1991
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991
Computing Abduction by Using the TMS.
Proceedings of the Logic Programming, 1991
1990
Formalizing Soft Constraints by Interpretation Ordering.
Proceedings of the 9th European Conference on Artificial Intelligence, 1990
Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990
1988
Nonmonotonic Reasoning by Minimal Belief Revision.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988
1986
Proceedings of the Third International Conference on Logic Programming, 1986
"Kabu-Wake" Parallel Inference Mechanism and It's Evaluation.
Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, 1986
KABU-WAKE: A New Parallel Inference Method and Its Evaluation.
Proceedings of the Spring COMPCON'86, 1986