Paqui Lucio

Identifiers

• name variant Paqui Lucio 0.60 · backfill

Papers (5)

1. Automatic White-Box Testing of First-Order Logic Ontologies cs.AI · 2017 · author #3
2. Black-box Testing of First-Order Logic Ontologies Using WordNet cs.AI · 2017 · author #2
3. A Tutorial on Using Dafny to Construct Verified Software cs.SE · 2017 · author #1
4. Evaluating the Competency of a First-Order Ontology cs.AI · 2015 · author #2
5. Improving the Competency of First-Order Ontologies cs.AI · 2015 · author #2

Mentions

• 1510.04826 #2 · backfill · confidence 0.70 Paqui Lucio
• 1510.04817 #2 · backfill · confidence 0.70 Paqui Lucio

Frequent Coauthors

• German Rigau 4 shared papers
• Javier \'Alvez 4 shared papers
• Montserrat Hermo 1 shared papers