Subir material

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

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2012-11-29T13:18:39Z
dc.date.available 2012-11-29T13:18:39Z
dc.date.issued 1998-11
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/24874
dc.description.abstract En este trabajo, presentamos un operador de contracción para el caso de programas lógicos. La clase de programas tratados es la de programas lógicos normales extendidos con la negación clásica. Es decir, dichos programas contemplan tanto la negación por falla (NAF) y la negación clásica. El operador de contracción está basado en la contracción Kernel [2] de la Teoría de Cambio de creencias. Para remover un literal de las inferencias de un programa, se reconocen cuales son los componentes del programa que contituyen las justificaciones de ese literal y se opera sobre ellos para obtener un nuevo programa contraído. es
dc.language es es
dc.subject Logic Programming es
dc.subject teoría de cambio de creencias es
dc.subject debugging declarativo es
dc.title Un operador general de contracción para programas lógicos es
dc.type Objeto de conferencia es
sedici.creator.person Vaucheret, Claudio A. es
sedici.creator.person Simari, Guillermo Ricardo es
sedici.description.note V Workshop sobre Aspectos Teóricos de la Inteligencia Artificial (ATIA) es
sedici.subject.materias Ciencias Informáticas es
sedici.subject.materias Informática 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 1998-10
sedici.relation.event IV Congreso Argentina de Ciencias de la Computación es
sedici.description.peerReview peer-review es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (467.4Kb) - 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)