( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automatic white-box testing of first-order logic ontologies.

, , , и . J. Log. Comput., 29 (5): 723-751 (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Gonzalo Lucioni

Alice Paquin

Hans Dieter Paquin

Marianna Lucio

Waldemar Paquin

 

Другие публикации лиц с тем же именем

A Functorial Framework for Constraint Normal Logic Programming., , , и . Appl. Categorical Struct., 16 (3): 421-450 (2008)Improving the Competency of First-Order Ontologies., , и . K-CAP, стр. 15:1-15:8. ACM, (2015)Branching-time logic ECTL# and its tree-style one-pass tableau: Extending fairness expressibility of ECTL+., , и . Theor. Comput. Sci., (2020)A New Proposal Of Quasi-Solved Form For Equality Constraint Solving., и . PROLE, том 206 из Electronic Notes in Theoretical Computer Science, стр. 23-40. Elsevier, (2007)One-Pass Context-Based Tableaux Systems for CTL and ECTL., , , и . TIME, том 178 из LIPIcs, стр. 14:1-14:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Verified Model Checking for Conjunctive Positive Logic., , , и . SN Comput. Sci., 2 (5): 344 (2021)A Monotonic Declarative Semantics for Normal Logic Programs., , и . APPIA-GULP-PRODE, стр. 271-282. (1997)Logical foundations for more expressive declarative temporal logic programming languages., и . ACM Trans. Comput. Log., 14 (4): 28:1-28:41 (2013)An Assertional Proof of the Stability and Correctness of Natural Mergesort., и . ACM Trans. Comput. Log., 17 (1): 6 (2015)A Framework for the Evaluation of SUMO-Based Ontologies Using WordNet., , и . IEEE Access, (2019)