264
Bibliography
[Wendt, 2002a] Wendt, M. (2002a). Unfolding the well-founded semantics.
Technical Report WV–02–08, Knowledge Representation and Reasoning
Group, Department of Computer Science, Dresden University of Technology.
[Wendt, 2002b] Wendt, M. (2002b). Unfolding the well-founded semantics. Journal of Electrical Engineering, Slovak Academy of Sciences,
53(12/s):56–59.
[Willard, 1970] Willard, S. (1970). General Topology. Addison-Wesley, Reading, MA.
[Zhang, 1991] Zhang, G.-Q. (1991). Logic of Domains. Birkhauser, Boston.
[Zhang and Rounds, 1997a] Zhang, G.-Q. and Rounds, W. C. (1997a). Complexity of power default reasoning. In Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science, LICS’97, Warsaw,
Poland, pages 328–339. IEEE Computer Society Press.
[Zhang and Rounds, 1997b] Zhang, G.-Q. and Rounds, W. C. (1997b). Reasoning with power defaults (preliminary report). In Dix, J., Furbach,
U., and Nerode, A., editors, Proceedings of the Fourth International
Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR’97), Dagstuhl, Germany, Lecture Notes in Computer Science, Volume 1265, pages 152–169. Springer, Berlin.
[Zhang and Rounds, 2001] Zhang, Q.-Z. and Rounds, W. C. (2001). Semantics of logic programs and representation of Smyth powerdomains. In
Keimel, K. et al., editors, Domains and Processes, pages 151–179. Kluwer
Academic Publishers, Dordrecht, The Netherlands.
Bibliography
[Wendt, 2002a] Wendt, M. (2002a). Unfolding the well-founded semantics.
Technical Report WV–02–08, Knowledge Representation and Reasoning
Group, Department of Computer Science, Dresden University of Technology.
[Wendt, 2002b] Wendt, M. (2002b). Unfolding the well-founded semantics. Journal of Electrical Engineering, Slovak Academy of Sciences,
53(12/s):56–59.
[Willard, 1970] Willard, S. (1970). General Topology. Addison-Wesley, Reading, MA.
[Zhang, 1991] Zhang, G.-Q. (1991). Logic of Domains. Birkhauser, Boston.
[Zhang and Rounds, 1997a] Zhang, G.-Q. and Rounds, W. C. (1997a). Complexity of power default reasoning. In Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science, LICS’97, Warsaw,
Poland, pages 328–339. IEEE Computer Society Press.
[Zhang and Rounds, 1997b] Zhang, G.-Q. and Rounds, W. C. (1997b). Reasoning with power defaults (preliminary report). In Dix, J., Furbach,
U., and Nerode, A., editors, Proceedings of the Fourth International
Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR’97), Dagstuhl, Germany, Lecture Notes in Computer Science, Volume 1265, pages 152–169. Springer, Berlin.
[Zhang and Rounds, 2001] Zhang, Q.-Z. and Rounds, W. C. (2001). Semantics of logic programs and representation of Smyth powerdomains. In
Keimel, K. et al., editors, Domains and Processes, pages 151–179. Kluwer
Academic Publishers, Dordrecht, The Netherlands.