% Copyright (C) 1996  Katsumi Inoue 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% publication.txt          %%%
%%%         by Katsumi Inoue %%%
%%%         (1996.5.10)      %%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

ֹΤοץγȯ
ݥ֥ƥץߥ󥰽ϡ

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

[1] Katsumi Inoue and Chiaki Sakama.  
    A Fixpoint Characterization of Abductive Logic Programs.  
    Journal of Logic Programming, vol.27, no.2, pp.107-136, May 1996. 

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

[2] 1996ǯٿ͹ǽز10
    ͹ǽ̥å
   ֳĥŪݥ֥ȥʣˡ
    (1996ǯ625, , )

    ܡ֥ƥץΥܥȥॢå׽
    ԡ  ᡤ  ɸ㡤  ͧ¡˭

    ơȯALPϤμ¸γפɾΰˤĤȯɽ롥

[3] Ʊ 

    ܡѲΰɽȿμ¸ˤĤ
    ԡ  ͧ¡  ˭

    ơALP ϤΥΰǤοؤαѤˤĤƽҤ٤롥
          ϡֹΤοץγȯפΣǯܤ
          ײͽꤷƤ륢Ϥγȯ˸ơǯ
          κǯ٤˸Ƥ̤ޤࡥƼΤϣǯ
          ˤϵܤƤʤ

[4] ͽ
    嵭 [2] Υ㡼ʥʸޤϱѸǤʸޤϹݲĤ
    ͽꡥǯܤΤʤä˼ɮΤǡ
    Ǻܤޤȯɽλ٤ͽꡥ

ʾ
