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