Rounds-Zhang et al.
papers on logic programming, NMR, and domain theory
Bill Rounds and Guo-Qiang Zhang.
Clausal logic and logic programming in algebraic domains. [PDF]
Information and Computation vol 171:183-200, December 2001.
Guo-Qiang Zhang and Bill Rounds.
Semantics of logic programs and representation of Smyth powerdomain. [Postscript]
In: (Keimel et al eds.) Domains and Processes, Kluwer Academic
Publishers, 2001, 151-179.
Eric Klavins, W. Rounds and Guo-Qiang Zhang.
Experimenting with power default reasoning. [Postscript]
AAAI'98.
W. Rounds and Guo-Qiang Zhang.
Logical considerations of default semantics. [Postscript]
Annals of Mathematics and Artificial Intelligence. vol 20, 1997,
195-226.
Guo-Qiang Zhang and W. Rounds .
Nonmonotonic consequences of default domain theory. [Postscript]
Annals of Mathematics and Artificial Intelligence. vol 20,1997,
227-265.
Guo-Qiang Zhang and W. Rounds.
Defaults in domain theory. [Postscript]
Theoretical Computer Science, vol 177, Issue 1, 1997, 155-182.
Guo-Qiang Zhang and W. Rounds.
Complexity of power default reasoning, (LICS'97) [Postscript]
Proceedings of the 12th Annual IEEE Symposium on Logic in Computer
Science, 328-339, Warsaw, Poland, July 1997.
Guo-Qiang Zhang and W. Rounds.
Reasoning with power defaults (preliminary report) (LPNMR'97). [Postscript]
Proceedings of the 4th International Conference
on
Logic programming and Non-monotonic Reasoning, 152-169, Dagstuhl,
Germany, July 1997.
Guo-Qiang Zhang, W. Rounds, and Chang Huang.
A modal logic for reasoning about belief. [Postscript]
Proceedings of the 30th International Conference on System Sciences,
vol V, pages 383-391, Maui, Hawaii, Jan. 1997.
Guo-Qiang Zhang and W. Rounds.
Resolution in the Smyth powerdomain, (MFPS'97). [Postscript]
Proceedings of the 13rd International Conference on Mathematical
Foundations of Programming Semantics, (Carnegie-Mellon University,
Pittsburgh, March 1997) ENTCS, Volume 6 .
W. Rounds and Guo-Qiang Zhang.
Attunement to constraints in nonmonotonic reasoning. [Postscript]
Logic, Language, and Computation, vol 1, 479--494.
CSLI Lecture Notes, vol 58, CSLI Publication, Stanford, CA., 1996.
W. Rounds and Guo-Qiang Zhang.
Domain theory meets default logic. [Postscript]
Journal of Logic and Computation, vol 5, no.1, 1995, 1-25.
W. Rounds and Guo-Qiang Zhang.
Suggestions for a nonmonotonic feature logic.
CWI Technical Report CS-R9551, ISSN 0169-118X, 1995 .