On the (un) decidability of fuzzy description logics under Łukasiewicz t-norm M Cerami, U Straccia Information Sciences 227, 1-21, 2013 | 100* | 2013 |
Fuzzy description logics F Bobillo, M Cerami, F Esteva, À García-Cerdaña, R Peñaloza, U Straccia Handbook of Mathematical Fuzzy Logic; Vol. 3 58, 1105-1181, 2015 | 44 | 2015 |
Decidability of a description logic over infinite-valued product logic M Cerami, F Esteva, F Bou Twelfth International Conference on the Principles of Knowledge …, 2010 | 42 | 2010 |
Finite-valued Lukasiewicz modal logic is PSPACE-complete F Bou, M Cerami, F Esteva Twenty-Second International Joint Conference on Artificial Intelligence, 2011 | 34 | 2011 |
The complexity of fuzzy EL under the Łukasiewicz t-norm S Borgwardt, M Cerami, R Penaloza International Journal of Approximate Reasoning 91, 179-201, 2017 | 17 | 2017 |
From classical description logic to n-graded fuzzy description logic M Cerami, À García-Cerdaña, F Esteva International Conference on Fuzzy Systems, 1-8, 2010 | 17 | 2010 |
On the relationship between fuzzy description logics and many-valued modal logics M Cerami, F Esteva, À García-Cerdaña International Journal of Approximate Reasoning 93, 372-394, 2018 | 15 | 2018 |
On finitely-valued fuzzy description logics M Cerami, À García-Cerdaña, F Esteva International Journal of Approximate Reasoning 55 (9), 1890-1916, 2014 | 15 | 2014 |
Many-valued horn logic is hard S Borgwardt, M Cerami, R Peñaloza PRUV 2014: Proceedings of the First Workshop on Logics for Reasoning about …, 2014 | 14 | 2014 |
On the implementation of a fuzzy DL solver over infinite-valued product logic with SMT solvers T Alsinet, D Barroso, R Béjar, F Bou, M Cerami, F Esteva International Conference on Scalable Uncertainty Management, 325-330, 2013 | 12 | 2013 |
Strict core fuzzy logics and quasi-witnessed models M Cerami, F Esteva Archive for Mathematical Logic 50 (5), 625-641, 2011 | 12 | 2011 |
The complexity of subsumption in fuzzy EL S Borgwardt, M Cerami, R Peñaloza IJCAI 2015, 2812-2818, 2015 | 11 | 2015 |
Fuzzy description logics from a mathematical fuzzy logic point of view M Cerami Universitat de Barcelona, 2012 | 11 | 2012 |
Concept satisfiability in finite-valued fuzzy description logics is PSPACE-complete F Bou, M Cerami, F Esteva Proc. of the 3rd Conf. on Logic, Algebras and Truth Degrees (LATD’12), 49-54, 2012 | 10 | 2012 |
On the undecidability of fuzzy description logics with gcis with lukasiewicz t-norm, CoRR abs/1107.4212 (2011) M Cerami, U Straccia URL: http://arxiv. org/abs/1107.4212, 0 | 8 | |
Complexity Sources in Fuzzy Description Logic. M Cerami, U Straccia Description Logics, 421-433, 2014 | 5 | 2014 |
On decidability of concept satisfiability in Description Logic with product semantics M Cerami, F Esteva Fuzzy Sets and Systems 445, 1-21, 2022 | 4 | 2022 |
Fuzzy description logic F Bobillo, M Cerami, F Esteva, À García-Cerdaña, R Peñaloza, U Straccia Springer Nature, 2015 | 4 | 2015 |
On finitely valued fuzzy description logics: the Łukasiewicz case M Cerami, F Esteva, À García-Cerdaña International Conference on Information Processing and Management of …, 2012 | 4 | 2012 |
Lukasiewicz fuzzy EL is undecidable S Borgwardt, M Cerami, RP Nyssen Proceedings of the 30th International Workshop on Description Logics 1879, 2017 | 2 | 2017 |