 | 2012 |
| 26 |  | 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 |
| 25 |  | 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 |
| 24 |  | Mauricio Osorio,
José Luis Carballido,
Claudia Zepeda:
An Application of Clasp in the Study of Logics.
LPNMR 2011: 278-283 |
| 23 |  | 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 |
| 22 |  | Juan Carlos Nieves,
Mauricio Osorio,
Claudia Zepeda:
A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory.
Fundam. Inform. 106(2-4): 295-319 (2011) |
| 2010 |
| 21 |  | Claudia Zepeda,
José Luis Carballido,
Mario Rossainz,
Mauricio Osorio:
Updates Based on ASP.
MICAI (Special Sessions) 2010: 63-66 |
| 20 |  | Mauricio Javier Osorio Galindo,
Claudia Zepeda Cortés:
Guest Editorial: Fifth Latin American Workshop on Non-Monotonic Reasoning 2009, (LANMR'09).
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 14(48): 1-2 (2010) |
| 2009 |
| 19 |  | Mauricio Osorio,
Claudia Zepeda,
Hilda Castillo:
A Formal Design Model for Mechatronic Systems.
CONIELECOMP 2009: 125-129 |
| 18 |  | Juan Carlos Nieves,
Mauricio Osorio,
Claudia Zepeda:
Expressing Extension-Based Semantics Based on Stratified Minimal Models.
WoLLIC 2009: 305-319 |
| 17 |  | Mauricio Osorio,
Claudia Zepeda:
Guest Editorial: Workshops by the Logic and Computation Mexican Group.
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 13(41): 1-3 (2009) |
| 16 |  | Claudia Zepeda,
José Luis Carballido:
P-stable models of strong kernel programs.
J. Algorithms 64(1): 41-50 (2009) |
| 2008 |
| 15 |  | Claudia Zepeda,
José Luis Carballido:
Computing of p-Stable Models Based on Semi-Negative Normal Programs with Constraints.
ENC 2008: 203-210 |
| 2007 |
| 14 |  | José Arrazola,
Pilar Pozos Parra,
Mauricio Osorio,
Claudia Zepeda:
Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the LA-NMR07 Workshop, Benemérita Universidad Autónoma de Puebla, Puebla, Pue., México, 17th - 19th September 2007
CEUR-WS.org 2007 |
| 13 |  | Mauricio Osorio,
Claudia Zepeda:
Update Sequences Based on Minimal Generalized Pstable Models.
MICAI 2007: 283-293 |
| 12 |  | Claudia Zepeda,
David Sol:
Evacuation Planning using Answer Set Programming: An initial approach.
Engineering Letters 15(2): 240-249 (2007) |
| 2006 |
| 11 |  | Mauricio Osorio,
Claudia Zepeda,
Pilar Pozos Parra,
Guillermo De Ita Luna:
Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the LA-NMR06 Workshop, Facultad de Ingeniería de la Universidad Auónoma de San Luis Potí, San Luis Potosí, México, September 18, 2006
CEUR-WS.org 2006 |
| 10 |  | Rogelio Dávila,
Mauricio Osorio,
Claudia Zepeda:
Proceedings of the LoLaCOM06 Workshop, Instituto Tecnológico de Apizaco, Apizaco, Tlaxcala, México, 13th - 14th November 2006
CEUR-WS.org 2006 |
| 9 |  | Mauricio Osorio,
Claudia Zepeda:
Preferences using Answer Sets.
LA-NMR 2006 |
| 8 |  | Mauricio Osorio,
Claudia Zepeda:
Minimal Generalized Answer-Sets and their Applications.
LoLaCOM 2006 |
| 7 |  | Mauricio Osorio,
Claudia Zepeda:
Answer Set General Theories and Preferences.
MICAI 2006: 59-69 |
| 2005 |
| 6 |  | Claudia Zepeda,
Mauricio Osorio,
Juan Carlos Nieves,
Christine Solnon,
David Sol:
Applications of Preferences using Answer Set Programming.
Answer Set Programming 2005 |
| 5 |  | Claudia Zepeda,
Mauricio Osorio,
David Sol:
Modeling Evacuation Planning Using A-Prolog.
CONIELECOMP 2005: 292-297 |
| 4 |  | Mauricio Osorio,
Claudia Zepeda,
Juan Carlos Nieves,
Ulises Cortés:
Inferring acceptable arguments with Answer Set Programming.
ENC 2005: 198-205 |
| 2004 |
| 3 |  | Claudia Zepeda,
Christine Solnon,
David Sol:
Planning Operation: An Extensio'n of a Geographical Information System.
LA-NMR 2004 |
| 2003 |
| 2 |  | Mauricio Osorio,
Claudia Zepeda:
Towards the use of Semantics Contents in ASP for planning and diagnistic in GIS.
Answer Set Programming 2003 |
| 2001 |
| 1 |  | Jürgen Dix,
Mauricio Osorio,
Claudia Zepeda:
A general theory of confluent rewriting systems for logic programming and its applications.
Ann. Pure Appl. Logic 108(1-3): 153-188 (2001) |