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-13T13:30:44Z
dc.date.available 2012-11-13T13:30:44Z
dc.date.issued 1997
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/24078
dc.description.abstract This is the second in a series of two papers in which we intend to study the formal properties of the semantics of Circumscriptive Logic Programs [6, 7]. The first one [8] was devoted to the strong properties [3], so called after its counterparts in nonmonotonic consequence relations [13, 20]. In this work we apply to this semantics the weak properties [4], specifically defined an extension of these principles to extended logic programs (they were originally defined for normal logic programs) and prove that the semantics of Circumscriptive Logic Programs is well-behaved [4, 5] in the sense it satisfies all “reasonable” principles. en
dc.language en es
dc.subject ARTIFICIAL INTELLIGENCE es
dc.subject Weak properties en
dc.subject Logic Programming es
dc.subject circumscriptive logic programming en
dc.title Weak 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: Workshop sobre Aspectos Teoricos de la 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 1997
sedici.relation.event III Congreso Argentino de Ciencias de la Computación es
sedici.description.peerReview peer-review es


Descargar archivos

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