FRANCISCA
LUCIO CARRASCO
Ikertzaileren 1995-2022 tartean
FRANCISCA LUCIO CARRASCO-rekin lankidetzan egindako argitalpenak (7)
2019
-
A Framework for the Evaluation of SUMO-Based Ontologies Using WordNet
IEEE Access, Vol. 7, pp. 36075-36093
-
Automatic white-box testing of first-order logic ontologies
Journal of Logic and Computation, Vol. 29, Núm. 5, pp. 723-751
2015
-
Evaluating the competency of a first-order ontology
Proceedings of the 8th International Conference on Knowledge Capture, K-CAP 2015
-
Improving the competency of first-order ontologies
Proceedings of the 8th International Conference on Knowledge Capture, K-CAP 2015
2012
-
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
-
Programen egiaztapena eta eratorpena
Bilbo : Udako Euskal Unibertsitatea, 1993
1990
-
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