Marco Cerami, Ph.D. Postdok

Oblasti zájmu

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

Konzultační hodiny
Středa 15:00-17:00

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í

• EUSFLAT
• Mathfuzzlog

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

• PRUV 2014, Vienna, July 23-24, 2014.
• IJCAI 2011, Barcelona, July, 16-22, 2011.

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.