 | 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 |
