Un operador general de contracción para programas lógicos

En este trabajo, presentamos un operador de contracción para el caso de programas lógicos. La clase de programas tratados es la de programas lógicos normales extendidos con la negación clásica. Es decir, dichos programas contemplan tanto la negación por falla (NAF) y la negación clásica. El operador...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Vaucheret, Claudio A., Simari, Guillermo Ricardo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 1998
Materias:
Ciencias Informáticas
Informática
Logic Programming
teoría de cambio de creencias
debugging declarativo
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24874
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares