Katsumi Inoue

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