2009 |
5 | EE | Claudia Zepeda,
José Luis Carballido:
P-stable models of strong kernel programs.
J. Algorithms 64(1): 41-50 (2009) |
2008 |
4 | EE | Claudia Zepeda,
José Luis Carballido:
Computing of p-Stable Models Based on Semi-Negative Normal Programs with Constraints.
ENC 2008: 203-210 |
2007 |
3 | EE | José Luis Carballido,
José Arrazola,
Mauricio Osorio:
Equivalence for the G3'-stable models semantics.
LA-NMR 2007 |
2006 |
2 | EE | Mauricio Osorio,
José R. Arrazola Ramírez,
José Luis Carballido,
Oscar Estrada:
An Axiomatization of G'3.
LoLaCOM 2006 |
1 | EE | 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 |