Publicaciones en las que colabora con JAVIER ALVEZ GIMENEZ (11)

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

2008

  1. A New Proposal Of Quasi-Solved Form For Equality Constraint Solving

    Electronic Notes in Theoretical Computer Science, Vol. 206, Núm. C, pp. 23-40

  2. A generalization of the folding rule for the Clark-Kunen semantics

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2006

  1. An algorithm for local variable elimination in normal logic programs

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Equational constraint solving via a restricted form of universal quantification

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2005

  1. Elimination of local variables from definite logic programs

    Electronic Notes in Theoretical Computer Science

2004

  1. Constructive negation by bottom-up computation of literal answers

    Proceedings of the ACM Symposium on Applied Computing