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.
Notas
Eje: Aspectos teóricos de inteligencia artificial
Información general
Fecha de exposición:mayo 2000
Fecha de publicación:2000
Idioma del documento:Español
Evento:II Workshop de Investigadores en Ciencias de la Computación
Institución de origen:Red de Universidades con Carreras en Informática (RedUNCI)
Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)