Semantica G3'-Estable e Inconsistencia
Centro de Investigación en Computación, Dirección General de Servicios de Cómputo Académico, IPN, publicado en Computación y Sistemas, y cosechado de Revistas UNAM
dor_id: 29489
506.#.#.a: Público
502.#.#.a:
590.#.#.d: si
510.0.#.a: Consejo Nacional de Ciencia y Tecnología (CONACyT), SCOPUS, Red de Revistas Cientificas de America Latina y el Caribe,España y Portugal (Redalyc), Scientific Electronic Library Online (SciELO), eJournal, Periódica: Índice de Revistas Latinoamericanas en Ciencias, Sistema Regional de Información en Línea para Revistas Científicas de América Latina, el Caribe, España y Portugal (Latindex), Digital Bibliography & Library Project (DBLP)
561.#.#.u: https://www.cic.ipn.mx/
561.#.#.a: Centro de Investigación en Computación
650.#.4.x: Ciencias Sociales y Económicas
336.#.#.b: article
336.#.#.3: Artículo de Investigación
336.#.#.a: Artículo
351.#.#.6: http://revistas.unam.mx/index.php/cys/
351.#.#.b: Computación y Sistemas
351.#.#.a: Artículos
harvesting_group: RevistasUNAM
270.1.#.p: Revistas UNAM. Dirección General de Publicaciones y Fomento Editorial, UNAM en revistas@unam.mx
590.#.#.c: Open Journal Systems (OJS)
270.#.#.d: MX
270.1.#.d: México
590.#.#.b: Concentrador
883.#.#.u: http://www.revistas.unam.mx/front/
883.#.#.a: Revistas UNAM
590.#.#.a: Coordinación de Difusión Cultural
883.#.#.1: http://www.publicaciones.unam.mx/
883.#.#.q: Dirección General de Publicaciones y Fomento Editorial
850.#.#.a: Universidad Nacional Autónoma de México
856.4.0.u: http://revistas.unam.mx/index.php/cys/article/view/17030/16210
524.#.#.a: Semantica G3'-Estable e Inconsistencia. (2010). Computación y Sistemas; Vol 13, No 001, 2009. Recuperado de https://repositorio.unam.mx/contenidos/29489
720.#.#.a: Carballido, José Luis ; Osorio, Mauricio ; Zepeda, Claudia ; Nieves, Juan Carlos
245.1.0.a: Semantica G3'-Estable e Inconsistencia
502.#.#.c: Instituto Politécnico Nacional
561.1.#.a: Centro de Investigación en Computación, Dirección General de Servicios de Cómputo Académico, IPN
264.#.0.c: 2010
264.#.1.c: 2010-04-27
653.#.#.a: Semántica : G’3-estable; Programación Lógica; Razonamiento No-monótono
506.1.#.a: La titularidad de los derechos patrimoniales de esta obra pertenece a las instituciones editoras. Su uso se rige por una licencia Creative Commons BY-NC-ND 4.0 Internacional, https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es, fecha de asignación de la licencia 2010-04-27, para un uso diferente consultar al responsable jurídico del repositorio por medio de computacion-y-sistemas@cic.ipn.mx
884.#.#.k: http://revistas.unam.mx/index.php/cys/article/view/17030
041.#.7.h: spa
520.3.#.a: PRESENTAMOS UN RESUMEN ACERCA DE CÓMO REALIZAR RAZONAMIENTO NO-MONÓTONO BASADO EN LÓGICAS PARACONSISTENTES. EN PARTICULAR, MOSTRAMOS QUE ES POSIBLE DEFINIR UNA SEMÁNTICA DE PROGRAMACIÓN LÓGICA BASADA EN LA LÓGICA PARACONSISTENTE G€™3, LA CUAL ES LLAMADA SEMÁNTICA G€™3-ESTABLE. ESTA SEMÁNTICA DEFINE UN MARCO PARA REALIZAR RAZONAMIENTO NO-MONÓTONO EN DOMINIOS LOS CUALES ESTÁN PLAGADOS DE VAGUEDADES E INCONSISTENCIAS. DE HECHO, MOSTRAMOS QUE AL CONSIDERAR TAMBIÉN UN PUNTO DE VISTA LÓGICO POSIBILISTA, ES POSIBLE USAR LA EXTENSIÓN DE ESTE MARCO DE TRABAJO PARA DEFINIR UN ENFOQUE DE PROGRAMACIÓN LÓGICA POSIBILÍSTICO QUE PUEDE TRATAR CON RAZONAMIENTO QUE ES AL MISMO TIEMPO NO MONÓTONO E INCIERTO.
773.1.#.t: Computación y Sistemas; Vol 13, No 001 (2009)
022.#.#.a: 1405-5546
handle: 104a0d85982fd4c3
harvesting_date: 2019-02-06 00:00:00.0
856.#.0.q: application/pdf
last_modified: 2019-04-12 00:00:00
license_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es
license_type: by-nc-nd
_deleted_conflicts: 2-974834f655034fc462e314063b7b1750
Centro de Investigación en Computación, Dirección General de Servicios de Cómputo Académico, IPN, publicado en Computación y Sistemas, y cosechado de Revistas UNAM
Semantica G3'-Estable e Inconsistencia. (2010). Computación y Sistemas; Vol 13, No 001, 2009. Recuperado de https://repositorio.unam.mx/contenidos/29489