PPaperPicks

Katsumi Inoue

14 papers at tracked venues · 4 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

KR ×7IJCAI ×2NeurIPS ×2AAAI ×1ECAI ×1ICLR ×1

Frequent coauthors

Meghyn Bienvenu
×3
Daniil Kozhemiachenko
×3
Akihiro Takemura
×2
Kun Gao
×2
Yongzhi Cao
×2
Hanpin Wang
×2
Sota Moriyama
×2
Nicolas Schwind
×2
Sébastien Konieczny
×2
Pierre Marquis
×2
Masaaki Nishino
×1
Yvon K. Awuklu
×1

Papers

  1. Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic Learning
    KR 2026 ·
    Akihiro Takemura
    , Katsumi Inoue,
    Masaaki Nishino
  2. Inferring High-Level Events from Timestamped Data: Complexity and Medical Applications
    KR 2026 ·
    Yvon K. Awuklu
    ,
    Meghyn Bienvenu
    , Katsumi Inoue,
    Vianney Jouhet
    ,
    Fleur Mougin
  3. Probabilistic Abduction in a Fuzzy Logic Framework
    KR 2026 ·
    Tommaso Flaminio
    , Katsumi Inoue,
    Daniil Kozhemiachenko
  4. A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases
    KR 2025 ·
    Meghyn Bienvenu
    ,
    Camille Bourgaux
    , Katsumi Inoue,
    Robin Jean
  5. Complexity of Abduction in Łukasiewicz Logic
    KR 2025 · Katsumi Inoue,
    Daniil Kozhemiachenko
  6. Differentiable Rule Induction from Raw Sequence Inputs
    ICLR 2025 ·
    Kun Gao
    , Katsumi Inoue,
    Yongzhi Cao
    ,
    Hanpin Wang
    ,
    Yang Feng
  7. Graph-Based Attention for Differentiable MaxSAT Solving
    NeurIPS 2025 ·
    Sota Moriyama
    , Katsumi Inoue
  8. Iterated Belief Change as Learning
    IJCAI 2025 ·
    Nicolas Schwind
    , Katsumi Inoue,
    Sébastien Konieczny
    ,
    Pierre Marquis
  9. T-norm Selection for Object Detection in Autonomous Driving with Logical Constraints
    NeurIPS 2025 ·
    Thomas Eiter
    , Katsumi Inoue,
    Nelson Higuera
    ,
    Sota Moriyama
  10. A differentiable first-order rule learner for inductive logic programming (Abstract Reprint)
    IJCAI 2024 ·
    Kun Gao
    , Katsumi Inoue,
    Yongzhi Cao
    ,
    Hanpin Wang
  11. Abductive Reasoning in a Paraconsistent Framework
    KR 2024 ·
    Meghyn Bienvenu
    , Katsumi Inoue,
    Daniil Kozhemiachenko
  12. BeliefFlow: A Framework for Logic-Based Belief Diffusion via Iterated Belief Change
    AAAI 2024 ·
    Nicolas Schwind
    , Katsumi Inoue,
    Sébastien Konieczny
    ,
    Pierre Marquis
  13. Differentiable Logic Programming for Distant Supervision
    ECAI 2024 ·
    Akihiro Takemura
    , Katsumi Inoue
  14. Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming
    KR 2024 ·
    Irumi Sugimori
    , Katsumi Inoue,
    Hidetomo Nabeshima
    ,
    Torsten Schaub
    ,
    Takehide Soh
    ,
    Naoyuki Tamura
    ,
    Mutsunori Banbara