Copyright (C) 1997  Katsumi Inoue 

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% publication.txt          %%%
%%%         by Katsumi Inoue %%%
%%%         (1997.5.9)       %%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

ֹΤοץγȯ
ݥϡ

泫ȯ˴ؤȯɽȯɽͽޤ
--------------------------------------------

[1] Katsumi Inoue and Chiaki Sakama. 
    A Fixpoint Characterization of Abductive Logic Programs. 
    Journal of Logic Programming, 27(2):107--136, 1996. 

    ơALPϤŪäȤʤ롤ALP׻ΤѴ
          ܥȥॢå׷׻ηȴựˤˤĤơ

[2]  ᡤ ɸ㡤 ͧ.  
    ֥ƥץΥܥȥॢå׽ϡ
    In: ͹ǽز裱ʸpages (139)--(142), 1996. 

    ơALPϤμ¸γפɾΰˤĤơ

[3]  ͧ¡ ᡥ
    Ѳΰɽȿμ¸ˤĤơ
    In: ͹ǽز裱ʸpages (143)--(146), 1996.  

    ơALP ϤΥΰǤοؤαѤˤĤơ
          ܸʳǤȯɽ

[4] ӻ ֡ ᡥ
    ۡޤǡ١礻θΨ
    زʸ, 37(12):2295--2304, 1996.  

    ơMGTP ˤǤΥۡޥååˡ
          ǡ١ؤαѤˤĤơ

[5]   Ρ  ᡥ
     ${\cal A}$ ΤΥȥޥȥ 
    زʸ38(3):462--471, 1997.  

    ơ˴ؤȯɽ

[6] Ĺë  δ  ᡤ  ɧ¼  
    徺õΨΥۡ󡦥ޥååȡ
    زʸ38(3):453--461, 1997.  

    ơMGTP ˤΥۡޥååˡ˴ؤξɾ

[7] Ryuzo Hasegawa, Katsumi Inoue, Yoshihiko Ohta, and Miyuki Koshimura. 
    Non-Horn Magic Sets to Incorporate Top-down Inference into 
    Bottom-up Theorem Proving. 
    In: Proceeings of the Fourteenth International Conference on 
    Automated Deduction (CADE-14), Lecture Notes in Artificial Intelligence, 
    to appear, Springer, 1997. 

    ơʸ[6]αѸǡ

[8]  ᡤ ͧ¡  Ρ
    ΤΥܥȥॢå׽ϡ
    In: ͹ǽز裱ʸto appear, 1997.  

    ơϳȯγȯɽ

ʾ
