254
Bibliography
September 2002, Lecture Notes in Artificial Intelligence, Volume 2479,
pages 205–221. Springer, Berlin.
[Hitzler and Wendt, 2003] Hitzler, P. and Wendt, M. (2003). Formal concept
analysis and resolution in algebraic domains. In de Moor, A. and Ganter,
B., editors, Using Conceptual Structures — Contributions to ICCS 2003,
pages 157–170. Shaker Verlag, Aachen.
[Hitzler and Wendt, 2005] Hitzler, P. and Wendt, M. (2005). A uniform approach to logic programming semantics. Theory and Practice of Logic
Programming, 5(1-2):123–159.
[Hitzler et al., 2004] Hitzler, P., H¨ olldobler, S., and Seda, A. K. (2004). Logic
programs and connectionist networks. Journal of Applied Logic, 2(3):245–
272.
[Hitzler et al., 2005] Hitzler, P., Bader, S., and d’Avila Garcez, A. (2005).
Ontology learning as a use case for neural-symbolic integration. In
d’Avila Garcez, A. S., Hitzler, P., and Ellman, J., editors, Proceedings
of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning,
NeSy’05.
[Hitzler et al., 2009a] Hitzler, P., Kr¨ otzsch, M., Parsia, B., Patel-Schneider,
P., and Rudolph, S., editors (2009a). OWL 2 Web Ontology Language:
Primer. W3C Recommendation, 27 October 2009. Preprint can be obtained from the website http://www.w3.org/TR/owl-primer.
[Hitzler et al., 2009b] Hitzler, P., Kr¨ otzsch, M., and Rudolph, S. (2009b).
Foundations of Semantic Web Technologies. Chapman & Hall/CRC,
Boca Raton, FL.
[Hodel, 1995] Hodel, R. E. (1995). Introduction to Mathematical Logic. Thomson Learning PWS, New York.
[H¨ olldobler and Kalinke, 1994] H¨ olldobler, S. and Kalinke, Y. (1994). Towards a massively parallel computational model for logic programming.
In Proceedings ECAI94 Workshop on Combining Symbolic and Connectionist Processing, Amsterdam, July, 1994, pages 68–77. European Coordinating Committee for Artificial Intelligence (ECCAI).
[H¨ olldobler and Ramli, 2009] H¨ olldobler, S. and Ramli, C. D. P. K. (2009).
Logics and networks for human reasoning. In Alippi, C., Polycarpou,
M. M., Panayiotou, C. G., and Ellinas, G., editors, Artificial Neural Networks (ICANN 2009), 19th International Conference, Limassol, Cyprus,
September 14-17, 2009, Proceedings, Lecture Notes in Computer Science,
Volume 5769, pages 85–94. Springer, Berlin.
[H¨ olldobler et al., 1999] H¨ olldobler, S., Kalinke, Y., and St¨ orr, H.-P. (1999).
Approximating the semantics of logic programs by recurrent neural networks. Applied Intelligence, 11:45–58.
Bibliography
September 2002, Lecture Notes in Artificial Intelligence, Volume 2479,
pages 205–221. Springer, Berlin.
[Hitzler and Wendt, 2003] Hitzler, P. and Wendt, M. (2003). Formal concept
analysis and resolution in algebraic domains. In de Moor, A. and Ganter,
B., editors, Using Conceptual Structures — Contributions to ICCS 2003,
pages 157–170. Shaker Verlag, Aachen.
[Hitzler and Wendt, 2005] Hitzler, P. and Wendt, M. (2005). A uniform approach to logic programming semantics. Theory and Practice of Logic
Programming, 5(1-2):123–159.
[Hitzler et al., 2004] Hitzler, P., H¨ olldobler, S., and Seda, A. K. (2004). Logic
programs and connectionist networks. Journal of Applied Logic, 2(3):245–
272.
[Hitzler et al., 2005] Hitzler, P., Bader, S., and d’Avila Garcez, A. (2005).
Ontology learning as a use case for neural-symbolic integration. In
d’Avila Garcez, A. S., Hitzler, P., and Ellman, J., editors, Proceedings
of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning,
NeSy’05.
[Hitzler et al., 2009a] Hitzler, P., Kr¨ otzsch, M., Parsia, B., Patel-Schneider,
P., and Rudolph, S., editors (2009a). OWL 2 Web Ontology Language:
Primer. W3C Recommendation, 27 October 2009. Preprint can be obtained from the website http://www.w3.org/TR/owl-primer.
[Hitzler et al., 2009b] Hitzler, P., Kr¨ otzsch, M., and Rudolph, S. (2009b).
Foundations of Semantic Web Technologies. Chapman & Hall/CRC,
Boca Raton, FL.
[Hodel, 1995] Hodel, R. E. (1995). Introduction to Mathematical Logic. Thomson Learning PWS, New York.
[H¨ olldobler and Kalinke, 1994] H¨ olldobler, S. and Kalinke, Y. (1994). Towards a massively parallel computational model for logic programming.
In Proceedings ECAI94 Workshop on Combining Symbolic and Connectionist Processing, Amsterdam, July, 1994, pages 68–77. European Coordinating Committee for Artificial Intelligence (ECCAI).
[H¨ olldobler and Ramli, 2009] H¨ olldobler, S. and Ramli, C. D. P. K. (2009).
Logics and networks for human reasoning. In Alippi, C., Polycarpou,
M. M., Panayiotou, C. G., and Ellinas, G., editors, Artificial Neural Networks (ICANN 2009), 19th International Conference, Limassol, Cyprus,
September 14-17, 2009, Proceedings, Lecture Notes in Computer Science,
Volume 5769, pages 85–94. Springer, Berlin.
[H¨ olldobler et al., 1999] H¨ olldobler, S., Kalinke, Y., and St¨ orr, H.-P. (1999).
Approximating the semantics of logic programs by recurrent neural networks. Applied Intelligence, 11:45–58.