agent; reasoner; belief; modal logic; logical omniscience; doxastic logic; epistemic logic; kripke models | (1) |
agente; razonador; creencia; lógica modal; omnisciencia lógica; lógica doxástica; lógica epistémica; modelos de Kripke | (1) |
calidad de potencia; clasificación multivariable; continuidad del suministro de energía eléctrica; indicadores de calidad; inteligencia artificial; localización de fallas; técnica LAMDA. | (1) |
ontology, ontology visualization, Methontology, Protégé, human semen. | (1) |
ontología; visualización de ontologías; Methontology; Protégé; semen humano. | (1) |
Más... |
1.
|
Una solución económica a los problemas de calidad del servicio del suministro de energía eléctrica, Una solución económica a los problemas de calidad del servicio del suministro de energía eléctrica Barrera Núñez, Víctor; Asesor Programa Nacional de Investigaciones en Energía y Minería, Colciencias, Asistente de Investigación GISEL. - Mora Flórez, Juan José; Universidad Tecnológica de Pereira - Carrillo, Gilberto; Universidad Industrial de Santander - Ordóñez, Gabriel; Universidad Industrial de Santander
|
2.
|
Aplicación de visualización de una ontología para el dominio del análisis del semen humano, Application to visualize an ontology for the human semen analysis domain Ramos, Esmeralda; Universidad Central de Venezuela - Pereira, Yimmy; Universidad Central de Venezuela - Núñez, Haydemar; Universidad Central de Venezuela - Castro, Marcel; Universidad Central de Venezuela - Casañas, Roberto; Universidad Central de Venezuela
|
3.
|
Some modal logics associated to the reasoning of intelligent agents, Algunas lógicas modales asociadas al razonamiento de agentes inteligentes Rúa M., Gloria; Universidad EAFIT - Sierra A., Manuel; Universidad EAFIT
|