Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2012-10-09T15:09:37Z
dc.date.available 2012-10-09T15:09:37Z
dc.date.issued 2000
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/22098
dc.description.abstract 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. es
dc.format.extent 29-31 es
dc.language es es
dc.subject Semantics es
dc.subject Extensiones de la Programación en Lógica es
dc.subject Semántica Declarativa de Extensiones de la Programación en Lógica es
dc.subject ARTIFICIAL INTELLIGENCE es
dc.subject Semántica de Juegos es
dc.subject Sistemas Argumentativos es
dc.title Análisis de la semántica declarativa trivaluada GS para la programación en lógica rebatible básica es
dc.type Objeto de conferencia es
sedici.creator.person Cecchi, Laura es
sedici.creator.person Simari, Guillermo Ricardo es
sedici.description.note Eje: Aspectos teóricos de inteligencia artificial es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Red de Universidades con Carreras en Informática (RedUNCI) es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
sedici.date.exposure 2000-05 es
sedici.relation.event II Workshop de Investigadores en Ciencias de la Computación es
sedici.description.peerReview peer-review es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (294.5Kb) - PDF

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) 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)