Marco
Marco
 
Cerami
Cerami

Industrial PhD Student
Industrial PhD Student


Department:

Logic and Reasoning
Logic and Reasoning

Position:

Industrial PhD Student
Industrial PhD Student



Research areas:

Impact areas:

SDGs:

Phone Extension:

E-mail:

marco.cerami@upol.cz
marco.cerami@upol.cz

Website:

2015
F. Bobillo,  M. Cerami,  Francesc Esteva,  Angel García-Cerdaña,  R.Peñaloza,  & U.Straccia (2015). Fuzzy Description Logics . Springer. [BibTeX]
2014
Marco Cerami,  Angel García-Cerdaña,  & Francesc Esteva (2014). On finitely-valued Fuzzy Description Logics. International Journal of Appoximate Reasoning (http://dx.doi.org/10.1016/j.ijar.2013.09.021), 55, 1890-1916. [BibTeX]
2013
Teresa Alsinet,  David Barroso,  Ramon Bejar,  Fèlix Bou,  Marco Cerami,  & Francesc Esteva (2013). On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers. 7th International Conference on Scalable Uncertainty Management, SUM 2013 (pp. 325-330). Springer. https://doi.org/http://link.springer.com/chapter/10.1007\%2F978-3-642-40381-1_25. [BibTeX]  [PDF]
Marco Cerami,  & U. Straccia (2013). On the (un)decidability of fuzzy description logics under Lukasiewicz t-norm. Information Sciences, 227, 1-23. [BibTeX]
2012
Marco Cerami,  Francesc Esteva,  & Angel García-Cerdaña (2012). On Finitely Valued Fuzzy Description Logics: The Lukasiewicz Case. S. Greco al. (Eds.), IPMU 2012 (pp. 235-244). Spinger-Verlag Berlin Heidelberg. [BibTeX]  [PDF]
2011
Fèlix Bou,  Marco Cerami,  & Francesc Esteva (2011). Finite-valued Lukasiewicz modal logic is PSPACE-complete. Twenty-second International Joint Conference on Artificial Intelligence (IJCAI 2011) (pp. 774 - 779). [BibTeX]  [PDF]
Marco Cerami,  & Pere Pardo (2011). Many-valued Semantics for Vague Counterfactuals. Petr Cintula, Chris Fermüller, Lluis Godo, & Petr Hájek (Eds.), Understanding Vagueness - Logical, Philosophical, and Linguistic Perspectives (pp 341-362). College Publications. [BibTeX]
Marco Cerami,  & Francesc Esteva (2011). Strict core fuzzy logics and quasi-witnessed models. Archive for Mathematical Logic, 50, 625-641. [BibTeX]  [PDF]
2010
Marco Cerami,  Francesc Esteva,  & Fèlix Bou (2010). Decidability of a Description Logic over infinite-valued Product Logic. Ulrike Sattler Fangzhen Lin, & Miroslaw Truszczynski (Eds.), 12th Conference on Principles of Knowledge Representation and Reasoning, KR 2010 (pp. 203-213). AAAI Press. [BibTeX]  [PDF]
Marco Cerami,  Francesc Esteva,  & Fèlix Bou (2010). Decidability of a Description Logic over infinite-valued Product Logic(extended abstract). L.N.Stout P.Cintul (Eds.), 3st LINZ seminar: Lattice-valued Logic and its Applications (pp. 21-25). [BibTeX]
Marco Cerami,  & Francesc Esteva (2010). First-order SMTL Logic and quasi-witnessed models. XV Congreso Español sobre Tecnologías y Lógica Fuzzy ESTYLF 2010 (pp. 145-150). [BibTeX]  [PDF]
Angel García-Cerdaña,  Marco Cerami,  & Francesc Esteva (2010). From Classical Description Logic to n-graded Fuzzy Description logics. Pilar Sobrevilla (Eds.), FUZZ-IEEE2010 (pp. 1506-1513.). IEEE. [BibTeX]  [PDF]