research seminars

• Many-valued Horn Logic is Hard

  date: place: slides

  18.12.2014 Palacky University, Faculty of Science, Department of Computer Science, room 5.006



• Structural subsumption algorithm for Fuzzy Description Logics

  date: place: slides

  11.12.2014 Palacky University, Faculty of Science, Department of Computer Science, room 5.006



• Fuzzy Description Logics

  date: place: slides

  28.12.2013 Palacky University, Faculty of Science, Department of Computer Science, room 5.006



• An Introduction to Description Logics

  date: place: slides

  21.12.2013 Palacky University, Faculty of Science, Department of Computer Science, room 5.006



• Una introduccion a la Logica Borrosa Matematica

  date: place: slides

  14.2.2012 SIMBA seminar, University of Barcelona, Faculty of Mathematics



• Decidability of a Description Logics over Infinite-valued Lukasiewicz and Product Logic

  date: place: slides

  21.5.2010 University of Barcelona, Faculty of Mathematics



• Decidability of a Description Logics over Infinite-valued Product Logic

  date: place: slides

  17.3.2010 Spanish National Research Council, Artificial Intelligence Research Institut, Sala Marc esteva i Vivanco

conference seminars

• Undecidability of Fuzzy Description Logics with GCIs under Lukasiewicz semantics

  conference: date: place: slides

  Weighted Logics for AI, embedded into ECAI 2012 28.8.2012 Montpellier, France



• On finitely valued Fuzzy Description logics: the Lukasiewicz case

  conference: date: place: slides

  IPMU 2012 11.6.2012 Catania, Italy



• From Classical Description Logics to n-graded Fuzzy Description Logic

  conference: date: place: slides

  Fuzz-IEEE 2010 22.7.2010 Barcelona, Spain



• Decidability of a Description Logics over infinite-valued Product Logic

  conference: date: place: slides

  KR 2010 10.5.2010 Toronto, Canada



• Vague Counterfactuals

  conference: date: place: slides

  ProbNet 2010 27.2.2010 Salzburg, Austria



• On Quantitative Similarity-based Semantics for Counterfactuals

  conference: date: place: slides

  WUPES 2009 22.10.2009 Liblice, Czech Republic

posters

• Complexity Sources in Fuzzy Description Logic

  conference: date: place: poster

  DL 2014 18.7.2014 Vienna, Austria



• Finite-valued Lukasiewicz Modal Logic is PSPACE-complete

  conference: date: place: poster

  IJCAI 2011 18.7.2011 Barcelona, Spain



• Theoretical foundation of fuzzy description logics and their applications as languagesfor ontology representation

  conference: date: place: poster

  Doctoral Cosortium at KR 2010 11.5.2010 Toronto, Canada

PhD thesis