Elimination of Local Variables from Definite Logic ProgramsJavier Álvez; Paqui Lucio · 2005

Automatic white-box testing of first-order logic ontologiesÁlvez, Javier; Hermo, Montserrat; Lucio, Paqui; Rigau, German · Journal of Logic and Computation · 2019

[ACM Press the 2004 ACM symposium - Nicosia, Cyprus (2004.03.14-2004.03.17)] Proceedings of the 2004 ACM symposium on Applied computing - SAC '04 - Constructive negation by bottom-up computation of literal answersÁlvez, Javier; Lucio, Paqui; Orejas, Fernando · 2004

[ACM Press the Knowledge Capture Conference - Palisades, NY, USA (2015.10.07-2015.10.10)] Proceedings of the Knowledge Capture Conference on ZZZ - K-CAP 2015 - Improving the Competency of First-Order OntologiesÁlvez, Javier; Lucio, Paqui; Rigau, German · 2015

[ACM Press the Knowledge Capture Conference - Palisades, NY, USA (2015.10.07-2015.10.10)] Proceedings of the Knowledge Capture Conference on ZZZ - K-CAP 2015 - Evaluating the Competency of a First-Order OntologyÁlvez, Javier; Lucio, Paqui; Rigau, German · 2015