244
Bibliography
[Arnold and Nivat, 1980b] Arnold, A. and Nivat, M. (1980b). The metric
space of infinite trees: Algebraic and topological properties. Fundamenta
Informaticae, 3(4):445–476.
[Bader, 2009] Bader, S. (2009). Neural-Symbolic Integration. PhD thesis,
Department of Computer Science, TU Dresden, Dresden, Germany.
[Bader and Hitzler, 2004] Bader, S. and Hitzler, P. (2004). Logic programs,
iterated function systems, and recurrent radial basis function networks.
Journal of Applied Logic, 2(3):273–300.
[Bader and Hitzler, 2005] Bader, S. and Hitzler, P. (2005). Dimensions of
neural-symbolic integration — A structured survey. In Artemov, S. N.,
Barringer, H., d’Avila Garcez, A. S., Lamb, L. C., and Woods, J., editors,
We Will Show Them! Essays in Honour of Dov Gabbay, Volume One,
pages 167–194. College Publications, London, UK.
[Bader et al., 2005a] Bader, S., Hitzler, P., and d’Avila Garcez, A. S. (2005a).
Computing first-order logic programs by fibring artificial neural networks. In Russell, I. and Markov, Z., editors, Proceedings of the 18th
International Florida Artificial Intelligence Research Society Conference,
FLAIRS05, Clearwater Beach, Florida, May 2005, pages 314–319. AAAI
Press, Menlo Park, CA.
[Bader et al., 2005b] Bader, S., Hitzler, P., and Witzel, A. (2005b). Integrating first-order logic programs and connectionist systems — A constructive approach. In d’Avila Garcez, A., Elman, J., and Hitzler, P., editors,
Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and
Reasoning, NeSy’05, Edinburgh. AAAI Press, Menlo Park, CA.
[Bader et al., 2006] Bader, S., Hitzler, P., and H¨ olldobler, S. (2006). The
integration of connectionism and first-order knowledge representation and
reasoning as a challenge for artificial intelligence. Information, 9(1):7–20.
[Bader et al., 2007] Bader, S., Hitzler, P., H¨ olldobler, S., and Witzel, A.
(2007). A fully connectionist model generator for covered first-order
logic programs. In Veloso, M., editor, Proceedings of the International
Joint Conference on Artificial Intelligence IJCAI07, pages 666–671, Hyderabad, India. AAAI Press, Menlo Park, CA.
[Bader et al., 2008] Bader, S., Hitzler, P., and H¨ olldobler, S. (2008). Connectionist model generation: A first-order approach. Neurocomputing,
71(13–15):2420–2432.
[Baral, 2003] Baral, C. (2003). Knowledge Representation, Reasoning and
Declarative Problem Solving. Cambridge University Press, London; New
York.
Bibliography
[Arnold and Nivat, 1980b] Arnold, A. and Nivat, M. (1980b). The metric
space of infinite trees: Algebraic and topological properties. Fundamenta
Informaticae, 3(4):445–476.
[Bader, 2009] Bader, S. (2009). Neural-Symbolic Integration. PhD thesis,
Department of Computer Science, TU Dresden, Dresden, Germany.
[Bader and Hitzler, 2004] Bader, S. and Hitzler, P. (2004). Logic programs,
iterated function systems, and recurrent radial basis function networks.
Journal of Applied Logic, 2(3):273–300.
[Bader and Hitzler, 2005] Bader, S. and Hitzler, P. (2005). Dimensions of
neural-symbolic integration — A structured survey. In Artemov, S. N.,
Barringer, H., d’Avila Garcez, A. S., Lamb, L. C., and Woods, J., editors,
We Will Show Them! Essays in Honour of Dov Gabbay, Volume One,
pages 167–194. College Publications, London, UK.
[Bader et al., 2005a] Bader, S., Hitzler, P., and d’Avila Garcez, A. S. (2005a).
Computing first-order logic programs by fibring artificial neural networks. In Russell, I. and Markov, Z., editors, Proceedings of the 18th
International Florida Artificial Intelligence Research Society Conference,
FLAIRS05, Clearwater Beach, Florida, May 2005, pages 314–319. AAAI
Press, Menlo Park, CA.
[Bader et al., 2005b] Bader, S., Hitzler, P., and Witzel, A. (2005b). Integrating first-order logic programs and connectionist systems — A constructive approach. In d’Avila Garcez, A., Elman, J., and Hitzler, P., editors,
Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and
Reasoning, NeSy’05, Edinburgh. AAAI Press, Menlo Park, CA.
[Bader et al., 2006] Bader, S., Hitzler, P., and H¨ olldobler, S. (2006). The
integration of connectionism and first-order knowledge representation and
reasoning as a challenge for artificial intelligence. Information, 9(1):7–20.
[Bader et al., 2007] Bader, S., Hitzler, P., H¨ olldobler, S., and Witzel, A.
(2007). A fully connectionist model generator for covered first-order
logic programs. In Veloso, M., editor, Proceedings of the International
Joint Conference on Artificial Intelligence IJCAI07, pages 666–671, Hyderabad, India. AAAI Press, Menlo Park, CA.
[Bader et al., 2008] Bader, S., Hitzler, P., and H¨ olldobler, S. (2008). Connectionist model generation: A first-order approach. Neurocomputing,
71(13–15):2420–2432.
[Baral, 2003] Baral, C. (2003). Knowledge Representation, Reasoning and
Declarative Problem Solving. Cambridge University Press, London; New
York.