| Author | Sasakura, Mariko| Yamasaki, Susumu| |
|---|---|
| Published Date | 2003-7 |
| Publication Title | Information Visualization |
| Content Type | Journal Article |
| Author | Kenichi, Iwata| Sasakura, Mariko| Yamasaki, Susumu| |
|---|---|
| Published Date | 2005-7 |
| Publication Title | Information Visualisation |
| Content Type | Journal Article |
| Author | Sasakura, Mariko| Iwata, Kenichi| Yamasaki, Susumu| |
|---|---|
| Published Date | 2006-7 |
| Publication Title | Information Visualization |
| Content Type | Journal Article |
| Author | Yamasaki, Susumu| |
|---|---|
| Published Date | 2005-11-08 |
| Publication Title | Theory and Practice of Logic Programming |
| Volume | volume6 |
| Issue | issue6 |
| Content Type | Journal Article |
| Author | Sasakura, Mariko| Yamasaki, Susumu| |
|---|---|
| Published Date | 2004-7 |
| Publication Title | Information Visualisation |
| Content Type | Journal Article |
| JaLCDOI | 10.18926/15362 |
|---|---|
| FullText URL | Mem_Fac_Eng_OU_35_97.pdf |
| Author | Yamasaki, Susumu| Kurose, Yoshinori| |
| Abstract | 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. |
| Publication Title | Memoirs of the Faculty of Engineering, Okayama University |
| Published Date | 2001-03-27 |
| Volume | volume35 |
| Issue | issue1-2 |
| Start Page | 97 |
| End Page | 135 |
| ISSN | 0475-0071 |
| language | English |
| File Version | publisher |
| NAID | 120002307812 |
