Yensen Limón

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Modal logics forms a family of formalisms widely used as reasoning frameworks in diverse areas of computer science. Description logics and their application to the web semantic is a notable example. Also, description logics have been recently used as a reasoning model for context-aware systems. Most reasoning algorithms for modal (description) logics are(More)
  • 1