7 citations · 13 across the 5 of their papers we have counts for
6 papers
A Tableau Method for the Realizability and Synthesis of Reactive Safety Specifications
Montserrat Hermo, Paqui Lucio, César Sánchez
We introduce a tableau decision method for deciding realizability of specifications expressed in a safety fragment of LTL that includes bounded future temporal operators. Tableau d…
Automatic White-Box Testing of First-Order Logic Ontologies
Javier Álvez, Montserrat Hermo, Paqui Lucio +1
Formal ontologies are axiomatizations in a logic-based formalism. The development of formal ontologies, and their important role in the Semantic Web area, is generating considerabl…
Black-box Testing of First-Order Logic Ontologies Using WordNet
Javier Álvez, Paqui Lucio, German Rigau
Artificial Intelligence aims to provide computer programs with commonsense knowledge to reason about our world. This paper offers a new practical approach towards automated commons…
A Tutorial on Using Dafny to Construct Verified Software
Paqui Lucio
This paper is a tutorial for newcomers to the field of automated verification tools, though we assume the reader to be relatively familiar with Hoare-style verification. In this pa…
Evaluating the Competency of a First-Order Ontology
Javier Álvez, Paqui Lucio, German Rigau
We report on the results of evaluating the competency of a first-order ontology for its use with automated theorem provers (ATPs). The evaluation follows the adaptation of the meth…
Improving the Competency of First-Order Ontologies
Javier Álvez, Paqui Lucio, German Rigau
We introduce a new framework to evaluate and improve first-order (FO) ontologies using automated theorem provers (ATPs) on the basis of competency questions (CQs). Our framework in…