Paqui Lucio

43 papers B 5C 4Misc 2Journal 18Unranked 11
YearRankTypeTitle / Venue / Authors
2023 J jnl
Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models.
J. Log. Algebraic Methods Program.
Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio
2023 B conf
Tableaux for Realizability of Safety Specifications.
FM
Montserrat Hermo, Paqui Lucio, César Sánchez
2022 J jnl
A Tableau Method for the Realizability and Synthesis of Reactive Safety Specifications.
CoRR
Montserrat Hermo, Paqui Lucio, César Sánchez
2021 J jnl
Verified Model Checking for Conjunctive Positive Logic.
SN Comput. Sci.
Alex Abuin, Unai Díaz-de-Cerio, Montserrat Hermo, Paqui Lucio
2020 J jnl
Branching-time logic ECTL# and its tree-style one-pass tableau: Extending fairness expressibility of ECTL+.
Theor. Comput. Sci.
Alexander Bolotov, Montserrat Hermo, Paqui Lucio
2020 C conf
One-Pass Context-Based Tableaux Systems for CTL and ECTL.
TIME
Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio
2019 J jnl
A Framework for the Evaluation of SUMO-Based Ontologies Using WordNet.
IEEE Access
Javier Álvez, Paqui Lucio, German Rigau
2019 J jnl
Automatic white-box testing of first-order logic ontologies.
J. Log. Comput.
Javier Álvez, Montserrat Hermo, Paqui Lucio, German Rigau
2019 C conf
Towards Certified Model Checking for PLTL Using One-Pass Tableaux.
TIME
Alex Abuin, Alexander Bolotov, Unai Díaz-de-Cerio, Montserrat Hermo, Paqui Lucio
2018 C conf
Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach.
TIME
Alexander Bolotov, Montserrat Hermo, Paqui Lucio
2017 J jnl
Automatic White-Box Testing of First-Order Logic Ontologies.
CoRR
Javier Álvez, Montserrat Hermo, Paqui Lucio, German Rigau
2017 J jnl
Black-box Testing of First-Order Logic Ontologies Using WordNet.
CoRR
Javier Álvez, Paqui Lucio, German Rigau
2016 — conf
A Tutorial on Using Dafny to Construct Verified Software.
PROLE
Paqui Lucio
2016 — conf
Evaluating Automated Theorem Provers Using Adimen-SUMO.
Vampire@IJCAR
Javier Álvez, Paqui Lucio, German Rigau
2015 J jnl
An Assertional Proof of the Stability and Correctness of Natural Mergesort.
ACM Trans. Comput. Log.
K. Rustan M. Leino, Paqui Lucio
2015 B conf
Evaluating the Competency of a First-Order Ontology.
K-CAP
Javier Álvez, Paqui Lucio, German Rigau
2015 J jnl
Evaluating the Competency of a First-Order Ontology.
CoRR
Javier Álvez, Paqui Lucio, German Rigau
2015 B conf
Improving the Competency of First-Order Ontologies.
K-CAP
Javier Álvez, Paqui Lucio, German Rigau
2015 J jnl
Improving the Competency of First-Order Ontologies.
CoRR
Javier Álvez, Paqui Lucio, German Rigau
2013 J jnl
Invariant-Free Clausal Temporal Resolution.
J. Autom. Reason.
Jose Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas
2013 J jnl
Logical foundations for more expressive declarative temporal logic programming languages.
ACM Trans. Comput. Log.
Jose Gaintzarain, Paqui Lucio
2012 J jnl
Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning.
Int. J. Semantic Web Inf. Syst.
Javier Álvez, Paqui Lucio, German Rigau
2010 J jnl
Translating propositional extended conjunctions of Horn clauses into Boolean circuits.
Theor. Comput. Sci.
Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro
2009 J jnl
Dual Systems of Tableaux and Sequents for PLTL.
J. Log. Algebraic Methods Program.
Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas
2009 — conf
Preface.
PROLE
Paqui Lucio, Ginés Moreno, Ricardo Peña
2009 — ed.
Proceedings of the Ninth Spanish Conference on Programming and Languages, PROLE 2009, San Sebastián, Spain, September 9-11, 2009
PROLE
Paqui Lucio, Ginés Moreno, Ricardo Peña
2008 J jnl
A Functorial Framework for Constraint Normal Logic Programming.
Appl. Categorical Struct.
Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino
2008 Misc conf
A Generalization of the Folding Rule for the Clark-Kunen Semantics.
FLOPS
Javier Álvez, Paqui Lucio
2007 B conf
A Cut-Free and Invariant-Free Sequent Calculus for PLTL.
CSL
Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas
2007 — conf
A New Proposal Of Quasi-Solved Form For Equality Constraint Solving.
PROLE
Javier Álvez, Paqui Lucio
2007 — ed.
Proceedings of the Sixth Spanish Conference on Programming and Languages, PROLE 2006, Sitges, Barcelona, Spain, October 4-6, 2006
PROLE
Paqui Lucio, Fernando Orejas
2007 — conf
Systematic Semantic Tableaux for PLTL.
PROLE
Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro
2006 — conf
A Functorial Framework for Constraint Normal Logic Programming.
Essays Dedicated to Joseph A. Goguen
Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino
2006 — conf
Equational Constraint Solving Via a Restricted Form of Universal Quantification.
FoIKS
Javier Álvez, Paqui Lucio
2006 — conf
Preface.
PROLE
Paqui Lucio, Fernando Orejas
2005 C conf
An Algorithm for Local Variable Elimination in Normal Logic Programs.
LOPSTR
Javier Álvez, Paqui Lucio
2004 Misc conf
Constructive negation by bottom-up computation of literal answers.
SAC
Javier Álvez, Paqui Lucio, Fernando Orejas
2004 — conf
Elimination of Local Variables from Definite Logic Programs.
PROLE
Javier Álvez, Paqui Lucio
2000 — conf
Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic.
FroCoS
Paqui Lucio
1999 B conf
A Strong Logic Programming View for Static Embedded Implications.
FoSSaCS
Rosa Arruabarrena, Paqui Lucio, Marisa Navarro
1999 J jnl
An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic Programs.
J. Log. Program.
Paqui Lucio, Fernando Orejas, Elvira Pino
1997 — conf
A Monotonic Declarative Semantics for Normal Logic Programs.
APPIA-GULP-PRODE
Paqui Lucio, Fernando Orejas, Elvira Pino
1996 — ed.
1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996
APPIA-GULP-PRODE
Paqui Lucio, Maurizio Martelli, Marisa Navarro