Ali Rezaei Divroodi

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 2

Top Topics

Knowledge Representation Formalisms

Reasoning Problems

Transitive Roles

Top Venues

Description Logics

J. Log. Comput.

Publications

Ali Rezaei Divroodi, Quang-Thuy Ha, Linh Anh Nguyen, Hung Son Nguyen
On the possibility of correct concept learning in description logics. Vietnam. J. Comput. Sci. 5 (1) (2018)
Ali Rezaei Divroodi, Linh Anh Nguyen
On directed simulations in description logics. J. Log. Comput. 27 (7) (2017)
Ali Rezaei Divroodi, Linh Anh Nguyen
On bisimulations for description logics. Inf. Sci. 295 (2015)
Ali Rezaei Divroodi
Comparing the Expressiveness of Description Logics. Description Logics (2014)
Ali Rezaei Divroodi, Linh Anh Nguyen
Bisimulation-Based Comparisons for Interpretations in Description Logics. Description Logics (2013)
Ali Rezaei Divroodi, Linh Anh Nguyen
Bisimulation-Based Comparisons for Interpretations in Description Logics CoRR (2013)
Ali Rezaei Divroodi, Quang-Thuy Ha, Linh Anh Nguyen, Hung Son Nguyen
On C-Learnability in Description Logics. ICCCI (1) (2012)
Ali Rezaei Divroodi, Linh Anh Nguyen
On Bisimulations for Description Logics CoRR (2011)