Adimen-SUMO: Reengineering an ontology for first-order reasoning J Álvez, P Lucio, G Rigau International Journal on Semantic Web and Information Systems (IJSWIS) 8 (4 …, 2012 | 40 | 2012 |
A cut-free and invariant-free sequent calculus for PLTL J Gaintzarain, M Hermo, P Lucio, M Navarro, F Orejas International Workshop on Computer Science Logic, 481-495, 2007 | 37 | 2007 |
Dual systems of tableaux and sequents for PLTL J Gaintzarain, M Hermo, P Lucio, M Navarro, F Orejas The Journal of Logic and Algebraic Programming 78 (8), 701-722, 2009 | 33 | 2009 |
A First Order Logic for Partial Functions A Gavilanes-Franco, F Lucio-Carrasco. Theoretical Computer Science 74 (1), 37-60, 1990 | 31 | 1990 |
Structured sequent calculi for combining intuitionistic and classical first-order logic P Lucio International Workshop on Frontiers of Combining Systems, 88-104, 2000 | 25 | 2000 |
An algebraic framework for the definition of compositional semantics of normal logic programs P Lucio, F Orejas, E Pino The Journal of Logic Programming 40 (1), 89-123, 1999 | 20 | 1999 |
Systematic semantic tableaux for PLTL J Gaintzarain, M Hermo, P Lucio, M Navarro Electronic Notes in Theoretical Computer Science 206, 59-73, 2008 | 19 | 2008 |
Constructive negation by bottom-up computation of literal answers J Álvez, P Lucio, F Orejas Proceedings of the 2004 ACM symposium on Applied computing, 1468-1475, 2004 | 17 | 2004 |
A strong logic programming view for static embedded implications R Arruabarrena, P Lucio, M Navarro International Conference on Foundations of Software Science and Computation …, 1999 | 15 | 1999 |
Black-box testing of first-order logic ontologies using WordNet J Álvez, P Lucio, G Rigau arXiv preprint arXiv:1705.10217, 2017 | 12 | 2017 |
Improving the competency of first-order ontologies J Álvez, P Lucio, G Rigau Proceedings of the 8th International Conference on Knowledge Capture, 1-8, 2015 | 12 | 2015 |
A framework for the evaluation of SUMO-based ontologies using WordNet J Álvez, P Lucio, G Rigau IEEE Access 7, 36075-36093, 2019 | 9 | 2019 |
Automatic white-box testing of first-order logic ontologies J Álvez, M Hermo, P Lucio, G Rigau Journal of Logic and Computation 29 (5), 723-751, 2019 | 8 | 2019 |
A Tutorial on Using Dafny to Construct Verified Software P Lucio arXiv preprint arXiv:1701.04481, 2017 | 8 | 2017 |
Towards Certified Model Checking for PLTL Using One-Pass Tableaux A Abuin, A Bolotov, U de Cerio, M Hermo, P Lucio Leibniz International Proceedings in Informatics 147, 12, 2019 | 7 | 2019 |
An assertional proof of the stability and correctness of natural mergesort R Leino, P Lucio ACM Transactions on Computational Logic (TOCL) 17 (1-6), 1-22, 2015 | 7 | 2015 |
An Assertional Proof of the Stability and Correctness of Natural Mergesort. . KRMLP Lucio ACM Transactions on Computational Logic 17 (1), 2015 | 7 | 2015 |
Logical foundations for more expressive declarative temporal logic programming languages J Gaintzarain, P Lucio ACM Transactions on Computational Logic (TOCL) 14 (4), 1-41, 2013 | 7 | 2013 |
Invariant-free clausal temporal resolution J Gaintzarain, M Hermo, P Lucio, M Navarro, F Orejas Journal of automated reasoning 50 (1), 1-49, 2013 | 7 | 2013 |
Extending fairness expressibility of ECTL+: a tree-style one-pass tableau approach A Bolotov, M Hermo, P Lucio 25th International Symposium on Temporal Representation and Reasoning (TIME …, 2018 | 6 | 2018 |