Juan Pablo Munoz Toriz

Orcid: 0000-0002-2281-2224

According to our database1, Juan Pablo Munoz Toriz authored at least 2 papers between 2014 and 2016.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
(Hyper)sequent Calculi for the ALC(S4) Description Logics.
Computación y Sistemas, 2016

2014
On Automatic Theorem Proving with ML.
Proceedings of the 13th Mexican International Conference on Artificial Intelligence, 2014


  Loading...