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
| Web | Telefon | Pracovna | Výuka | publikace | |
|---|---|---|---|---|---|
| marco.cerami@upol.cz | http://phoenix.inf.upol.cz/~ceramim/ | 585 634 717 | 5.045 | stránka s výukou | seznam publikací |
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
- 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.