| CovRelex - A COVID-19 Retrieval System with Relation Extraction. | 0 | 0.34 | 2021 |
| Implementation of Choice of Jurisdiction and Law in Private International Law by PROLEG Meta-interpreter | 0 | 0.34 | 2021 |
| Resolving counterintuitive consequences in law using legal debugging | 0 | 0.34 | 2021 |
| On semantics-based minimal revision for legal reasoning. | 0 | 0.34 | 2021 |
| Interactive system for arranging issues based on PROLEG in civil litigation. | 0 | 0.34 | 2021 |
| New Frontiers in Artificial Intelligence - JSAI-isAI 2020 Workshops, JURISIN, LENLS 2020 Workshops, Virtual Event, November 15-17, 2020, Revised Selected Papers | 0 | 0.34 | 2021 |
| Dischargeable Obligations In The Sciff Framework | 0 | 0.34 | 2020 |
| New Frontiers in Artificial Intelligence - JSAI-isAI International Workshops, JURISIN, AI-Biz, LENLS, Kansei-AI, Yokohama, Japan, November 10-12, 2019, Revised Selected Papers | 0 | 0.34 | 2020 |
| COLIEE 2020: Methods for Legal Document Retrieval and Entailment | 0 | 0.34 | 2020 |
| Reasoning About Applicable Law in Private International Law in Logic Programming. | 0 | 0.34 | 2020 |
| An Agent-Based Model for Exploring Pension Law and Social Security Policies. | 0 | 0.34 | 2019 |
| Explainable ASP. | 0 | 0.34 | 2019 |
| New Frontiers in Artificial Intelligence - JSAI-isAI 2018 Workshops, JURISIN, AI-Biz, SKL, LENLS, IDAA, Yokohama, Japan, November 12-14, 2018, Revised Selected Papers | 0 | 0.34 | 2019 |
| An Approach of Rhetorical Status Recognition for Judgments in Court Documents using Deep Learning Models | 0 | 0.34 | 2019 |
| Modelling last-act attempted crime in criminal law | 0 | 0.34 | 2019 |
| Summarizing Significant Subgraphs By Probabilistic Logic Programming | 0 | 0.34 | 2019 |
| COLIEE-2018 - Evaluation of the Competition on Legal Information Extraction and Entailment. | 0 | 0.34 | 2018 |
| ContractFrames - Bridging the Gap Between Natural Language and Logics in Contract Law. | 0 | 0.34 | 2018 |
| ConvAMR: Abstract meaning representation parsing for legal document. | 1 | 0.34 | 2017 |
| Argumentation-based Normative Practical Reasoning. | 1 | 0.35 | 2015 |
| A Reasoning Module for Distributed Clinical Decision Support Systems. | 0 | 0.34 | 2015 |
| Legal Reasoning Engine For Civil Court Procedure | 0 | 0.34 | 2014 |
| New Frontiers in Artificial Intelligence - JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers | 0 | 0.34 | 2014 |
| New Frontiers in Artificial Intelligence - JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP, MiMI, Takamatsu, Japan, December 1-2, 2011. Revised Selected Papers | 25 | 3.88 | 2012 |
| Decision Making in Knowledge Integration with Dynamic Creation of Argumentation. | 0 | 0.34 | 2012 |
| Logic Programming and Burden of Proof in Legal Reasoning. | 2 | 0.39 | 2012 |
| Polyphonic Music Classification on Symbolic Data Using Dissimilarity Functions. | 1 | 0.38 | 2012 |
| The Fifth International Workshop on Juris-Informatics (JURISIN 2011). | 0 | 0.34 | 2011 |
| Computational Logic in Multi-Agent Systems, 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers | 17 | 1.09 | 2007 |
| "All's well that ends well" - a proposal of global abduction | 4 | 0.42 | 2004 |
| Computational Logic in Multi-Agent Systems: 3rd International Workshop, CLIMA'02, Copenhagen, Denmark, August 1, 2002, Pre-Proceedings | 15 | 1.02 | 2002 |
| Constructing a Critical Casebase to Represent a Lattice-Based Relation | 0 | 0.34 | 2002 |
| Discovery Science, 5th International Conference, DS 2002, Lübeck, Germany, November 24-26, 2002, Proceedings | 45 | 7.52 | 2002 |
| Discovering Critical Cases in Case-Based Reasoning | 3 | 0.52 | 2000 |
| Reports on the AAAI 1999 Workshop Program | 1 | 0.36 | 2000 |
| Analysis of Case-Based Representability of Boolean Functions by Monotone Theory | 3 | 0.48 | 1998 |
| Statutory Interpretation by Case-Based Reasoning through Abductive Logic Programming | 1 | 0.39 | 1997 |
| PAC-Learning of Weights in Multiobjective Function by Pairwise Comparison | 0 | 0.34 | 1996 |
| Translating Case-Based Reasoning into Abductive Logic Programming | 5 | 0.54 | 1996 |
| PAC-learning of Preference Relations over Interpretations in Lazy Nonmonotonic Reasoning | 0 | 0.34 | 1995 |
| An Average Predictive Accuracy of the Nearest Neighbor Classifier | 1 | 0.36 | 1994 |
| A Top Down Proof Procedure for Default Logic by Using Abduction | 2 | 0.38 | 1994 |
| Formalizing Soft Constraints by Interpretation Ordering | 15 | 5.07 | 1990 |
| Nonmonotonic Reasoning by Minimal Belief Revision | 93 | 13.60 | 1988 |
