1. Agirre, E., Bos, J., Diab, M., Manandhar, S., Marton, Y., Yuret, D. (eds.): *SEM 2012: the first joint conference on lexical and computational semantics - volume 1: Proceedings of the main conference and the shared task, and Volume 2: Proceedings of the Sixth International Workshop on Semantic Evaluation (SemEval 2012). Association for Computational Linguistics, Montréal, Canada (2012). http://www.aclweb.org/anthology/volumes/S12-1/
2. Álvez, J., Lucio, P., Rigau, G.: Adimen-SUMO: reengineering an ontology for first-order reasoning. Int. J. Semant. Web Inf. Syst. 8(4), 80–116 (2012). http://doi.org/10.4018/jswis.2012100105
3. Antoniou, G.: A tutorial on default logics. ACM Comput. Surv. 31(4), 337–359 (1999). http://doi.org/10.1145/344588.344602
4. Basile, V., Bos, J., Evang, K., Venhuizen, N.: UGroningen: negation detection with discourse representation structures. In: Agirre et al. [1], pp. 301–309. http://www.aclweb.org/anthology/S12-1040
5. Basile, V., Cabrio, E., Schon, C.: KNEWS: using logical and lexical semantics to extract knowledge from natural language. In: Proceedings of the European Conference on Artificial Intelligence (ECAI) (2016). http://hal.inria.fr/hal-01389390