| ID | 30031 |
| フルテキストURL | |
| 著者 | |
| 抄録 | 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
|
| 資料タイプ |
学術雑誌論文
|
| 言語 |
英語
|
| 査読 |
有り
|
| DOI | |
| Submission Path | industrial_engineering/110
|
