Seuraa
Marco Cerami
Marco Cerami
Vahvistettu sähköpostiosoite verkkotunnuksessa ufba.br
Nimike
Viittaukset
Viittaukset
Vuosi
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
442015
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
422010
Finite-valued Lukasiewicz modal logic is PSPACE-complete
F Bou, M Cerami, F Esteva
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
342011
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
172017
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
172010
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
152018
On finitely-valued fuzzy description logics
M Cerami, À García-Cerdaña, F Esteva
International Journal of Approximate Reasoning 55 (9), 1890-1916, 2014
152014
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
142014
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
122013
Strict core fuzzy logics and quasi-witnessed models
M Cerami, F Esteva
Archive for Mathematical Logic 50 (5), 625-641, 2011
122011
The complexity of subsumption in fuzzy EL
S Borgwardt, M Cerami, R Peñaloza
IJCAI 2015, 2812-2818, 2015
112015
Fuzzy description logics from a mathematical fuzzy logic point of view
M Cerami
Universitat de Barcelona, 2012
112012
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
102012
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
52014
On decidability of concept satisfiability in Description Logic with product semantics
M Cerami, F Esteva
Fuzzy Sets and Systems 445, 1-21, 2022
42022
Fuzzy description logic
F Bobillo, M Cerami, F Esteva, À García-Cerdaña, R Peñaloza, U Straccia
Springer Nature, 2015
42015
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
42012
Lukasiewicz fuzzy EL is undecidable
S Borgwardt, M Cerami, RP Nyssen
Proceedings of the 30th International Workshop on Description Logics 1879, 2017
22017
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20