Paqui Lucio

According to our database, Paqui Lucio authored at least 40 papers between 1988 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models.

Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio

J. Log. Algebraic Methods Program., 2023

Tableaux for Realizability of Safety Specifications.

Montserrat Hermo, Paqui Lucio, César Sánchez

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

A Tableau Method for the Realizability and Synthesis of Reactive Safety Specifications.

Montserrat Hermo, Paqui Lucio, César Sánchez

CoRR, 2022

2021

Verified Model Checking for Conjunctive Positive Logic.

Alex Abuin, Unai Díaz-de-Cerio, Montserrat Hermo, Paqui Lucio

SN Comput. Sci., 2021

2020

Branching-time logic ECTL# and its tree-style one-pass tableau: Extending fairness expressibility of ECTL+.

Alexander Bolotov, Montserrat Hermo, Paqui Lucio

Theor. Comput. Sci., 2020

One-Pass Context-Based Tableaux Systems for CTL and ECTL.

Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio

Proceedings of the 27th International Symposium on Temporal Representation and Reasoning, 2020

2019

Automatic white-box testing of first-order logic ontologies.

Javier Álvez, Montserrat Hermo, Paqui Lucio, German Rigau

J. Log. Comput., 2019

A Framework for the Evaluation of SUMO-Based Ontologies Using WordNet.

Javier Álvez, Paqui Lucio, German Rigau

IEEE Access, 2019

Towards Certified Model Checking for PLTL Using One-Pass Tableaux.

Alex Abuin, Alexander Bolotov, Unai Díaz-de-Cerio, Montserrat Hermo, Paqui Lucio

Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019

2018

Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach.

Alexander Bolotov, Montserrat Hermo, Paqui Lucio

Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018

2017

Black-box Testing of First-Order Logic Ontologies Using WordNet.

Javier Álvez, Paqui Lucio, German Rigau

CoRR, 2017

2016

A Tutorial on Using Dafny to Construct Verified Software.

Paqui Lucio

Proceedings of the Proceedings XVI Jornadas sobre Programación y Lenguajes, 2016

Evaluating Automated Theorem Provers Using Adimen-SUMO.

Javier Álvez, Paqui Lucio, German Rigau

Proceedings of the Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, 2016

2015

An Assertional Proof of the Stability and Correctness of Natural Mergesort.

K. Rustan M. Leino, Paqui Lucio

ACM Trans. Comput. Log., 2015

Evaluating the Competency of a First-Order Ontology.

Javier Álvez, Paqui Lucio, German Rigau

Proceedings of the 8th International Conference on Knowledge Capture, 2015

Improving the Competency of First-Order Ontologies.

Javier Álvez, Paqui Lucio, German Rigau

Proceedings of the 8th International Conference on Knowledge Capture, 2015

2013

Logical foundations for more expressive declarative temporal logic programming languages.

Jose Gaintzarain, Paqui Lucio

ACM Trans. Comput. Log., 2013

Invariant-Free Clausal Temporal Resolution.

Jose Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas

J. Autom. Reason., 2013

2012

Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning.

Javier Álvez, Paqui Lucio, German Rigau

Int. J. Semantic Web Inf. Syst., 2012

2010

Translating propositional extended conjunctions of Horn clauses into Boolean circuits.

Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro

Theor. Comput. Sci., 2010

2009

Dual Systems of Tableaux and Sequents for PLTL.

Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas

J. Log. Algebraic Methods Program., 2009

Preface.

Paqui Lucio, Ginés Moreno, Ricardo Peña

Proceedings of the Ninth Spanish Conference on Programming and Languages, 2009

2008

A Functorial Framework for Constraint Normal Logic Programming.

Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino

Appl. Categorical Struct., 2008

A Generalization of the Folding Rule for the Clark-Kunen Semantics.

Javier Álvez, Paqui Lucio

Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008

2007

Systematic Semantic Tableaux for PLTL.

Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro

Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, 2007

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

Javier Álvez, Paqui Lucio

Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, 2007

A Cut-Free and Invariant-Free Sequent Calculus for PLTL.

Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas

Proceedings of the Computer Science Logic, 21st International Workshop, 2007

2006

Preface.

Paqui Lucio, Fernando Orejas

Proceedings of the Sixth Spanish Conference on Programming and Languages, 2006

Equational Constraint Solving Via a Restricted Form of Universal Quantification.

Javier Álvez, Paqui Lucio

Proceedings of the Foundations of Information and Knowledge Systems, 2006

2005

An Algorithm for Local Variable Elimination in Normal Logic Programs.

Javier Álvez, Paqui Lucio

Proceedings of the Logic Based Program Synthesis and Transformation, 2005

2004

Elimination of Local Variables from Definite Logic Programs.

Javier Álvez, Paqui Lucio

Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, 2004

Constructive negation by bottom-up computation of literal answers.

Javier Álvez, Paqui Lucio, Fernando Orejas

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

2000

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

Paqui Lucio

Proceedings of the Frontiers of Combining Systems, 2000

1999

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

Paqui Lucio, Fernando Orejas, Elvira Pino

J. Log. Program., 1999

A Strong Logic Programming View for Static Embedded Implications.

Rosa Arruabarrena, Paqui Lucio, Marisa Navarro

Proceedings of the Foundations of Software Science and Computation Structure, 1999

1997

A Monotonic Declarative Semantics for Normal Logic Programs.

Paqui Lucio, Fernando Orejas, Elvira Pino

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1992

Reasoning with Higher Order Partial Functions.

Antonio Gavilanes-Franco, Francisca Lucio-Carrasco, Mario Rodríguez-Artalejo

Proceedings of the Computer Science Logic, 6th Workshop, 1992

1990

A First Order Logic for Partial Functions.

Antonio Gavilanes-Franco, Francisca Lucio-Carrasco

Theor. Comput. Sci., 1990

1989

A First Order Logic for Partial Functions (Extended Abstract).

Francisca Lucio-Carrasco, Antonio Gavilanes-Franco

Proceedings of the STACS 89, 1989

1988

Some General Incompleteness Results for Partial Correctness Logics

Maria Teresa Hortalá-González, Francisca Lucio-Carrasco, Mario Rodríguez-Artalejo

Inf. Comput., October, 1988