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-15T12:41:19Z
dc.date.available 2012-11-15T12:41:19Z
dc.date.issued 1996-11
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/24202
dc.description.abstract Dix [7, 5, 6] introduced a method for classifying semantics of normal logic programs. Some of these properties, called strong properties, are adaptations of properties from general nommonotonic theories. We apply this technique to circumscriptive logic programs [8, 9], an extension of traditional logic programming that incorporates circumscriptive policies in the programs. We show this approach preserves cumulativity, although it is not rational and supraclassical. This suggests circumscriptive logic programs have a correct behavior, maintaining properties from normal logic programs es
dc.format.extent 386-398 es
dc.language en es
dc.subject ARTIFICIAL INTELLIGENCE es
dc.subject Strong properties en
dc.subject Logic Programming es
dc.subject circumscriptive logic programming en
dc.title Strong properties of circumscriptive logic programming en
dc.type Objeto de conferencia es
sedici.creator.person Fillottrani, Pablo Rubén es
sedici.creator.person Simari, Guillermo Ricardo es
sedici.description.note Eje: 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 1996-11
sedici.relation.event II Congreso Argentino de Ciencias de la Computación es
sedici.description.peerReview peer-review es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (1.001Mb) - 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)