| 著者 | Sasakura, Mariko| Yamasaki, Susumu| |
|---|---|
| 発行日 | 2003-7 |
| 出版物タイトル | Information Visualization |
| 資料タイプ | 学術雑誌論文 |
| 著者 | Kenichi, Iwata| Sasakura, Mariko| Yamasaki, Susumu| |
|---|---|
| 発行日 | 2005-7 |
| 出版物タイトル | Information Visualisation |
| 資料タイプ | 学術雑誌論文 |
| 著者 | Sasakura, Mariko| Iwata, Kenichi| Yamasaki, Susumu| |
|---|---|
| 発行日 | 2006-7 |
| 出版物タイトル | Information Visualization |
| 資料タイプ | 学術雑誌論文 |
| 著者 | Yamasaki, Susumu| |
|---|---|
| 発行日 | 2005-11-08 |
| 出版物タイトル | Theory and Practice of Logic Programming |
| 巻 | 6巻 |
| 号 | 6号 |
| 資料タイプ | 学術雑誌論文 |
| 著者 | Sasakura, Mariko| Yamasaki, Susumu| |
|---|---|
| 発行日 | 2004-7 |
| 出版物タイトル | Information Visualisation |
| 資料タイプ | 学術雑誌論文 |
| JaLCDOI | 10.18926/15362 |
|---|---|
| フルテキストURL | Mem_Fac_Eng_OU_35_97.pdf |
| 著者 | 山崎 進| 黒瀬 義則| |
| 抄録 | In this paper, we formulate a new integrity constraint in correlation with 3-valued stable models in an abduction framework based on general logic programs. Under the constraint, not every ground atom or its negation is a logical consequence of the theory and an expected abductive explanation, but some atom may be unspecified as a logical consequence by an adjustment. As a reflection of the integrity constraint with an adjustment, we augment an adjusting derivation to Eshghi and Kowalski abductive proof procedure, in which such an unspecified atom can be dealt with. |
| 出版物タイトル | Memoirs of the Faculty of Engineering, Okayama University |
| 発行日 | 2001-03-27 |
| 巻 | 35巻 |
| 号 | 1-2号 |
| 開始ページ | 97 |
| 終了ページ | 135 |
| ISSN | 0475-0071 |
| 言語 | 英語 |
| 論文のバージョン | publisher |
| NAID | 120002307812 |