dc.creator | Cecchi, Laura | |
dc.creator | Simari, Guillermo Ricardo | |
dc.date | 2000-05 | |
dc.date | 2000 | |
dc.date | 2012-10-09T15:09:37Z | |
dc.identifier | http://sedici.unlp.edu.ar/handle/10915/22098 | |
dc.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. | |
dc.description | Eje: Aspectos teóricos de inteligencia artificial | |
dc.description | Red de Universidades con Carreras en Informática (RedUNCI) | |
dc.format | application/pdf | |
dc.format | 29-31 | |
dc.language | es | |
dc.relation | II Workshop de Investigadores en Ciencias de la Computación | |
dc.rights | http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | |
dc.rights | Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) | |
dc.subject | Ciencias Informáticas | |
dc.title | Análisis de la semántica declarativa trivaluada GS para la programación en lógica rebatible básica | |
dc.type | Objeto de conferencia | |
dc.type | Objeto de conferencia | |