Juan Pablo Munoz Toriz

Publication Activity (10 Years)

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

Top Topics

Sequent Calculi

Exptime Complete

Description Logics

Top Venues

Computación y Sistemas

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)