2025
Anonymous Public Announcements.
CoRR, April, 2025
Towards Accurate Legal Term Detection: Insights from Dependency Tree-Based and Large Language Model Approaches.
Proceedings of the New Frontiers in Artificial Intelligence, 2025
On the Normative Status and Argumentation Semantics of Soft-Constraint Norms.
Proceedings of the New Frontiers in Artificial Intelligence, 2025
A New Planning Agent Architecture that Efficiently Integrates an Online Planner with External Legal and Ethical Checkers.
Proceedings of the 17th International Conference on Agents and Artificial Intelligence, 2025
2024
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies.
,
,
,
,
,
,
,
,
,
,
,
Artif. Intell. Law, June, 2024
Overview and Discussion of the Competition on Legal Information, Extraction/Entailment (COLIEE) 2023.
Rev. Socionetwork Strateg., April, 2024
Preface of Special Issue on 10th Competition on Legal Information of Extraction and Entailment (COLIEE 2023).
Rev. Socionetwork Strateg., April, 2024
Layer-of-Thoughts Prompting (LoT): Leveraging LLM-Based Retrieval with Constraint Hierarchies.
CoRR, 2024
KRAG Framework for Enhancing LLMs in the Legal Domain.
CoRR, 2024
Proceedings of the First International Workshop on Next-Generation Language Models for Knowledge Representation and Reasoning (NeLaMKRR 2024).
CoRR, 2024
An Argumentative Approach for Explaining Preemption in Soft-Constraint Based Norms.
CoRR, 2024
GPTs and Language Barrier: A Cross-Lingual Legal QA Examination.
CoRR, 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
Realtime Compliance Mechanism for AI (RECOMP).
Proceedings of the Companion Proceedings of the 8th International Joint Conference on Rules and Reasoning co-located with 20th Reasoning Web Summer School (RW 2024) and 16th DecisionCAMP 2024 as part of Declarative AI 2024, 2024
Distributed Component Interoperation and Execution for Norm-Based Real-time Compliance.
Proceedings of the Companion Proceedings of the 8th International Joint Conference on Rules and Reasoning co-located with 20th Reasoning Web Summer School (RW 2024) and 16th DecisionCAMP 2024 as part of Declarative AI 2024, 2024
Leveraging LLM for Identification and Extraction of Normative Statements.
Proceedings of the Legal Knowledge and Information Systems, 2024
ConsRAG: Minimize LLM Hallucinations in the Legal Domain.
Proceedings of the Legal Knowledge and Information Systems, 2024
Addressing Annotated Data Scarcity in Legal Information Extraction.
Proceedings of the New Frontiers in Artificial Intelligence, 2024
Overview of Benchmark Datasets and Methods for the Legal Information Extraction/Entailment Competition (COLIEE) 2024.
Proceedings of the New Frontiers in Artificial Intelligence, 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
A Soft Constraint-Based Framework for Ethical Reasoning.
Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024
Juris-Informatics: Law for AI and Law of AI.
Proceedings of the IEEE International Conference on Big Data, 2024
2023
Preface of Special Issue on International Workshop on AI compliance mechanism (WAICOM 2022).
Rev. Socionetwork Strateg., October, 2023
SM-BERT-CR: a deep learning approach for case law retrieval with supporting model.
Artif. Intell. Law, September, 2023
Contractual Events in Court Decisions Dataset.
Dataset, June, 2023
PROLEG: Practical Legal Reasoning System.
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
Black-Box Analysis: GPTs Across Time in Legal Textual Entailment Task.
CoRR, 2023
A negation detection assessment of GPTs: analysis with the xNot360 dataset.
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
Multi-agent Online Planning Architecture for Real-time Compliance.
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
LogiLaw Dataset Towards Reinforcement Learning from Logical Feedback (RLLF).
Proceedings of the Legal Knowledge and Information Systems, 2023
Connecting Rule-Based and Case-Based Representations of Soft-Constraint Norms.
Proceedings of the Legal Knowledge and Information Systems, 2023
Using WikiData for Handling Legal Rule Exceptions: Proof of Concept.
Proceedings of the New Frontiers in Artificial Intelligence, 2023
Constructing and Explaining Case Models: A Case-Based Argumentation Perspective.
Proceedings of the New Frontiers in Artificial Intelligence, 2023
Binary Search-Based Methods for Solving Constraint Hierarchies over Finite Domains.
Proceedings of the 35th IEEE International Conference on Tools with Artificial Intelligence, 2023
A Dataset of Contractual Events in Court Decisions.
Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023
Beyond Logic Programming for Legal Reasoning.
Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023
How well do SOTA legal reasoning models support abductive reasoning?
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
How Fine Tuning Affects Contextual Embeddings: A Negative Result Explanation.
Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023
Hierarchical Constraint Logic Programming for Multi-Agent Systems.
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
CovRelex-SE: Adding Semantic Information for Relation Search via Sequence Embedding.
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
Transformer-Based Approaches for Legal Text Processing.
Rev. Socionetwork Strateg., 2022
Preface of Special Issue on 8th Competition on Legal Information of Extraction and Entailment (COLIEE 2021).
Rev. Socionetwork Strateg., 2022
Diagnosing and Treating Effect of Legal Rule-Based Revision.
New Gener. Comput., 2022
Multi-agent Argumentation and Dialogue.
FLAP, 2022
Law to Binary Tree - An Formal Interpretation of Legal Natural Language.
CoRR, 2022
Transformer-based Approaches for Legal Text Processing.
CoRR, 2022
Toward a practical legal rule revision in legal debugging.
Comput. Law Secur. Rev., 2022
Abstract meaning representation for legal documents: an empirical research on a human-annotated dataset.
Artif. Intell. Law, 2022
A Use Case on GDPR of Modular-PROLEG for Private International Law.
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
Towards Legally and Ethically Correct Online HTN Planning for Data Transfer.
Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, 2022
Consumer Dispute Resolution System Based on PROLEG.
Proceedings of the Legal Knowledge and Information Systems, 2022
An Interactive Natural Language Interface for PROLEG.
Proceedings of the Legal Knowledge and Information Systems, 2022
A Multi-Step Approach in Translating Natural Language into Logical Formula.
Proceedings of the Legal Knowledge and Information Systems, 2022
Fundamental Revisions on Constraint Hierarchies for Ethical Norms.
Proceedings of the Legal Knowledge and Information Systems, 2022
COLIEE 2022 Summary: Methods for Legal Document Retrieval and Entailment.
Proceedings of the New Frontiers in Artificial Intelligence, 2022
On Complexity and Generality of Contrary Prioritized Defeasible Theory.
Proceedings of the New Frontiers in Artificial Intelligence, 2022
A Survey of Pretrained Embeddings for Japanese Legal Representation.
Proceedings of the Advances and Trends in Artificial Intelligence. Theory and Practices in Artificial Intelligence, 2022
A Query Evaluation Method for ASP with Abduction.
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
Learning to Map the GDPR to Logic Representation on DAPRECO-KB.
Proceedings of the Intelligent Information and Database Systems - 14th Asian Conference, 2022
2021
JNLP Team: Deep Learning Approaches for Legal Processing Tasks in COLIEE 2021.
CoRR, 2021
ParaLaw Nets - Cross-lingual Sentence-level Pretraining for Legal Text Processing.
CoRR, 2021
Resolving counterintuitive consequences in law using legal debugging.
Artif. Intell. Law, 2021
Interactive system for arranging issues based on PROLEG in civil litigation.
Proceedings of the ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law, São Paulo Brazil, June 21, 2021
On semantics-based minimal revision for legal reasoning.
Proceedings of the ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law, São Paulo Brazil, June 21, 2021
CovRelex: A COVID-19 Retrieval System with Relation Extraction.
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
Dischargeable Obligations in the <i>𝒮</i>CIFF Framework.
Fundam. Informaticae, 2020
JNLP Team: Deep Learning for Legal Processing in COLIEE 2020.
CoRR, 2020
Encoded summarization: summarizing documents into continuous vector space for legal case retrieval.
Artif. Intell. Law, 2020
Reasoning About Applicable Law in Private International Law in Logic Programming.
Proceedings of the Legal Knowledge and Information Systems, 2020
Generalizing Culprit Resolution in Legal Debugging with Background Knowledge.
Proceedings of the Legal Knowledge and Information Systems, 2020
COLIEE 2020: Methods for Legal Document Retrieval and Entailment.
Proceedings of the New Frontiers in Artificial Intelligence, 2020
On the Legal Revision in PROLEG Program.
Proceedings of the Advances in Artificial Intelligence, 2020
BERT-PLI: Modeling Paragraph-Level Interactions for Legal Case Retrieval.
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
A Simple yet Efficient MCSes Enumeration with SAT Oracles.
Proceedings of the Intelligent Information and Database Systems - 12th Asian Conference, 2020
2019
Modelling last-act attempted crime in criminal law.
J. Appl. Non Class. Logics, 2019
Summarizing significant subgraphs by probabilistic logic programming.
Intell. Data Anal., 2019
OWL-based acquisition and editing of computer-interpretable guidelines with the CompGuide editor.
Expert Syst. J. Knowl. Eng., 2019
Providing Alternative Measures for Addressing Adverse Drug-Drug Interactions.
Proceedings of the New Knowledge in Information Systems and Technologies, 2019
ODRL Policy Modelling and Compliance Checking.
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
Legal Text Generation from Abstract Meaning Representation.
Proceedings of the Legal Knowledge and Information Systems, 2019
Renvoi in Private International Law: A Formalization with Modal Contexts.
Proceedings of the Legal Knowledge and Information Systems, 2019
An Agent-Based Model for Exploring Pension Law and Social Security Policies.
Proceedings of the New Frontiers in Artificial Intelligence, 2019
A Summary of the COLIEE 2019 Competition.
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
Obligation as Optimal Goal Satisfaction.
J. Philos. Log., 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
A Unified System for Clinical Guideline Management and Execution.
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
Abstract Argumentation / Persuasion / Dynamics.
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
Automatically Identifying Drug Conflicts in Clinical Practice Guidelines.
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
Using Agreement Statements to Identify Majority Opinion in UKHL Case Law.
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
Legal Debugging in Propositional Legal Representation.
Proceedings of the New Frontiers in Artificial Intelligence, 2018
How Implicit Communication Emerges during Conversation Game.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018
Argumentation with Goals for Clinical Decision Support in Multimorbidity.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018
2017
ConvAMR: Abstract meaning representation parsing for legal document.
CoRR, 2017
An Orientation Method with Prediction and Anticipation Features.
Inteligencia Artif., 2017
A dynamic default revision mechanism for speculative computation.
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
Coalition Formability Semantics with Conflict-Eliminable Sets of Arguments.
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
Orientation System Based on Speculative Computation and Trajectory Mining.
Proceedings of the Highlights of Practical Applications of Scalable Multi-Agent Systems. The PAAMS Collection, 2016
Abstract Argumentation for Case-Based Reasoning.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016
Describing Legal Policies as Story Tropes in Normative Systems.
Proceedings of the Legal Knowledge and Information Systems, 2016
Voluntary Manslaughter? A Case Study with Meta-Argumentation with Supports.
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
Explanation for Case-Based Reasoning via Abstract Argumentation.
Proceedings of the Computational Models of Argument, 2016
2015
Argumentation-based Normative Practical Reasoning.
Proceedings of the Theory and Applications of Formal Argumentation, 2015
Automated Inference of Rules with Exception from Past Legal Cases Using ASP.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015
Characterising and Explaining Inconsistency in Logic Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015
An alert mechanism for orientation systems based on Speculative computation.
Proceedings of the International Symposium on Innovations in Intelligent SysTems and Applications, 2015
A Reasoning Module for Distributed Clinical Decision Support Systems.
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
On requirements representation and reasoning using answer set programming.
Proceedings of the IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering, 2014
Inductive Learning Using Constraint-Driven Bias.
Proceedings of the Inductive Logic Programming - 24th International Conference, 2014
Legal Reasoning Engine for Civil Court Procedure.
Proceedings of the Intelligent Computing Methodologies - 10th International Conference, 2014
Modelling an Orientation System Based on Speculative Computation.
Proceedings of the Distributed Computing and Artificial Intelligence, 2014
Applying Speculative Computation to Guideline-Based Decision Support Systems.
Proceedings of the 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, 2014
Logic-based and robust desicion making for robots in real world.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014
2013
An Architecture for Autonomously Controlling Robot with Embodiment in Real World.
CoRR, 2013
Legal Conflict Detection in Interacting Legal Systems.
Proceedings of the First JURIX Doctoral Consortium and Poster Sessions in conjunction with the 26th International Conference on Legal Knowledge and Information Systems, 2013
ArgPROLEG: A Normative Framework for the JUF Theory.
Proceedings of the New Frontiers in Artificial Intelligence, 2013
Answering Yes/No Questions in Legal Bar Exams.
Proceedings of the New Frontiers in Artificial Intelligence, 2013
A model-based approach to the automatic revision of secondary legislation.
Proceedings of the International Conference on Artificial Intelligence and Law, 2013
Combining event-and state-based norms.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013
2012
Logic Programming and Burden of Proof in Legal Reasoning.
New Gener. Comput., 2012
Modelling Legitimate Expectations.
Proceedings of the New Frontiers in Artificial Intelligence, 2012
Detecting Conflicts in Legal Systems.
Proceedings of the New Frontiers in Artificial Intelligence, 2012
Polyphonic Music Classification on Symbolic Data Using Dissimilarity Functions.
Proceedings of the 13th International Society for Music Information Retrieval Conference, 2012
Decision Making in Knowledge Integration with Dynamic Creation of Argumentation.
Proceedings of the Information Search, Integration and Personalization, 2012
Distributed Defeasible Speculative Reasoning in Ambient Environment.
Proceedings of the Computational Logic in Multi-Agent Systems, 2012
Handling change in normative specifications.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012
2011
Normative design using inductive learning.
Theory Pract. Log. Program., 2011
The Fifth International Workshop on Juris-Informatics (JURISIN 2011).
Proceedings of the New Frontiers in Artificial Intelligence, 2011
2010
On the complexities of consistency checking for restricted UML class diagrams.
Theor. Comput. Sci., 2010
Speculative constraint processing for hierarchical agents.
AI Commun., 2010
Norm Refinement and Design through Inductive Learning.
Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010
Legal Modelling and Reasoning Using Institutions.
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
Speculative Abductive Reasoning for Hierarchical Agent Systems.
Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010
2009
Translating the Japanese Presupposed Ultimate Fact Theory into Logic Programming.
Proceedings of the Legal Knowledge and Information Systems, 2009
Computing Minimal Models by Positively Minimal Disjuncts.
Proceedings of the New Frontiers in Artificial Intelligence, 2009
On the Implementation of Speculative Constraint Processing.
Proceedings of the Computational Logic in Multi-Agent Systems, 2009
2008
Towards "Kiga-kiku" Services on Speculative Computation.
Proceedings of the Practical Aspects of Knowledge Management, 7th International Conference, 2008
Overview of JURISIN 2008.
Proceedings of the New Frontiers in Artificial Intelligence, 2008
2007
Agent-Based Speculative Constraint Processing.
IEICE Trans. Inf. Syst., 2007
First International Workshop on Juris-Informatics.
Proceedings of the New Frontiers in Artificial Intelligence, 2007
Narrative based Topic Visualization for Chronological Data.
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
Enumerating Minimal Explanations by Minimal Hitting Set Computation.
Proceedings of the Knowledge Science, 2006
Contradiction Finding and Minimal Recovery for UML Class Diagrams.
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
The Fourth Workshop on Learning with Logics and Logics for Learning (LLLL2006).
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
Consistency Checking Algorithms for Restricted UML Class Diagrams.
Proceedings of the Foundations of Information and Knowledge Systems, 2006
2005
Learning taxonomic relation by case-based reasoning.
Theor. Comput. Sci., 2005
Speculative Computation and Abduction for an Autonomous Agent.
IEICE Trans. Inf. Syst., 2005
Enumerating Minimally Revised Specifications Using Dualization.
Proceedings of the New Frontiers in Artificial Intelligence, 2005
Speculative Constraint Processing with Iterative Revision for Disjunctive Answers.
Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005
2004
Ann. Math. Artif. Intell., 2004
"All's well that ends well" - a proposal of global abduction.
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004
An Associative Information Retrieval Based on the Dependency of Term Co-occurrence.
Proceedings of the Discovery Science, 7th International Conference, 2004
Formalizing Retrieval Goal Change by Prioritized Abduction.
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
Ann. Math. Artif. Intell., 2003
Speculative Constraint Processing in Multi-agent Systems.
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
Enumerating Maximal Frequent Sets Using Irredundant Dualization.
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 Computational Logic in Multi-Agent Systems, 2002
Constructing a Critical Casebase to Represent a Lattice-Based Relation.
Proceedings of the Progress in Discovery Science, 2002
Speculative computation with multi-agent belief revision.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002
2000
Computing abduction by using TMS with top-down expectation.
J. Log. Program., 2000
Consistency Management of Normal Logic Program by Top-down Abductive Proof Procedure
CoRR, 2000
Computing Circumscriptive Databases by Integer Programming: Revisited (Extended Abstract)
CoRR, 2000
Reports on the AAAI 1999 Workshop Program.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
AI Mag., 2000
Speculative Computation by Abduction under Incomplete Communication Environments.
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
Discovering Critical Cases in Case-Based Reasoning.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2000
Computing Circumscriptive Databases by Integer Programming: Revisited.
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
Analysis of Case-Based Representability of Boolean Functions by Monotone Theory.
Proceedings of the Algorithmic Learning Theory, 9th International Conference, 1998
1997
Reasoning about Dynamic Preferences in Circumscriptive Theory by Logic Programming.
J. Adv. Comput. Intell. Intell. Informatics, 1997
Statutory Interpretation by Case-Based Reasoning through Abductive Logic Programming.
J. Adv. Comput. Intell. Intell. Informatics, 1997
Compiling Prioritized Circumscription into Extended Logic Programs.
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
Disambiguation by Prioritized Circumscription.
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
An Average-Case Analysis of k-Nearest Neighbor Classifier.
Proceedings of the Case-Based Reasoning Research and Development, 1995
1994
An Average Predictive Accuracy of the Nearest Neighbor Classifier.
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
A Unified View of Consequence Relation, Belief Revision and Conditional Logic.
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
A Probabilistic Interpretation for Lazy Nonmonotonic Reasoning.
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
A Sequential Implementation of Parlog.
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