このエントリーをはてなブックマークに追加
ID 30031
フルテキストURL
著者
Yamasaki, Susumu Okayama University
抄録

This paper looks at logic programming with three kinds of negation: default, weak and strict negations. A 3-valued logic model theory is discussed for logic programs with three kinds of negation. The procedure is constructed for negations so that a soundness of the procedure is guaranteed in terms of 3-valued logic model theory.

キーワード
negation in logic programming
3-valued logic
備考
Digital Object Identifier:10.1017/S1471068406002791
Published with permission from the copyright holder. This is the institute's copy, as published in Theory and Practice of Logic Programming, Nov 2006, Vol. 6, Issue 6, Pages 737-749.
Publisher URL:http://dx.doi.org/10.1017/S1471068406002791
Copyright © 2006 Cambridge University Press. All rights reserved.
発行日
2005-11-08
出版物タイトル
Theory and Practice of Logic Programming
6巻
6号
開始ページ
737
終了ページ
749
資料タイプ
学術雑誌論文
言語
English
査読
有り
DOI
Submission Path
industrial_engineering/110