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).
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.
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.