José Luis Carballido

43 papers B 1Journal 15Unranked 25
YearRankTypeTitle / Venue / Authors
2023 J jnl
A 4-Valued Logic that Extends the Paraconsistent Logic G'3.
Computación y Sistemas (CyS)
Mauricio Osorio, José Luis Carballido
2020 — conf
MyUBot: Towards an Artificial Intelligence Agent System Chat-bot for Well-being and Mental Health.
AAI4H@ECAI
Mauricio Javier Osorio Galindo, Claudia Zepeda, José Luis Carballido
2019 — conf
An extension of the stable semantics via Lukasiewicz logic.
LANMR
Mauricio Osorio, José Luis Carballido
2019 J jnl
Béziau's SP3A Logic and Logic Programming.
Res. Comput. Sci.
Jaime Díaz, José Luis Carballido, Mauricio Osorio
2018 — conf
Lukasiewicz' 3-valued logic can not be expressed in terms of SP3A logic.
LANMR
Jaime Díaz, José Luis Carballido, Mauricio Osorio, Claudia Zepeda
2017 J jnl
Abducible Semantics and Argumentation.
Fundam. Informaticae
Mauricio Osorio, José Luis Carballido, Claudia Zepeda
2016 — conf
Characterizing stage argumentation semantics based on stable abducible semantics.
LANMR
Mauricio Osorio, José Luis Carballido, Claudia Zepeda
2016 — conf
Defining Stage Argumentation Semantics in Terms of an Abducible Semantics.
LANMR (Selected Papers)
Mauricio Osorio, José Luis Carballido, Claudia Zepeda
2015 J jnl
Weakening and Extending ℤ.
Logica Universalis
Mauricio Osorio, José Luis Carballido, Claudia Zepeda, José Abel Castellanos
2014 J jnl
Modelado de un problema de iluminación inteligente de una oficina usando un enfoque de actualización basado en Answer Set Programming.
Res. Comput. Sci.
Mayra Cordero, Claudia Zepeda, José Luis Carballido
2014 — conf
On Paraconsistent Extensions of C
LANMR (Selected Papers)
Mauricio Osorio, José Luis Carballido, Claudia Zepeda
2014 — conf
Preferences for Argumentation Semantics.
MICAI (1)
Mauricio Osorio, Claudia Zepeda, José Luis Carballido
2014 — conf
Revisiting C1.
LANMR
Mauricio Osorio, José Luis Carballido, Claudia Zepeda
2014 J jnl
Revisiting ℤ.
Notre Dame J. Formal Log.
Mauricio Osorio, José Luis Carballido, Claudia Zepeda
2013 — conf
N'
AMW
Mauricio Osorio, José Luis Carballido, Claudia Zepeda
2013 — conf
Some Properties of Logic N-GLukG.
MICAI (1)
Mauricio Osorio, José Luis Carballido, Claudia Zepeda
2012 — conf
A general framework for representing preferences.
LA-NMR
Claudia Zepeda, José Luis Carballido, Sergio Arzola
2012 — conf
Evaluation of a parallel approach implementation of the p-stable semantics.
CONIELECOMP
David López, Claudia Zepeda Cortés, José Luis Carballido
2012 J jnl
Lenguaje P-log: estructura y traducción a SMODELS.
Res. Comput. Sci.
Claudia Zepeda, Daniel Rodríguez, José Luis Carballido
2012 — ed.
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
LA-NMR
Mauricio Osorio, Claudia Zepeda, Iván Olmos, José Luis Carballido, R. Carolina Medina Ramírez
2011 B conf
An Application of Clasp in the Study of Logics.
LPNMR
Mauricio Osorio, José Luis Carballido, Claudia Zepeda
2011 — conf
Characterization of Argumentation Semantics in Terms of the MM r Semantics.
MICAI (1)
Mauricio Osorio, José Luis Carballido, Claudia Zepeda, Zenaida Cruz
2011 J jnl
Extended Ordered Disjunction Programs to Model Preferences.
Res. Comput. Sci.
Claudia Zepeda, José Luis Carballido, Mauricio Osorio
2011 — conf
Modeling production of resources using Answer Set Planning.
CONIELECOMP
Claudia Zepeda, José Luis Carballido, J. Manuel Amezcua, Oscar De Leon, Javier A. Martinez, Mauricio Osorio
2011 J jnl
N'5 as an Extension of G'3.
Res. Comput. Sci.
José Luis Carballido, Mauricio Osorio
2011 — ed.
Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, LANMR 2011, Toluca, Estado de México, México, November 7-8, 2011
LA-NMR
Mauricio Osorio, Claudia Zepeda, Iván Olmos, José Luis Carballido, José Arrazola, Carolina Medina
2011 — conf
The Stable Abducible Argumentation Semantics.
LA-NMR
Mauricio Osorio, Juan Carlos Nieves, José Luis Carballido
2010 J jnl
Equivalence for the G'
J. Appl. Log.
José Luis Carballido, Mauricio Osorio, José Arrazola
2010 — conf
Expressing p-stable semantics based on stable semantics.
CONIELECOMP
Mauricio Javier Osorio Galindo, José Luis Carballido, Claudia Zepeda
2010 — conf
Updates Based on ASP.
MICAI (Special Sessions)
Claudia Zepeda, José Luis Carballido, Mario Rossainz López, Mauricio Osorio
2010 — conf
Yet another application of fuzzy logic.
CONIELECOMP
Mauricio Javier Osorio Galindo, Claudia Zepeda, José Luis Carballido, David López
2009 J jnl
G'3-Stable Semantics and Inconsistency.
Computación y Sistemas
Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieves, José Luis Carballido
2009 J jnl
Inferring Preferred Extensions by Pstable Semantics.
Inteligencia Artif.
José Luis Carballido, Juan Carlos Nieves, Mauricio Osorio
2009 — conf
P-stable as an extension of WFS.
LA-NMR
José Luis Carballido, Claudia Zepeda
2009 J jnl
P-stable models of strong kernel programs.
J. Algorithms
Claudia Zepeda, José Luis Carballido
2008 — conf
Computing of p-Stable Models Based on Semi-Negative Normal Programs with Constraints.
ENC
Claudia Zepeda, José Luis Carballido
2008 J jnl
Logical Weak Completions of Paraconsistent Logics.
J. Log. Comput.
Mauricio Javier Osorio Galindo, José R. Arrazola Ramírez, José Luis Carballido
2008 — conf
P-stable models of strong kernel programs.
LA-NMR
José Luis Carballido, Claudia Zepeda
2008 — conf
Semi-negative normal programs based on p-stable semantics.
LA-NMR
Claudia Zepeda, José Luis Carballido
2007 J jnl
Basic Transformations that Preserve G'3-Stable Equivalente.
Res. Comput. Sci.
José Arrazola, José Luis Carballido, Mauricio Osorio
2007 — conf
Equivalence for the G3'-stable models semantics.
LA-NMR
José Luis Carballido, José Arrazola, Mauricio Osorio
2006 — conf
An Axiomatization of G'3.
LoLaCOM
Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada
2006 — conf
Programas Lógicos Disjunctivos y la Demostrabilidad de Atomos en Cw.
LoLaCOM
Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada