Iván Martínez Ruiz

According to our database, Iván Martínez Ruiz authored at least 4 papers between 2013 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

(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

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

On Automatic Theorem Proving with ML.

Juan Pablo Munoz Toriz, Iván Martínez Ruiz, José Ramón Enrique Arrazola-Ramírez

Proceedings of the 13th Mexican International Conference on Artificial Intelligence, 2014

2013

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

Proceedings of the Advances in Artificial Intelligence and Its Applications, 2013