Javier Álvez   -  Papers
 

Projective Quantifier Elimination for Equational Constraint Solving

Javier Álvez, Montserrat Hermo and P. Lucio

First International Workshop on Quantification --QUANTIFY 2014-- (workshop associated to 2014 Federated Logic Conference), Vienna, Austria, July 2014.

[quantify14.pdf]
 

Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning

J. Álvez, P.Lucio and G.Rigau

International Journal on Semantic Web and Information Systems, Volume 8, Issue 4, 2012.

[IJSWIS12.pdf] [BibTeX][Electronic Edition]

A Complete Axiomatization of Strict Equality

J. Álvez and F. J. López-Fraguas

Matthias Blume, Naoki Kobayashi and Germán Vidal (Eds.): Proceedings of 10th International Symposium on Functional and Logic Programming FLOPS 2010, Sendai, Japan, April 19-21, LNCS 6009, pp. 118–133, 2010.

Link de BibTeX: http://dblp.uni-trier.de/rec/bibtex/conf/flops/AlvezL10
Link de Electronic Edition: http://link.springer.com/chapter/10.1007%2F978-3-642-12251-4_10

A Generalization of the Folding Rule for the Clark-Kunen Semantics
J. Álvez and P. Lucio
In Hagiya, Masami; Wadler, Philip (Eds.): Proceedings of 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008.
Also in J. Garrigue and M. Hermenegildo (Eds.): FLOPS 2008, LNCS 4989, pp. 180–194, 2008.
Extended Version as Technical Report UPV-EHU/LSI/TR 01-2008.pdf

A New Proposal of Quasi-Solved Form for Equality Constraint Solving

J. Álvez and P. Lucio

In VII Jornadas sobre Programación y Lenguajes, PROLE’2007, Zaragoza, Spain, September, 2007,

Revised Selected Paper in ENTCS 206, pp. 23-40, 2008

Equational Constraint Solving Via a Restricted Form of Universal Quantification

J. Alvez and P. Lucio

In J. Dix and S. J. Hegner (Eds.):  Foundations of Information and Knowledge Systems (FoIKS 2006), LNCS 3861, pp. 2–21, Springer-Verlag Berlin Heidelberg 2006.

An Algorithm  for Local Variable Elimination in Normal Logic Programs

J. Alvez and P. Lucio

15th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2005), London, UK, September 7-9, 2005

Revised Selected Paper

In Patricia M. Hill (ed.): Logic Based Program Synthesis and Transformation: 15th International Symposium LOPSTR 2005,  Revised Selected Papers, LNCS 3901, pp. 61 - 79, 2006

Elimination of Local Variables from Definite Logic Programs

J. Alvez and P. Lucio

IV Jornadas sobre Programación y Lenguajes PROLE 2004, Málaga, Spain 10-12 Noviembre 2004

Revised Selected Paper

In S. Lucas (ed.):  Proceedings of the Fourth Spanish Conference on Programming and Computer Languages PROLE 2004, ENTCS 137 (1), pp 5-24, (20 July 2005).

Equational Constraint Solving using  Quasi-solved Forms

J. Alvez and P. Lucio

In M. Kohlhase (chair): 8th International workshop on Unification (UNIF'04) at IJCAR 2004, Cork, Ireland, July 5, 2004.

Logic Program Transformation for Auxiliary Variable Elimination
J. Alvez
In Student Session at the 16th European Summer School in Logic, Language and Information (ESSLLI 2004), Nancy (Francia), Agosto de 2004.

Constructive Negation by Bottom-up Computation of Literal Answers

J. Alvez, P. Lucio, F. Orejas, E. Pasarella and E. Pino

In Proceedings of the 2004 ACM Symposium on Applied Computing, Nicosia (Cyprus), Vol. 2:1468-1475, ACM 2004.

An Implementation of Constructive Negation

J. Alvez, P. Lucio, F. Orejas, E. Pasarella and E. Pino

In R. Peña, A. Herranz, J.J. Moreno (eds.): Segundas Jornadas sobre Programación y Lenguajes Prole 2002, Noviembre 2002, pp 55-104.