1. F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge, 2003.
2. S. Bader, A. d’Avila Garcez, and P. Hitzler. Computing first-order logic programs by fibring artificial neural networks. In Proceedings of the AAAI International FLAIRS Conference, pages 314–319, 2005.
3. S. Bader, P. Hitzler, S. Holldobler, and A. Witzel. A fully connectionist model generator for covered first-order logic programs. In Proceedings of the International Joint Conference on Artificial Intelligence IJCAI-07, pages 666–671, Hyderabad, India, 2007. AAAI.
4. B. Bennett. Spatial reasoning with propositional logics. In Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning KR-94, pages 51–62, 1994.
5. P. Blackburn, J. van Benthem, and F. Wolter, editors. Handbook of Modal Logic. Studies in Logic and Practical Reasoning. Elsevier, Amsterdam, 2006.