Representacion y gestion del conocimiento con cuantificacion intermedia.
Tesis doctoral de Amelia Bilbao Terol Esta tesis se basa en una linea de evolucion de la logica clasica hacia […]
Tesis doctoral sobre Logica formal
Accede a todas las tesis doctorales sobre Logica formal mas relevantes.
Estudio del lema de interpolacion en el contexto de diversos lenguajes formales.
Tesis doctoral de Cristina Corredor Lanas La tesis consiste en una presentacion sistematizada del lema de interpolacion, analizando los rasgos
Logica de segundo orden: problemas metateoreticos.
Tesis doctoral de Angel Nepomuceno Fernandez Datos académicos de la tesis doctoral «Logica de segundo orden: problemas metateoreticos.« Título
La nocion de identidad en la teoria cuantificacional moderna. analisis logicos alternativos.
Tesis doctoral de Juan a Sanchez Sanchez Datos académicos de la tesis doctoral «La nocion de identidad en la
Sistema de visión para agricultura de precisión: identificación en tiempo real de lineas de cultivo y malas hierbas en campos de maiz.
Tesis doctoral de José Miguel Guerrero Hernandez El control de malas hierbas en grandes extensiones de terreno resulta costoso y
Estudio, implementación y evaluación de un tutor inteligente para el aprendizaje de lógica computacional basado en modelos y apoyado en conocimiento
Tesis doctoral de José Alberto Maestro Prieto La tesis desarrolla un sistema tutor inteligente para la enseñanza de lógica computacional.
Negaciones subintuicionistas para logicas con la conversa de la propiedad ackermann
Tesis doctoral de Gemma Robles Vazquez Una lógica se denomina «positiva» si carece de negación. Decimos que una lógica tiene
Contribución a los sistemas de intermediación en el ámbito del aprendizaje electrónico utilizando tecnologías semánticas
Tesis doctoral de Juan Manuel Santos Gago Ante un panorama caracterizado por la existencia de una creciente multitud de instituciones
Contribución al estudio crítico de la inferencia borrosa y de sus aplicaciones
Tesis doctoral de Eloy Renedo Gutiérrez El trabajo descrito en esta memoria se enmarca en el campo general de la
Teoría computacional (en acl2) sobre cálculos proposicionales
Tesis doctoral de Francisco Jesús Martín Mateos En este trabajo se desarrolla una formalización de sistemas de razonamiento proposicionales y