• Publications
  • Influence
Prioritized logic programming and its application to commonsense reasoning
Representing and reasoning with priorities are important in commonsense reasoning. This paper introduces a framework of prioritized logic programming (PLP), which has a mechanism of explicitExpand
  • 139
  • 25
Paraconsistent Stable Semantics for Extended Disjunctive Programs
This paper presents declarative semantics of possibly inconsistent disjunctive logic programs. We introduce the paraconsistent minimal and stable model semantics for extended disjunctive programs,Expand
  • 86
  • 23
An abductive framework for computing knowledge base updates
This paper introduces an abductive framework for updating knowledge bases represented by extended disjunctive programs. We first provide a simple transformation from abductive programs to updateExpand
  • 78
  • 16
Representing Priorities in Logic Programs
Reasoning with priorities is a central topic in knowledge representation. A number of techniques for prioritized reasoning have been developed in the eld of AI, but existing logic programming lacksExpand
  • 85
  • 9
Learning from interpretation transition
We propose a novel framework for learning normal logic programs from transitions of interpretations. Given a set of pairs of interpretations (I,J) such that J=TP(I), where TP is the immediateExpand
  • 51
  • 9
Learning Extended Logic Programs
This paper presents a method to generate nonmonotonic rules with exceptions from positive/ negative examples and background knowledge in Inductive Logic Programming. We adopt extended logic programsExpand
  • 45
  • 9
ILP turns 20 Biography and future challenges
Inductive Logic Programming (ILP) is an area of Machine Learning which has now reached its twentieth year. Using the analogy of a human biography this paper recalls the development of the subjectExpand
  • 56
  • 8
Linear Resolution for Consequence Finding
  • Katsumi Inoue
  • Mathematics, Computer Science
  • Artif. Intell.
  • 1 August 1992
Abstract In this paper, we re-evaluate the consequence finding problem within first-order logic. Firstly, consequence finding is generalized to the problem in which only interesting clauses having aExpand
  • 190
  • 7
Negation as Failure in the Head
The class of logic programs with negation as failure in the head is a subset of the logic of MBNF introduced by Lifschitz and is an extension of the class of extended disjunctive programs. AnExpand
  • 119
  • 6
Updating Extended Logic Programs through Abduction
This paper introduces techniques for updating knowledge bases represented in extended logic programs. Three different types of updates, view updates, theory updates, and inconsistency removal, areExpand
  • 81
  • 6