List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Massive unification Journal of Logical and Algebraic Methods in Programming | 2026-08-27 | Paper |
| Applying the closed world assumption to SUMO-based FOL ontologies for effective commonsense reasoning (available as arXiv preprint) | 2021-07-06 | Paper |
| Automatic white-box testing of first-order logic ontologies Journal Of Logic And Computation | 2020-02-03 | Paper |
| A new proposal of quasi-solved form for equality constraint solving | 2014-01-10 | Paper |
| Elimination of local variables from definite logic programs | 2013-09-27 | Paper |
| A complete axiomatization of strict equality Functional and Logic Programming | 2010-05-04 | Paper |
| An Algorithm for Local Variable Elimination in Normal Logic Programs Logic Based Program Synthesis and Transformation | 2009-01-15 | Paper |
| A Generalization of the Folding Rule for the Clark-Kunen Semantics Functional and Logic Programming | 2008-04-11 | Paper |
| Foundations of Information and Knowledge Systems Lecture Notes in Computer Science | 2007-02-12 | Paper |
Research outcomes over time
This page was built for person: Javier Álvez
