Javier Álvez

Available identifiers

Publication	Date of Publication	Type
Applying the closed world assumption to SUMO-based FOL ontologies for effective commonsense reasoning	2021-07-06	Paper
Automatic white-box testing of first-order logic ontologies	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	2010-05-04	Paper
An Algorithm for Local Variable Elimination in Normal Logic Programs	2009-01-15	Paper
A Generalization of the Folding Rule for the Clark-Kunen Semantics	2008-04-11	Paper
Foundations of Information and Knowledge Systems	2007-02-12	Paper

This page was built for person: Javier Álvez