250
Bibliography
[Fitting, 1991] Fitting, M. C. (1991). Bilattices and the semantics of logic
programming. The Journal of Logic Programming, 11:91–116.
[Fitting, 1994a] Fitting, M. C. (1994a). Kleene’s three-valued logics and their
children. Fundamenta Informaticae, 20:113–131.
[Fitting, 1994b] Fitting, M. C. (1994b). Metric methods: Three examples and
a theorem. The Journal of Logic Programming, 21(3):113–127.
[Fitting, 2002] Fitting, M. C. (2002). Fixpoint semantics for logic programming — A survey. Theoretical Computer Science, 278(1–2):25–51.
[Fitting and Ben-Jacob, 1990] Fitting, M. C. and Ben-Jacob, M. (1990).
Stratified, weak stratified, and three-valued semantics. Fundamenta Informaticae, 13:19–33.
[Flagg and Kopperman, 1997] Flagg, B. and Kopperman, R. (1997). Continuity spaces: Reconciling domains and metric spaces. Theoretical Computer
Science, 177(1):111–138.
[Fritzke, 1998] Fritzke, B. (1998). Vektorbasierte Neuronale Netze. Habilitation, Technische Universit¨ at Dresden, Germany.
[Fu, 1994] Fu, L. (1994). Neural Networks in Computer Intelligence. McGrawHill, New York.
[Funahashi, 1989] Funahashi, K.-I. (1989). On the approximate realization of
continuous mappings by neural networks. Neural Networks, 2:183–192.
[Gabbay et al., 1994] Gabbay, D. M., Hogger, C. J., and Robinson, J. A.
(1994). Non-Monotonic Reasoning and Uncertain Reasoning, Volume 3
of Handbook of Logic in Artificial Intelligence and Logic Programming.
Clarendon Press, Oxford University Press, Oxford, UK.
[Ganter and Wille, 1999] Ganter, B. and Wille, R. (1999). Formal Concept
Analysis: Mathematical Foundations. Springer, Berlin.
[Gelfond and Lifschitz, 1988] Gelfond, M. and Lifschitz, V. (1988). The stable model semantics for logic programming. In Kowalski, R. A. and
Bowen, K. A., editors, Logic Programming. Proceedings of the 5th International Conference and Symposium on Logic Programming, pages 1070–
1080. MIT Press, Cambridge, MA.
[Gelfond and Lifschitz, 1991] Gelfond, M. and Lifschitz, V. (1991). Classical
negation in logic programs and disjunctive databases. New Generation
Computing, 9:365–385.
[Gierz et al., 2003] Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D.,
Mislove, M., and Scott, D. S. (2003). Continuous Lattices and Domains,
Volume 93 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, UK.
Bibliography
[Fitting, 1991] Fitting, M. C. (1991). Bilattices and the semantics of logic
programming. The Journal of Logic Programming, 11:91–116.
[Fitting, 1994a] Fitting, M. C. (1994a). Kleene’s three-valued logics and their
children. Fundamenta Informaticae, 20:113–131.
[Fitting, 1994b] Fitting, M. C. (1994b). Metric methods: Three examples and
a theorem. The Journal of Logic Programming, 21(3):113–127.
[Fitting, 2002] Fitting, M. C. (2002). Fixpoint semantics for logic programming — A survey. Theoretical Computer Science, 278(1–2):25–51.
[Fitting and Ben-Jacob, 1990] Fitting, M. C. and Ben-Jacob, M. (1990).
Stratified, weak stratified, and three-valued semantics. Fundamenta Informaticae, 13:19–33.
[Flagg and Kopperman, 1997] Flagg, B. and Kopperman, R. (1997). Continuity spaces: Reconciling domains and metric spaces. Theoretical Computer
Science, 177(1):111–138.
[Fritzke, 1998] Fritzke, B. (1998). Vektorbasierte Neuronale Netze. Habilitation, Technische Universit¨ at Dresden, Germany.
[Fu, 1994] Fu, L. (1994). Neural Networks in Computer Intelligence. McGrawHill, New York.
[Funahashi, 1989] Funahashi, K.-I. (1989). On the approximate realization of
continuous mappings by neural networks. Neural Networks, 2:183–192.
[Gabbay et al., 1994] Gabbay, D. M., Hogger, C. J., and Robinson, J. A.
(1994). Non-Monotonic Reasoning and Uncertain Reasoning, Volume 3
of Handbook of Logic in Artificial Intelligence and Logic Programming.
Clarendon Press, Oxford University Press, Oxford, UK.
[Ganter and Wille, 1999] Ganter, B. and Wille, R. (1999). Formal Concept
Analysis: Mathematical Foundations. Springer, Berlin.
[Gelfond and Lifschitz, 1988] Gelfond, M. and Lifschitz, V. (1988). The stable model semantics for logic programming. In Kowalski, R. A. and
Bowen, K. A., editors, Logic Programming. Proceedings of the 5th International Conference and Symposium on Logic Programming, pages 1070–
1080. MIT Press, Cambridge, MA.
[Gelfond and Lifschitz, 1991] Gelfond, M. and Lifschitz, V. (1991). Classical
negation in logic programs and disjunctive databases. New Generation
Computing, 9:365–385.
[Gierz et al., 2003] Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D.,
Mislove, M., and Scott, D. S. (2003). Continuous Lattices and Domains,
Volume 93 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, UK.