Now showing items 1-1 of 1

    • Deja Vu in Fixpoints of Logic Programs 

      Maher, Michael J; Ramakrishnan, Raghu (University of Wisconsin-Madison Department of Computer Sciences, 1989)
      We investigate properties of logic programs that permit refinements in their fixpoint evaluation and shed light on the choice of control strategy. A fundamental aspect of a bottom-up computation is that we must constantly ...