Authors
Chiaki Sakama, Katsumi Inoue
Publication date
1994/2
Journal
Journal of automated reasoning
Volume
13
Pages
145-172
Publisher
Kluwer Academic Publishers
Description
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 model semantics is an alternative theoretical framework to the classical minimal model semantics and provides a flexible inference mechanism for inferring negation in disjunctive logic programs. We also present a proof procedure for the possible model semantics and show that the possible model semantics has an advantage from the computational complexity point of view.
Total citations
Scholar articles
C Sakama, K Inoue - Journal of automated reasoning, 1994