Katsumi Inoue

Venues

Frequent coauthors

Papers

1. Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic Learning
   KR 2026 ·

   Akihiro Takemura

   DBLP profile ↗ORCID search ↗
2. Inferring High-Level Events from Timestamped Data: Complexity and Medical Applications
   KR 2026 ·

   Yvon K. Awuklu

   DBLP profile ↗ORCID search ↗
3. Probabilistic Abduction in a Fuzzy Logic Framework
   KR 2026 ·

   Tommaso Flaminio

   DBLP profile ↗ORCID search ↗
4. A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases
   KR 2025 ·

   Meghyn Bienvenu

   DBLP profile ↗ORCID search ↗
5. Complexity of Abduction in Łukasiewicz Logic
   KR 2025 · Katsumi Inoue
6. Differentiable Rule Induction from Raw Sequence Inputs
   ICLR 2025 ·

   Kun Gao

   DBLP profile ↗ORCID search ↗
7. Graph-Based Attention for Differentiable MaxSAT Solving
   NeurIPS 2025 ·

   Sota Moriyama

   DBLP profile ↗ORCID search ↗
8. Iterated Belief Change as Learning
   IJCAI 2025 ·

   Nicolas Schwind

   DBLP profile ↗ORCID search ↗
9. T-norm Selection for Object Detection in Autonomous Driving with Logical Constraints
   NeurIPS 2025 ·

   Thomas Eiter

   DBLP profile ↗ORCID search ↗
10. A differentiable first-order rule learner for inductive logic programming (Abstract Reprint)
    IJCAI 2024 ·

    Kun Gao

    DBLP profile ↗ORCID search ↗
11. Abductive Reasoning in a Paraconsistent Framework
    KR 2024 ·

    Meghyn Bienvenu

    DBLP profile ↗ORCID search ↗
12. BeliefFlow: A Framework for Logic-Based Belief Diffusion via Iterated Belief Change
    AAAI 2024 ·

    Nicolas Schwind

    DBLP profile ↗ORCID search ↗
13. Differentiable Logic Programming for Distant Supervision
    ECAI 2024 ·

    Akihiro Takemura

    DBLP profile ↗ORCID search ↗
14. Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming
    KR 2024 ·

    Irumi Sugimori

    DBLP profile ↗ORCID search ↗