Upload resources

Upload your works to SEDICI to increase its visibility and improve its impact

 

Show simple item record

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


Download Files

Thumbnail
Documento completo
Download file (467.4Kb) - PDF

This item appears in the following Collection(s)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Except where otherwise noted, this item's license is described as Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)