Research areas:
Impact areas:
SDGs:
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.
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]