- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c14 |      | David López, Claudia Zepeda Cortés, José Luis Carballido: Evaluation of a parallel approach implementation of the p-stable semantics. CONIELECOMP 2012: 22-27 |
| c13 | | Claudia Zepeda, José Luis Carballido, Sergio Arzola: A general framework for representing preferences. LA-NMR 2012: 129-136 |
| e2 | | Mauricio Osorio, Claudia Zepeda, Ivan Olmos, José Luis Carballido, R. Carolina Medina Ramírez (Eds.): Proceedings of the Eighth Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2012, Unidad Iztapalapa, México, D.F., September 10-11, 2012. CEUR Workshop Proceedings 911, CEUR-WS.org 2012 |
| 2011 | ||
| c12 | | Claudia Zepeda, José Luis Carballido, J. Manuel Amezcua, Oscar De Leon, Javier A. Martinez, Mauricio Osorio: Modeling production of resources using Answer Set Planning. CONIELECOMP 2011: 244-249 |
| c11 | | Mauricio Osorio, Juan Carlos Nieves, José Luis Carballido: The Stable Abducible Argumentation Semantics. LA-NMR 2011: 57-68 |
| c10 | | Mauricio Osorio, José Luis Carballido, Claudia Zepeda: An Application of Clasp in the Study of Logics. LPNMR 2011: 278-283 |
| c9 | | Mauricio Osorio, José Luis Carballido, Claudia Zepeda, Zenaida Cruz: Characterization of Argumentation Semantics in Terms of the MM r Semantics. MICAI (1) 2011: 16-27 |
| e1 | | Mauricio Osorio, Claudia Zepeda, Ivan Olmos, José Luis Carballido, José Arrazola, Carolina Medina (Eds.): Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, LANMR 2011, Toluca, Estado de México, México, November 7-8, 2011. CEUR Workshop Proceedings 804, CEUR-WS.org 2011 |
| 2010 | ||
| j5 | | José Luis Carballido, Mauricio Osorio, José Arrazola: Equivalence for the G'3-stable models semantics. J. Applied Logic 8(1): 82-96 (2010) |
| c8 | | Claudia Zepeda, José Luis Carballido, Mario Rossainz, Mauricio Osorio: Updates Based on ASP. MICAI (Special Sessions) 2010: 63-66 |
| 2009 | ||
| j4 | | José Luis Carballido, Juan Carlos Nieves, Mauricio Osorio: Inferring Preferred Extensions by Pstable Semantics. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 13(41): 38-53 (2009) |
| j3 | | Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieves, José Luis Carballido: G'3-Stable Semantics and Inconsistency. Computación y Sistemas 13(1) (2009) |
| j2 | | Claudia Zepeda, José Luis Carballido: P-stable models of strong kernel programs. J. Algorithms 64(1): 41-50 (2009) |
| c7 | | |
| 2008 | ||
| j1 | | Mauricio Javier Osorio Galindo, José R. Arrazola Ramírez, José Luis Carballido: Logical Weak Completions of Paraconsistent Logics. J. Log. Comput. 18(6): 913-940 (2008) |
| c6 | | Claudia Zepeda, José Luis Carballido: Computing of p-Stable Models Based on Semi-Negative Normal Programs with Constraints. ENC 2008: 203-210 |
| c5 | | |
| c4 | | Claudia Zepeda, José Luis Carballido: Semi-negative normal programs based on p-stable semantics. LA-NMR 2008 |
| 2007 | ||
| c3 | | José Luis Carballido, José Arrazola, Mauricio Osorio: Equivalence for the G3'-stable models semantics. LA-NMR 2007 |
| 2006 | ||
| c2 | | Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada: Programas Lógicos Disjunctivos y la Demostrabilidad de Atomos en Cw. LoLaCOM 2006 |
| c1 | | Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada: An Axiomatization of G'3. LoLaCOM 2006 |
| 1 | J. Manuel Amezcua | |
| 2 | Sergio Arzola | |
| 3 | Claudia Zepeda Cortés (Claudia Zepeda) | |
| 4 | Zenaida Cruz | |
| 5 | Oscar Hernán Estrada-Estrada (Oscar Estrada) | |
| 6 | Oscar De Leon | |
| 7 | David López 0005 | |
| 8 | Javier A. Martinez | |
| 9 | Juan Carlos Nieves | |
| 10 | Ivan Olmos | |
| 11 | Mauricio Osorio (Mauricio Javier Osorio Galindo) | |
| 12 | José R. Arrazola Ramírez (José Arrazola) | |
| 13 | R. Carolina Medina Ramírez (Carolina Medina) | |
| 14 | Mario Rossainz |
Data released under the ODC-BY 1.0 license — See also our legal information page