Author pages are created from data sourced from our academic publisher partnerships and public sources.

- Publications
- Influence

Prioritized logic programming and its application to commonsense reasoning

- C. Sakama, Katsumi Inoue
- Mathematics, Computer Science
- Artif. Intell.
- 1 October 2000

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 explicit… Expand

Paraconsistent Stable Semantics for Extended Disjunctive Programs

- C. Sakama, Katsumi Inoue
- Computer Science, Mathematics
- J. Log. Comput.
- 1995

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

An abductive framework for computing knowledge base updates

- C. Sakama, Katsumi Inoue
- Computer Science
- Theory Pract. Log. Program.
- 1 November 2003

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 update… Expand

Representing Priorities in Logic Programs

- C. Sakama, Katsumi Inoue
- Computer Science
- JICSLP
- 1996

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 lacks… Expand

Learning from interpretation transition

- Katsumi Inoue, T. Ribeiro, C. Sakama
- Mathematics, Computer Science
- Machine Learning
- 2013

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 immediate… Expand

Learning Extended Logic Programs

- Katsumi Inoue, Yoshimitsu Kudoh
- Computer Science
- IJCAI
- 23 August 1997

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 programs… Expand

ILP turns 20 Biography and future challenges

- S. Muggleton, L. D. Raedt, +4 authors A. Srinivasan
- 2011

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 subject… Expand

- 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 a… Expand

Negation as Failure in the Head

- Katsumi Inoue, C. Sakama
- Mathematics, Computer Science
- J. Log. Program.
- 1 April 1998

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. An… Expand

Updating Extended Logic Programs through Abduction

- C. Sakama, Katsumi Inoue
- Computer Science
- LPNMR
- 2 December 1999

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, are… Expand