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

José Luis Carballido Coauthor index pubzone.org

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

DBLP keys2012
13Electronic 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
12Electronic 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
11Electronic 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
10Electronic 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
2010
9Electronic 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luis Carballido, Mauricio Osorio, José Arrazola: Equivalence for the G'3-stable models semantics. J. Applied Logic 8(1): 82-96 (2010)
2009
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luis Carballido, Juan Carlos Nieves, Mauricio Osorio: Inferring Preferred Extensions by Pstable Semantics. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 13(41): 38-53 (2009)
6Electronic 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
5Electronic 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauricio Javier Osorio Galindo, José R. Arrazola Ramírez, José Luis Carballido: Logical Weak Completions of Paraconsistent Logics. J. Log. Comput. 18(6): 913-940 (2008)
2007
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luis Carballido, José Arrazola, Mauricio Osorio: Equivalence for the G3'-stable models semantics. LA-NMR 2007
2006
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada: An Axiomatization of G'3. LoLaCOM 2006
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada: Programas Lógicos Disjunctivos y la Demostrabilidad de Atomos en Cw. LoLaCOM 2006

Coauthor Index

1J. Manuel Amezcua [12]
2Claudia Zepeda Cortés (Claudia Zepeda) [5] [6] [9] [10] [11] [12] [13]
3Zenaida Cruz [10]
4Oscar Estrada [1] [2]
5Oscar De Leon [12]
6David López [13]
7Javier A. Martinez [12]
8Juan Carlos Nieves [7]
9Mauricio Osorio (Mauricio Javier Osorio Galindo) [1] [2] [3] [4] [7] [8] [9] [10] [11] [12]
10José R. Arrazola Ramírez (José Arrazola) [1] [2] [3] [4] [8]
11Mario Rossainz [9]

Last update Sun May 27 04:04:01 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