José Ramón Enrique Arrazola-Ramírez

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 1

Top Topics

Possibilistic Logic

Automatic Theorem Proving

Description Logic Alc

Top Venues

Computación y Sistemas

Res. Comput. Sci.

Int. J. Adv. Intell. Paradigms

Publications

Juan Pablo Munoz Toriz, Everardo Bárcenas, Iván Martínez Ruiz, José Ramón Enrique Arrazola-Ramírez
(Hyper)sequent Calculi for the ALC(S4) Description Logics. Computación y Sistemas 20 (1) (2016)
Juan Pablo Munoz Toriz, Iván Martínez Ruiz, José Ramón Enrique Arrazola-Ramírez
On Automatic Theorem Proving with ML. MICAI (Special Sessions) (2014)
Rubén Octavio Vélez Salazar, José Ramón Enrique Arrazola-Ramírez, Iván Martínez Ruiz
Semantics for some non-classical possibilistic logics. Int. J. Adv. Intell. Paradigms 6 (3) (2014)
Rubén Octavio Vélez Salazar, José Ramón Enrique Arrazola-Ramírez, Iván Martínez Ruiz
Possibilistic Minimal Models for Possibilistic Normal Programs. MICAI (1) (2013)
Rubén Octavio Vélez Salazar, José Ramón Enrique Arrazola-Ramírez
Possibilistic Safe Beliefs vs. Possibilistic Stable Models. Res. Comput. Sci. 56 (2012)