Bibliography
253
Paso, Texas, USA, December, 1999, Lecture Notes in Artificial Intelligence, Volume 1730, pages 357–371. Springer, Berlin.
[Hitzler and Seda, 1999c] Hitzler, P. and Seda, A. K. (1999c). Some issues
concerning fixed points in computational logic: Quasimetrics, multivalued mappings and the Knaster-Tarski theorem. In Comfort, W., Heckmann, R., Kopperman, R., and Narici, L., editors, Proceedings of the 14th
Summer Conference on Topology and Its Applications: Special Session on
Topology in Computer Science, Long Island, USA, Volume 24 of Topology
Proceedings, pages 223–250.
[Hitzler and Seda, 2000] Hitzler, P. and Seda, A. K. (2000). Dislocated
topologies. Journal of Electrical Engineering, Slovak Academy of Sciences, 51(12/s):3–7.
[Hitzler and Seda, 2001] Hitzler, P. and Seda, A. K. (2001). A “converse” of
the Banach contraction mapping theorem. Journal of Electrical Engineering, Slovak Academy of Sciences, 52(10/s):3–6.
[Hitzler and Seda, 2002a] Hitzler, P. and Seda, A. K. (2002a). The fixedpoint theorems of Priess-Crampe and Ribenboim in logic programming.
In Kuhlmann, F.-V., Kuhlmann, S., and Marshall, M., editors, Valuation
Theory and Its Applications, Proceedings of the International Valuation
Theory Conference, University of Saskatchewan in Saskatoon, Canada,
July, 1999, Volume 32 of Fields Institute Communications Series, pages
219–235. American Mathematical Society, Providence, RI.
[Hitzler and Seda, 2002b] Hitzler, P. and Seda, A. K. (2002b). On the coincidence of semantics for uniquely determined programs. In Hurley, T.,
MacanAirchinnigh, M., Schellekens, M., and Seda, A. K., editors, Proceedings of the First Irish Conference on the Mathematical Foundations
of Computer Science and Information Technology (MFCSIT2000), Cork,
Ireland, July, 2000, Electronic Notes in Theoretical Computer Science,
Volume 40, pages 189–205. Elsevier Science Publishers, Amsterdam; New
York.
[Hitzler and Seda, 2003] Hitzler, P. and Seda, A. K. (2003). Generalized metrics and uniquely determined logic programs. Theoretical Computer Science, 305(1–3):187–219.
[Hitzler and van Harmelen, 2010] Hitzler, P. and van Harmelen, F. (2010). A
reasonable Semantic Web. Semantic Web – Interoperability, Usability,
Applicability. In press.
[Hitzler and Wendt, 2002] Hitzler, P. and Wendt, M. (2002). The wellfounded semantics is a stratified Fitting semantics. In Jarke, M., Koehler,
J., and Lakemeyer, G., editors, Proceedings of the 25th Annual German Conference on Artificial Intelligence, KI2002, Aachen, Germany,
253
Paso, Texas, USA, December, 1999, Lecture Notes in Artificial Intelligence, Volume 1730, pages 357–371. Springer, Berlin.
[Hitzler and Seda, 1999c] Hitzler, P. and Seda, A. K. (1999c). Some issues
concerning fixed points in computational logic: Quasimetrics, multivalued mappings and the Knaster-Tarski theorem. In Comfort, W., Heckmann, R., Kopperman, R., and Narici, L., editors, Proceedings of the 14th
Summer Conference on Topology and Its Applications: Special Session on
Topology in Computer Science, Long Island, USA, Volume 24 of Topology
Proceedings, pages 223–250.
[Hitzler and Seda, 2000] Hitzler, P. and Seda, A. K. (2000). Dislocated
topologies. Journal of Electrical Engineering, Slovak Academy of Sciences, 51(12/s):3–7.
[Hitzler and Seda, 2001] Hitzler, P. and Seda, A. K. (2001). A “converse” of
the Banach contraction mapping theorem. Journal of Electrical Engineering, Slovak Academy of Sciences, 52(10/s):3–6.
[Hitzler and Seda, 2002a] Hitzler, P. and Seda, A. K. (2002a). The fixedpoint theorems of Priess-Crampe and Ribenboim in logic programming.
In Kuhlmann, F.-V., Kuhlmann, S., and Marshall, M., editors, Valuation
Theory and Its Applications, Proceedings of the International Valuation
Theory Conference, University of Saskatchewan in Saskatoon, Canada,
July, 1999, Volume 32 of Fields Institute Communications Series, pages
219–235. American Mathematical Society, Providence, RI.
[Hitzler and Seda, 2002b] Hitzler, P. and Seda, A. K. (2002b). On the coincidence of semantics for uniquely determined programs. In Hurley, T.,
MacanAirchinnigh, M., Schellekens, M., and Seda, A. K., editors, Proceedings of the First Irish Conference on the Mathematical Foundations
of Computer Science and Information Technology (MFCSIT2000), Cork,
Ireland, July, 2000, Electronic Notes in Theoretical Computer Science,
Volume 40, pages 189–205. Elsevier Science Publishers, Amsterdam; New
York.
[Hitzler and Seda, 2003] Hitzler, P. and Seda, A. K. (2003). Generalized metrics and uniquely determined logic programs. Theoretical Computer Science, 305(1–3):187–219.
[Hitzler and van Harmelen, 2010] Hitzler, P. and van Harmelen, F. (2010). A
reasonable Semantic Web. Semantic Web – Interoperability, Usability,
Applicability. In press.
[Hitzler and Wendt, 2002] Hitzler, P. and Wendt, M. (2002). The wellfounded semantics is a stratified Fitting semantics. In Jarke, M., Koehler,
J., and Lakemeyer, G., editors, Proceedings of the 25th Annual German Conference on Artificial Intelligence, KI2002, Aachen, Germany,