Pith. sign in

Researcher Evidence Record

Katsumi Inoue

This bounded record lists 25 Pith paper rows and 0 imported work rows attributed to this corpus identity. The enumerated, non-disputed paper rows include cs.AI, cs.AR, cs.LG work dated 2004 to 2026. The record describes sources and coverage; it makes no judgment about the person.

Compiled coverage vector

Measured lane counts only. Not a trust score or person verdict.

Identity 2 canonical identity row plus typed public identifiers Pith papers 25 attributed paper rows in the Pith corpus, itemized below Imported works 0 imported works beyond the paper ledger Current reviews 6 of 25 papers carrying a current Pith review; presence, not outcome Sourced citations 0 of 25 works with a source-named citation count Coauthors 47 distinct coauthors across shared paper rows
Enumerated paper scope: 5 fields (cs.AI, cs.AR, cs.LG, +2 more) · 2004-2026 sources: authors, author_identifiers · paper_authors · author_works · current_verdicts · cited_works

A sourced case file for attributed work. It is neither a profile score nor a verdict about this researcher.

Attributed works

A bounded ledger from the Pith paper and imported-work queries. Counts and source confidence stay with each work.

  1. 2026 Pith paper

    Can Transformers Learn to Verify During Backtracking Search?

    cs.LG provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Katsumi Inoue
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  2. 2026 Pith paper

    Neural Decision-Propagation for Answer Set Programming

    cs.AI provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Katsumi Inoue
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  3. 2026 Pith paper

    Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic Learning

    cs.AI provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    paper_authors
    Printed name
    Katsumi Inoue
    Author position
    2
    Identity state
    provisional
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  4. 2026 Pith paper

    Probabilistic Abduction in a Fuzzy Logic Framework

    cs.LO provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    paper_authors
    Printed name
    Katsumi Inoue
    Author position
    2
    Identity state
    provisional
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  5. 2026 Pith paper

    Inferring High-Level Events from Timestamped Data: Complexity and Medical Applications

    cs.AI provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    paper_authors
    Printed name
    Katsumi Inoue
    Author position
    3
    Identity state
    provisional
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  6. 2026 Pith paper

    Visual Perceptual to Conceptual First-Order Rule Learning Networks

    cs.AI provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    paper_authors
    Printed name
    Katsumi Inoue
    Author position
    4
    Identity state
    provisional
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  7. 2025 Pith paper

    Neural Logic Networks for Interpretable Classification

    cs.LG provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Katsumi Inoue
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  8. 2023 Pith paper

    Bounded Combinatorial Reconfiguration with Answer Set Programming

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Katsumi Inoue
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  9. 2022 Pith paper

    Learning State Transition Rules from Hidden Layers of Restricted Boltzmann Machines

    cs.LG provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Katsumi Inoue
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  10. 2022 Pith paper

    Action Languages Based Actual Causality for Computational Ethics: a Sound and Complete Implementation in ASP

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Katsumi Inoue
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  11. 2022 Pith paper

    Learning First-Order Rules with Differentiable Logic Program Semantics

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Katsumi Inoue
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  12. 2021 Pith paper

    Generating Explainable Rule Sets from Tree-Ensemble Learning Methods by Answer Set Programming

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Katsumi Inoue
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  13. 2018 Pith paper

    Partial Evaluation of Logic Programs in Vector Spaces

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Katsumi Inoue
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  14. 2018 Pith paper

    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 provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Katsumi Inoue
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  15. 2018 Pith paper

    Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Katsumi Inoue
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  16. 2018 Pith paper

    An Efficient I/O Architecture for RAM-based Content-Addressable Memory on FPGA

    cs.AR provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Katsumi Inoue
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  17. 2018 Pith paper

    An FPGA-Based Hardware Accelerator for Energy-Efficient Bitmap Index Creation

    cs.AR provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Katsumi Inoue
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  18. 2015 Pith paper

    Characterization of Logic Program Revision as an Extension of Propositional Revision

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Katsumi Inoue
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  19. 2015 Pith paper

    Modeling of Resilience Properties in Oscillatory Biological Systems using Parametric Time Petri Nets, Supplementary Information

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Katsumi Inoue
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  20. 2013 Pith paper

    Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Katsumi Inoue
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  21. 2013 Pith paper

    Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Katsumi Inoue
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  22. 2013 Pith paper

    Encoding Higher Level Extensions of Petri Nets in Answer Set Programming

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Katsumi Inoue
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  23. 2013 Pith paper

    Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Katsumi Inoue
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  24. 2011 Pith paper

    Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Katsumi Inoue
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  25. 2004 Pith paper

    An Abductive Framework For Computing Knowledge Base Updates

    cs.DB provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Katsumi Inoue
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.

Evidence apparatus

The machinery behind this record. Every lane states whether Pith measured it, did not query it, could not reach it, or withheld it.

LaneStateObservedBoundary and source
identity Measured 2 Canonical identity row plus public typed identifiers.
source=authors, author_identifiers
papers Measured 25 of 25 bounded rows Rows attributed to this author UUID in the Pith corpus.
source=paper_authors
works Measured zero 0 of 0 bounded rows Imported works not duplicated by the paper ledger.
source=author_works
reviews Measured 6 of 25 bounded rows Coverage count only. No review outcome is projected onto the person.
source=current_verdicts
citations Measured zero 0 of 25 bounded rows Counts remain itemized by work and source.
source=cited_works
coauthors Measured 47 of 25 bounded rows Shared-work edges from admitted paper rows.
source=paper_authors
account Unavailable No public count of 1 bounded rows Account metadata is separate from corpus evidence.
source=users.author_id
Public identity sources
  • name variant
    Katsumi Inoue     backfill
    confidence 0.6

identity history

Enumerated research scope

Fields and dates come only from enumerated, non-disputed Pith paper rows. They do not claim career completeness.

  • cs.AI15 rows
  • cs.AR3 rows
  • cs.LG3 rows
  • cs.LO3 rows
  • cs.DB1 rows
  • 20041 rows
  • 20111 rows
  • 20134 rows
  • 20152 rows
  • 20185 rows
  • 20211 rows
  • 20223 rows
  • 20231 rows
  • 20251 rows
  • 20266 rows
Shared-work index
Record scope

The work queries are bounded. Missing rows may mean measured zero, an unavailable source, a query that did not run, or private data that Pith withheld. The lane table keeps those cases separate.

Paper findings remain attached to papers. They do not become findings about this researcher.