Marco Cerami (9 publications)
2012
"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
"On the Undecidability of Fuzzy Description Logic with GCIs with Lukasiewicz t-norm",
Computing Research Repository, 2011.
"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
"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.
"Strict core fuzzy logics and quasi-witnessed models",
Archive for Mathematical Logic, vol. 50, issue 5-6, pp. 625-641, 2011.
2010
"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.
"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.
"From Classical Description Logic to n-graded Fuzzy Description logics",
FUZZ-IEEE2010, Barcelona, IEEE, pp. 1506-1513., 18/07/2010.
"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
