Skip to main content
Català
English
Español
Search form
Search
Log-in
About IIIA
Presentation
History
Contributions to Artificial Intelligence 1986 - 1995
Contributions to Artificial Intelligence 1996 - 2001
Location
Work with us
Departments
Projects
Current Projects
Past Projects
Publications
Publications
Thesis
Staff
Current staff
Former staff
Marco Cerami
Activities
Seminar
Conferences
Doctoral Consortium
Current news
Transfer
25th anniversary
You are here
Home
>
Staff
>
Marco Cerami
Marco Cerami
Current staff
Former staff
Marco Cerami
Reasoning and Logic Department
Email:
marco.cerami@upol.cz
Position:
Former PhD students
Co-Autors
Depending on:
Francesc Esteva
Seniority / membership period:
01 October 2008
to
01 October 2012
Publications
Projects
14 Publications
Submitted
Marco Cerami
;
Fuzzy Description Logics from a Mathematical Fuzzy Logic point of view
.
Monografies de l'Institut d'Investigació en Intel·ligència Artificial;
Submitted.
Download PDF
In Press
Fernando Bobillo,
Marco Cerami
,
Francesc Esteva
,
Angel García-Cerdaña
, Rafael Peñaloza, Umberto Straccia;
Fuzzy Description Logic
.
Handbook of Mathematical Fuzzy Logic - volume 3;
In Press.
Download PDF
2015
F. Bobillo,
M. Cerami
,
Francesc Esteva
,
Angel García-Cerdaña
, R.Peñaloza, U.Straccia;
Fuzzy Description Logics
.
Studies in Logic;
2015.
Download PDF
2014
Marco Cerami
,
Angel García-Cerdaña
,
Francesc Esteva
;
On finitely-valued Fuzzy Description Logics
.
International Journal of Appoximate Reasoning (http://dx.doi.org/10.1016/j.ijar.2013.09.021);
2014.
Download PDF
2013
Marco Cerami
, U. Straccia;
On the (un)decidability of fuzzy description logics under Lukasiewicz t-norm
.
Information Sciences;
2013.
Download PDF
Teresa Alsinet
, David Barroso,
Ramon Bejar
,
Fèlix Bou
,
Marco Cerami
,
Francesc Esteva
;
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;
2013.
Download PDF
2012
Marco Cerami
,
Francesc Esteva
,
Angel García-Cerdaña
;
On Finitely Valued Fuzzy Description Logics: The Lukasiewicz Case
.
IPMU 2012;
2012.
Download PDF
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);
2011.
Download PDF
Marco Cerami
,
Pere Pardo
;
Many-valued Semantics for Vague Counterfactuals
.
Understanding Vagueness - Logical, Philosophical, and Linguistic Perspectives;
2011.
Download PDF
Marco Cerami
,
Francesc Esteva
;
Strict core fuzzy logics and quasi-witnessed models
.
Archive for Mathematical Logic;
2011.
Download PDF
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;
2010.
Download PDF
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;
2010.
Download PDF
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;
2010.
Download PDF
Angel García-Cerdaña
,
Marco Cerami
,
Francesc Esteva
;
From Classical Description Logic to n-graded Fuzzy Description logics
.
FUZZ-IEEE2010;
2010.
Download PDF
No results found