Iván Martínez Ruiz

Publication Activity (10 Years)

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

Top Topics

Possibilistic Logic

Automatic Theorem Proving

Top Venues

Computación y Sistemas

Int. J. Adv. Intell. Paradigms

MICAI (Special Sessions)

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)