Login / Signup
Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics.
Stefan Borgwardt
Rafael Peñaloza
Published in:
Int. J. Approx. Reason. (2017)
Keyphrases
</>
expressive description logics
valued logic
expert systems
logic programming
automated reasoning