@techreport{oai:ipsj.ixsq.nii.ac.jp:00051268,
 author = {萱島, 信 and 中川, 裕志 and Makoto, Kayashima and Hiroshi, Nakagawa},
 issue = {22(1988-ICS-063)},
 month = {Mar},
 note = {論理プログラミングにおいて，否定に関する表現力を拡張するために，複数個の正リテラルを持つ節（一般プログラム節）を含むプログラムに対して，述語にレベル付けを施すことにより，単一のモデルを決定するモデル論的なアプローチが近年盛んに行われている．本稿では，このアプローチの拡張を行い，従来の方式では扱うことのできなかったプログラムに対してモデルを示すことのできる導出（SLBS-導出）を提案する．これは，ある特別なレベル付けを行ったプログラムに対し，まだ肯定であると証明されていないリテラルを，否定のリテラルであると仮定することによりNAFより強力な否定の概念を実現するものである．さらにこのSLBS-導出の健全性と完全性を証明した．, To implement negation, we must deal with general program clauses, but general program may have more than one model. So recently, the notion of the stratified logic program is proposed by Apt, Blair, and Walker. In this paper, we extend the above notion, and propose a new resolution (called SLBS-resolution) by which we can obtain the unique model for a general program. In this resolution, we consider negative literals which are not recognized yet as positive ones. And further we prove the soundness and completeness of the SLBS-resolution.},
 title = {一般プログラムにおける否定の意味論},
 year = {1989}
}