Now showing items 1-4 of 4

    • Attunement to constraints in nonmonotonic reasoning 

      Rounds, William C.; Zhang, Guo-Qiang (University of Georgia, 1994-12-07)
    • Defaults in domain theory 

      Zhang, Guo-Qiang; Rounds, William C. (University of Georgia, 1994-12-07)
      This paper uses ideas from artificial intelligence to show how default notions can be defined over Scott domains. We combine these ideas with ideas arising in domain theory to shed some light on the properties of ...
    • Logical considerations on default semantics 

      Rounds, William C.; Zhang, Guo-Qiang (University of Georgia, 1994-12-07)
      We consider a reinterpretation of the rules of default logic. We make Reiter’s default rules into a constructive method of building models, not theories. To allow reasoning in first order systems, we equip standard ...
    • Nonmonotonic consequence in default model theory 

      Zhang, Guo-Qiang; Rounds, William C. (University of Georgia, 1994-12-07)
      Default model theory is a nonmonotonic formalism for representing and reasoning about commonsense knowledge. Although this theory is motivated by ideas in Reiter’s work on default logic, it is a very different, in some ...