research
∙
06/03/2022
A Tableau Method for the Realizability and Synthesis of Reactive Safety Specifications
We introduce a tableau decision method for deciding realizability of spe...
share
research
∙
05/29/2017
Automatic White-Box Testing of First-Order Logic Ontologies
A long-standing dream of Artificial Intelligence (AI) has pursued to enc...
research
∙
05/29/2017
Black-box Testing of First-Order Logic Ontologies Using WordNet
A long-standing dream of Artificial Intelligence (AI) has pursued to enr...
research
∙
10/16/2015
Evaluating the Competency of a First-Order Ontology
We report on the results of evaluating the competency of a first-order o...
research
∙
10/16/2015