Paqui Lucio

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 14

Top Topics

Automated Theorem Provers

Logical Foundations

Top Venues

ACM Trans. Comput. Log.

Publications

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