Paqui Lucio - RankMe

43 papers B 5C 4Misc 2Journal 18Unranked 11

Year	Rank	Type	Title / 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