Buscar
Mostrando ítems 1-1 de 1
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, ...