1. On the implementation of a fuzzy DL solver over infinite-valued product logic with SMT solvers;Alsinet,2013
2. The Description Logic Handbook – Theory, Interpretation and Application;Baader,2003
3. GCIs make reasoning in fuzzy DL with the product t-norm undecidable;Baader,2011
4. On the undecidability of fuzzy description logics with GCIs and product t-norm;Baader,2011
5. Infinite-valued Gödel logic with 0-1-projections and relativizations;Baaz,1996