256
Bibliography
[Khrennikov, 2004] Khrennikov, A. Y. (2004). Information Dynamics in Cognitive, Psychological, Social and Anomalous Phenomena, Volume 138 of
Fundamental Theories of Physics. Kluwer Academic Publishers, Dordrecht, Boston, London.
[Khrennikov and Kozyrev, 2007] Khrennikov, A. Y. and Kozyrev, S. V.
(2007). Genetic codenext term on the diadic plane. Physica A: Statistical
Mechanics and Its Applications, 381:265–272.
[Kifer et al., 1995] Kifer, M., Lausen, G., and Wu, J. (1995). Logical foundations of object-oriented and frame-based languages. Journal of the ACM,
42(4):741–843.
[Kirk and Sims, 2001] Kirk, W. A. and Sims, B., editors (2001). Handbook
of Metric Fixed Point Theory. Kluwer Academic Publishers, Dordrecht,
The Netherlands.
[Klavins et al., 1998] Klavins, E., Rounds, W. C., and Zhang, G.-Q. (1998).
Experimenting with power default reasoning. In Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, AAAI 98, IAAI 98,
July, 1998, Madison, Wisconsin, USA, pages 846–852. AAAI Press/MIT
Press.
[Knorr and Hitzler, 2007] Knorr, M. and Hitzler, P. (2007). A comparison
of disjunctive well-founded semantics. In Hitzler, P., Roth-Berghofer,
T., and Rudolph, S., editors, Foundations of Artificial Intelligence FAInt
2007, Osnabr¨ uck, Germany, September 10, 2007, Volume 277, CEUR
Workshop Proceedings.
[Kohonen, 1981] Kohonen, T. (1981). Self-organized formation of topologically correct feature maps. Biological Cybernetics, 43(1):59–69.
[Komendantskaya, 2010] Komendantskaya, E. (2010). Unification neural networks: Unification by error-correction learning. Logic Journal of the
IGPL. In press.
[Komendantskaya et al., 2007] Komendantskaya, E., Lane, M., and Seda,
A. K. (2007). Connectionist representation of multivalued logic programs.
In Hammer, B. and Hitzler, P., editors, Perspectives of Neural-Symbolic
Integration, Volume 77 of Studies in Computational Intelligence, pages
283–313. Springer, Berlin.
[Kopperman, 1988] Kopperman, R. (1988). All topologies come from generalized metrics. American Mathematical Monthly, 95(2):89–97.
[Kowalski, 1974] Kowalski, R. A. (1974). Predicate logic as a programming
language. In Rosenfeld, J. L., editor, Proceedings IFIP’74, Stockholm,
Sweden, August, 1974, pages 569–574. North-Holland, Amsterdam.
Bibliography
[Khrennikov, 2004] Khrennikov, A. Y. (2004). Information Dynamics in Cognitive, Psychological, Social and Anomalous Phenomena, Volume 138 of
Fundamental Theories of Physics. Kluwer Academic Publishers, Dordrecht, Boston, London.
[Khrennikov and Kozyrev, 2007] Khrennikov, A. Y. and Kozyrev, S. V.
(2007). Genetic codenext term on the diadic plane. Physica A: Statistical
Mechanics and Its Applications, 381:265–272.
[Kifer et al., 1995] Kifer, M., Lausen, G., and Wu, J. (1995). Logical foundations of object-oriented and frame-based languages. Journal of the ACM,
42(4):741–843.
[Kirk and Sims, 2001] Kirk, W. A. and Sims, B., editors (2001). Handbook
of Metric Fixed Point Theory. Kluwer Academic Publishers, Dordrecht,
The Netherlands.
[Klavins et al., 1998] Klavins, E., Rounds, W. C., and Zhang, G.-Q. (1998).
Experimenting with power default reasoning. In Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, AAAI 98, IAAI 98,
July, 1998, Madison, Wisconsin, USA, pages 846–852. AAAI Press/MIT
Press.
[Knorr and Hitzler, 2007] Knorr, M. and Hitzler, P. (2007). A comparison
of disjunctive well-founded semantics. In Hitzler, P., Roth-Berghofer,
T., and Rudolph, S., editors, Foundations of Artificial Intelligence FAInt
2007, Osnabr¨ uck, Germany, September 10, 2007, Volume 277, CEUR
Workshop Proceedings.
[Kohonen, 1981] Kohonen, T. (1981). Self-organized formation of topologically correct feature maps. Biological Cybernetics, 43(1):59–69.
[Komendantskaya, 2010] Komendantskaya, E. (2010). Unification neural networks: Unification by error-correction learning. Logic Journal of the
IGPL. In press.
[Komendantskaya et al., 2007] Komendantskaya, E., Lane, M., and Seda,
A. K. (2007). Connectionist representation of multivalued logic programs.
In Hammer, B. and Hitzler, P., editors, Perspectives of Neural-Symbolic
Integration, Volume 77 of Studies in Computational Intelligence, pages
283–313. Springer, Berlin.
[Kopperman, 1988] Kopperman, R. (1988). All topologies come from generalized metrics. American Mathematical Monthly, 95(2):89–97.
[Kowalski, 1974] Kowalski, R. A. (1974). Predicate logic as a programming
language. In Rosenfeld, J. L., editor, Proceedings IFIP’74, Stockholm,
Sweden, August, 1974, pages 569–574. North-Holland, Amsterdam.