dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Claudia Zepeda Cortés Coauthor index pubzone.org

Claudia Zepeda

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia 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
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauricio Osorio, José Luis Carballido, Claudia Zepeda: An Application of Clasp in the Study of Logics. LPNMR 2011: 278-283
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauricio Osorio, José Luis Carballido, Claudia Zepeda, Zenaida Cruz: Characterization of Argumentation Semantics in Terms of the MM r Semantics. MICAI (1) 2011: 16-27
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan 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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Zepeda, José Luis Carballido, Mario Rossainz, Mauricio Osorio: Updates Based on ASP. MICAI (Special Sessions) 2010: 63-66
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauricio 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
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauricio Osorio, Claudia Zepeda, Hilda Castillo: A Formal Design Model for Mechatronic Systems. CONIELECOMP 2009: 125-129
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Carlos Nieves, Mauricio Osorio, Claudia Zepeda: Expressing Extension-Based Semantics Based on Stratified Minimal Models. WoLLIC 2009: 305-319
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauricio 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)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Zepeda, José Luis Carballido: P-stable models of strong kernel programs. J. Algorithms 64(1): 41-50 (2009)
2008
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Zepeda, José Luis Carballido: Computing of p-Stable Models Based on Semi-Negative Normal Programs with Constraints. ENC 2008: 203-210
2007
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauricio Osorio, Claudia Zepeda: Update Sequences Based on Minimal Generalized Pstable Models. MICAI 2007: 283-293
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Zepeda, David Sol: Evacuation Planning using Answer Set Programming: An initial approach. Engineering Letters 15(2): 240-249 (2007)
2006
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauricio 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
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogelio 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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauricio Osorio, Claudia Zepeda: Preferences using Answer Sets. LA-NMR 2006
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauricio Osorio, Claudia Zepeda: Minimal Generalized Answer-Sets and their Applications. LoLaCOM 2006
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauricio Osorio, Claudia Zepeda: Answer Set General Theories and Preferences. MICAI 2006: 59-69
2005
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Zepeda, Mauricio Osorio, Juan Carlos Nieves, Christine Solnon, David Sol: Applications of Preferences using Answer Set Programming. Answer Set Programming 2005
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Zepeda, Mauricio Osorio, David Sol: Modeling Evacuation Planning Using A-Prolog. CONIELECOMP 2005: 292-297
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauricio Osorio, Claudia Zepeda, Juan Carlos Nieves, Ulises Cortés: Inferring acceptable arguments with Answer Set Programming. ENC 2005: 198-205
2004
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Zepeda, Christine Solnon, David Sol: Planning Operation: An Extensio'n of a Geographical Information System. LA-NMR 2004
2003
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauricio Osorio, Claudia Zepeda: Towards the use of Semantics Contents in ASP for planning and diagnistic in GIS. Answer Set Programming 2003
2001
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJü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

1J. Manuel Amezcua [25]
2José Luis Carballido [15] [16] [21] [23] [24] [25] [26]
3Hilda Castillo [19]
4Ulises Cortés [4]
5Zenaida Cruz [23]
6Rogelio Dávila [10]
7Jürgen Dix [1]
8Oscar De Leon [25]
9David López [26]
10Guillermo De Ita Luna [11]
11Javier A. Martinez [25]
12Juan Carlos Nieves [4] [6] [18] [22]
13Mauricio Osorio (Mauricio Javier Osorio Galindo) [1] [2] [4] [5] [6] [7] [8] [9] [10] [11] [13] [14] [17] [18] [19] [20] [21] [22] [23] [24] [25]
14Pilar Pozos Parra [11] [14]
15José R. Arrazola Ramírez (José Arrazola) [14]
16Mario Rossainz [21]
17David Sol [3] [5] [6] [12]
18Christine Solnon [3] [6]

Last update Tue May 29 20:41:18 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page