pith. sign in

Katsumi Inoue

Identifiers

  • name variant Katsumi Inoue 0.60 · backfill

Papers (18)

  1. Can Transformers Learn to Verify During Backtracking Search? cs.LG · 2026 · author #4
  2. Neural Decision-Propagation for Answer Set Programming cs.AI · 2026 · author #2
  3. Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic Learning cs.AI · 2026 · author #2
  4. Probabilistic Abduction in a Fuzzy Logic Framework cs.LO · 2026 · author #2
  5. Inferring High-Level Events from Timestamped Data: Complexity and Medical Applications cs.AI · 2026 · author #3
  6. Visual Perceptual to Conceptual First-Order Rule Learning Networks cs.AI · 2026 · author #4
  7. Partial Evaluation of Logic Programs in Vector Spaces cs.AI · 2018 · author #4
  8. A 1.2-V 162.9-pJ/cycle Bitmap Index Creation Core with 0.31-pW/bit Standby Power on 65-nm SOTB cs.AR · 2018 · author #4
  9. Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning cs.LO · 2018 · author #3
  10. An Efficient I/O Architecture for RAM-based Content-Addressable Memory on FPGA cs.AR · 2018 · author #4
  11. An FPGA-Based Hardware Accelerator for Energy-Efficient Bitmap Index Creation cs.AR · 2018 · author #4
  12. Modeling of Resilience Properties in Oscillatory Biological Systems using Parametric Time Petri Nets, Supplementary Information cs.LO · 2015 · author #3
  13. Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming cs.AI · 2013 · author #3
  14. Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning cs.AI · 2013 · author #1
  15. Encoding Higher Level Extensions of Petri Nets in Answer Set Programming cs.AI · 2013 · author #3
  16. Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning cs.AI · 2013 · author #3
  17. Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction cs.AI · 2011 · author #1
  18. An Abductive Framework For Computing Knowledge Base Updates cs.DB · 2004 · author #2

Mentions

  • 1506.06299 #3 · backfill · confidence 0.70 Katsumi Inoue
  • 2605.01797 #2 · arxiv_oai · confidence 0.70 Katsumi Inoue
  • 1312.6113 #3 · backfill · confidence 0.70 Katsumi Inoue
  • 1311.4639 #1 · backfill · confidence 0.70 Katsumi Inoue
  • 1306.3548 #3 · backfill · confidence 0.70 Katsumi Inoue
  • 1306.3542 #3 · backfill · confidence 0.70 Katsumi Inoue
  • 2605.22221 #4 · arxiv_oai · confidence 0.70 Katsumi Inoue
  • 1108.5825 #1 · backfill · confidence 0.70 Katsumi Inoue

Frequent Coauthors