Concepedia

Marco Cerami

MC

9

Publications

201

Citations

9

H-Index

2010

Active since

Affiliations

Artificial Intelligence Research Institute(Current)

Consejo Superior de Investigaciones Científicas

Free University of Bozen-Bolzano

Technische Universität Dresden

Marco Cerami is an author at Artificial Intelligence Research Institute specializing in engineering, fuzzy logic, and automated reasoning.

Top concepts

EngineeringFuzzy LogicAutomated ReasoningSemanticsFormal MethodsDescription LogicsComputer ScienceVerificationFuzzy SystemsFormal Verification

Publications per year

2010–2017

9

Publications

9

On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm

Marco Cerami, Umberto Straccia · Information Sciences · 2012 · 62 citations

Fuzzy Description Logics, Fuzzy Logic, Fuzzy Systems +8

Decidability of a description logic over infinite-valued product logic

Marco Cerami, Francesc Esteva, Félix Bou · Principles of Knowledge Representation and Reasoning · 2010 · 27 citations

Non-classical Logic, Fuzzy Logic, Engineering +13

On the Undecidability of Fuzzy Description Logics with GCIs with Lukasiewicz t-norm

Marco Cerami, Umberto Straccia · arXiv (Cornell University) · 2011 · 26 citations · Full text

Applied Logic, Fuzzy Description Logics, Engineering +17

Finite-valued Lukasiewicz modal logic Is PSPACE-complete

Félix Bou, Marco Cerami, Francesc Esteva · International Joint Conference on Artificial Intelligence · 2011 · 21 citations

Non-classical Logic, Engineering, Substructural Logic +11

Fuzzy Description Logics

Fernando Bobillo, Marco Cerami, Francesc Esteva et al. · View · 2015 · 20 citations

Fuzzy Description Logics, Fuzzy Logic, Engineering +7

Rows per page

1–5 of 9