Publications - Papers - 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.

 

Invariant-Free Clausal Temporal Resolution

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

To appear (in 2012) in Journal of Automated Reasoning (Online from December 2th, 2011)

doi: 10.1007/s10817-011-9241-2

[JAR.pdf] [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]

 

 

Invariant-Free Clausal Temporal Resolution
J. Gaintzarain, M. Hermo, P. Lucio, M. Navarro, and F. Orejas

Contributed Talk in Workshop on Modal Fixpoint Logics, Amsterdam, March 25-27, 2008.

 


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 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,
Springer-Verlag Berlin Heidelberg, 2007.
[csl07.pdf] [BibTeX ] [Electronic Edition]

 

 

Systematic Semantic Tableaux for PLTL
J. Gaintzarain, M. Hermo, P. Lucio, M. Navarro

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

Revised Selected Paper in ENTCS 206, pp. 59-73, 2008

[prole07b.pdf] [BibTeX ] [Electronic Edition]

 

 

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

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

[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, 1989, Springer-Verlag.

[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, 1988, Elsevier

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