( en | de | ru )

 

Disambiguation of "Cerami, Marco"

Author of the publication

copydeleteadd this publication to your clipboard
On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers.

, , , , , and . SUM, volume 8078 of Lecture Notes in Computer Science, page 325-330. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alfio Cerami

Monika Marcotty

Johannes Marcour

Hans-Ernst Marcolin

Carlos Javier Marcos Navas

 

Other publications of authors with the same name

From classical Description Logic to n-graded Fuzzy Description Logic., , and . FUZZ-IEEE, page 1-8. IEEE, (2010)On decidability of concept satisfiability in Description Logic with product semantics., and . Fuzzy Sets Syst., (2022)Finite-Valued Lukasiewicz Modal Logic Is PSPACE-Complete., , and . IJCAI, page 774-779. IJCAI/AAAI, (2011)Editorial., , , , , and . Fuzzy Sets Syst., (2016)On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers., , , , , and . SUM, volume 8078 of Lecture Notes in Computer Science, page 325-330. Springer, (2013)On finitely-valued Fuzzy Description Logics., , and . Int. J. Approx. Reason., 55 (9): 1890-1916 (2014)Decidability of a Description Logic over Infinite-Valued Product Logic., , and . KR, AAAI Press, (2010)On the relationship between fuzzy description logics and many-valued modal logics., , and . Int. J. Approx. Reason., (2018)On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm., and . Inf. Sci., (2013)On Finitely Valued Fuzzy Description Logics: The Łukasiewicz Case., , and . IPMU (2), volume 298 of Communications in Computer and Information Science, page 235-244. Springer, (2012)