Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Paqui Lucio
@article{DBLP:journals/jlap/AbuinBHL23, author = {Alex Abuin and Alexander Bolotov and Montserrat Hermo and Paqui Lucio}, title = {Tableaux and sequent calculi for {CTL} and {ECTL:} Satisfiability test with certifying proofs and models}, journal = {J. Log. Algebraic Methods Program.}, volume = {130}, pages = {100828}, year = {2023}, url = {https://doi.org/10.1016/j.jlamp.2022.100828}, doi = {10.1016/J.JLAMP.2022.100828}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlap/AbuinBHL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/HermoLS23, author = {Montserrat Hermo and Paqui Lucio and C{\'{e}}sar S{\'{a}}nchez}, editor = {Marsha Chechik and Joost{-}Pieter Katoen and Martin Leucker}, title = {Tableaux for Realizability of Safety Specifications}, booktitle = {Formal Methods - 25th International Symposium, {FM} 2023, L{\"{u}}beck, Germany, March 6-10, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14000}, pages = {495--513}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-27481-7\_28}, doi = {10.1007/978-3-031-27481-7\_28}, timestamp = {Tue, 28 Mar 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fm/HermoLS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2206-01492, author = {Montserrat Hermo and Paqui Lucio and C{\'{e}}sar S{\'{a}}nchez}, title = {A Tableau Method for the Realizability and Synthesis of Reactive Safety Specifications}, journal = {CoRR}, volume = {abs/2206.01492}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2206.01492}, doi = {10.48550/ARXIV.2206.01492}, eprinttype = {arXiv}, eprint = {2206.01492}, timestamp = {Wed, 28 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2206-01492.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sncs/AbuinDHL21, author = {Alex Abuin and Unai D{\'{\i}}az{-}de{-}Cerio and Montserrat Hermo and Paqui Lucio}, title = {Verified Model Checking for Conjunctive Positive Logic}, journal = {{SN} Comput. Sci.}, volume = {2}, number = {5}, pages = {344}, year = {2021}, url = {https://doi.org/10.1007/s42979-020-00417-3}, doi = {10.1007/S42979-020-00417-3}, timestamp = {Wed, 01 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sncs/AbuinDHL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BolotovHL20, author = {Alexander Bolotov and Montserrat Hermo and Paqui Lucio}, title = {Branching-time logic ECTL{\#} and its tree-style one-pass tableau: Extending fairness expressibility of {ECTL+}}, journal = {Theor. Comput. Sci.}, volume = {813}, pages = {428--451}, year = {2020}, url = {https://doi.org/10.1016/j.tcs.2020.02.015}, doi = {10.1016/J.TCS.2020.02.015}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BolotovHL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/AbuinBHL20, author = {Alex Abuin and Alexander Bolotov and Montserrat Hermo and Paqui Lucio}, editor = {Emilio Mu{\~{n}}oz{-}Velasco and Ana Ozaki and Martin Theobald}, title = {One-Pass Context-Based Tableaux Systems for {CTL} and {ECTL}}, booktitle = {27th International Symposium on Temporal Representation and Reasoning, {TIME} 2020, September 23-25, 2020, Bozen-Bolzano, Italy}, series = {LIPIcs}, volume = {178}, pages = {14:1--14:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2020}, url = {https://doi.org/10.4230/LIPIcs.TIME.2020.14}, doi = {10.4230/LIPICS.TIME.2020.14}, timestamp = {Mon, 21 Dec 2020 13:23:22 +0100}, biburl = {https://dblp.org/rec/conf/time/AbuinBHL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/AlvezLR19, author = {Javier {\'{A}}lvez and Paqui Lucio and German Rigau}, title = {A Framework for the Evaluation of SUMO-Based Ontologies Using WordNet}, journal = {{IEEE} Access}, volume = {7}, pages = {36075--36093}, year = {2019}, url = {https://doi.org/10.1109/ACCESS.2019.2904835}, doi = {10.1109/ACCESS.2019.2904835}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/AlvezLR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/AlvezHLR19, author = {Javier {\'{A}}lvez and Montserrat Hermo and Paqui Lucio and German Rigau}, title = {Automatic white-box testing of first-order logic ontologies}, journal = {J. Log. Comput.}, volume = {29}, number = {5}, pages = {723--751}, year = {2019}, url = {https://doi.org/10.1093/logcom/exz001}, doi = {10.1093/LOGCOM/EXZ001}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/AlvezHLR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/AbuinBDHL19, author = {Alex Abuin and Alexander Bolotov and Unai D{\'{\i}}az{-}de{-}Cerio and Montserrat Hermo and Paqui Lucio}, editor = {Johann Gamper and Sophie Pinchinat and Guido Sciavicco}, title = {Towards Certified Model Checking for {PLTL} Using One-Pass Tableaux}, booktitle = {26th International Symposium on Temporal Representation and Reasoning, {TIME} 2019, October 16-19, 2019, M{\'{a}}laga, Spain}, series = {LIPIcs}, volume = {147}, pages = {12:1--12:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2019}, url = {https://doi.org/10.4230/LIPIcs.TIME.2019.12}, doi = {10.4230/LIPICS.TIME.2019.12}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/time/AbuinBDHL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/BolotovHL18, author = {Alexander Bolotov and Montserrat Hermo and Paqui Lucio}, editor = {Natasha Alechina and Kjetil N{\o}rv{\aa}g and Wojciech Penczek}, title = {Extending Fairness Expressibility of {ECTL+:} {A} Tree-Style One-Pass Tableau Approach}, booktitle = {25th International Symposium on Temporal Representation and Reasoning, {TIME} 2018, Warsaw, Poland, October 15-17, 2018}, series = {LIPIcs}, volume = {120}, pages = {5:1--5:22}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2018}, url = {https://doi.org/10.4230/LIPIcs.TIME.2018.5}, doi = {10.4230/LIPICS.TIME.2018.5}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/time/BolotovHL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/AlvezLR17, author = {Javier {\'{A}}lvez and Paqui Lucio and German Rigau}, title = {Black-box Testing of First-Order Logic Ontologies Using WordNet}, journal = {CoRR}, volume = {abs/1705.10217}, year = {2017}, url = {http://arxiv.org/abs/1705.10217}, eprinttype = {arXiv}, eprint = {1705.10217}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/AlvezLR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/AlvezHLR17, author = {Javier {\'{A}}lvez and Montserrat Hermo and Paqui Lucio and German Rigau}, title = {Automatic White-Box Testing of First-Order Logic Ontologies}, journal = {CoRR}, volume = {abs/1705.10219}, year = {2017}, url = {http://arxiv.org/abs/1705.10219}, eprinttype = {arXiv}, eprint = {1705.10219}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/AlvezHLR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/AlvezLR16, author = {Javier {\'{A}}lvez and Paqui Lucio and German Rigau}, editor = {Laura Kov{\'{a}}cs and Andrei Voronkov}, title = {Evaluating Automated Theorem Provers Using Adimen-SUMO}, booktitle = {Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, Coimbra, Portugal, July 2, 2016}, series = {EPiC Series in Computing}, volume = {44}, pages = {74--82}, publisher = {EasyChair}, year = {2016}, url = {https://doi.org/10.29007/hplh}, doi = {10.29007/HPLH}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/AlvezLR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/Lucio17, author = {Paqui Lucio}, editor = {Alicia Villanueva}, title = {A Tutorial on Using Dafny to Construct Verified Software}, booktitle = {Proceedings {XVI} Jornadas sobre Programaci{\'{o}}n y Lenguajes, {PROLE} 2016, Salamanca, Spain, 14-16th September 2016}, series = {{EPTCS}}, volume = {237}, pages = {1--19}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.237.1}, doi = {10.4204/EPTCS.237.1}, timestamp = {Wed, 12 Sep 2018 01:05:15 +0200}, biburl = {https://dblp.org/rec/journals/corr/Lucio17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/LeinoL15, author = {K. Rustan M. Leino and Paqui Lucio}, title = {An Assertional Proof of the Stability and Correctness of Natural Mergesort}, journal = {{ACM} Trans. Comput. Log.}, volume = {17}, number = {1}, pages = {6}, year = {2015}, url = {https://doi.org/10.1145/2814571}, doi = {10.1145/2814571}, timestamp = {Fri, 10 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tocl/LeinoL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kcap/AlvezLR15, author = {Javier {\'{A}}lvez and Paqui Lucio and German Rigau}, editor = {Ken Barker and Jos{\'{e}} Manu{\'{e}}l G{\'{o}}mez{-}P{\'{e}}rez}, title = {Improving the Competency of First-Order Ontologies}, booktitle = {Proceedings of the 8th International Conference on Knowledge Capture, {K-CAP} 2015, Palisades, NY, USA, October 7-10, 2015}, pages = {15:1--15:8}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2815833.2815841}, doi = {10.1145/2815833.2815841}, timestamp = {Sun, 25 Oct 2020 22:55:43 +0100}, biburl = {https://dblp.org/rec/conf/kcap/AlvezLR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kcap/AlvezLR15a, author = {Javier {\'{A}}lvez and Paqui Lucio and German Rigau}, editor = {Ken Barker and Jos{\'{e}} Manu{\'{e}}l G{\'{o}}mez{-}P{\'{e}}rez}, title = {Evaluating the Competency of a First-Order Ontology}, booktitle = {Proceedings of the 8th International Conference on Knowledge Capture, {K-CAP} 2015, Palisades, NY, USA, October 7-10, 2015}, pages = {28:1--28:4}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2815833.2816946}, doi = {10.1145/2815833.2816946}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kcap/AlvezLR15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/AlvezLR15, author = {Javier {\'{A}}lvez and Paqui Lucio and German Rigau}, title = {Improving the Competency of First-Order Ontologies}, journal = {CoRR}, volume = {abs/1510.04817}, year = {2015}, url = {http://arxiv.org/abs/1510.04817}, eprinttype = {arXiv}, eprint = {1510.04817}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/AlvezLR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/AlvezLR15a, author = {Javier {\'{A}}lvez and Paqui Lucio and German Rigau}, title = {Evaluating the Competency of a First-Order Ontology}, journal = {CoRR}, volume = {abs/1510.04826}, year = {2015}, url = {http://arxiv.org/abs/1510.04826}, eprinttype = {arXiv}, eprint = {1510.04826}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/AlvezLR15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/GaintzarainHLNO13, author = {Jose Gaintzarain and Montserrat Hermo and Paqui Lucio and Marisa Navarro and Fernando Orejas}, title = {Invariant-Free Clausal Temporal Resolution}, journal = {J. Autom. Reason.}, volume = {50}, number = {1}, pages = {1--49}, year = {2013}, url = {https://doi.org/10.1007/s10817-011-9241-2}, doi = {10.1007/S10817-011-9241-2}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/GaintzarainHLNO13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/GaintzarainL13, author = {Jose Gaintzarain and Paqui Lucio}, title = {Logical foundations for more expressive declarative temporal logic programming languages}, journal = {{ACM} Trans. Comput. Log.}, volume = {14}, number = {4}, pages = {28:1--28:41}, year = {2013}, url = {https://doi.org/10.1145/2528931}, doi = {10.1145/2528931}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/GaintzarainL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijswis/AlvezLR12, author = {Javier {\'{A}}lvez and Paqui Lucio and German Rigau}, title = {Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning}, journal = {Int. J. Semantic Web Inf. Syst.}, volume = {8}, number = {4}, pages = {80--116}, year = {2012}, url = {https://doi.org/10.4018/jswis.2012100105}, doi = {10.4018/JSWIS.2012100105}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijswis/AlvezLR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/GaintzarainHLN10, author = {Joxe Gaintzarain and Montserrat Hermo and Paqui Lucio and Marisa Navarro}, title = {Translating propositional extended conjunctions of Horn clauses into Boolean circuits}, journal = {Theor. Comput. Sci.}, volume = {411}, number = {16-18}, pages = {1723--1733}, year = {2010}, url = {https://doi.org/10.1016/j.tcs.2010.01.013}, doi = {10.1016/J.TCS.2010.01.013}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/GaintzarainHLN10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/GaintzarainHLNO09, author = {Joxe Gaintzarain and Montserrat Hermo and Paqui Lucio and Marisa Navarro and Fernando Orejas}, title = {Dual Systems of Tableaux and Sequents for {PLTL}}, journal = {J. Log. Algebraic Methods Program.}, volume = {78}, number = {8}, pages = {701--722}, year = {2009}, url = {https://doi.org/10.1016/j.jlap.2009.05.001}, doi = {10.1016/J.JLAP.2009.05.001}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/GaintzarainHLNO09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/LucioMP09, author = {Paqui Lucio and Gin{\'{e}}s Moreno and Ricardo Pe{\~{n}}a}, editor = {Paqui Lucio and Gin{\'{e}}s Moreno and Ricardo Pe{\~{n}}a}, title = {Preface}, booktitle = {Proceedings of the Ninth Spanish Conference on Programming and Languages, {PROLE} 2009, San Sebasti{\'{a}}n, Spain, September 9-11, 2009}, series = {Electronic Notes in Theoretical Computer Science}, volume = {258}, number = {1}, pages = {1--2}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/j.entcs.2009.12.001}, doi = {10.1016/J.ENTCS.2009.12.001}, timestamp = {Fri, 24 Feb 2023 15:47:39 +0100}, biburl = {https://dblp.org/rec/journals/entcs/LucioMP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/prole/2009, editor = {Paqui Lucio and Gin{\'{e}}s Moreno and Ricardo Pe{\~{n}}a}, title = {Proceedings of the Ninth Spanish Conference on Programming and Languages, {PROLE} 2009, San Sebasti{\'{a}}n, Spain, September 9-11, 2009}, series = {Electronic Notes in Theoretical Computer Science}, volume = {258}, number = {1}, publisher = {Elsevier}, year = {2009}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/258/issue/1}, timestamp = {Fri, 24 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/prole/2009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acs/LucioOPP08, author = {Paqui Lucio and Fernando Orejas and Edelmira Pasarella and Elvira Pino}, title = {A Functorial Framework for Constraint Normal Logic Programming}, journal = {Appl. Categorical Struct.}, volume = {16}, number = {3}, pages = {421--450}, year = {2008}, url = {https://doi.org/10.1007/s10485-008-9128-5}, doi = {10.1007/S10485-008-9128-5}, timestamp = {Tue, 29 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acs/LucioOPP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flops/AlvezL08, author = {Javier {\'{A}}lvez and Paqui Lucio}, editor = {Jacques Garrigue and Manuel V. Hermenegildo}, title = {A Generalization of the Folding Rule for the Clark-Kunen Semantics}, booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS} 2008, Ise, Japan, April 14-16, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4989}, pages = {180--194}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-78969-7\_14}, doi = {10.1007/978-3-540-78969-7\_14}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/flops/AlvezL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/GaintzarainHLNO07, author = {Joxe Gaintzarain and Montserrat Hermo and Paqui Lucio and Marisa Navarro and Fernando Orejas}, editor = {Jacques Duparc and Thomas A. Henzinger}, title = {A Cut-Free and Invariant-Free Sequent Calculus for {PLTL}}, booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4646}, pages = {481--495}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74915-8\_36}, doi = {10.1007/978-3-540-74915-8\_36}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/csl/GaintzarainHLNO07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/AlvezL08, author = {Javier {\'{A}}lvez and Paqui Lucio}, editor = {Ernesto Pimentel}, title = {A New Proposal Of Quasi-Solved Form For Equality Constraint Solving}, booktitle = {Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, {PROLE} 2007, Zaragoza, Spain, September 12-14, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {206}, pages = {23--40}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2008.03.073}, doi = {10.1016/J.ENTCS.2008.03.073}, timestamp = {Mon, 13 Feb 2023 13:57:26 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AlvezL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GaintzarainHLN08, author = {Joxe Gaintzarain and Montserrat Hermo and Paqui Lucio and Marisa Navarro}, editor = {Ernesto Pimentel}, title = {Systematic Semantic Tableaux for {PLTL}}, booktitle = {Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, {PROLE} 2007, Zaragoza, Spain, September 12-14, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {206}, pages = {59--73}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2008.03.075}, doi = {10.1016/J.ENTCS.2008.03.075}, timestamp = {Mon, 13 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GaintzarainHLN08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/prole/2006, editor = {Paqui Lucio and Fernando Orejas}, title = {Proceedings of the Sixth Spanish Conference on Programming and Languages, {PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {188}, publisher = {Elsevier}, year = {2007}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/188/suppl/C}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/prole/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/LucioOPP06, author = {Paqui Lucio and Fernando Orejas and Edelmira Pasarella and Elvira Pino}, editor = {Kokichi Futatsugi and Jean{-}Pierre Jouannaud and Jos{\'{e}} Meseguer}, title = {A Functorial Framework for Constraint Normal Logic Programming}, booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday}, series = {Lecture Notes in Computer Science}, volume = {4060}, pages = {555--577}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11780274\_29}, doi = {10.1007/11780274\_29}, timestamp = {Thu, 21 Sep 2023 09:08:34 +0200}, biburl = {https://dblp.org/rec/conf/birthday/LucioOPP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/foiks/AlvezL06, author = {Javier {\'{A}}lvez and Paqui Lucio}, editor = {J{\"{u}}rgen Dix and Stephen J. Hegner}, title = {Equational Constraint Solving Via a Restricted Form of Universal Quantification}, booktitle = {Foundations of Information and Knowledge Systems, 4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3861}, pages = {2--21}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11663881\_2}, doi = {10.1007/11663881\_2}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/foiks/AlvezL06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/LucioO07, author = {Paqui Lucio and Fernando Orejas}, editor = {Paqui Lucio and Fernando Orejas}, title = {Preface}, booktitle = {Proceedings of the Sixth Spanish Conference on Programming and Languages, {PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {188}, pages = {1--2}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.05.048}, doi = {10.1016/J.ENTCS.2006.05.048}, timestamp = {Tue, 31 Jan 2023 15:25:12 +0100}, biburl = {https://dblp.org/rec/journals/entcs/LucioO07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/AlvezL05, author = {Javier {\'{A}}lvez and Paqui Lucio}, editor = {Patricia M. Hill}, title = {An Algorithm for Local Variable Elimination in Normal Logic Programs}, booktitle = {Logic Based Program Synthesis and Transformation, 15th International Symposium, {LOPSTR} 2005, London, UK, September 7-9, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3901}, pages = {61--79}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11680093\_5}, doi = {10.1007/11680093\_5}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/AlvezL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/AlvezLO04, author = {Javier {\'{A}}lvez and Paqui Lucio and Fernando Orejas}, editor = {Hisham Haddad and Andrea Omicini and Roger L. Wainwright and Lorie M. Liebrock}, title = {Constructive negation by bottom-up computation of literal answers}, booktitle = {Proceedings of the 2004 {ACM} Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004}, pages = {1468--1475}, publisher = {{ACM}}, year = {2004}, url = {https://doi.org/10.1145/967900.968194}, doi = {10.1145/967900.968194}, timestamp = {Tue, 06 Nov 2018 11:06:44 +0100}, biburl = {https://dblp.org/rec/conf/sac/AlvezLO04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/AlvezL05, author = {Javier {\'{A}}lvez and Paqui Lucio}, editor = {Salvador Lucas}, title = {Elimination of Local Variables from Definite Logic Programs}, booktitle = {Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, {PROLE} 2004, M{\'{a}}laga, Spain, November 10-12, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {137}, number = {1}, pages = {5--24}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.01.037}, doi = {10.1016/J.ENTCS.2005.01.037}, timestamp = {Mon, 12 Dec 2022 16:37:03 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AlvezL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/frocos/Lucio00, author = {Paqui Lucio}, editor = {H{\'{e}}l{\`{e}}ne Kirchner and Christophe Ringeissen}, title = {Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic}, booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1794}, pages = {88--104}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/10720084\_7}, doi = {10.1007/10720084\_7}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/frocos/Lucio00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/LucioOP99, author = {Paqui Lucio and Fernando Orejas and Elvira Pino}, title = {An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic Programs}, journal = {J. Log. Program.}, volume = {40}, number = {1}, pages = {89--124}, year = {1999}, url = {https://doi.org/10.1016/S0743-1066(98)10039-0}, doi = {10.1016/S0743-1066(98)10039-0}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/LucioOP99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/ArruabarrenaLN99, author = {Rosa Arruabarrena and Paqui Lucio and Marisa Navarro}, editor = {Wolfgang Thomas}, title = {A Strong Logic Programming View for Static Embedded Implications}, booktitle = {Foundations of Software Science and Computation Structure, Second International Conference, FoSSaCS'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1578}, pages = {56--72}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-49019-1\_5}, doi = {10.1007/3-540-49019-1\_5}, timestamp = {Sun, 17 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/ArruabarrenaLN99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/LucioOP97, author = {Paqui Lucio and Fernando Orejas and Elvira Pino}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {A Monotonic Declarative Semantics for Normal Logic Programs}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {271--282}, year = {1997}, timestamp = {Thu, 02 Dec 2004 11:23:16 +0100}, biburl = {https://dblp.org/rec/conf/agp/LucioOP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/agp/1996, editor = {Paqui Lucio and Maurizio Martelli and Marisa Navarro}, title = {1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996}, year = {1996}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/1996.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/Gavilanes-FrancoLR92, author = {Antonio Gavilanes{-}Franco and Francisca Lucio{-}Carrasco and Mario Rodr{\'{\i}}guez{-}Artalejo}, editor = {Egon B{\"{o}}rger and Gerhard J{\"{a}}ger and Hans Kleine B{\"{u}}ning and Simone Martini and Michael M. Richter}, title = {Reasoning with Higher Order Partial Functions}, booktitle = {Computer Science Logic, 6th Workshop, {CSL} '92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {702}, pages = {167--181}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-56992-8\_12}, doi = {10.1007/3-540-56992-8\_12}, timestamp = {Fri, 17 Jul 2020 16:12:45 +0200}, biburl = {https://dblp.org/rec/conf/csl/Gavilanes-FrancoLR92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Gavilanes-FrancoL90, author = {Antonio Gavilanes{-}Franco and Francisca Lucio{-}Carrasco}, title = {A First Order Logic for Partial Functions}, journal = {Theor. Comput. Sci.}, volume = {74}, number = {1}, pages = {37--69}, year = {1990}, url = {https://doi.org/10.1016/0304-3975(90)90005-3}, doi = {10.1016/0304-3975(90)90005-3}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Gavilanes-FrancoL90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/Lucio-CarrascoG89, author = {Francisca Lucio{-}Carrasco and Antonio Gavilanes{-}Franco}, editor = {Burkhard Monien and Robert Cori}, title = {A First Order Logic for Partial Functions (Extended Abstract)}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {47--58}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028972}, doi = {10.1007/BFB0028972}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/stacs/Lucio-CarrascoG89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/Hortala-Gonzalezlm88, author = {Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and Francisca Lucio{-}Carrasco and Mario Rodr{\'{\i}}guez{-}Artalejo}, title = {Some General Incompleteness Results for Partial Correctness Logics}, journal = {Inf. Comput.}, volume = {79}, number = {1}, pages = {22--42}, year = {1988}, url = {https://doi.org/10.1016/0890-5401(88)90015-6}, doi = {10.1016/0890-5401(88)90015-6}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/Hortala-Gonzalezlm88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.