2008
-
Javier Álvez, Paqui Lucio. A New Proposal Of Quasi-Solved Form For Equality Constraint Solving. Electr. Notes Theor. Comput. Sci. 206: 23-40
-
Javier Álvez, Paqui Lucio. A Generalization of the Folding Rule for the Clark-Kunen Semantics. FLOPS 2008: 180-194
-
Javier Álvez, Jordi Atserias, Jordi Carrera, Salvador Climent, Egoitz Laparra, Antoni Oliver, German Rigau. Complete and Consistent Annotation of WordNet using the Top Concept Ontology. LREC 2008
-
Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro. Systematic Semantic Tableaux for PLTL. Electr. Notes Theor. Comput. Sci. 206: 59-73
-
Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino. A Functorial Framework for Constraint Normal Logic Programming. Applied Categorical Structures 16(3): 421-450