Marco Cerami

Marco Cerami, Ph.D.


Funkce:Postdok
Adresa:Katedra informatiky
Přírodovědecká fakulta
Univerzita Palackého v Olomouci
17. listopadu 12
771 46 Olomouc
Pracovna:5.045
Telefon:585 634 717
Fax:585 634 716 (Katedra)
E-mail:marco.cerami@upol.cz
Publikace Osobní stránky Výuka Rozvrh ZS

Oblasti zájmu

  • Fuzzy Description Logic
  • Mathematical Fuzzy Logic
  • Modal Logic
  • Computational Complexity

Odborný životopis

Vzdělání

  • PhD (16.10.2012) Pure and Applied Logic, Faculty of Mathematics, Universitat de Barcelona,
  • MSc (30.9.2008) Pure and Applied Logic, Faculty of Philosophy, Universitat de Barcelona
  • Bc. (2.3.2004) Philosophy, Faculty of Philosophy, Università degli Studi di Palermo

Předchozí zaměstnání

  • 9.2008-10.2012, Doctoral Researcher at the Research Institute on artificial Intelligence of the Spanish National Research Council (IIIA-CSIC), Bellaterra, Catalunya

Členství

Granty

  • 12.9.2013: EUSFLAT 2012 Best PhD Thesis Award
  • 1.10.2008-30.9.2012: Doctoral Grant by CSIC
  • 1.1.2010-31.12.2012: 1. ARINF, “Efficient automated reasoning systems with incomplete and imprecise information based on SAT and CSP“, MICINN TIN2009-14704-C03-03. Main researcher: L. Godo, (PhD student).

Akademické aktivity

Conferences

  • Undecidability of Fuzzy Description Logics with GCIs under Lukasiewicz semantics, WL4AI workshop at ECAI 2012, Montpellier, August 28, 2012.
  • On Finitely Valued Fuzzy Description Logics: The Lukasiewicz Case, IPMU 2012, Catania, July 11, 2012.
  • From Classical Description Logic to n-graded Fuzzy Description Logic, Fuzz-IEEE 2010, Barcelona, July 22, 2010.
  • Decidability of a Description Logic over Infinite-Valued Product Logic, KR 2010, Toronto, May 10, 2010.
  • Vague Counterfactuals, ProbNet 2010, Salzburg, February 27, 2010.
  • On Quantitative Similarity-based Semantics for Counterfactuals, WUPES 2009, Liblice, September 23, 2009.

Seminars

  • Fuzzy Description Logics, Palacky University, Faculty of Science, Department of Computer Science, December 28, 2013.
  • An Introduction to Description Logics, Palacky University, Faculty of Science, Department of Computer Science, December 21, 2013.
  • Una introducción a la Lógica Borrosa Matemática, SIMBA seminar, Universitat de Barcelona, February 14, 2012.
  • Decidability of a Description Logic over Infinite-Valued Lukasiewicz and Product Logic, Non-classical logic seminar, Universitat de Barcelona, May 21, 2010.
  • Decidability of a Description Logic over Infinite-Valued Product Logic, IIIA-CSIC seminar, Bellaterra, March 17, 2010.

Program Committee Member

Refereeing activity in Journals

  • Soft Computing
  • Mathematical Logic Quarterly.
  • Reports on Mathematical Logic
  • International Journal of Semantic Web and Information Systems (IJSWIS).

Refereeing activity in Conferences

  • PRUV 2014, Vienna, July, 23--24, 2014.
  • DL 2014, Vienna, July 17--20, 2014.
  • Fuzz-IEEE 2014, Beijing, July 6--11, 2014.
  • EUSFLAT 2013, Milano, September 11--13, 2013.
  • IJCAR 2012, Manchester, June 26-July 1, 2012.
  • Fuzz-IEEE 2012, Brisbane, June, 10-15, 2012.
  • ICISTM 2012, Grenoble, March, 28-30, 2012.
  • Fuzz-IEEE 2011, Taipei, June, 27-30, 2011.

   Marco Cerami, Ph.D.

Konzultační hodiny

Středa 15:00-17:00