Marco
Marco
 
Cerami
Cerami

Industrial PhD Student
Industrial PhD Student


Department:

Logic and Reasoning
Logic and Reasoning

Position:

Industrial PhD Student
Industrial PhD Student



Research areas:

      Impact areas:

          SDGs:

              Phone Extension:

              E-mail:

              marco.cerami@upol.cz
              marco.cerami@upol.cz

              Website:

               Active Learning
               Algebraic logic
               Approximate Reasoning and Soft computing
               Argumentation
               Automated Auctions
               Automated Negotiation
               Automated Reasoning
               Autonomous Robots
               Case-Based Reasoning
               Combinatorial Optimisation
               Computational Creativity
               Computational Ontologies
               Data mining
               Data Privacy
               Deep Learning
               Embodied Cognition
               Expert Systems
               Fuzzy Logic
               Integration of Problem Solving and Learning
               Machine Learning
               Modal Logic
               Multiagent Systems
               Natural Language Processing
               Nonmonotonic Reasoning
               Normative Systems
               Optimisation
               Probabilistic Graphical Models
               Probabilistic Learning
               Probability Logic
               Recommender Systems
               Satisfiability models
               Self-* Systems
               Semantic Alignment
               Social Simulation
               Solving constraint-based problems
               Swarn Computing
               Team Formation
               Time Series Analysis
               Trust and Reputation
               Cultural Heritage
               Culture & Creativity
               Education
               Health
               Industry
               Optimisation
               SDGs
               Smart Cities
               Tourism
               Transport / Automotive
               GOAL 10: Reduced Inequality
               GOAL 11: Sustainable Cities and Communities
               GOAL 13: Climate Action
               GOAL 3: Good Health and Well-being
               GOAL 4: Quality Education
               GOAL 6: Clean Water and Sanitation
               GOAL 7: Affordable and Clean Energy
               GOAL 9: Industry, Innovation and Infrastructure
              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. https://doi.org/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]
               Principal Invesitgator (PI)
               Coordinated by IIIA
               Active Learning
               Algebraic logic
               Approximate Reasoning and Soft computing
               Argumentation
               Automated Auctions
               Automated Negotiation
               Automated Reasoning
               Autonomous Robots
               Case-Based Reasoning
               Combinatorial Optimisation
               Computational Creativity
               Computational Ontologies
               Data mining
               Data Privacy
               Deep Learning
               Embodied Cognition
               Expert Systems
               Fuzzy Logic
               Integration of Problem Solving and Learning
               Machine Learning
               Modal Logic
               Multiagent Systems
               Natural Language Processing
               Nonmonotonic Reasoning
               Normative Systems
               Optimisation
               Probabilistic Graphical Models
               Probabilistic Learning
               Probability Logic
               Recommender Systems
               Satisfiability models
               Self-* Systems
               Semantic Alignment
               Social Simulation
               Solving constraint-based problems
               Swarn Computing
               Team Formation
               Time Series Analysis
               Trust and Reputation
               Cultural Heritage
               Culture & Creativity
               Education
               Health
               Industry
               Optimisation
               SDGs
               Smart Cities
               Tourism
               Transport / Automotive
               GOAL 10: Reduced Inequality
               GOAL 11: Sustainable Cities and Communities
               GOAL 13: Climate Action
               GOAL 3: Good Health and Well-being
               GOAL 4: Quality Education
               GOAL 6: Clean Water and Sanitation
               GOAL 7: Affordable and Clean Energy
               GOAL 9: Industry, Innovation and Infrastructure