ListarArtículos (Ciencias de la Computación e Inteligencia Artificial) por materia "Formal methods"
Mostrando ítems 1-1 de 1
-
Artículo
Formally Verified Tableau-Based Reasoners for a Description Logic
(Springer, 2014)Description Logics are a family of logics used to represent and reason about conceptual and terminological knowledge. One ...