 | 2009 |
18 |  | Mauricio Osorio,
Claudia Zepeda,
Hilda Castillo:
A Formal Design Model for Mechatronic Systems.
CONIELECOMP 2009: 125-129 |
17 |  | Juan Carlos Nieves,
Mauricio Osorio,
Claudia Zepeda:
Expressing Extension-Based Semantics Based on Stratified Minimal Models.
WoLLIC 2009: 305-319 |
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) |