Publicaciones en las que colabora con Paqui Lucio (7)

2019

  1. A Framework for the Evaluation of SUMO-Based Ontologies Using WordNet

    IEEE Access, Vol. 7, pp. 36075-36093

  2. Automatic white-box testing of first-order logic ontologies

    Journal of Logic and Computation, Vol. 29, Núm. 5, pp. 723-751

2015

  1. Evaluating the competency of a first-order ontology

    Proceedings of the 8th International Conference on Knowledge Capture, K-CAP 2015

  2. Improving the competency of first-order ontologies

    Proceedings of the 8th International Conference on Knowledge Capture, K-CAP 2015

2012

  1. Adimen-SUMO: Reengineering an ontology for first-order reasoning

    International Journal on Semantic Web and Information Systems, Vol. 8, Núm. 4, pp. 80-116

1993

  1. Programen egiaztapena eta eratorpena

    Bilbo : Udako Euskal Unibertsitatea, 1993

1990

  1. Verificación de programas y metodología de la programación

    Bilbao : Servicio Editorial, Universidad del País Vasco = Argitarapen Zerbitzua, Euskal Herrio Unibersitatea, 1990