 | 2012 |
| 13 |  | 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 |
| 2011 |
| 12 |  | 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 |
| 11 |  | Mauricio Osorio,
José Luis Carballido,
Claudia Zepeda:
An Application of Clasp in the Study of Logics.
LPNMR 2011: 278-283 |
| 10 |  | 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 |
| 2010 |
| 9 |  | Claudia Zepeda,
José Luis Carballido,
Mario Rossainz,
Mauricio Osorio:
Updates Based on ASP.
MICAI (Special Sessions) 2010: 63-66 |
| 8 |  | José Luis Carballido,
Mauricio Osorio,
José Arrazola:
Equivalence for the G'3-stable models semantics.
J. Applied Logic 8(1): 82-96 (2010) |
| 2009 |
| 7 |  | 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) |
| 6 |  | Claudia Zepeda,
José Luis Carballido:
P-stable models of strong kernel programs.
J. Algorithms 64(1): 41-50 (2009) |
| 2008 |
| 5 |  | Claudia Zepeda,
José Luis Carballido:
Computing of p-Stable Models Based on Semi-Negative Normal Programs with Constraints.
ENC 2008: 203-210 |
| 4 |  | 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) |
| 2007 |
| 3 |  | José Luis Carballido,
José Arrazola,
Mauricio Osorio:
Equivalence for the G3'-stable models semantics.
LA-NMR 2007 |
| 2006 |
| 2 |  | Mauricio Osorio,
José R. Arrazola Ramírez,
José Luis Carballido,
Oscar Estrada:
An Axiomatization of G'3.
LoLaCOM 2006 |
| 1 |  | 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 |