Personal publications
Marco Cerami (9 publications)
2012
Marco Cerami; Francesc Esteva; Angel García-Cerdaña "On Finitely Valued Fuzzy Description Logics: The Lukasiewicz Case", IPMU 2012. CCIS, vol. 298, Catania, Italy, Spinger-Verlag Berlin Heidelberg, pp. 235-244, 09/07/2012.
2011
Marco Cerami; U. Straccia "On the Undecidability of Fuzzy Description Logic with GCIs with Lukasiewicz t-norm", Computing Research Repository, 2011.
Fèlix Bou; Marco Cerami; Francesc Esteva "Finite-valued Lukasiewicz modal logic is PSPACE-complete", Twenty-second International Joint Conference on Artificial Intelligence (IJCAI 2011), Barcelona, pp. 774 - 779, 16/07/2011. Abstract
Marco Cerami; Pere Pardo "Many-valued Semantics for Vague Counterfactuals", Understanding Vagueness - Logical, Philosophical, and Linguistic Perspectives. Studies in Logic, P. Cintula, C. G.. Fermüller, L. Godo and P. Hájek (eds.) , no. 36: College Publications, pp. 341-362, 2011.
Marco Cerami; Francesc Esteva "Strict core fuzzy logics and quasi-witnessed models", Archive for Mathematical Logic, vol. 50, issue 5-6, pp. 625-641, 2011.
2010
Marco Cerami; Francesc Esteva; Fèlix Bou "Decidability of a Description Logic over infinite-valued Product Logic(extended abstract)", 3st LINZ seminar: Lattice-valued Logic and its Applications, pp. 21-25, 9/02/2010.
Marco Cerami; Francesc Esteva "First-order SMTL Logic and quasi-witnessed models", XV Congreso Español sobre Tecnologías y Lógica Fuzzy ESTYLF 2010, Huelva, pp. 145-150, 3-5/02/2010.
Angel García-Cerdaña; Marco Cerami; Francesc Esteva "From Classical Description Logic to n-graded Fuzzy Description logics", FUZZ-IEEE2010, Barcelona, IEEE, pp. 1506-1513., 18/07/2010.
Marco Cerami; Francesc Esteva; Fèlix Bou "Decidability of a Description Logic over infinite-valued Product Logic", 12th Conference on Principles of Knowledge Representation and Reasoning, KR 2010, Toronto (Canada), AAAI Press, pp. 203-213, 10/05/2010. Abstract