Buscar
Mostrando ítems 1-10 de 1734
Simetrías en lógicas de descripción
(2017)
En esta tesis trabajaremos con el concepto de simetría en el contexto del razonamiento automático. Si podemos identificar las simetrías de un problema, podríamos utilizarlas para reducir la dificultad del razonamiento ...
Curso de Lógica y Matemática - Unidad 0: ¿Por qué estudiamos lógica?
(SABER ULA, 2003)
Curso de Lógica y Matemática - Unidad 0: ¿Por qué estudiamos lógica?
(SABER ULA, 2003)
Basic description logics
(2011)
Topic Maps - Part 2 : data model
(ISO/IEC, 2011)
Reasoning in description logic
(School of Information and Electrical Engineering. The University of Queensland, 2011)