1. Choi, N., Song, I.Y., Han, H.: A survey on ontology mapping. SIGMOD Rec. 35(3), 34–41 (2006)
2. Wang, G., Goguen, J.A., Nam, Y.K., Lin, K.: Critical points for interactive schema matching. In: Yu, J.X., Lin, X., Lu, H., Zhang, Y. (eds.) Advanced Technologies and Applications: Proceedings of Sitch Asia Pacific Web Conference, Hangzhou, China, pp. 654–664. Springer, Heidelberg (2004)
3. Bringsjord, S., Ferrucci, D.: Logic and artificial intelligence: Divorced, still married, separated..? Minds and Machines 8, 273–308 (1998)
4. Bringsjord, S., Yang, Y.: Representations using formal logics. In: Nadel, L. (ed.) Encyclopedia of Cognitive Science, vol. 3, pp. 940–950. Nature Publishing Group, London, UK (2003)
5. Bringsjord, S.: Declarative/logic-based computational cognitive modeling. In: Sun, R. (ed.) The Handbook of Computational Cognitive Modeling, Cambridge University Press, Cambridge (forthcoming)