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.
José Luis Carballido
2010 – today
- 2012
[c14]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- [c13]Claudia Zepeda, José Luis Carballido, Sergio Arzola: A general framework for representing preferences. LA-NMR 2012: 129-136
- [e2]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
- [c12]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
- [c11]Mauricio Osorio, Juan Carlos Nieves, José Luis Carballido: The Stable Abducible Argumentation Semantics. LA-NMR 2011: 57-68
- [c10]Mauricio Osorio, José Luis Carballido, Claudia Zepeda: An Application of Clasp in the Study of Logics. LPNMR 2011: 278-283
- [c9]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
- [e1]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
- [j5]José Luis Carballido, Mauricio Osorio, José Arrazola: Equivalence for the G'3-stable models semantics. J. Applied Logic 8(1): 82-96 (2010)
- [c8]Claudia Zepeda, José Luis Carballido, Mario Rossainz, Mauricio Osorio: Updates Based on ASP. MICAI (Special Sessions) 2010: 63-66
2000 – 2009
- 2009
- [j4]José 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)
- [j3]Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieves, José Luis Carballido: G'3-Stable Semantics and Inconsistency. Computación y Sistemas 13(1) (2009)
- [j2]Claudia Zepeda, José Luis Carballido: P-stable models of strong kernel programs. J. Algorithms 64(1): 41-50 (2009)
- [c7]
- 2008
- [j1]Mauricio 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)
- [c6]Claudia Zepeda, José Luis Carballido: Computing of p-Stable Models Based on Semi-Negative Normal Programs with Constraints. ENC 2008: 203-210
- [c5]
- [c4]Claudia Zepeda, José Luis Carballido: Semi-negative normal programs based on p-stable semantics. LA-NMR 2008
- 2007
- [c3]José Luis Carballido, José Arrazola, Mauricio Osorio: Equivalence for the G3'-stable models semantics. LA-NMR 2007
- 2006
- [c2]Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada: Programas Lógicos Disjunctivos y la Demostrabilidad de Atomos en Cw. LoLaCOM 2006
- [c1]Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada: An Axiomatization of G'3. LoLaCOM 2006
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:17 CEST by the dblp team