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-16T13:23:01Z
dc.date.available 2012-11-16T13:23:01Z
dc.date.issued 1995-10
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/24301
dc.description.abstract En este trabajo se estudia la semántica de conjuntos de respuestas para programas lógicos extendidos [5,4, 3], bajo la interpretación de sistemas de razonamiento no monótono trivaluados. Esto permite establecer una relación entre esta semántica con variantes trivaluadas de la lógica autoepistémica y la circunscripción, fundamentando la introducción de nuevos patrones de razonamiento dentro de la semántica de programas lógicos. Luego en base a esta equivalencia se presenta una caracterización de la semántica de modelos bien fundados como conjuntos de respuestas, en oposición a la definiciones originales [15, 13] fundamentadas en puntos fijos de operadores definidos ad-hoc. es
dc.format.extent 301-312 es
dc.language es es
dc.subject teorías no monótonas trivaluadas es
dc.subject Semantics es
dc.subject ARTIFICIAL INTELLIGENCE es
dc.subject Interpretación de la semántica de conjuntos de respuestas es
dc.title Interpretación de la semántica de conjuntos de respuestas como teorías no monótonas trivaluadas es
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 1995-10
sedici.relation.event I Congreso Argentino de Ciencias de la Computación es
sedici.description.peerReview peer-review es


Descargar archivos

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