Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Claudia Zepeda Cortés
Claudia Zepeda
2010 – today
- 2012
[c24]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- [c23]Claudia Zepeda, José Luis Carballido, Sergio Arzola: A general framework for representing preferences. LA-NMR 2012: 129-136
- [c22]Sergio Arzola, Claudia Zepeda: Unified Perception-Prediction Model for Cognitive Agents. LA-NMR 2012: 145-148
- [e6]Mauricio Osorio, Claudia Zepeda, Ivan Olmos, José Luis Carballido, R. Carolina Medina Ramírez (Eds.): Proceedings of the Eighth Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2012, Unidad Iztapalapa, México, D.F., September 10-11, 2012. CEUR Workshop Proceedings 911, CEUR-WS.org 2012
- 2011
- [j7]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)
- [c21]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
- [c20]Sergio Arzola, Claudia Zepeda: Modeling and Encoding Automated Planning Problems with the P-stable Semantics. LA-NMR 2011: 45-56
- [c19]Mauricio Osorio, José Luis Carballido, Claudia Zepeda: An Application of Clasp in the Study of Logics. LPNMR 2011: 278-283
- [c18]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
- [e5]Mauricio Osorio, Claudia Zepeda, Ivan Olmos, José Luis Carballido, José Arrazola, Carolina Medina (Eds.): Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, LANMR 2011, Toluca, Estado de México, México, November 7-8, 2011. CEUR Workshop Proceedings 804, CEUR-WS.org 2011
- 2010
- [j6]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)
- [c17]Claudia Zepeda, José Luis Carballido, Mario Rossainz, Mauricio Osorio: Updates Based on ASP. MICAI (Special Sessions) 2010: 63-66
2000 – 2009
- 2009
- [j5]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)
- [j4]Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieves, José Luis Carballido: G'3-Stable Semantics and Inconsistency. Computación y Sistemas 13(1) (2009)
- [j3]Claudia Zepeda, José Luis Carballido: P-stable models of strong kernel programs. J. Algorithms 64(1): 41-50 (2009)
- [c16]Mauricio Osorio, Claudia Zepeda, Hilda Castillo: A Formal Design Model for Mechatronic Systems. CONIELECOMP 2009: 125-129
- [c15]
- [c14]
- [c13]Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda: Expressing Extension-Based Semantics Based on Stratified Minimal Models. WoLLIC 2009: 305-319
- [e4]Mauricio Osorio, Claudia Zepeda, Ivan Olmos, Carolina Medina, José Arrazola (Eds.): Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , Facultad de Ciencias Básicas, Ingeniería y Tecnología , Universidad Autónoma de Tlaxcala (UAT) , Apizaco, Tlaxcala, México, November 5-6, 2009. CEUR Workshop Proceedings 533, CEUR-WS.org 2009
- 2008
- [c12]Claudia Zepeda, José Luis Carballido: Computing of p-Stable Models Based on Semi-Negative Normal Programs with Constraints. ENC 2008: 203-210
- [c11]
- [c10]Claudia Zepeda, José Luis Carballido: Semi-negative normal programs based on p-stable semantics. LA-NMR 2008
- 2007
- [j2]Claudia Zepeda, David Sol: Evacuation Planning using Answer Set Programming: An initial approach. Engineering Letters 15(2): 240-249 (2007)
- [c9]Mauricio Osorio, Claudia Zepeda: Update Sequences Based on Minimal Generalized Pstable Models. MICAI 2007: 283-293
- [e3]José Arrazola, Pilar Pozos Parra, Mauricio Osorio, Claudia Zepeda (Eds.): 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 Workshop Proceedings 286, CEUR-WS.org 2007
- 2006
- [c8]
- [c7]
- [c6]Mauricio Osorio, Claudia Zepeda: Minimal Generalized Answer-Sets and their Applications. LoLaCOM 2006
- [e2]Mauricio Osorio, Claudia Zepeda, Pilar Pozos Parra, Guillermo De Ita Luna (Eds.): 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 Workshop Proceedings 217, CEUR-WS.org 2006
- [e1]Rogelio Dávila, Mauricio Osorio, Claudia Zepeda (Eds.): Proceedings of the LoLaCOM06 Workshop, Instituto Tecnológico de Apizaco, Apizaco, Tlaxcala, México, 13th - 14th November 2006. CEUR Workshop Proceedings 220, CEUR-WS.org 2006
- 2005
- [c5]Claudia Zepeda, Mauricio Osorio, Juan Carlos Nieves, Christine Solnon, David Sol: Applications of Preferences using Answer Set Programming. Answer Set Programming 2005
- [c4]Claudia Zepeda, Mauricio Osorio, David Sol: Modeling Evacuation Planning Using A-Prolog. CONIELECOMP 2005: 292-297
- [c3]Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieves, Ulises Cortés: Inferring acceptable arguments with Answer Set Programming. ENC 2005: 198-205
- 2004
- [c2]Claudia Zepeda, Christine Solnon, David Sol: Planning Operation: An Extensio'n of a Geographical Information System. LA-NMR 2004
- 2003
- [c1]Mauricio Osorio, Claudia Zepeda: Towards the use of Semantics Contents in ASP for planning and diagnistic in GIS. Answer Set Programming 2003
- 2001
- [j1]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)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:02 CEST by the dblp team