Yuka Shimajiri

Learn More
The stable model semantics is now one of the standard semantics for general logic programs. A simple procedure for computing stable models has been proposed by Inoue et al. [IKH92]. In this paper, we present ecient techniques to compute the stable models of a general logic program. We propose a program transformation based on the magic-sets, which generates(More)
  • 1