Possibilistic Safe Beliefs vs. Possibilistic Stable Models. - Rubén Octavio Vélez Salazar; José Ramón Enrique Arrazola-Ramírez (Res. Comput. Sci., 2012)

Possibilistic Minimal Models for Possibilistic Normal Programs. - Rubén Octavio Vélez Salazar; José Ramón Enrique Arrazola-Ramírez; Iván Martínez Ruiz (MICAI (1), 2013)

On Automatic Theorem Proving with ML. - Juan Pablo Munoz Toriz; Iván Martínez Ruiz; José Ramón Enrique Arrazola-Ramírez (MICAI (Special Sessions), 2014)

Semantics for some non-classical possibilistic logics. - Rubén Octavio Vélez Salazar; José Ramón Enrique Arrazola-Ramírez; Iván Martínez Ruiz (Int. J. Adv. Intell. Paradigms, 2014)

(Hyper)sequent Calculi for the ALC(S4) Description Logics. - Juan Pablo Munoz Toriz; Everardo Bárcenas; Iván Martínez Ruiz; José Ramón Enrique Arrazola-Ramírez (Computación y Sistemas, 2016)