Artículos
URI permanente para esta colección
Examinar
Examinando Artículos por Fecha de publicación
Mostrando 1 - 20 de 62
Resultados por página
Opciones de ordenación
Ítem Sistema de logica paraconsistente C1(Fondo Editorial Universidad EAFIT, 2000-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Computación cuántica: una perspectiva desde lo continuo(Fondo Editorial Universidad EAFIT, 2000-04-01) Sicard, Andrés; Sicard, Andrés; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Sistemas de logica diagonal LD1, LD2, , LD42(Fondo Editorial Universidad EAFIT, 2001-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem El formalismo de la teoría gauge en la computación cuántica(Sociedad Colombiana de Física, 2001-01-01) Sicard, Andrés; Sicard, Andrés; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Arboles de forzamiento semantico(Fondo Editorial Universidad EAFIT, 2001-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Hipercomputación: la próxima generación de la computación teórica(Fondo Editorial Universidad EAFIT, 2001-01-01) Sicard, Andrés; Sicard, Andrés; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem A Debugging Scheme of Functional Logic Programs(Elsevier BV, 2002-01-01) Correa, Francisco Jose; CORREA, FRANCISCO JOSE; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Logica Basica paraconsistente y paracompleta con negacion clasica(Fondo Editorial Universidad EAFIT, 2002-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Lógica Básica con Aceptación Fuerte(2003-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Correction of functional logic programs(SPRINGER, 2003-01-01) Alpuente, M.; Ballis, D.; Correa, F.J.; Falaschi, M.; Alpuente, M.; Ballis, D.; Correa, F.J.; Falaschi, M.; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónWe propose a new methodology for synthesizing correct functional logic programs. We aim to create an integrated development environment in which it is possible to debug a program and correct it automatically. We start from a declarative diagnoser that we have developed previously which allows us to identify wrong program rules w.r.t. an intended specification. Then a bug-correction, program synthesis methodology tries to correct the erroneous components of the wrong code. We propose a hybrid, top-down (unfolding-based) as well as bottom-up (induction-based), approach for the automatic correction of functional logic programs which is driven by a set of evidence examples which are automatically produced as an outcome by the diagnoser. The resulting program is proven to be correct and complete w.r.t. the considered example sets. Finally, we also provide a prototypical implementation which we use for an experimental evaluation of our system. © Springer-Verlag Berlin Heidelberg 2003.Ítem Forzamiento Semántico de Marcas para la Lógica Básica Paraconsistente LBPc(Fondo Editorial Universidad EAFIT, 2003-06-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Computación cuántica geométrica: modelo de 3 estados(Sociedad Colombiana de Física, 2004-01-01) Sicard, Andrés; Sicard, Andrés; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Lógica Básica Paraconsistente y Paracompleta y algunas de sus extensiones(Fondo Editorial Universidad EAFIT, 2004-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Universalidad de la computación cuántica geométrica: modelo del medio Kerr(Sociedad Colombiana de Física, 2004-01-01) Sicard, Andrés; Sicard, Andrés; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Un Depurador Abstracto, Inductivo y Paramétrico Para Programas Multiparadigma(2004-12-01) Correa, Francisco Jose; CORREA, FRANCISCO JOSE; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Universalidad de la computación cuántica geométrica: modelo de tres estados(Fondo Editorial Universidad EAFIT, 2005-01-01) Sicard, Andrés; Sicard, Andrés; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Lógica básica con afirmación y negación alternas(Fondo Editorial Universidad EAFIT, 2005-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Lógica básica paraconsistente y paracompleta sin negación clásica y algunas de sus extensiones(2005-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Lógica básica con afirmación alterna(Fondo Editorial Universidad EAFIT, 2005-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Sistema paraconsistente LBPc¬I(Fondo Editorial Universidad EAFIT, 2006-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación