Bibliography
251
[Gust et al., 2007] Gust, H., K¨ uhnberger, K.-U., and Geibel, P. (2007). Learning models of predicate logical theories with neural networks based on
topos theory. In Hammer, B. and Hitzler, P., editors, Perspectives of
Neural-Symbolic Integration, Volume 77 of Studies in Computational Intelligence, pages 233–264. Springer, Berlin.
[Halmos, 1998] Halmos, P. R. (1998). Naive Set Theory. Undergraduate Texts
in Mathematics. Springer-Verlag, Berlin.
[Hammer and Hitzler, 2007] Hammer, B. and Hitzler, P., editors (2007). Perspectives of Neural-Symbolic Integration, Volume 77 of Studies in Computational Intelligence. Springer, Berlin.
[Haykin, 1994] Haykin, S. (1994). Neural Networks. A Comprehensive Foundation. Macmillan College Publishing Company, New York.
[Heckmann, 1999] Heckmann, R. (1999). Approximation of metric spaces by
partial metric spaces. Applied Categorical Structures, 7:71–83.
[Heckmanns, 1996] Heckmanns, U. (1996). On the topology of ultrametric
spaces. In Simon, P., editor, Proceedings of the 8th Prague Topological
Symposium, August 1996, Prague, pages 149–156. Charles University and
Topology Atlas, Prague.
[Heinze, 2003] Heinze, R. (2003). Topological investigations of the operators of the well-founded and alternating fixed-point semantics of normal logic programs. In Hurley, T., MacanAirchinnigh, M., Schellekens,
M., and Seda, A. K., editors, Proceedings of the Second Irish Conference
on the Mathematical Foundations of Computer Science and Information
Technology (MFCSIT2002), July, 2002, Galway, Ireland, Volume 74 of
Electronic Notes in Theoretical Computer Science, pages 51–68. Elsevier
Science Publishers, Amsterdam; New York.
[Hertz et al., 1991] Hertz, J., Krogh, A., and Palmer, R. G. (1991). Introduction to the Theory of Neural Computation. Addison-Wesley, Reading,
MA.
[Hitzler, 2001] Hitzler, P. (2001). Generalized Metrics and Topology in Logic
Programming Semantics. PhD thesis, Department of Mathematics, National University of Ireland, University College Cork, Cork, Ireland.
[Hitzler, 2003a] Hitzler, P. (2003a). A resolution theorem for algebraic domains. In Gottlob, G. and Walsh, T., editors, Proceedings of the 18th
International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August, 2003, pages 1339–1340. Morgan Kaufmann Publishers, San
Mateo, CA.
[Hitzler, 2003b] Hitzler, P. (2003b). Towards a systematic account of different
logic programming semantics. In G¨ unter, A., Kruse, R., and Neumann,
251
[Gust et al., 2007] Gust, H., K¨ uhnberger, K.-U., and Geibel, P. (2007). Learning models of predicate logical theories with neural networks based on
topos theory. In Hammer, B. and Hitzler, P., editors, Perspectives of
Neural-Symbolic Integration, Volume 77 of Studies in Computational Intelligence, pages 233–264. Springer, Berlin.
[Halmos, 1998] Halmos, P. R. (1998). Naive Set Theory. Undergraduate Texts
in Mathematics. Springer-Verlag, Berlin.
[Hammer and Hitzler, 2007] Hammer, B. and Hitzler, P., editors (2007). Perspectives of Neural-Symbolic Integration, Volume 77 of Studies in Computational Intelligence. Springer, Berlin.
[Haykin, 1994] Haykin, S. (1994). Neural Networks. A Comprehensive Foundation. Macmillan College Publishing Company, New York.
[Heckmann, 1999] Heckmann, R. (1999). Approximation of metric spaces by
partial metric spaces. Applied Categorical Structures, 7:71–83.
[Heckmanns, 1996] Heckmanns, U. (1996). On the topology of ultrametric
spaces. In Simon, P., editor, Proceedings of the 8th Prague Topological
Symposium, August 1996, Prague, pages 149–156. Charles University and
Topology Atlas, Prague.
[Heinze, 2003] Heinze, R. (2003). Topological investigations of the operators of the well-founded and alternating fixed-point semantics of normal logic programs. In Hurley, T., MacanAirchinnigh, M., Schellekens,
M., and Seda, A. K., editors, Proceedings of the Second Irish Conference
on the Mathematical Foundations of Computer Science and Information
Technology (MFCSIT2002), July, 2002, Galway, Ireland, Volume 74 of
Electronic Notes in Theoretical Computer Science, pages 51–68. Elsevier
Science Publishers, Amsterdam; New York.
[Hertz et al., 1991] Hertz, J., Krogh, A., and Palmer, R. G. (1991). Introduction to the Theory of Neural Computation. Addison-Wesley, Reading,
MA.
[Hitzler, 2001] Hitzler, P. (2001). Generalized Metrics and Topology in Logic
Programming Semantics. PhD thesis, Department of Mathematics, National University of Ireland, University College Cork, Cork, Ireland.
[Hitzler, 2003a] Hitzler, P. (2003a). A resolution theorem for algebraic domains. In Gottlob, G. and Walsh, T., editors, Proceedings of the 18th
International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August, 2003, pages 1339–1340. Morgan Kaufmann Publishers, San
Mateo, CA.
[Hitzler, 2003b] Hitzler, P. (2003b). Towards a systematic account of different
logic programming semantics. In G¨ unter, A., Kruse, R., and Neumann,