248
Bibliography
[Clark, 1978] Clark, K. L. (1978). Negation as failure. In Gallaire, H. and
Minker, J., editors, Logic and Data Bases, pages 293–322. Plenum Press,
New York.
[Clifford and Seda, 2000] Clifford, E. and Seda, A. K. (2000). Uniqueness of
the fixed points of single-step operators in many-valued logics. Journal
of Electrical Engineering, Slovak Academy of Sciences, 51(12/s):54–58.
[Colmerauer and Roussel, 1993] Colmerauer, A. and Roussel, P. (1993). The
birth of Prolog. In ACM SIGPLAN Notices, Volume 28(3), pages 37–52.
ACM Press, New York.
[Crazzolara, 1997] Crazzolara, F. (1997). Quasimetric spaces as domains for
abstract interpretation. In Falaschi, M., Navarro, M., and Policriti, A.,
editors, Proceedings of the 1997 Joint Conference on Declarative Programming, APPIA-GULP-PRODE’97, Grado, Italy, June, 1997, pages
45–56. University of Udine, Italy.
[Cybenko, 1989] Cybenko, G. (1989). Approximation by superpositions of a
sigmoidal function. Mathematics of Control, Signals, and Systems, 2:303–
314.
[Davey and Priestley, 2002] Davey, B. A. and Priestley, H. A. (2002). Introduction to Lattices and Order. Cambridge University Press, Cambridge,
UK, second edition.
[d’Avila Garcez and Lamb, 2006] d’Avila Garcez, A. S. and Lamb, L. C.
(2006). A connectionist computational model for epistemic and temporal
reasoning. Neural Computation, 18(7):1711–1738.
[d’Avila Garcez and Zaverucha, 1999] d’Avila Garcez, A. S. and Zaverucha,
G. (1999). The connectionist inductive learning and logic programming
system. Applied Intelligence, Special Issue on Neural Networks and Structured Knowledge, 11(1):59–77.
[d’Avila Garcez et al., 1997] d’Avila Garcez, A. S., Zaverucha, G., and
de Carvalho, L. A. (1997). Logical inference and inductive learning in
artificial neural networks. In Hermann, C., Reine, F., and Strohmaier,
A., editors, Knowledge Representation in Neural Networks, pages 33–46.
Logos Verlag, Berlin.
[d’Avila Garcez et al., 2002] d’Avila Garcez, A. S., Broda, K. B., and Gabbay,
D. M. (2002). Neural-Symbolic Learning Systems — Foundations and
Applications. Perspectives in Neural Computing. Springer, Berlin.
[d’Avila Garcez et al., 2006] d’Avila Garcez, A. S., Lamb, L. C., and Gabbay,
D. M. (2006). Connectionist computations of intuitionistic reasoning.
Theoretical Computer Science, 358(1):34–55.
Bibliography
[Clark, 1978] Clark, K. L. (1978). Negation as failure. In Gallaire, H. and
Minker, J., editors, Logic and Data Bases, pages 293–322. Plenum Press,
New York.
[Clifford and Seda, 2000] Clifford, E. and Seda, A. K. (2000). Uniqueness of
the fixed points of single-step operators in many-valued logics. Journal
of Electrical Engineering, Slovak Academy of Sciences, 51(12/s):54–58.
[Colmerauer and Roussel, 1993] Colmerauer, A. and Roussel, P. (1993). The
birth of Prolog. In ACM SIGPLAN Notices, Volume 28(3), pages 37–52.
ACM Press, New York.
[Crazzolara, 1997] Crazzolara, F. (1997). Quasimetric spaces as domains for
abstract interpretation. In Falaschi, M., Navarro, M., and Policriti, A.,
editors, Proceedings of the 1997 Joint Conference on Declarative Programming, APPIA-GULP-PRODE’97, Grado, Italy, June, 1997, pages
45–56. University of Udine, Italy.
[Cybenko, 1989] Cybenko, G. (1989). Approximation by superpositions of a
sigmoidal function. Mathematics of Control, Signals, and Systems, 2:303–
314.
[Davey and Priestley, 2002] Davey, B. A. and Priestley, H. A. (2002). Introduction to Lattices and Order. Cambridge University Press, Cambridge,
UK, second edition.
[d’Avila Garcez and Lamb, 2006] d’Avila Garcez, A. S. and Lamb, L. C.
(2006). A connectionist computational model for epistemic and temporal
reasoning. Neural Computation, 18(7):1711–1738.
[d’Avila Garcez and Zaverucha, 1999] d’Avila Garcez, A. S. and Zaverucha,
G. (1999). The connectionist inductive learning and logic programming
system. Applied Intelligence, Special Issue on Neural Networks and Structured Knowledge, 11(1):59–77.
[d’Avila Garcez et al., 1997] d’Avila Garcez, A. S., Zaverucha, G., and
de Carvalho, L. A. (1997). Logical inference and inductive learning in
artificial neural networks. In Hermann, C., Reine, F., and Strohmaier,
A., editors, Knowledge Representation in Neural Networks, pages 33–46.
Logos Verlag, Berlin.
[d’Avila Garcez et al., 2002] d’Avila Garcez, A. S., Broda, K. B., and Gabbay,
D. M. (2002). Neural-Symbolic Learning Systems — Foundations and
Applications. Perspectives in Neural Computing. Springer, Berlin.
[d’Avila Garcez et al., 2006] d’Avila Garcez, A. S., Lamb, L. C., and Gabbay,
D. M. (2006). Connectionist computations of intuitionistic reasoning.
Theoretical Computer Science, 358(1):34–55.