José Luis Carballido

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 8

Top Topics

Logic Programming

Grounded Semantics

Argumentation Semantics

Top Venues

Electron. Notes Theor. Comput. Sci.

Res. Comput. Sci.

Publications

Mauricio Osorio, José Luis Carballido
A 4-Valued Logic that Extends the Paraconsistent Logic G'3. Computación y Sistemas (CyS) 27 (1) (2023)
Mauricio Javier Osorio Osorio, Claudia Zepeda, José Luis Carballido
MyUBot: Towards an Artificial Intelligence Agent System Chat-bot for Well-being and Mental Health. AAI4H@ECAI (2020)
Jaime Díaz, José Luis Carballido, Mauricio Osorio
Béziau's SP3A Logic and Logic Programming. Res. Comput. Sci. 148 (3) (2019)
Mauricio Osorio, José Luis Carballido
An extension of the stable semantics via Lukasiewicz logic. LANMR (2019)
Jaime Díaz, José Luis Carballido, Mauricio Osorio, Claudia Zepeda
Lukasiewicz' 3-valued logic can not be expressed in terms of SP3A logic. LANMR (2018)
Mauricio Osorio, José Luis Carballido, Claudia Zepeda
Abducible Semantics and Argumentation. Fundam. Informaticae 155 (3) (2017)
Mauricio Osorio, José Luis Carballido, Claudia Zepeda
Defining Stage Argumentation Semantics in Terms of an Abducible Semantics. Electron. Notes Theor. Comput. Sci. 328 (2016)
Mauricio Osorio, José Luis Carballido, Claudia Zepeda
Characterizing stage argumentation semantics based on stable abducible semantics. LANMR (2016)
Mauricio Osorio, José Luis Carballido, Claudia Zepeda, José Abel Castellanos
Weakening and Extending ℤ. Logica Universalis 9 (3) (2015)
Mauricio Osorio, José Luis Carballido, Claudia Zepeda
. Electron. Notes Theor. Comput. Sci. 315 (2015)
Mayra Cordero, Claudia Zepeda, José Luis Carballido
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. 73 (2014)
Mauricio Osorio, Claudia Zepeda, José Luis Carballido
Preferences for Argumentation Semantics. MICAI (1) (2014)
Mauricio Osorio, José Luis Carballido, Claudia Zepeda
Revisiting C1. LANMR (2014)
Mauricio Osorio, José Luis Carballido, Claudia Zepeda
Revisiting ℤ. Notre Dame J. Formal Log. 55 (1) (2014)
Mauricio Osorio, José Luis Carballido, Claudia Zepeda
Some Properties of Logic N-GLukG. MICAI (1) (2013)
Mauricio Osorio, José Luis Carballido, Claudia Zepeda
. AMW (2013)
David López, Claudia Zepeda Cortés, José Luis Carballido
Evaluation of a parallel approach implementation of the p-stable semantics. CONIELECOMP (2012)
Claudia Zepeda, José Luis Carballido, Sergio Arzola
A general framework for representing preferences. LA-NMR (2012)
Mauricio Osorio, José Luis Carballido, Claudia Zepeda, Zenaida Cruz
Characterization of Argumentation Semantics in Terms of the MM r Semantics. MICAI (1) (2011)
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)
Mauricio Osorio, José Luis Carballido, Claudia Zepeda
An Application of Clasp in the Study of Logics. LPNMR (2011)
Mauricio Osorio, Juan Carlos Nieves, José Luis Carballido
The Stable Abducible Argumentation Semantics. LA-NMR (2011)
José Luis Carballido, Mauricio Osorio, José Arrazola
-stable models semantics. J. Appl. Log. 8 (1) (2010)
Mauricio Javier Osorio Galindo, José Luis Carballido, Claudia Zepeda
Expressing p-stable semantics based on stable semantics. CONIELECOMP (2010)
Claudia Zepeda, José Luis Carballido, Mario Rossainz López, Mauricio Osorio
Updates Based on ASP. MICAI (Special Sessions) (2010)
Mauricio Javier Osorio Galindo, Claudia Zepeda, José Luis Carballido, David López
Yet another application of fuzzy logic. CONIELECOMP (2010)
José Luis Carballido, Juan Carlos Nieves, Mauricio Osorio
Inferring Preferred Extensions by Pstable Semantics. Inteligencia Artif. 13 (41) (2009)
José Luis Carballido, Claudia Zepeda
P-stable as an extension of WFS. LA-NMR (2009)
Claudia Zepeda, José Luis Carballido
P-stable models of strong kernel programs. J. Algorithms 64 (1) (2009)
Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieves, José Luis Carballido
G'3-Stable Semantics and Inconsistency. Computación y Sistemas 13 (1) (2009)
José Luis Carballido, Claudia Zepeda
P-stable models of strong kernel programs. LA-NMR (2008)
Claudia Zepeda, José Luis Carballido
Computing of p-Stable Models Based on Semi-Negative Normal Programs with Constraints. ENC (2008)
Mauricio Javier Osorio Galindo, José R. Arrazola Ramírez, José Luis Carballido
Logical Weak Completions of Paraconsistent Logics. J. Log. Comput. 18 (6) (2008)
Claudia Zepeda, José Luis Carballido
Semi-negative normal programs based on p-stable semantics. LA-NMR (2008)
José Luis Carballido, José Arrazola, Mauricio Osorio
Equivalence for the G3'-stable models semantics. LA-NMR (2007)
Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada
An Axiomatization of G'3. LoLaCOM (2006)
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)