ListarTeses de doutoramento por tema "Programación lógica"
Mostrando ítems 1-3 de 3
-
A casual semantics for Logic Programming
(2015)[Resumen] En esta tesis, extendemos algunas de las principales semánticas de programación lógica, de manera que la información causal asociada con un átomo sea incluida en los modelos de cada programa lógico. Técnicamente, ... -
Análisis eficaz de gramáticas de cláusulas definidas
(2002)[Resumen] Dentro del análisis sintáctico, la utilización de formalismos gramaticales valuados es, hoy por hoy, punto inconturnable 'en el desarrollo de estrategias de análisis sintáctico en entornos de procesamiento del ... -
Una aproximación a la programación lógica con funciones indeterministas
(Universidade da Coruña. Departamento de Computación, 1992)[Resumen] LA MEMORIA ES UN INTENTO DE INTEGRACION DE PROGRAMACION LOGICA Y FUNCIONAL DERIVADO DEL LENGUAJE DE PROGRAMACION BABEL, UTILIZA DOMINIOS DE SCOTT PARA LA SEMANTICA DECLARATIVA DEL LENGUAJE Y CONSTRUYE EL ...