Katsumi Inoue

Katsumi Inoue publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Katsumi Inoue sits on this spectrum.

Katsumi Inoue D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Katsumi Inoue sits on this spectrum.

Best Publications

• Linear resolution for consequence finding

  Unknown

  276
  Citations

• Prioritized logic programming and its application to commonsense reasoning

  Unknown

  191
  Citations

• ILP turns 20

  Stephen Muggleton;Luc Raedt;David Poole;Ivan Bratko

  181
  Citations

• Negation as failure in the head

  Unknown

  137
  Citations

• Embedding Negation as Failure into a Model Generation Theorem Prover

  Unknown

  120
  Citations

• Paraconsistent Stable Semantics for Extended Disjunctive Programs

  Unknown

  113
  Citations

• Abductive framework for nonmonotonic theory change

  Unknown

  112
  Citations

• Induction as Consequence Finding

  Unknown

  104
  Citations

• An abductive framework for computing knowledge base updates

  Unknown

  102
  Citations

• An alternative approach to the semantics of disjunctive logic programs and deductive databases

  Unknown

  101
  Citations

• Updating Extended Logic Programs through Abduction

  Unknown

  101
  Citations

• Learning from interpretation transition

  Unknown

  97
  Citations

• Relational Reinforcement Learning for Planning with Exogenous Effects

  David Martínez Martínez;Guillem Alenyà;Tony Ribeiro;Katsumi Inoue

  93
  Citations

• Representing Priorities in Logic Programs.

  Unknown

  82
  Citations

• Learning revised models for planning in adaptive systems

  Daniel Sykes;Domenico Corapi;Jeff Magee;Jeff Kramer

  76
  Citations

• SOLAR: An automated deduction system for consequence finding

  Unknown

  76
  Citations

• Extended Logic Programs with Default Assumptions.

  Unknown

  74
  Citations

• Generating combinatorial test cases by efficient SAT encodings suitable for CDCL SAT solvers

  Unknown

  74
  Citations

• A fixpoint characterization of abductive logic programs

  Unknown

  72
  Citations

• Learning extended logic programs

  Unknown

  71
  Citations