Análisis de la semántica declarativa trivaluada GS para la programación en lógica rebatible básica

El objetivo de este trabajo es presentar un análisis del conjunto de las consecuencias de un programa lógico rebatible. Como resultado inmediato surge un teorema en el que se prueba que la semántica GS es sensata y completa con respecto a la semántica operacional.

Guardado en:
Detalles Bibliográficos
Autores principales: Cecchi, Laura, Simari, Guillermo Ricardo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2000
Materias:
Ciencias Informáticas
Semantics
Extensiones de la Programación en Lógica
Semántica Declarativa de Extensiones de la Programación en Lógica
ARTIFICIAL INTELLIGENCE
Semántica de Juegos
Sistemas Argumentativos
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22098
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares