Selected Contributions - Paqui Lucio

DISCLAIMER: This directory contains postscript files of articles that may be covered by copyright. You may browse the articles at your convenience (in the same spirit as you may read a journal or a proceeding article in a public library). Retrieving, copying, distributing these files may violate the copyright protection law. We recommend that the user abides international law in accessing this directory.

 

Logical Foundations for More Expressive Declarative Temporal Logic Programming Languages

J. Gaintzarain, and P. Lucio,

To appear in the ACM Transactions on Computational Logic. 

[acmtocl13.pdf] [BibTeX] [Electronic Edition]

 

 

Invariant-Free Clausal Temporal Resolution

J. Gaintzarain, M. Hermo, P. Lucio, M. Navarro, and F. Orejas

Journal of Automated Reasoning, Volume 50, Issue 1, January 2013.

doi: 10.1007/s10817-011-9241-2

[JAR13.pdf] [BibTeX] [Electronic Edition]

 

 

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]

 

 

Translating Propositional Extended Conjunctions of Horn Clauses into Boolean Circuits

M. Hermo, J. Gaintzarain, P. Lucio and M. Navarro

Theoretical Computer Science  411, 16-18: 1723-1733,  2010.

doi:10.1016/j.tcs.2010.01.013

[TCS10.pdf]  [BibTeX] [Electronic Edition]

 

 

A New Approach to Temporal Logic Programming

J. Gaintzarain and P.Lucio
In IX Jornadas sobre Programación y Lenguajes, PROLE’2009, San Sebastián, Spain, September, 2009.
[prole09.pdf]

 

 

Dual Systems of Tableaux and Sequents for PLTL

J. Gaintzarain, M. Hermo, P. Lucio, M. Navarro, and F. Orejas
The Journal of Logic and Algebraic Programming 78: 701–722, 2009.

doi:10.1016/j.jlap.2009.05.001

[JLAP09.pdf]  [BibTeX ] [Electronic Edition]

 

 

A Functorial Framework for Constraint Normal Logic Programming

P. Lucio, F. Orejas, E. Pasarella and E. Pino,
Applied Categorical Structures 16 (3): 421-450, 2008.
[ACS08.pdf]  [BibTeX ] [Electronic Edition]

 


A Generalization of the Folding Rule for the Clark-Kunen Semantics
J. Álvez and P. Lucio

In J. Garrigue and M. Hermenegildo (Eds.): Proceedings of 9th International Symposium,

FLOPS 2008, Ise, Japan, April 14-16, LNCS 4989, pp. 180–194, 2008.

[flops08.pdf] [BibTeX ] [Electronic Edition]

Extended Version available as Technical Report  [UPV-EHU/LSI/TR 01-2008.pdf]

 

 

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

Javier Álvez and Paqui Lucio

Electr. Notes Theor. Comput. Sci. 206: 23-40, 2008.

[prole08a.pdf] [BibTeX] [Electronic Edition]

 

 

Systematic Semantic Tableaux for PLTL

Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, and Marisa Navarro

Electr. Notes Theor. Comput. Sci. 206:

[prole08b.pdf] [BibTeX] [Electronic Edition]

 

 

A Cut-Free and Invariant-Free Sequent Calculus for PLTL
J. Gaintzarain, M. Hermo, P. Lucio, M. Navarro, and F.Orejas
In J. Duparc and T.A. Henzinger (Eds.): Computer Science Logic : 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, LNCS 4646, pp. 481–495, 2007,
Springer-Verlag Berlin Heidelberg, 2007.
[csl07.pdf] [BibTeX ] [Electronic Edition]

 

 

A functorial framework for constraint normal logic programming

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

In K. Futatsugi, J.-P. Jouannaud, and J. Meseguer (Eds),  Algebra, Meaning and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday . LNCS 4060, pp. 555-577, Springer-Verlag,  2006.

[festschrift.pdf]  [BibTeX ] [Electronic Edition]

 

 

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.

[FoIKS06.pdf]   [BibTeX ]   [Electronic Edition]

 

 

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.

[LOPSTR05.pdf]   [BibTeX ]   [Electronic Edition]

 

 

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).

[ENTCS05.pdf]   [BibTeX ]   [Electronic Edition]

 

 

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.

[UNIF04.pdf]   [BibTeX ]   [Electronic Edition]

 

 

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.

[SAC04.pdf]   [BibTeX ]   [Electronic Edition]

 

 

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, pp 55-104, Noviembre 2002.

[Prole02.pdf]  

 

 

Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic

P. Lucio

In H. Kirchner and C. Ringeissen (eds.): Proceedings of the Third International Workshop on Frontiers of Combining Systems, FroCoS 2000, LNCS 1794, pp. 88-104,  Springer, 2000.

[FroCoS00.pdf]   [BibTeX ]  [Electronic Edition]

 

 

An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic Programs

P. Lucio, F. Orejas and E. Pino

Journal of Logic Programming, 40(1): 89-124, 1999.

[JLP99.pdf]   [BibTeX ]   [Electronic Edition]

 

 

A Strong Logic Programming View for Static Embedded Implications

R. Arruabarrena, P. Lucio and M. Navarro

In W. Thomas (ed.): Proceedings of the Second International Conference on Foundations of  Software Science and Computation Structures, FOSSACS'99,  LNCS 1578, pp. 56-72,  Springer-Verlag, 1999.

[FoSSaCS99.pdf]   [BibTeX]  

 

 

A Monotonic Declarative Semantics for Normal Logic Programs

Paqui Lucio, Fernando Orejas, Elvira Pino

In Moreno Falaschi, Marisa Navarro, Alberto Policriti (Eds.): Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, pp 271-282, 1997.

[LOP97.pdf]   [BibTeX]

 

 

Reasoning with Higher Order Partial Functions

A. Gavilanes-Franco, P. Lucio-Carrasco, M. Rodriguez-Artalejo.

In E. Börger, G. Jäger, H. K. Büning, S. Martini, M. M. Richter (Eds.): Computer Science Logic, 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992,

SELECTED PAPERS, Lecture Notes in Computer Science 702:167-181, 1993, Springer-Verlag.

[10.1007/3-540-56992-8_12]  [BibTeX]

 

 

 A First Order Logic for Partial Functions

A. Gavilanes-Franco, F. Lucio-Carrasco

Theoretical Computer Science, 74(1): 37-69, 1990, Elsevier

[10.1016/0304-3975(90)90005-3]  [BibTeX]

 

 

A First Order Logic for Partial Functions- Extended Abstract

F. Lucio-Carrasco and A. Gavilanes-Franco

In B. Monien, R. Cori (Eds.), STACS '89 Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, Lecture Notes in Computer Science 349:47-58, Springer-Verlag,, 1989.

[10.1007/BFb0028972]    [BibTeX]

 

 

Some General Incompleteness Results for Partial Correctness Logic

M. T. Hortalá-Gonzalez, F. Luci- Carrasco, M. Rodríguez-Artalejo

Information and Computation, 79(1): 22-42,  Elsevier, 1988.

[10.1016/0890-5401(88)90015-6]   [BibTeX]