Análisis de la semántica declarativa trivaluada GS para la programación en lógica rebatible básica
- Autores
- Cecchi, Laura; Simari, Guillermo Ricardo
- Año de publicación
- 2000
- Idioma
- español castellano
- Tipo de recurso
- documento de conferencia
- Estado
- versión publicada
- Descripción
- 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.
Eje: Aspectos teóricos de inteligencia artificial
Red de Universidades con Carreras en Informática (RedUNCI) - Materia
-
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 - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
- Repositorio
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/22098
Ver los metadatos del registro completo
id |
SEDICI_1d5fb09b0c8ddadf6008e6e1b2f21a99 |
---|---|
oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/22098 |
network_acronym_str |
SEDICI |
repository_id_str |
1329 |
network_name_str |
SEDICI (UNLP) |
spelling |
Análisis de la semántica declarativa trivaluada GS para la programación en lógica rebatible básicaCecchi, LauraSimari, Guillermo RicardoCiencias InformáticasSemanticsExtensiones de la Programación en LógicaSemántica Declarativa de Extensiones de la Programación en LógicaARTIFICIAL INTELLIGENCESemántica de JuegosSistemas ArgumentativosEl 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.Eje: Aspectos teóricos de inteligencia artificialRed de Universidades con Carreras en Informática (RedUNCI)2000-05info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf29-31http://sedici.unlp.edu.ar/handle/10915/22098spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:27:43Zoai:sedici.unlp.edu.ar:10915/22098Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:27:43.593SEDICI (UNLP) - Universidad Nacional de La Platafalse |
dc.title.none.fl_str_mv |
Análisis de la semántica declarativa trivaluada GS para la programación en lógica rebatible básica |
title |
Análisis de la semántica declarativa trivaluada GS para la programación en lógica rebatible básica |
spellingShingle |
Análisis de la semántica declarativa trivaluada GS para la programación en lógica rebatible básica Cecchi, Laura 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 |
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 |
dc.creator.none.fl_str_mv |
Cecchi, Laura Simari, Guillermo Ricardo |
author |
Cecchi, Laura |
author_facet |
Cecchi, Laura Simari, Guillermo Ricardo |
author_role |
author |
author2 |
Simari, Guillermo Ricardo |
author2_role |
author |
dc.subject.none.fl_str_mv |
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 |
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 |
dc.description.none.fl_txt_mv |
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. Eje: Aspectos teóricos de inteligencia artificial Red de Universidades con Carreras en Informática (RedUNCI) |
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. |
publishDate |
2000 |
dc.date.none.fl_str_mv |
2000-05 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/conferenceObject info:eu-repo/semantics/publishedVersion Objeto de conferencia http://purl.org/coar/resource_type/c_5794 info:ar-repo/semantics/documentoDeConferencia |
format |
conferenceObject |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
http://sedici.unlp.edu.ar/handle/10915/22098 |
url |
http://sedici.unlp.edu.ar/handle/10915/22098 |
dc.language.none.fl_str_mv |
spa |
language |
spa |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
dc.format.none.fl_str_mv |
application/pdf 29-31 |
dc.source.none.fl_str_mv |
reponame:SEDICI (UNLP) instname:Universidad Nacional de La Plata instacron:UNLP |
reponame_str |
SEDICI (UNLP) |
collection |
SEDICI (UNLP) |
instname_str |
Universidad Nacional de La Plata |
instacron_str |
UNLP |
institution |
UNLP |
repository.name.fl_str_mv |
SEDICI (UNLP) - Universidad Nacional de La Plata |
repository.mail.fl_str_mv |
alira@sedici.unlp.edu.ar |
_version_ |
1842260115190710272 |
score |
13.13397 |