#### Filter Results:

- Full text PDF available (64)

#### Publication Year

1987

2018

- This year (4)
- Last 5 years (28)
- Last 10 years (53)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Chiaki Sakama, Katsumi Inoue
- Artif. Intell.
- 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â€¦ (More)

- Chiaki Sakama, Katsumi Inoue
- 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,â€¦ (More)

- Chiaki Sakama, Katsumi Inoue
- TPLP
- 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â€¦ (More)

- Chiaki Sakama
- ACM Trans. Comput. Log.
- 2005

Inductive logic programming (ILP) realizes inductive machine learning in computational logic. However, the present ILP mostly handles classical clausal programs, especially Horn logic programs, andâ€¦ (More)

- Chiaki Sakama, Katsumi Inoue
- 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â€¦ (More)

- Katsumi Inoue, Chiaki Sakama
- J. Log. Program.
- 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â€¦ (More)

- Chiaki Sakama, Katsumi Inoue
- Journal of Automated Reasoning
- 1994

In this paper, we study a new semantics of logic programming and deductive databases. Thepossible model semantics is introduced as a declarative semantics of disjunctive logic programs. The possibleâ€¦ (More)

- Chiaki Sakama, Katsumi Inoue
- LPNMR
- 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â€¦ (More)

- Katsumi Inoue, Chiaki Sakama
- IJCAI
- 1995

This paper proposes a method of nonmonotonic theory change. We rst introduce a new form of abduction that can account for observations in nonmonotonic situation. Then we provide a framework ofâ€¦ (More)

- Katsumi Inoue, Chiaki Sakama
- JELIA
- 2004

A program is regarded as the constraints to be satisfied by solutions. Each solution is obtained by computing an answer set of the program. a Programs P 1 and P 2 are strongly equivalent if for anyâ€¦ (More)