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.

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
id I19-R120-10915-22098
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic 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
spellingShingle 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
Cecchi, Laura
Simari, Guillermo Ricardo
Análisis de la semántica declarativa trivaluada GS para la programación en lógica rebatible básica
topic_facet 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
description 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.
format Objeto de conferencia
Objeto de conferencia
author Cecchi, Laura
Simari, Guillermo Ricardo
author_facet Cecchi, Laura
Simari, Guillermo Ricardo
author_sort Cecchi, Laura
title Análisis de la semántica declarativa trivaluada GS para la programación en lógica rebatible básica
title_short Análisis de la semántica declarativa trivaluada GS para la programación en lógica rebatible básica
title_full Análisis de la semántica declarativa trivaluada GS para la programación en lógica rebatible básica
title_fullStr Análisis de la semántica declarativa trivaluada GS para la programación en lógica rebatible básica
title_full_unstemmed Análisis de la semántica declarativa trivaluada GS para la programación en lógica rebatible básica
title_sort análisis de la semántica declarativa trivaluada gs para la programación en lógica rebatible básica
publishDate 2000
url http://sedici.unlp.edu.ar/handle/10915/22098
work_keys_str_mv AT cecchilaura analisisdelasemanticadeclarativatrivaluadagsparalaprogramacionenlogicarebatiblebasica
AT simariguillermoricardo analisisdelasemanticadeclarativatrivaluadagsparalaprogramacionenlogicarebatiblebasica
bdutipo_str Repositorios
_version_ 1764820465535156225

Ejemplares similares