Author | Sasakura, Mariko| Yamasaki, Susumu| |
---|---|
Published Date | 2004-7 |
Publication Title | Information Visualisation |
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| Iwata, Kenichi| Yamasaki, Susumu| |
---|---|
Published Date | 2006-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| Yamasaki, Susumu| |
---|---|
Published Date | 2003-7 |
Publication Title | Information Visualization |
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 |