Marco Cerami

18 papers A* 3B 1Journal 8Unranked 5
YearRankTypeTitle / Venue / Authors
2022 J jnl
On decidability of concept satisfiability in Description Logic with product semantics.
Fuzzy Sets Syst.
Marco Cerami, Francesc Esteva
2018 J jnl
On the relationship between fuzzy description logics and many-valued modal logics.
Int. J. Approx. Reason.
Marco Cerami, Francesc Esteva, Àngel García-Cerdaña
2017 J jnl
The complexity of fuzzy EL under the Łukasiewicz T-norm.
Int. J. Approx. Reason.
Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
2017 — conf
Łukasiewicz Fuzzy EL is Undecidable.
Description Logics
Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
2016 J jnl
Editorial.
Fuzzy Sets Syst.
Félix Bou, Marco Cerami, Pere Garcia, Àngel García-Cerdaña, Lluís Godo, Carles Noguera
2015 A* conf
The Complexity of Subsumption in Fuzzy EL.
IJCAI
Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
2014 — conf
Complexity Sources in Fuzzy Description Logic.
Description Logics
Marco Cerami, Umberto Straccia
2014 — conf
Many-valued Horn Logic is Hard.
PRUV
Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
2014 J jnl
On finitely-valued Fuzzy Description Logics.
Int. J. Approx. Reason.
Marco Cerami, Àngel García-Cerdaña, Francesc Esteva
2013 — —
Fuzzy Description Logics from a Mathematical Fuzzy Logic point of view.
Marco Cerami
2013 J jnl
On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm.
Inf. Sci.
Marco Cerami, Umberto Straccia
2013 — conf
On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers.
SUM
Teresa Alsinet, David Barroso, Ramón Béjar, Félix Bou, Marco Cerami, Francesc Esteva
2012 — conf
On Finitely Valued Fuzzy Description Logics: The Łukasiewicz Case.
IPMU (2)
Marco Cerami, Francesc Esteva, Àngel García-Cerdaña
2011 A* conf
Finite-Valued Lukasiewicz Modal Logic Is PSPACE-Complete.
IJCAI
Félix Bou, Marco Cerami, Francesc Esteva
2011 J jnl
On the Undecidability of Fuzzy Description Logics with GCIs with Lukasiewicz t-norm
CoRR
Marco Cerami, Umberto Straccia
2011 J jnl
Strict core fuzzy logics and quasi-witnessed models.
Arch. Math. Log.
Marco Cerami, Francesc Esteva
2010 A* conf
Decidability of a Description Logic over Infinite-Valued Product Logic.
KR
Marco Cerami, Francesc Esteva, Félix Bou
2010 B conf
From classical Description Logic to n-graded Fuzzy Description Logic.
FUZZ-IEEE
Marco Cerami, Àngel García-Cerdaña, Francesc Esteva