Login / Signup

Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics.

Stefan BorgwardtRafael Peñaloza
Published in: Int. J. Approx. Reason. (2017)
Keyphrases
  • expressive description logics
  • valued logic
  • expert systems
  • logic programming
  • automated reasoning