Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Paqui Lucio
2010 – today
- 2013
[j11]Jose Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas: Invariant-Free Clausal Temporal Resolution. J. Autom. Reasoning 50(1): 1-49 (2013)- 2012
- [j10]Javier Álvez, Paqui Lucio, German Rigau: Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning. Int. J. Semantic Web Inf. Syst. 8(4): 80-116 (2012)
- 2010
- [j9]Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro: Translating propositional extended conjunctions of Horn clauses into Boolean circuits. Theor. Comput. Sci. 411(16-18): 1723-1733 (2010)
2000 – 2009
- 2009
- [j8]Paqui Lucio, Ginés Moreno, Ricardo Peña: Preface. Electr. Notes Theor. Comput. Sci. 258(1): 1-2 (2009)
- [j7]Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas: Dual Systems of Tableaux and Sequents for PLTL. J. Log. Algebr. Program. 78(8): 701-722 (2009)
- 2008
- [j6]Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino: A Functorial Framework for Constraint Normal Logic Programming. Applied Categorical Structures 16(3): 421-450 (2008)
- [j5]Javier Álvez, Paqui Lucio: A New Proposal Of Quasi-Solved Form For Equality Constraint Solving. Electr. Notes Theor. Comput. Sci. 206: 23-40 (2008)
- [j4]Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro: Systematic Semantic Tableaux for PLTL. Electr. Notes Theor. Comput. Sci. 206: 59-73 (2008)
- [c9]Javier Álvez, Paqui Lucio: A Generalization of the Folding Rule for the Clark-Kunen Semantics. FLOPS 2008: 180-194
- 2007
- [j3]
- [c8]Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas: A Cut-Free and Invariant-Free Sequent Calculus for PLTL. CSL 2007: 481-495
- 2006
- [c7]Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino: A Functorial Framework for Constraint Normal Logic Programming. Essays Dedicated to Joseph A. Goguen 2006: 555-577
- [c6]Javier Álvez, Paqui Lucio: Equational Constraint Solving Via a Restricted Form of Universal Quantification. FoIKS 2006: 2-21
- 2005
- [j2]Javier Álvez, Paqui Lucio: Elimination of Local Variables from Definite Logic Programs. Electr. Notes Theor. Comput. Sci. 137(1): 5-24 (2005)
- [c5]Javier Álvez, Paqui Lucio: An Algorithm for Local Variable Elimination in Normal Logic Programs. LOPSTR 2005: 61-79
- 2004
- [c4]Javier Álvez, Paqui Lucio, Fernando Orejas: Constructive negation by bottom-up computation of literal answers. SAC 2004: 1468-1475
- 2000
- [c3]Paqui Lucio: Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic. FroCoS 2000: 88-104
1990 – 1999
- 1999
- [j1]Paqui Lucio, Fernando Orejas, Elvira Pino: An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic Programs. J. Log. Program. 40(1): 89-124 (1999)
- [c2]R. Arruabarrena, Paqui Lucio, Marisa Navarro: A Strong Logic Programming View for Static Embedded Implications. FoSSaCS 1999: 56-72
- 1997
- [c1]Paqui Lucio, Fernando Orejas, Elvira Pino: A Monotonic Declarative Semantics for Normal Logic Programs. APPIA-GULP-PRODE 1997: 271-282
- 1996
- [e1]Paqui Lucio, Maurizio Martelli, Marisa Navarro (Eds.): 1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996. 1996
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-17 21:56 CEST by the dblp team